SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation
☆20Nov 24, 2015Updated 10 years ago
Alternatives and similar repositories for seviz
Users that are interested in seviz are comparing it to the libraries listed below
Sorting:
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- ☆10Feb 10, 2016Updated 10 years ago
- Eclipse plugin that synthesizes real Java code☆26Aug 20, 2014Updated 11 years ago
- Slides and examples to accompany the September 25th invited talk at SAT 2015☆14Sep 30, 2015Updated 10 years ago
- Application-level firewalling using systemd socket action and eBPF filters☆18Oct 11, 2017Updated 8 years ago
- ☆17Aug 2, 2016Updated 9 years ago
- Automatic regression verification for LLVM programs☆19Jul 16, 2021Updated 4 years ago
- LLVM Obfuscation Pass via Extracted Basic Blocks☆21Aug 10, 2019Updated 6 years ago
- A tool that generates scripts, determine story element synergy, and best advertisers☆19Jan 3, 2026Updated 2 months ago
- Similarity Analysis to Defeat Malware Compiler Variations☆25Oct 3, 2017Updated 8 years ago
- ☆53Jun 13, 2019Updated 6 years ago
- A research platform and active library for generalised SAT solving☆33Jun 12, 2025Updated 8 months ago
- Lightweight Symbolic Execution Engine☆23Jul 1, 2015Updated 10 years ago
- a CIL-based dynamic symbolic execution (DSE) engine for C language☆10Jan 23, 2015Updated 11 years ago
- Efficient Sampling of SAT Solutions for Testing☆35Sep 20, 2019Updated 6 years ago
- A(nother) Binary Analysis Framework☆30Jun 10, 2014Updated 11 years ago
- Talk on sentiment analysis of tweets using F#☆20Jul 4, 2015Updated 10 years ago
- REIL translation library☆36May 6, 2016Updated 9 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆63Oct 19, 2017Updated 8 years ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆27Jun 7, 2025Updated 8 months ago
- Modified from pwndbg. Enhance the UI part for better usage.☆26Jun 14, 2019Updated 6 years ago
- An automatic testing tool for Java software☆25May 21, 2018Updated 7 years ago
- A Fast Floating-Point Satisfiability Solver☆28Jul 26, 2025Updated 7 months ago
- Triton based R2 plugin for concolic execution and total control☆33Nov 26, 2018Updated 7 years ago
- Another crash analyzer tool for the American Fuzzy Lop (AFL) fuzzer☆121Jan 17, 2017Updated 9 years ago
- Dynamic instrumentation of the Linux kernel☆41Feb 24, 2015Updated 11 years ago
- Dynamic binary translation framework for instrumenting x86-64 user space Linux programs☆38May 29, 2018Updated 7 years ago
- TaintAll, a taint analysis and concolic execution tool☆31Jan 2, 2017Updated 9 years ago
- ⚡️ Actions and Reducer Utilities for NGRX☆10Oct 17, 2019Updated 6 years ago
- Ultrix is a meme website for collecting memes and sharing them with friends on the website.☆12Jan 29, 2019Updated 7 years ago
- ☆11Apr 28, 2023Updated 2 years ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- Automata and transducer library for .NET☆83Jul 21, 2020Updated 5 years ago
- [DEPRECATED] A symbolic execution engine for the VEX IR☆80Sep 27, 2018Updated 7 years ago
- A library for binary analysis and rewriting☆50Sep 28, 2023Updated 2 years ago
- Python Exploration with Z3☆340Dec 12, 2025Updated 2 months ago
- Python wrapper for http://nacl.cace-project.eu/☆30Nov 8, 2021Updated 4 years ago