fold/tests/fixtures/organic/openssl_cve_2015_0288_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

21 lines
430 B
C++

// Adapted semantic slice of the null check added by OpenSSL revision
// 28a00bcd8e318da18031b2ac8778c64147cd54f9.
struct Key {
int value;
};
struct Certificate {
Key* key;
};
int copyPublicKey(Certificate certificate) {
Key* pktmp = certificate.key;
if (pktmp == nullptr)
return -1;
return pktmp->value;
}
int main() {
Certificate certificate{nullptr};
return copyPublicKey(certificate);
}