{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:D47KTBEMQYXICGHYREUH4EAOIO","short_pith_number":"pith:D47KTBEM","canonical_record":{"source":{"id":"2505.02376","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-05T05:34:33Z","cross_cats_sorted":[],"title_canon_sha256":"209ff12c569a0414ca2de448c74aa1a899a26a09ab2da4313a506d485e4a1bd4","abstract_canon_sha256":"434e1b90a3bd2791096d4accd4e837c667e168c848532393a28a1c77498d7439"},"schema_version":"1.0"},"canonical_sha256":"1f3ea9848c862e8118f889287e100e43b2c3b49283788ea9a21b403f0122c743","source":{"kind":"arxiv","id":"2505.02376","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.02376","created_at":"2026-07-05T10:58:36Z"},{"alias_kind":"arxiv_version","alias_value":"2505.02376v1","created_at":"2026-07-05T10:58:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.02376","created_at":"2026-07-05T10:58:36Z"},{"alias_kind":"pith_short_12","alias_value":"D47KTBEMQYXI","created_at":"2026-07-05T10:58:36Z"},{"alias_kind":"pith_short_16","alias_value":"D47KTBEMQYXICGHY","created_at":"2026-07-05T10:58:36Z"},{"alias_kind":"pith_short_8","alias_value":"D47KTBEM","created_at":"2026-07-05T10:58:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:D47KTBEMQYXICGHYREUH4EAOIO","target":"record","payload":{"canonical_record":{"source":{"id":"2505.02376","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-05T05:34:33Z","cross_cats_sorted":[],"title_canon_sha256":"209ff12c569a0414ca2de448c74aa1a899a26a09ab2da4313a506d485e4a1bd4","abstract_canon_sha256":"434e1b90a3bd2791096d4accd4e837c667e168c848532393a28a1c77498d7439"},"schema_version":"1.0"},"canonical_sha256":"1f3ea9848c862e8118f889287e100e43b2c3b49283788ea9a21b403f0122c743","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:58:36.179276Z","signature_b64":"NQ/aOoQOXnhwYmS1p+Narv5TS6EwvCw7haWt20O5DpIYlgBWf0Kd3EhFcYBeqNY9+vC9bWDng5iZ5XfSa8d2Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1f3ea9848c862e8118f889287e100e43b2c3b49283788ea9a21b403f0122c743","last_reissued_at":"2026-07-05T10:58:36.178882Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:58:36.178882Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.02376","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-05T10:58:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OlZdxJ5mZ7S3eZwj5oG+Xlx+FGeBGRClQPLuh7g111AC1lqwE9gbtRNhMIgijIwoUfHZBmvGAuYRwPk3HHfNCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T01:08:36.811933Z"},"content_sha256":"4247002ebee21cc4144cc82f9cb29a2f8c9e4099993ee58e15ca18e5e21298c4","schema_version":"1.0","event_id":"sha256:4247002ebee21cc4144cc82f9cb29a2f8c9e4099993ee58e15ca18e5e21298c4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:D47KTBEMQYXICGHYREUH4EAOIO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LAMeD: LLM-generated Annotations for Memory Leak Detection","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alexey Rukhovich, Anton Alekseev, Ekaterina Shemetova, Ilya Shenbin, Irina Piontkovskaya, Ivan Smirnov, Sergey Nikolenko, Vadim Lomshakov","submitted_at":"2025-05-05T05:34:33Z","abstract_excerpt":"Static analysis tools are widely used to detect software bugs and vulnerabilities but often struggle with scalability and efficiency in complex codebases. Traditional approaches rely on manually crafted annotations -- labeling functions as sources or sinks -- to track data flows, e.g., ensuring that allocated memory is eventually freed, and code analysis tools such as CodeQL, Infer, or Cooddy can use function specifications, but manual annotation is laborious and error-prone, especially for large or third-party libraries. We present LAMeD (LLM-generated Annotations for Memory leak Detection), "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.02376","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/2505.02376/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-05T10:58:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/Mr2QT1WGbcwkkm5YuEBswdL7fzYVnidMAECuINrAaPp2hUjV5/y3PVCvmZr2ykYPs8kTcRW46eduvz94zXDAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T01:08:36.812598Z"},"content_sha256":"1c37e267986485749ee74b7e3003ab70e38b6a83d01a4c1f7d1b52f977e2df08","schema_version":"1.0","event_id":"sha256:1c37e267986485749ee74b7e3003ab70e38b6a83d01a4c1f7d1b52f977e2df08"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/D47KTBEMQYXICGHYREUH4EAOIO/bundle.json","state_url":"https://pith.science/pith/D47KTBEMQYXICGHYREUH4EAOIO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/D47KTBEMQYXICGHYREUH4EAOIO/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-18T01:08:36Z","links":{"resolver":"https://pith.science/pith/D47KTBEMQYXICGHYREUH4EAOIO","bundle":"https://pith.science/pith/D47KTBEMQYXICGHYREUH4EAOIO/bundle.json","state":"https://pith.science/pith/D47KTBEMQYXICGHYREUH4EAOIO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/D47KTBEMQYXICGHYREUH4EAOIO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:D47KTBEMQYXICGHYREUH4EAOIO","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":"434e1b90a3bd2791096d4accd4e837c667e168c848532393a28a1c77498d7439","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-05T05:34:33Z","title_canon_sha256":"209ff12c569a0414ca2de448c74aa1a899a26a09ab2da4313a506d485e4a1bd4"},"schema_version":"1.0","source":{"id":"2505.02376","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.02376","created_at":"2026-07-05T10:58:36Z"},{"alias_kind":"arxiv_version","alias_value":"2505.02376v1","created_at":"2026-07-05T10:58:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.02376","created_at":"2026-07-05T10:58:36Z"},{"alias_kind":"pith_short_12","alias_value":"D47KTBEMQYXI","created_at":"2026-07-05T10:58:36Z"},{"alias_kind":"pith_short_16","alias_value":"D47KTBEMQYXICGHY","created_at":"2026-07-05T10:58:36Z"},{"alias_kind":"pith_short_8","alias_value":"D47KTBEM","created_at":"2026-07-05T10:58:36Z"}],"graph_snapshots":[{"event_id":"sha256:1c37e267986485749ee74b7e3003ab70e38b6a83d01a4c1f7d1b52f977e2df08","target":"graph","created_at":"2026-07-05T10:58:36Z","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/2505.02376/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Static analysis tools are widely used to detect software bugs and vulnerabilities but often struggle with scalability and efficiency in complex codebases. Traditional approaches rely on manually crafted annotations -- labeling functions as sources or sinks -- to track data flows, e.g., ensuring that allocated memory is eventually freed, and code analysis tools such as CodeQL, Infer, or Cooddy can use function specifications, but manual annotation is laborious and error-prone, especially for large or third-party libraries. We present LAMeD (LLM-generated Annotations for Memory leak Detection), ","authors_text":"Alexey Rukhovich, Anton Alekseev, Ekaterina Shemetova, Ilya Shenbin, Irina Piontkovskaya, Ivan Smirnov, Sergey Nikolenko, Vadim Lomshakov","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-05T05:34:33Z","title":"LAMeD: LLM-generated Annotations for Memory Leak Detection"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.02376","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:4247002ebee21cc4144cc82f9cb29a2f8c9e4099993ee58e15ca18e5e21298c4","target":"record","created_at":"2026-07-05T10:58:36Z","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":"434e1b90a3bd2791096d4accd4e837c667e168c848532393a28a1c77498d7439","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-05T05:34:33Z","title_canon_sha256":"209ff12c569a0414ca2de448c74aa1a899a26a09ab2da4313a506d485e4a1bd4"},"schema_version":"1.0","source":{"id":"2505.02376","kind":"arxiv","version":1}},"canonical_sha256":"1f3ea9848c862e8118f889287e100e43b2c3b49283788ea9a21b403f0122c743","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1f3ea9848c862e8118f889287e100e43b2c3b49283788ea9a21b403f0122c743","first_computed_at":"2026-07-05T10:58:36.178882Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:58:36.178882Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NQ/aOoQOXnhwYmS1p+Narv5TS6EwvCw7haWt20O5DpIYlgBWf0Kd3EhFcYBeqNY9+vC9bWDng5iZ5XfSa8d2Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:58:36.179276Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.02376","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4247002ebee21cc4144cc82f9cb29a2f8c9e4099993ee58e15ca18e5e21298c4","sha256:1c37e267986485749ee74b7e3003ab70e38b6a83d01a4c1f7d1b52f977e2df08"],"state_sha256":"ba72dc86254a9f50423ce818d3e0bbbd2ac4252214d0b4b1a1e4bf230a007af6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TS7oX4hyhHP5Ucr/0lBOyVJ2p30hOcajNCBs50yBGPQB/EQV7yI+q/JKvjruFqKUH/Vja00Kwf/ZO1o+MUS/Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T01:08:36.828747Z","bundle_sha256":"d9974e52a40adb727fc90d286d39d1a4de9102c1fc8c88175a86714243a19144"}}