{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:X4WISGQ34QN2JEZGF55TYF5O6X","short_pith_number":"pith:X4WISGQ3","schema_version":"1.0","canonical_sha256":"bf2c891a1be41ba493262f7b3c17aef5dbc407c6b50fc607bcf8c20a58baa6a6","source":{"kind":"arxiv","id":"2606.18619","version":1},"attestation_state":"computed","paper":{"title":"Code-Augur: Agentic Vulnerability Detection via Specification Inference","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.CR","authors_text":"Abhik Roychoudhury, Dylan Wolff, Mehtab Zafar, Zhengxiong Luo","submitted_at":"2026-06-17T02:32:45Z","abstract_excerpt":"The advent of agentic vulnerability detection is already becoming a watershed moment for software security. Audits conducted entirely by autonomous LLM agents are uncovering critical vulnerabilities in fundamental software underpinning digital society. Many of these vulnerabilities remained masked for years, surfacing only now with AI agents. Yet the reasoning behind these discoveries remains alarmingly opaque and unvalidated. What assumptions did the agent make about a function's inputs when it deemed that function to be secure? Failures in reasoning and incorrect assumptions can lead to miss"},"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.18619","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2026-06-17T02:32:45Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"4fd66b68c4b6f3d41800365e1453f9b6b00af4146e6ca344e266771e37d11085","abstract_canon_sha256":"83e9d232c33d7994046037814a38b133f6f26867624f79ee3055483f00cb4151"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-19T16:11:42.624835Z","signature_b64":"Ui7dLCntJQADvT7WEX5ebEtgrer5ADYDD085q2F8dp45443jSG46guji3UcruVCPgF0qZ5zobJFsZ5KuR+dyBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bf2c891a1be41ba493262f7b3c17aef5dbc407c6b50fc607bcf8c20a58baa6a6","last_reissued_at":"2026-06-19T16:11:42.624449Z","signature_status":"signed_v1","first_computed_at":"2026-06-19T16:11:42.624449Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Code-Augur: Agentic Vulnerability Detection via Specification Inference","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.CR","authors_text":"Abhik Roychoudhury, Dylan Wolff, Mehtab Zafar, Zhengxiong Luo","submitted_at":"2026-06-17T02:32:45Z","abstract_excerpt":"The advent of agentic vulnerability detection is already becoming a watershed moment for software security. Audits conducted entirely by autonomous LLM agents are uncovering critical vulnerabilities in fundamental software underpinning digital society. Many of these vulnerabilities remained masked for years, surfacing only now with AI agents. Yet the reasoning behind these discoveries remains alarmingly opaque and unvalidated. What assumptions did the agent make about a function's inputs when it deemed that function to be secure? Failures in reasoning and incorrect assumptions can lead to miss"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.18619","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.18619/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.18619","created_at":"2026-06-19T16:11:42.624513+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.18619v1","created_at":"2026-06-19T16:11:42.624513+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.18619","created_at":"2026-06-19T16:11:42.624513+00:00"},{"alias_kind":"pith_short_12","alias_value":"X4WISGQ34QN2","created_at":"2026-06-19T16:11:42.624513+00:00"},{"alias_kind":"pith_short_16","alias_value":"X4WISGQ34QN2JEZG","created_at":"2026-06-19T16:11:42.624513+00:00"},{"alias_kind":"pith_short_8","alias_value":"X4WISGQ3","created_at":"2026-06-19T16:11:42.624513+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/X4WISGQ34QN2JEZGF55TYF5O6X","json":"https://pith.science/pith/X4WISGQ34QN2JEZGF55TYF5O6X.json","graph_json":"https://pith.science/api/pith-number/X4WISGQ34QN2JEZGF55TYF5O6X/graph.json","events_json":"https://pith.science/api/pith-number/X4WISGQ34QN2JEZGF55TYF5O6X/events.json","paper":"https://pith.science/paper/X4WISGQ3"},"agent_actions":{"view_html":"https://pith.science/pith/X4WISGQ34QN2JEZGF55TYF5O6X","download_json":"https://pith.science/pith/X4WISGQ34QN2JEZGF55TYF5O6X.json","view_paper":"https://pith.science/paper/X4WISGQ3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.18619&json=true","fetch_graph":"https://pith.science/api/pith-number/X4WISGQ34QN2JEZGF55TYF5O6X/graph.json","fetch_events":"https://pith.science/api/pith-number/X4WISGQ34QN2JEZGF55TYF5O6X/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/X4WISGQ34QN2JEZGF55TYF5O6X/action/timestamp_anchor","attest_storage":"https://pith.science/pith/X4WISGQ34QN2JEZGF55TYF5O6X/action/storage_attestation","attest_author":"https://pith.science/pith/X4WISGQ34QN2JEZGF55TYF5O6X/action/author_attestation","sign_citation":"https://pith.science/pith/X4WISGQ34QN2JEZGF55TYF5O6X/action/citation_signature","submit_replication":"https://pith.science/pith/X4WISGQ34QN2JEZGF55TYF5O6X/action/replication_record"}},"created_at":"2026-06-19T16:11:42.624513+00:00","updated_at":"2026-06-19T16:11:42.624513+00:00"}