Pinned Loading

1. Dna Dna Public

   LLVM based static binary analysis framework

   C++ 248 23

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

   Efficient general mixed boolean-arithmetic (MBA) simplifier

   C# 91 4

3. TritonTranslator TritonTranslator Public

   Standalone static version of Triton's x86/x64 translator

   C++ 26 7

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

   Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions

   C# 66 5

5. Symex Symex Public

   Symbolic executor for Binary Ninja's MLIL

   Python 23 3

6. WinTTD WinTTD Public

   Reverse engineered API for Microsoft's Time Travel Debugger

   C++ 34 7