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 |
||
|---|---|---|
| .. | ||
| division_fixed.cpp | ||
| division_vulnerable.cpp | ||
| null_deref_fixed.cpp | ||
| null_deref_vulnerable.cpp | ||