Popular repositories Loading

1. abstract_vuln_finder abstract_vuln_finder Public

   Checking for buffer overflows using abstract interpretation on lifted llvm bitcode (not finished)

   LLVM 7 1

2. Triton Triton Public

   Forked from JonathanSalwan/Triton

   Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a Taint Engine, AST representations of the x86 and the x86-64 in…

   C++ 1

3. Keylogger Keylogger Public

   keylogger

   C

4. angr angr Public

   Forked from angr/angr

   The next-generation binary analysis platform from UC Santa Barbara's Seclab!

   Python

5. cle cle Public

   Forked from angr/cle

   CLE Loads Everything (at least, many binary formats!)

   Python

6. parser-combinators-tutorial parser-combinators-tutorial Public

   Forked from enear/parser-combinators-tutorial

   Scala