A high-performance, parallel, compilation-based symbolic execution engine
☆144Jan 26, 2026Updated last month
Alternatives and similar repositories for GenSym
Users that are interested in GenSym are comparing it to the libraries listed below
Sorting:
- Staged Abstract Interpreters☆69Mar 13, 2023Updated 2 years ago
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 3 years ago
- Scalable Validator for Binary Lifters☆62Jun 28, 2020Updated 5 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated 11 months ago
- miniKanren with a first-order representation of the search space☆17Jul 23, 2024Updated last year
- Benchmark repository of polyglot effect handler examples☆34Aug 21, 2025Updated 6 months ago
- This PoC illustrates our work on asymmetric white-box cryptography, it can be used to generate a set of lookup tables used for lattice-ba…☆21Mar 24, 2021Updated 4 years ago
- ☆56Apr 25, 2025Updated 10 months ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆27Feb 21, 2024Updated 2 years ago
- Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis☆82Mar 19, 2024Updated last year
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- ☆54Feb 20, 2026Updated last week
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Feb 8, 2026Updated 2 weeks ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Feb 19, 2026Updated last week
- PPLite: convex polyhedra library for Abstract Interpretation☆30Jan 22, 2026Updated last month
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 6 years ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆46Mar 9, 2025Updated 11 months ago
- QuarkslaB Dynamic Linker library☆91Dec 12, 2024Updated last year
- Lifting network implementation to precise format specification☆23Apr 21, 2025Updated 10 months ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆26Mar 15, 2020Updated 5 years ago
- Program analysis tools developed at Draper on the CBAT project.☆106Apr 13, 2023Updated 2 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆149Sep 18, 2023Updated 2 years ago
- VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…☆434Feb 13, 2026Updated 2 weeks ago
- A binary analysis framework written in Rust.☆175Updated this week
- SymCC: efficient compiler-based symbolic execution☆856May 12, 2025Updated 9 months ago
- Official repository of SyzRisk [ASIA CCS'24]☆12Aug 20, 2024Updated last year
- A library for dynamic binary rewriting☆59Feb 10, 2021Updated 5 years ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆27Oct 24, 2023Updated 2 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Sep 5, 2021Updated 4 years ago
- A deterministic parser with fused lexing☆75Jul 1, 2023Updated 2 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆31Apr 10, 2021Updated 4 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Jul 7, 2021Updated 4 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆50Nov 16, 2025Updated 3 months ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆18Jan 30, 2025Updated last year
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆150Jan 30, 2025Updated last year
- A minimal development of SSA theory☆211Updated this week
- Recent symbolic execution papers and tools.☆182May 16, 2025Updated 9 months ago
- The Frida based fuzzer all in one☆30Mar 13, 2021Updated 4 years ago