BinaryAnalysisPlatform / bap-veri
bil verification tool
☆12Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for bap-veri
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 5 years ago
- print information from LLVM dataflow analyses☆13Updated 4 years ago
- Measure branching along code paths☆20Updated 8 years ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆18Updated 2 years ago
- Experimental translation of llvm to smt.☆56Updated 4 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆22Updated 5 years ago
- Dynamic Control Flow Recovery☆24Updated 6 years ago
- ☆13Updated 3 years ago
- Playground for testing feedback☆15Updated 4 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Updated 5 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆24Updated 3 years ago
- Assorted pintools☆30Updated 4 years ago
- Reference material for libbeauty☆25Updated 2 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆29Updated 6 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆47Updated 8 years ago
- Explore LLVM Bitcode interactively using a graph database☆58Updated 4 years ago
- An approximate solver for concolic execution☆17Updated 2 years ago
- Bootloader research tools (very much a work in progress)☆37Updated 5 years ago
- Symbolic Execution over Falcon IL☆28Updated 3 years ago
- Python repository containing parsed standard C library function and argument information☆26Updated 6 years ago
- KLEE / CSE Project☆43Updated 4 years ago
- KLEE Symbolic Execution Engine☆61Updated 5 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Updated 7 years ago
- FoRTE-Research's fuzzing benchmarks☆54Updated 5 years ago
- CClyzer port to souffle lang☆18Updated 9 months ago
- KLEE-TAINT - Klee with taint analysis support☆72Updated 7 years ago
- Concolic Execution Fuzzer☆24Updated 3 years ago
- Verifying x86 semantics☆10Updated 7 years ago
- AIL: The angr Intermediate Language.☆31Updated this week