Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
-
Updated
May 22, 2025 - Rust
#
concolic-execution
Here are 38 public repositories matching this topic...
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
-
Updated
Nov 23, 2022 - C++
An analysis tool for Python that blurs the line between testing and type systems.
python testing static-analysis symbolic-execution fuzzing dynamic-analysis z3 contracts hacktoberfest testing-framework concolic-execution type-systems
-
Updated
Oct 20, 2025 - Python
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
timeline history symbolic-execution dynamic-analysis program-analysis dynamic-symbolic-execution concolic-execution solving concolic
-
Updated
Aug 24, 2024 - Kotlin
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
security dse symbolic-execution symbolic fuzzing fuzz-testing vulnerabilities stability libfuzzer dynamic-symbolic-execution concolic-execution concolic oss-fuzz hybrid-fuzzing sydr sydr-fuzz
-
Updated
Nov 6, 2025 - C
Seamless bug-finding for Wasm, C, C++, Rust and Zig
c rust formatter interpreter ocaml solver parallel webassembly wasm optimizer symbolic-execution constraints afl fuzzer smt concolic-execution owi wat2wasm nlnet wasm2wat
-
Updated
Nov 7, 2025 - OCaml
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.
python windows linux detection static-analysis reverse-engineering malware symbolic-execution symbolic cybersecurity classification reverse ctf malware-analysis binary-analysis malware-research angr concolic-execution malware-detection sema
-
Updated
Mar 10, 2025 - Python
The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)
-
Updated
Jan 13, 2023 - C++
CRETE under development
-
Updated
Jun 30, 2020 - C
Build your emulation environment as needed
-
Updated
Apr 14, 2021 - Python
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.
-
Updated
Oct 23, 2022 - C
Sydr benchmark applications
benchmark dse symbolic-execution symbolic triton fuzzing binary-analysis dynamorio dynamic-symbolic-execution concolic-execution concolic hybrid-fuzzing
-
Updated
Jul 25, 2022 - C++
A concolic testing engine for RISC-V embedded software with support for SystemC peripherals
-
Updated
Oct 4, 2023 - C++
SymFusion: Hybrid Instrumentation for Concolic Execution
-
Updated
May 5, 2023 - C
Test input generation using separation logic
-
Updated
Nov 15, 2022 - Java
Formal model of program execution, symbolic execution, and taint tracking
latex paper symbolic-execution taint-analysis graph-drawing dynamic-symbolic-execution concolic-execution
-
Updated
Nov 2, 2020 - TeX
Improve this page
Add a description, image, and links to the concolic-execution topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the concolic-execution topic, visit your repo's landing page and select "manage topics."