{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:EN6YQ4ZSNN47UFYOWJGUAO5EKN","short_pith_number":"pith:EN6YQ4ZS","schema_version":"1.0","canonical_sha256":"237d8873326b79fa170eb24d403ba45356526119abe8f9eb1029b75fe7ca7438","source":{"kind":"arxiv","id":"2606.21822","version":1},"attestation_state":"computed","paper":{"title":"CNnotator: LLM-Guided Memory Safety Annotation Synthesis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.PL","authors_text":"Mike Dodds, Twain Byrnes","submitted_at":"2026-06-20T01:21:11Z","abstract_excerpt":"Memory safety errors account for a large proportion of security bugs in systems written in C; modern languages such as Java and Rust prevent such bugs because they are memory-safe by design. To migrate systems to safer languages or identify memory errors, we must first determine how legacy code manipulates memory. This information is only represented implicitly in such code.\n  In many cases, memory usage patterns are merely tedious for humans to figure out, rather than truly difficult. In this work, we ask if large language models (LLMs) can perform this task by having them synthesize annotati"},"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.21822","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-20T01:21:11Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"bd1c38bcdfb80675009965daf5f8e1af9f677fbb0f61b3809edca9a840d6806c","abstract_canon_sha256":"dc1449efaf82bc3c32ffe29dcf6576a09d509833f862f1fbb892a7096cb1640e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-23T01:13:23.752235Z","signature_b64":"Vs6tCGfBtsm9lwdBJQDnydaiTay12qXdoEChN/LKh1Sa4T3iic1DJSaB5nBmQoyA8VM0uRXb7Y4XMZ0EUryvAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"237d8873326b79fa170eb24d403ba45356526119abe8f9eb1029b75fe7ca7438","last_reissued_at":"2026-06-23T01:13:23.751742Z","signature_status":"signed_v1","first_computed_at":"2026-06-23T01:13:23.751742Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"CNnotator: LLM-Guided Memory Safety Annotation Synthesis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.PL","authors_text":"Mike Dodds, Twain Byrnes","submitted_at":"2026-06-20T01:21:11Z","abstract_excerpt":"Memory safety errors account for a large proportion of security bugs in systems written in C; modern languages such as Java and Rust prevent such bugs because they are memory-safe by design. To migrate systems to safer languages or identify memory errors, we must first determine how legacy code manipulates memory. This information is only represented implicitly in such code.\n  In many cases, memory usage patterns are merely tedious for humans to figure out, rather than truly difficult. In this work, we ask if large language models (LLMs) can perform this task by having them synthesize annotati"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.21822","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.21822/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.21822","created_at":"2026-06-23T01:13:23.751814+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.21822v1","created_at":"2026-06-23T01:13:23.751814+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.21822","created_at":"2026-06-23T01:13:23.751814+00:00"},{"alias_kind":"pith_short_12","alias_value":"EN6YQ4ZSNN47","created_at":"2026-06-23T01:13:23.751814+00:00"},{"alias_kind":"pith_short_16","alias_value":"EN6YQ4ZSNN47UFYO","created_at":"2026-06-23T01:13:23.751814+00:00"},{"alias_kind":"pith_short_8","alias_value":"EN6YQ4ZS","created_at":"2026-06-23T01:13:23.751814+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/EN6YQ4ZSNN47UFYOWJGUAO5EKN","json":"https://pith.science/pith/EN6YQ4ZSNN47UFYOWJGUAO5EKN.json","graph_json":"https://pith.science/api/pith-number/EN6YQ4ZSNN47UFYOWJGUAO5EKN/graph.json","events_json":"https://pith.science/api/pith-number/EN6YQ4ZSNN47UFYOWJGUAO5EKN/events.json","paper":"https://pith.science/paper/EN6YQ4ZS"},"agent_actions":{"view_html":"https://pith.science/pith/EN6YQ4ZSNN47UFYOWJGUAO5EKN","download_json":"https://pith.science/pith/EN6YQ4ZSNN47UFYOWJGUAO5EKN.json","view_paper":"https://pith.science/paper/EN6YQ4ZS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.21822&json=true","fetch_graph":"https://pith.science/api/pith-number/EN6YQ4ZSNN47UFYOWJGUAO5EKN/graph.json","fetch_events":"https://pith.science/api/pith-number/EN6YQ4ZSNN47UFYOWJGUAO5EKN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EN6YQ4ZSNN47UFYOWJGUAO5EKN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EN6YQ4ZSNN47UFYOWJGUAO5EKN/action/storage_attestation","attest_author":"https://pith.science/pith/EN6YQ4ZSNN47UFYOWJGUAO5EKN/action/author_attestation","sign_citation":"https://pith.science/pith/EN6YQ4ZSNN47UFYOWJGUAO5EKN/action/citation_signature","submit_replication":"https://pith.science/pith/EN6YQ4ZSNN47UFYOWJGUAO5EKN/action/replication_record"}},"created_at":"2026-06-23T01:13:23.751814+00:00","updated_at":"2026-06-23T01:13:23.751814+00:00"}