Popular repositories Loading

1. klee klee Public

   Forked from MartinNowack/klee

   KLEE Symbolic Virtual Machine

   C++

2. joern joern Public

   Forked from octopus-platform/joern

   A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.

   Java

3. cb-multios cb-multios Public

   Forked from trailofbits/cb-multios

   DARPA Challenges Binaries for Linux, Windows, and OS X

   C

4. find-source-from-sink find-source-from-sink Public

   Forked from IamChangCC/find-source-from-sink

   In C code analysis, we can get the source input variables for the specified argument. This is crucial in dataflow analysis.

   Python

5. whole-program-llvm whole-program-llvm Public

   Forked from travitch/whole-program-llvm

   A wrapper script to build whole-program LLVM bitcode files

   Python

6. joern-tools joern-tools Public

   Forked from octopus-platform/joern-tools

   Python utilities for joern

   Python