2dcbdbc75d
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
20 lines
457 B
C++
20 lines
457 B
C++
// Adapted semantic slice of apps/req.c at OpenSSL revision
|
|
// 437b14b533fe7f7408e3ebca6d5569f1d3347b1a.
|
|
struct Key {
|
|
int value;
|
|
};
|
|
|
|
struct Certificate {
|
|
Key* key;
|
|
};
|
|
|
|
int copyPublicKey(Certificate certificate) {
|
|
Key* pktmp = certificate.key;
|
|
// Models the downstream use by X509_REQ_set_pubkey without its dependencies.
|
|
return pktmp->value;
|
|
}
|
|
|
|
int main() {
|
|
Certificate certificate{nullptr};
|
|
return copyPublicKey(certificate);
|
|
}
|