A Z3-Based String Constraint Solver
☆87Jan 1, 2020Updated 6 years ago
Alternatives and similar repositories for Z3-str
Users that are interested in Z3-str are comparing it to the libraries listed below
Sorting:
- KLEE / CSE Project☆48Apr 3, 2020Updated 5 years ago
- ☆11Jun 5, 2015Updated 10 years ago
- ☆19Feb 1, 2016Updated 10 years ago
- Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.☆15Jan 27, 2019Updated 7 years ago
- ☆11Sep 7, 2023Updated 2 years ago
- This novel black-box web vulnerability scanner attempts to infer the state machine of the web application.☆19Mar 12, 2020Updated 5 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Mar 10, 2018Updated 7 years ago
- A python interface to joern (deprecated).☆34Nov 13, 2018Updated 7 years ago
- Python Exploration with Z3☆340Dec 12, 2025Updated 2 months ago
- Empirical Analysis and Modeling of Black-Box Mutational Fuzzing☆10Mar 30, 2016Updated 9 years ago
- Scripts to automatically create VM images☆15Oct 4, 2025Updated 5 months ago
- ☆52Mar 26, 2016Updated 9 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Apr 2, 2020Updated 5 years ago
- Infoleak and PC control poc for CVE-2015-6620 (24445127), I'll add after conference☆52Apr 7, 2016Updated 9 years ago
- [DEPRECATED] A symbolic execution engine for the VEX IR☆80Sep 27, 2018Updated 7 years ago
- ☆18Nov 26, 2025Updated 3 months ago
- ☆236May 31, 2018Updated 7 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Jul 25, 2014Updated 11 years ago
- Uncovering Class Hierarchies in C++ Programs☆127Sep 16, 2022Updated 3 years ago
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆495Aug 24, 2024Updated last year
- Z3 Symbolic Execution python☆28Dec 28, 2017Updated 8 years ago
- This is a C++ implementation of Graspan.☆32Dec 20, 2023Updated 2 years ago
- A JavaScript wrapper for Z3 containing support for regular expressions & capture groups☆23Jul 3, 2024Updated last year
- Windows Kernel Dump Analyzer☆15May 9, 2015Updated 10 years ago
- ☆252Mar 13, 2020Updated 5 years ago
- ☆45Feb 24, 2018Updated 8 years ago
- Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2☆123May 29, 2015Updated 10 years ago
- PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs☆136Feb 19, 2020Updated 6 years ago
- aflpin enables afl to fuzz blackbox binaries using a pin tool to trace execution branches.☆172Jan 27, 2015Updated 11 years ago
- A bibliography of papers related to symbolic execution☆291Aug 12, 2016Updated 9 years ago
- x64 Windows Software Fault Injection Tool☆17Dec 2, 2017Updated 8 years ago
- ☆21Jan 10, 2019Updated 7 years ago
- Collection of software bugs found by SkyLined☆68Nov 10, 2016Updated 9 years ago
- [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.☆524May 21, 2025Updated 9 months ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆20Aug 24, 2021Updated 4 years ago
- 模糊测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)☆23Apr 7, 2021Updated 4 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago