thomasjball / PyExZ3
Python Exploration with Z3
☆322Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for PyExZ3
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆313Updated this week
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆486Updated 2 months ago
- A Z3-Based String Constraint Solver☆87Updated 4 years ago
- A bibliography of papers related to symbolic execution☆283Updated 8 years ago
- SeaHorn Verification Framework☆441Updated 2 months ago
- ☆141Updated last year
- Static Analyzer for LLVM bitcode based on Abstract Interpretation☆277Updated 7 months ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆214Updated 5 years ago
- A library for building abstract interpretation-based analyses☆233Updated 3 weeks ago
- FairFuzz: AFL extension targeting rare branches☆241Updated 5 years ago
- Domain-Specific Fuzzing with Waypoints☆237Updated last year
- AFLFast (extends AFL with Power Schedules)☆410Updated last year
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆314Updated 4 years ago
- pySMT: A library for SMT formulae manipulation and solving☆576Updated 3 months ago
- minimal symbolic model checker & fuzzer☆111Updated 9 years ago
- A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.☆546Updated 5 years ago
- CREST is a concolic test generation tool for C.☆159Updated 4 years ago
- Simple Theorem Prover, an efficient SMT solver for bitvectors☆525Updated last month
- Python Symbolic Execution☆65Updated 5 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆98Updated 4 years ago
- [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.☆484Updated 11 months ago
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs☆132Updated 4 years ago
- SMACK Software Verifier and Verification Toolchain☆432Updated last month
- Dynamic Program Slicing in LLVM Compiler☆134Updated 6 years ago
- Static Slicer for LLVM☆65Updated 8 years ago
- Path based Dynamic Analysis☆113Updated 7 years ago
- Directed Greybox Fuzzing with AFL☆506Updated 8 months ago
- A wrapper script to build whole-program LLVM bitcode files☆692Updated 9 months ago
- Boogie☆514Updated this week