Topic Hub
#concolic-execution (2 Repositories)
Ranked open-source repositories tagged with #concolic-execution, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
42.2%
Avg Review Latency
156.2h
Filter by language
2 repositories tagged #concolic-execution
A TierOCOCaml 323
OCamlPro/owi
Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig
84.3%
Merge Rate
13d
First Review
38%
1st-Timers
4
Maintainers
D TierKotlin 497
enzet/symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers