{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:LDT7FL3PKFXM26BZ4MF3SIPFFW","short_pith_number":"pith:LDT7FL3P","canonical_record":{"source":{"id":"2404.01096","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-01T13:05:54Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"82e0675dd5615b571d2455325900b086b708a3ebe5e54e9d0c71bf823f496462","abstract_canon_sha256":"34bc3ac345457f4047239d4ba8776d5cbc580d27b180403c1275dc97f92c3e5c"},"schema_version":"1.0"},"canonical_sha256":"58e7f2af6f516ecd7839e30bb921e52daa510fae1710902cb9dffc7ddc93cf18","source":{"kind":"arxiv","id":"2404.01096","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.01096","created_at":"2026-07-05T08:03:00Z"},{"alias_kind":"arxiv_version","alias_value":"2404.01096v1","created_at":"2026-07-05T08:03:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.01096","created_at":"2026-07-05T08:03:00Z"},{"alias_kind":"pith_short_12","alias_value":"LDT7FL3PKFXM","created_at":"2026-07-05T08:03:00Z"},{"alias_kind":"pith_short_16","alias_value":"LDT7FL3PKFXM26BZ","created_at":"2026-07-05T08:03:00Z"},{"alias_kind":"pith_short_8","alias_value":"LDT7FL3P","created_at":"2026-07-05T08:03:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:LDT7FL3PKFXM26BZ4MF3SIPFFW","target":"record","payload":{"canonical_record":{"source":{"id":"2404.01096","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-01T13:05:54Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"82e0675dd5615b571d2455325900b086b708a3ebe5e54e9d0c71bf823f496462","abstract_canon_sha256":"34bc3ac345457f4047239d4ba8776d5cbc580d27b180403c1275dc97f92c3e5c"},"schema_version":"1.0"},"canonical_sha256":"58e7f2af6f516ecd7839e30bb921e52daa510fae1710902cb9dffc7ddc93cf18","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:03:00.842508Z","signature_b64":"T4FXwRVju17Mm1hOA0eAtcyYLdAyCyDhhr7gMoipvKdO4ydADktEUEGilts3hE6HNSoX0mcZNijDjUPBgTkSCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"58e7f2af6f516ecd7839e30bb921e52daa510fae1710902cb9dffc7ddc93cf18","last_reissued_at":"2026-07-05T08:03:00.842108Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:03:00.842108Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2404.01096","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T08:03:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KbzF1zoyY1Q4GsyMSAeEbK4RtASY0LUe72/dO4LOuAck6lx2qlZXNbdwK7g9E0fLjzHfR3SYgfICHwFKoY6jBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T15:03:29.929260Z"},"content_sha256":"155a13cb9c55cde1483fa5bd0331555de522bdd436f1ba252da2a96c88c4e974","schema_version":"1.0","event_id":"sha256:155a13cb9c55cde1483fa5bd0331555de522bdd436f1ba252da2a96c88c4e974"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:LDT7FL3PKFXM26BZ4MF3SIPFFW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Enabling Memory Safety of C Programs using LLMs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Akash Lal, Aseem Rastogi, Nausheen Mohammed, Rahul Sharma, Subhajit Roy","submitted_at":"2024-04-01T13:05:54Z","abstract_excerpt":"Memory safety violations in low-level code, written in languages like C, continues to remain one of the major sources of software vulnerabilities. One method of removing such violations by construction is to port C code to a safe C dialect. Such dialects rely on programmer-supplied annotations to guarantee safety with minimal runtime overhead. This porting, however, is a manual process that imposes significant burden on the programmer and, hence, there has been limited adoption of this technique.\n  The task of porting not only requires inferring annotations, but may also need refactoring/rewri"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.01096","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/2404.01096/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T08:03:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"i3H0Oip486WvA5QucTfvC16IpdtxudE0Xz5ws1fxOgnwqq/2lTKoVvFTjr/HwE7mRH5hf1GR4McjpFNiNtITAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T15:03:29.929758Z"},"content_sha256":"783d7b41279f255585026e27d773d31b389191ce7bcba452f29af052bffb1d8e","schema_version":"1.0","event_id":"sha256:783d7b41279f255585026e27d773d31b389191ce7bcba452f29af052bffb1d8e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LDT7FL3PKFXM26BZ4MF3SIPFFW/bundle.json","state_url":"https://pith.science/pith/LDT7FL3PKFXM26BZ4MF3SIPFFW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LDT7FL3PKFXM26BZ4MF3SIPFFW/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-06T15:03:29Z","links":{"resolver":"https://pith.science/pith/LDT7FL3PKFXM26BZ4MF3SIPFFW","bundle":"https://pith.science/pith/LDT7FL3PKFXM26BZ4MF3SIPFFW/bundle.json","state":"https://pith.science/pith/LDT7FL3PKFXM26BZ4MF3SIPFFW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LDT7FL3PKFXM26BZ4MF3SIPFFW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:LDT7FL3PKFXM26BZ4MF3SIPFFW","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"34bc3ac345457f4047239d4ba8776d5cbc580d27b180403c1275dc97f92c3e5c","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-01T13:05:54Z","title_canon_sha256":"82e0675dd5615b571d2455325900b086b708a3ebe5e54e9d0c71bf823f496462"},"schema_version":"1.0","source":{"id":"2404.01096","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.01096","created_at":"2026-07-05T08:03:00Z"},{"alias_kind":"arxiv_version","alias_value":"2404.01096v1","created_at":"2026-07-05T08:03:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.01096","created_at":"2026-07-05T08:03:00Z"},{"alias_kind":"pith_short_12","alias_value":"LDT7FL3PKFXM","created_at":"2026-07-05T08:03:00Z"},{"alias_kind":"pith_short_16","alias_value":"LDT7FL3PKFXM26BZ","created_at":"2026-07-05T08:03:00Z"},{"alias_kind":"pith_short_8","alias_value":"LDT7FL3P","created_at":"2026-07-05T08:03:00Z"}],"graph_snapshots":[{"event_id":"sha256:783d7b41279f255585026e27d773d31b389191ce7bcba452f29af052bffb1d8e","target":"graph","created_at":"2026-07-05T08:03:00Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2404.01096/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Memory safety violations in low-level code, written in languages like C, continues to remain one of the major sources of software vulnerabilities. One method of removing such violations by construction is to port C code to a safe C dialect. Such dialects rely on programmer-supplied annotations to guarantee safety with minimal runtime overhead. This porting, however, is a manual process that imposes significant burden on the programmer and, hence, there has been limited adoption of this technique.\n  The task of porting not only requires inferring annotations, but may also need refactoring/rewri","authors_text":"Akash Lal, Aseem Rastogi, Nausheen Mohammed, Rahul Sharma, Subhajit Roy","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-01T13:05:54Z","title":"Enabling Memory Safety of C Programs using LLMs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.01096","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:155a13cb9c55cde1483fa5bd0331555de522bdd436f1ba252da2a96c88c4e974","target":"record","created_at":"2026-07-05T08:03:00Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"34bc3ac345457f4047239d4ba8776d5cbc580d27b180403c1275dc97f92c3e5c","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-01T13:05:54Z","title_canon_sha256":"82e0675dd5615b571d2455325900b086b708a3ebe5e54e9d0c71bf823f496462"},"schema_version":"1.0","source":{"id":"2404.01096","kind":"arxiv","version":1}},"canonical_sha256":"58e7f2af6f516ecd7839e30bb921e52daa510fae1710902cb9dffc7ddc93cf18","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"58e7f2af6f516ecd7839e30bb921e52daa510fae1710902cb9dffc7ddc93cf18","first_computed_at":"2026-07-05T08:03:00.842108Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:03:00.842108Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"T4FXwRVju17Mm1hOA0eAtcyYLdAyCyDhhr7gMoipvKdO4ydADktEUEGilts3hE6HNSoX0mcZNijDjUPBgTkSCg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:03:00.842508Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.01096","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:155a13cb9c55cde1483fa5bd0331555de522bdd436f1ba252da2a96c88c4e974","sha256:783d7b41279f255585026e27d773d31b389191ce7bcba452f29af052bffb1d8e"],"state_sha256":"8920e222292ed00c7468e0c1045f44e17deaf9297f3c275486423196b8c2170a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5FwvSUeMVMCw8mqeHI4ewl1YOz01OhU6e2aesNDaI6dQ1YlkyIf7rZhr+tng+JTj+AOEC1tkWZoBSzchL7K1DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T15:03:29.934111Z","bundle_sha256":"88ea6dad80ea2a3b05d1e2b0ff3dd651ca1f3b1704254cfc50b7581620304374"}}