sarda-nikhil / SypyLinks
A symbolic execution engine for Python
☆44Updated 13 years ago
Alternatives and similar repositories for Sypy
Users that are interested in Sypy are comparing it to the libraries listed below
Sorting:
- Path based Dynamic Analysis☆118Updated 8 years ago
- libfuzzerfication - fuzzing for the rest of us!☆61Updated 8 years ago
- A Z3-Based String Constraint Solver☆87Updated 5 years ago
- Using Machine Learning to predict the outcome of a zzuf fuzzing campaign☆23Updated 10 years ago
- Binary Analysis Platform -- I will try to keep this updated with patches, fixes, etc.☆32Updated 11 years ago
- A python layer to interface with several SMTLIBv2 enabled SMT solvers☆16Updated 10 years ago
- A collection of scripts based on libclang for extracting API information from interpreters☆24Updated 13 years ago
- Empirical Analysis and Modeling of Black-Box Mutational Fuzzing☆10Updated 9 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆46Updated 9 years ago
- Sequitur (context free grammar) fuzzer, maximum code coverage/set covering, plus other tools.☆19Updated 14 years ago
- Z3 Symbolic Execution python☆28Updated 7 years ago
- An Android port of the general purpose honggfuzz fuzzer☆18Updated 10 years ago
- Python concolic execution framework for program analysis☆68Updated 11 years ago
- A python interface to joern (deprecated).☆34Updated 7 years ago
- Nosy Newt is a simple concolic execution tool for exploring the input space of a binary executable program based in Triton☆62Updated 8 years ago
- Clang static checker that carries out tainting analysis.☆88Updated 7 years ago
- Immunity Debugger Taint Tracer☆20Updated 12 years ago
- The Cloud9 main repository☆53Updated 12 years ago
- ☆90Updated 9 years ago
- Malamute is a fuzzing toolkit initially developed to aid with regression-test based fuzzing of language interpreters☆28Updated 9 years ago
- BAP Plugins Repository☆58Updated 5 years ago
- covFuzz☆34Updated 8 years ago
- ☆64Updated 10 years ago
- Python utilities for joern☆36Updated 7 years ago
- Tool for detecting error handling bugs☆23Updated 9 years ago
- A collection of useful functions to write an exploit in OCaml☆17Updated 11 years ago
- Crash repro minifier for ASan-instrumented commandline tools.☆12Updated 5 years ago
- Program Analysis for LLVM☆38Updated 8 years ago
- Gives tainting information for the provided bitcode file generated from binary.☆44Updated 8 years ago
- TaintAll, a taint analysis and concolic execution tool☆32Updated 8 years ago