fold/tests/fixtures/dast/overflow_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
162 B
C++

#include <climits>
int addOne(int value) {
if (value >= 0 && value < 1000)
return value + 1;
return 0;
}
int main() { return addOne(INT_MAX); }