Pinned Loading

1. Dna Dna Public

   LLVM based static binary analysis framework

   C++ 188 18

2. mazeworks-security/Simplifier mazeworks-security/Simplifier Public

   Efficient general mixed boolean-arithmetic (MBA) simplifier

   C# 73 4

3. TritonTranslator TritonTranslator Public

   Standalone static version of Triton's x86/x64 translator

   C++ 19 5

4. mazeworks-security/MSiMBA mazeworks-security/MSiMBA Public

   Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions

   C# 54 5

5. Symex Symex Public

   Symbolic executor for Binary Ninja's MLIL

   Python 21 2

6. WinTTD WinTTD Public

   Reverse engineered API for Microsoft's Time Travel Debugger

   C++ 32 6