hdc-arizona / cfgexplorer
Interactive Control Flow Graph Visualization.
☆31Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for cfgexplorer
- ☆42Updated 2 years ago
- A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.☆81Updated 6 years ago
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- Experimental translation of llvm to smt.☆56Updated 4 years ago
- Configurable instrumentation of LLVM bitcode☆33Updated this week
- KLEE Symbolic Execution Engine☆61Updated 5 years ago
- TracerX Symbolic Virtual Machine☆31Updated this week
- Timeless debugging with symbolic execution and processor trace☆74Updated 3 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- KLEE-TAINT - Klee with taint analysis support☆72Updated 7 years ago
- KLEE / CSE Project☆43Updated 4 years ago
- Vine: The BitBlaze Static Analysis Component☆24Updated 10 years ago
- AIL: The angr Intermediate Language.☆31Updated this week
- ☆30Updated 4 years ago
- CRETE under development☆58Updated 4 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
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Updated 5 years ago
- CClyzer port to souffle lang☆18Updated 9 months ago
- Measure branching along code paths☆20Updated 8 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆47Updated 8 years ago
- bil verification tool☆12Updated 2 years ago
- A symbolic execution engine for LLVM IR☆34Updated 2 years ago
- Pretty printer from GTIRB to assembly code☆48Updated last month
- ☆16Updated 5 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆33Updated last year
- The central ASPIRE framework repository, start here if you want to use our tools (this contains all tools and documentation)☆12Updated 3 years ago
- LLVM meets Code Property Graphs☆87Updated 3 years ago