{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:D47KTBEMQYXICGHYREUH4EAOIO","short_pith_number":"pith:D47KTBEM","schema_version":"1.0","canonical_sha256":"1f3ea9848c862e8118f889287e100e43b2c3b49283788ea9a21b403f0122c743","source":{"kind":"arxiv","id":"2505.02376","version":1},"attestation_state":"computed","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), "},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2505.02376","created_at":"2026-07-05T10:58:36.178936+00:00"},{"alias_kind":"arxiv_version","alias_value":"2505.02376v1","created_at":"2026-07-05T10:58:36.178936+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.02376","created_at":"2026-07-05T10:58:36.178936+00:00"},{"alias_kind":"pith_short_12","alias_value":"D47KTBEMQYXI","created_at":"2026-07-05T10:58:36.178936+00:00"},{"alias_kind":"pith_short_16","alias_value":"D47KTBEMQYXICGHY","created_at":"2026-07-05T10:58:36.178936+00:00"},{"alias_kind":"pith_short_8","alias_value":"D47KTBEM","created_at":"2026-07-05T10:58:36.178936+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/D47KTBEMQYXICGHYREUH4EAOIO","json":"https://pith.science/pith/D47KTBEMQYXICGHYREUH4EAOIO.json","graph_json":"https://pith.science/api/pith-number/D47KTBEMQYXICGHYREUH4EAOIO/graph.json","events_json":"https://pith.science/api/pith-number/D47KTBEMQYXICGHYREUH4EAOIO/events.json","paper":"https://pith.science/paper/D47KTBEM"},"agent_actions":{"view_html":"https://pith.science/pith/D47KTBEMQYXICGHYREUH4EAOIO","download_json":"https://pith.science/pith/D47KTBEMQYXICGHYREUH4EAOIO.json","view_paper":"https://pith.science/paper/D47KTBEM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2505.02376&json=true","fetch_graph":"https://pith.science/api/pith-number/D47KTBEMQYXICGHYREUH4EAOIO/graph.json","fetch_events":"https://pith.science/api/pith-number/D47KTBEMQYXICGHYREUH4EAOIO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/D47KTBEMQYXICGHYREUH4EAOIO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/D47KTBEMQYXICGHYREUH4EAOIO/action/storage_attestation","attest_author":"https://pith.science/pith/D47KTBEMQYXICGHYREUH4EAOIO/action/author_attestation","sign_citation":"https://pith.science/pith/D47KTBEMQYXICGHYREUH4EAOIO/action/citation_signature","submit_replication":"https://pith.science/pith/D47KTBEMQYXICGHYREUH4EAOIO/action/replication_record"}},"created_at":"2026-07-05T10:58:36.178936+00:00","updated_at":"2026-07-05T10:58:36.178936+00:00"}