Concolic tracing/mutation
Open
enhancement
low-priority
major
research
- Dominant language
- Rust
- Stars
- 331
- Forks
- 26
- Avg merge
- 1d 5h
- Merged PRs (30d)
- 2
Description
Concolic/symbolic tracing of executions and path constraint solving for passing hard checks.
- [ ] Choose on-the-fly lifting or compiler instrumentation
- [ ] Choose a lifter/instrumentation strategy (e.g. lift to VEX, SymCC, etc)
- [ ] Add the concolic stage to the fuzzer
- [ ] Add the module-side support (whether supporting the instrumentation or lifting and solving)
Contributor guide
Assessment
This issue has not been assessed yet.