#symbolic-execution (22 Repositories)
Ranked open-source repositories tagged with #symbolic-execution, scored by pull request acceptance likelihood and maintainer engagement velocity.
43.1%
8.6h
22 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
viperproject/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
JonathanSalwan/Triton
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
HarvardPL/formulog
Datalog with support for SMT queries and first-order functional programming
GaloisInc/grease
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
GaloisInc/macaw
Open source binary analysis tools.
AliveToolkit/alive2
Automatic verification of LLVM optimizations
SVF-tools/Software-Security-Analysis
Static Analysis Course
Generative-Program-Analysis/GenSym
A high-performance, parallel, compilation-based symbolic execution engine
cea-sec/miasm
Reverse engineering framework in Python
ksluckow/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
pschanely/CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
palkeo/pakala
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
enzet/symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
bdcht/amoco
yet another tool for analysing binaries
ConsenSysDiligence/mythril
Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
hirrolot/mazeppa
A modern supercompiler for call-by-value functional languages
mgree/smoosh
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
AngoraFuzzer/Angora
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
0xM3R/cgPwn
A lightweight VM for hardware hacking, RE (fuzzing, symEx, exploiting etc) and wargaming tasks
illera88/Ponce
IDA 2016 plugin contest winner! Symbolic Execution just one-click away!