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
181 B
C++
9 lines
181 B
C++
__attribute__((noinline)) int readSlot() {
|
|
int values[2] = {4, 8};
|
|
return values[1];
|
|
}
|
|
|
|
int main() {
|
|
volatile int result = readSlot();
|
|
return result == 8 ? 0 : 1;
|
|
}
|