Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
-
Updated
Jun 3, 2024 - Rust
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
ToolChain using Symbolic Execution for Malware Analysis.
An analysis tool for Python that blurs the line between testing and type systems.
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
Test input generation using separation logic
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.
fuzzer for graphQL
Whitebox autograder for Python functions.
Sydr benchmark applications
Scheme-based Input Specification language for Concolic Testing
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."