Preserve source, binary, and runtime evidence boundaries while making precision and performance regressions reproducible. - decompose analysis orchestration into bounded modules - add differential, metamorphic, organic, and Yams change-time gates - fix detector, P-Code, fuzz sanitizer, and report identity precision |
||
|---|---|---|
| .. | ||
| asan_pairs.json | ||
| clang_sa_pairs.json | ||
| sanitizer_pairs.json | ||