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
9 lines
138 B
C++
9 lines
138 B
C++
int readValue() {
|
|
int stored = 7;
|
|
int* value = &stored;
|
|
return *value;
|
|
}
|
|
|
|
int main() {
|
|
return readValue() == 7 ? 0 : 1;
|
|
}
|