fold/tests/fixtures/differential/null_deref_fixed.cpp
trvon 2dcbdbc75d
feat: harden Fold quality guard
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
2026-07-13 15:05:35 -04:00

9 lines
138 B
C++

int readValue() {
int stored = 7;
int* value = &stored;
return *value;
}
int main() {
return readValue() == 7 ? 0 : 1;
}