An analysis tool for Python that blurs the line between testing and type systems.
#区块链#Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Symbolic execution for Wasm, C, C++, Rust and Zig
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
SEMA is based on angr, a symbolic execution engine used to extract API calls. Especially, we extend ANGR with strategies to create representative signatures based on System Call Dependency graph (SC...
The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)
Build your emulation environment as needed
CRETE under development
CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of refining the patch to less over-fit the initial test cases.
A concolic testing engine for RISC-V embedded software with support for SystemC peripherals
A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
Sydr benchmark applications
SymFusion: Hybrid Instrumentation for Concolic Execution
Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)