Popular repositories Loading

1. ai-thesis-proposal-template ai-thesis-proposal-template Public

   Write a convincing thesis proposal with support from AI agents

   TeX 4 1

2. glassbox-ctf glassbox-ctf Public

   Learn hacking by seeing what’s happening at the victim

   PHP 1

3. klee klee Public

   Forked from klee/klee

   Fork for implementing directed symbex

   C++ 1

4. TargetedSearchStandalone TargetedSearchStandalone Public

   Generic search for the minimal distance to a target in llvm bitcode

   C++

5. macke macke Public

   Forked from tum-i4/macke

   Modular And Compositional analysis with KLEE Engine

   Python

6. opt-delete opt-delete Public

   llvm opt pass to delete a function definition

   C++