Risk cases¶
Listed in RISK_KINDS — symbol-compatible but behaviorally risky.
16 case(s). ← back to all examples
| Case | Title | Verdict | Category |
|---|---|---|---|
| case130_exceptions_mode_flip | Exceptions Mode Flip (-fno-exceptions) |
🟡 COMPATIBLE_WITH_RISK | Risk |
| case131_rtti_mode_flip | RTTI Mode Flip (-fno-rtti) |
🟡 COMPATIBLE_WITH_RISK | Risk |
| case132_threadsafe_statics_flip | Thread-Safe Statics Mode Flip (-fno-threadsafe-statics) |
🟡 COMPATIBLE_WITH_RISK | Risk |
| case133_tls_model_flip | TLS Model Flip (-ftls-model) |
🟡 COMPATIBLE_WITH_RISK | Risk |
| case134_relro_weakened | RELRO Weakened | 🟡 COMPATIBLE_WITH_RISK | Risk |
| case135_stack_canary_removed | Stack Canary Removed | 🟡 COMPATIBLE_WITH_RISK | Risk |
| case143_audit_accidental_export | Accidental export (single-release audit) | 🟡 COMPATIBLE_WITH_RISK | Risk |
| case144_audit_private_header_leak | Private header leak (single-release audit) | 🟡 COMPATIBLE_WITH_RISK | Risk |
| case145_audit_unversioned_export | Unversioned export under a versioning scheme (audit, pure L0) | 🟡 COMPATIBLE_WITH_RISK | Risk |
| case146_audit_rtti_for_internal | RTTI exported for an internal type (single-release audit) | 🟡 COMPATIBLE_WITH_RISK | Risk |
| case147_scan_depth_ladder | Depth ladder: the same input answered at three depths | 🟡 COMPATIBLE_WITH_RISK | Risk |
| case150_xcheck_export_public_pair | Bidirectional export ↔ declaration pair | 🟡 COMPATIBLE_WITH_RISK | Risk |
| case151_xcheck_provider_matrix | Provider-agreement matrix (corroboration grows with evidence) | 🟡 COMPATIBLE_WITH_RISK | Risk |
| case15_noexcept_change | noexcept Changed |
🟡 COMPATIBLE_WITH_RISK | Risk |
| case50_soname_inconsistent | SONAME Inconsistent (Wrong Major Version) | 🟡 COMPATIBLE_WITH_RISK | Risk |
| case83_cpu_dispatch_isa_dropped | CPU-dispatch ISA family dropped | 🟡 COMPATIBLE_WITH_RISK | Risk |