Popular repositories Loading

1. awesome-compilers awesome-compilers Public

   Forked from aalhour/awesome-compilers

   😎 A curated list of awesome resources on Compilers, Interpreters and Runtimes.

   1

2. awesome-static-analysis awesome-static-analysis Public

   Forked from analysis-tools-dev/static-analysis

   A curated list of static analysis tools, linters and code quality checkers for various programming languages

   1

3. symexbib symexbib Public

   Forked from saswatanand/symexbib

   A bibliography of papers related to symbolic execution

   1

4. 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++

5. panda panda Public

   Forked from panda-re/panda

   Platform for Architecture-Neutral Dynamic Analysis

   C

6. android-security-awesome android-security-awesome Public

   Forked from ashishb/android-security-awesome

   A collection of android security related resources