Popular repositories Loading

1. afl-patches afl-patches Public

   Forked from vanhauser-thc/afl-patches

   Patches to afl to fix bugs or add enhancements

   1

2. macke macke Public

   Forked from tum-i4/macke

   Modular And Compositional analysis with KLEE Engine

   Python 1 1

3. mapping-high-level-constructs-to-llvm-ir mapping-high-level-constructs-to-llvm-ir Public

   Forked from f0rki/mapping-high-level-constructs-to-llvm-ir

   A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.

   LLVM 1

4. spectral-drawer spectral-drawer Public

   Forked from tamionv/spectral-drawer

   Spectral Graph Drawer

   C++

5. seL4 seL4 Public

   Forked from seL4/seL4

   The seL4 microkernel

   C