Colton Skees

Expert
@Colton1skees

Dna. LLVM based static binary analysis framework

353

WinTTD. Reverse engineered API for Microsoft's Time Travel Debugger

36

TritonTranslator. Standalone static version of Triton's x86/x64 translator

34

VMPDevirt. VMProtect devirtualizer(WIP)

26

Symex. Symbolic executor for Binary Ninja's MLIL

25

KParser. .NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.

17

Remill.NET. .NET bindings for Remill

13

IDAPython-Scripts. A collection of various IDAPython scripts

4

anf-minimizer. SAT based minimizer for systems of polynomial equations over GF(2)

4

fbgb. Fast boolean groebner basis & NPN canonicalization library

4

GAMBA. Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA

2

Spotify-Controller. A Python3 GUI spotify controller for Linux. (Specifically for Arch Linux)

1
12
Apply