Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with concolic-execution
A curated list of 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: 31 Jul 2024
https://github.com/sslab-gatech/qsym
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
binary concolic-execution fuzzing hybrid-fuzzing
Last synced: 01 Aug 2024
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: 01 Aug 2024
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: 04 Aug 2024
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: 25 Sep 2024
https://github.com/season-lab/fuzzolic
fuzzing + concolic = fuzzolic :)
concolic-execution symbolic-execution
Last synced: 04 Aug 2024
https://github.com/jordan9001/dobby2
Build your emulation environment as needed
concolic-execution deobfuscation emulator kernel symbolic-execution windows-kernel-exploitation
Last synced: 04 Aug 2024