Concolic Execution
3 projects
Showing 3 of 3 projects
OwiOCaml
An automatic bug-finding tool for C, C++, Go, Rust, and Zig using WebAssembly-level symbolic execution.
#multi-language#concolic-execution#webassembly
Stars309
Forks40
Last commit2 days ago
ConDroidJava
A tool for automated concolic (symbolic/concrete) execution of Android apps to drive execution to specific code locations without manual interaction.
#concolic-execution#app-testing#security-analysis
Stars56
Forks13
Last commit10 years ago
CorbFuzzC
A state-aware fuzzer for testing browser security policies by generating diverse web application responses without database setup.
#vulnerability-assessment#concolic-execution#redis
Stars6
Forks2
Last commit4 years ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.