Hypersonic / bf_symex
symbolic execution engine for brainfuck because lol
☆13Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for bf_symex
- Reference material for libbeauty☆25Updated 2 years ago
- Tools built using Dyninst or Dyninst component libraries.☆24Updated last year
- print information from LLVM dataflow analyses☆13Updated 4 years ago
- Measure branching along code paths☆20Updated 8 years ago
- Symbolic Execution over Falcon IL☆28Updated 3 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆74Updated 2 years ago
- Experimental translation of llvm to smt.☆56Updated 4 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆47Updated 8 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Updated 5 years ago
- KLEE Symbolic Execution Engine☆61Updated 5 years ago
- Design documents related to the decompilation pipeline.☆25Updated 4 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆32Updated 3 years ago
- A console for assemble/disassemble code using capstone/keystone☆29Updated 6 years ago
- Python wrapper for the Windows CDB Debugger☆19Updated 2 years ago
- Generic Decoder Specification Language Toolkit☆32Updated 5 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆24Updated 3 years ago
- rune - radare2 based symbolic emulator☆26Updated 7 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆30Updated 6 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code☆49Updated 8 years ago
- REIL translation library☆36Updated 8 years ago
- Programmatic disassembly and patching☆67Updated 7 years ago
- Program Analysis for LLVM☆36Updated 7 years ago
- Minemu is a minimal emulator for dynamic taint analysis ( this is a mirror of https://minemu.org/code/minemu.git )☆38Updated 4 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 4 years ago
- A fully automatic fuzzing tool for Valgrind, unofficial mirror for http://esec-lab.sogeti.com/pages/fuzzgrind.html☆36Updated 9 years ago
- A "general-purpose" tracing tool☆37Updated 9 years ago