#symbolic-execution (14 Repositories)
Ranked open-source repositories tagged with #symbolic-execution, scored by pull request acceptance likelihood and maintainer engagement velocity.
41.5%
67.5h
14 repositories tagged #symbolic-execution
stp/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
klee/klee
KLEE Symbolic Execution Engine
GaloisInc/grease
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
Generative-Program-Analysis/GenSym
A high-performance, parallel, compilation-based symbolic execution engine
viperproject/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
GaloisInc/macaw
Open source binary analysis tools.
pschanely/CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
mgree/smoosh
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
hirrolot/mazeppa
A modern supercompiler for call-by-value functional languages
enzet/symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
palkeo/pakala
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
SVF-tools/Software-Security-Analysis
Static Analysis Course
bdcht/amoco
yet another tool for analysing binaries
ksluckow/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.