Projects in Awesome Lists tagged with concolic-execution

https://github.com/pschanely/crosshair

An analysis tool for Python that blurs the line between testing and type systems.

concolic-execution contracts dynamic-analysis fuzzing hacktoberfest python static-analysis symbolic-execution testing testing-framework type-systems z3

Last synced: 29 Apr 2025

https://github.com/pschanely/CrossHair

An analysis tool for Python that blurs the line between testing and type systems.

concolic-execution contracts dynamic-analysis fuzzing hacktoberfest python static-analysis symbolic-execution testing testing-framework type-systems z3

Last synced: 26 Mar 2025

https://github.com/sslab-gatech/qsym

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

binary concolic-execution fuzzing hybrid-fuzzing

Last synced: 02 Apr 2025

https://github.com/fuzzland/ityfuzz

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

aptos blockchain concolic-execution ethereum evm fuzzing move smart-contracts solidity sui

Last synced: 05 Apr 2025

https://github.com/enzet/symbolic-execution

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

concolic concolic-execution dynamic-analysis dynamic-symbolic-execution history program-analysis solving symbolic-execution timeline

Last synced: 05 Apr 2025

https://github.com/ocamlpro/owi

Symbolic execution for Wasm, C, C++, Rust and Zig

afl c concolic-execution constraints formatter fuzzer interpreter nlnet ocaml optimizer owi parallel rust smt solver symbolic-execution wasm wasm2wat wat2wasm webassembly

Last synced: 12 Jun 2025

https://github.com/OCamlPro/owi

WebAssembly Swissknife & cross-language bugfinder

afl c concolic-execution constraints formatter fuzzer interpreter nlnet ocaml optimizer owi parallel rust smt solver symbolic-execution wasm wasm2wat wat2wasm webassembly

Last synced: 26 Sep 2025

https://github.com/season-lab/fuzzolic

fuzzing + concolic = fuzzolic :)

concolic-execution symbolic-execution

Last synced: 11 Jul 2025

https://github.com/ispras/oss-sydr-fuzz

OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.

concolic concolic-execution dse dynamic-symbolic-execution fuzz-testing fuzzing hybrid-fuzzing libfuzzer oss-fuzz security stability sydr sydr-fuzz symbolic symbolic-execution vulnerabilities

Last synced: 10 Apr 2025

https://github.com/csvl/SEMA

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.

angr binary-analysis classification concolic-execution ctf cybersecurity detection linux malware malware-analysis malware-detection malware-research python reverse reverse-engineering sema static-analysis symbolic symbolic-execution windows

Last synced: 27 Sep 2025

https://github.com/jordan9001/dobby2

Build your emulation environment as needed

concolic-execution deobfuscation emulator kernel symbolic-execution windows-kernel-exploitation

Last synced: 11 Jul 2025

https://github.com/ispras/crusher

binary-analysis bug-detection concolic concolic-execution coverage-guided-fuzzing dse dynamic-symbolic-execution fuzzing hybrid-fuzzing static-analysis symbolic symbolic-execution

Last synced: 21 Aug 2025

https://github.com/rshariffdeen/cpr

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.

concolic-execution program-repair

Last synced: 17 Aug 2025