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
21 lines
430 B
C++
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);
|
|
}
|