{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:L6OZBGEKWISUG2AETJ7JBR5SP4","short_pith_number":"pith:L6OZBGEK","schema_version":"1.0","canonical_sha256":"5f9d90988ab2254368049a7e90c7b27f1261b57490e4a01017db46bbc175aac7","source":{"kind":"arxiv","id":"2606.12064","version":1},"attestation_state":"computed","paper":{"title":"Undefined Behavior in C and C++: An Experiment With Desktop Use Cases","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.SE","authors_text":"Jukka Ruohonen, Krzysztof Sierszecki","submitted_at":"2026-06-10T13:31:07Z","abstract_excerpt":"Undefined behavior is idiomatic to C and C++ programming; such behavior is a use of an erroneous program construct for which the languages impose no requirements, such as integer overflows. The paper presents an empirical experiment seeking to probe the extent of undefined behavior executing underneath typical desktop use of a Linux distribution. The analysis is based on an undefined behavior sanitizer implemented in a compiler. According to the results, undefined behavior is common. By completing 59 simple experimental tasks, nearly 11 thousand unique undefined behavior warnings were generate"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.12064","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-10T13:31:07Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"226b72dde71e45249961212324a460f38b3104f24ecba105471a2eb325cf3a11","abstract_canon_sha256":"8f1e2d27a0954b6755febc0d06c8ae7ae205b49f35b065168480d705031334fe"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-11T01:10:45.733071Z","signature_b64":"sQEVFap0tbcQeoUdilCAqrmrgKCJLvY7NIO0htyl/lvclzGxOhUJ9eNPMBRCtyinnWoQZCRmJJpu3BZQFDJOCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5f9d90988ab2254368049a7e90c7b27f1261b57490e4a01017db46bbc175aac7","last_reissued_at":"2026-06-11T01:10:45.732243Z","signature_status":"signed_v1","first_computed_at":"2026-06-11T01:10:45.732243Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Undefined Behavior in C and C++: An Experiment With Desktop Use Cases","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.SE","authors_text":"Jukka Ruohonen, Krzysztof Sierszecki","submitted_at":"2026-06-10T13:31:07Z","abstract_excerpt":"Undefined behavior is idiomatic to C and C++ programming; such behavior is a use of an erroneous program construct for which the languages impose no requirements, such as integer overflows. The paper presents an empirical experiment seeking to probe the extent of undefined behavior executing underneath typical desktop use of a Linux distribution. The analysis is based on an undefined behavior sanitizer implemented in a compiler. According to the results, undefined behavior is common. By completing 59 simple experimental tasks, nearly 11 thousand unique undefined behavior warnings were generate"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.12064","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.12064/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.12064","created_at":"2026-06-11T01:10:45.732380+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.12064v1","created_at":"2026-06-11T01:10:45.732380+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.12064","created_at":"2026-06-11T01:10:45.732380+00:00"},{"alias_kind":"pith_short_12","alias_value":"L6OZBGEKWISU","created_at":"2026-06-11T01:10:45.732380+00:00"},{"alias_kind":"pith_short_16","alias_value":"L6OZBGEKWISUG2AE","created_at":"2026-06-11T01:10:45.732380+00:00"},{"alias_kind":"pith_short_8","alias_value":"L6OZBGEK","created_at":"2026-06-11T01:10:45.732380+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/L6OZBGEKWISUG2AETJ7JBR5SP4","json":"https://pith.science/pith/L6OZBGEKWISUG2AETJ7JBR5SP4.json","graph_json":"https://pith.science/api/pith-number/L6OZBGEKWISUG2AETJ7JBR5SP4/graph.json","events_json":"https://pith.science/api/pith-number/L6OZBGEKWISUG2AETJ7JBR5SP4/events.json","paper":"https://pith.science/paper/L6OZBGEK"},"agent_actions":{"view_html":"https://pith.science/pith/L6OZBGEKWISUG2AETJ7JBR5SP4","download_json":"https://pith.science/pith/L6OZBGEKWISUG2AETJ7JBR5SP4.json","view_paper":"https://pith.science/paper/L6OZBGEK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.12064&json=true","fetch_graph":"https://pith.science/api/pith-number/L6OZBGEKWISUG2AETJ7JBR5SP4/graph.json","fetch_events":"https://pith.science/api/pith-number/L6OZBGEKWISUG2AETJ7JBR5SP4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/L6OZBGEKWISUG2AETJ7JBR5SP4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/L6OZBGEKWISUG2AETJ7JBR5SP4/action/storage_attestation","attest_author":"https://pith.science/pith/L6OZBGEKWISUG2AETJ7JBR5SP4/action/author_attestation","sign_citation":"https://pith.science/pith/L6OZBGEKWISUG2AETJ7JBR5SP4/action/citation_signature","submit_replication":"https://pith.science/pith/L6OZBGEKWISUG2AETJ7JBR5SP4/action/replication_record"}},"created_at":"2026-06-11T01:10:45.732380+00:00","updated_at":"2026-06-11T01:10:45.732380+00:00"}