Seamless bug-finding for Wasm, C, C++, Rust and Zig
An analysis tool for Python that blurs the line between testing and type systems.
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
SymWP, a concolic analysis framework designed specifically for WordPress plugin security. SymWP integrates an off-the-shelf symbolic execution engine and targets the PHP interpreter, allowing it to analyze plugin behavior at a semantic level with minimal human intervention.
Scripts and binaries used for the angr presentation at quebecsec. Presentation available at: https://www.youtube.com/watch?v=1hwEessoskc
Synoptic: Concolic execution for network protocol inference
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
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 (SCDG). Those SCDGs can be exploited in machine learning modules to do classification/detection.
Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
A mini symbolic execution engine for simple JavaScript programs
A concolic testing engine for RISC-V embedded software with support for SystemC peripherals
A concolic interpreter backend for Fugue.
SymFusion: Hybrid Instrumentation for Concolic Execution
NNrepair, a constraint-based technique for repairing neural network classifiers. The technique aims to fix the logic of the network at an intermediate layer or at the last layer. NNrepair first uses fault localization to find potentially faulty network parameters (such as the weights) and then performs repair using constraint solving to apply small
The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
Add a description, image, and links to the concolic-execution topic page so that developers can more easily learn about it.
To associate your repository with the concolic-execution topic, visit your repo's landing page and select "manage topics."