{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:LDYL3RYLK5CJSUYUCL6WTZETDV","short_pith_number":"pith:LDYL3RYL","schema_version":"1.0","canonical_sha256":"58f0bdc70b574499531412fd69e4931d538624503679da981b8c2d3186d295ad","source":{"kind":"arxiv","id":"2507.15241","version":1},"attestation_state":"computed","paper":{"title":"FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Baishakhi Ray, Roshanak Zilouchian Moghaddam, Vikram Nitin","submitted_at":"2025-07-21T04:55:34Z","abstract_excerpt":"Despite the critical threat posed by software security vulnerabilities, reports are often incomplete, lacking the proof-of-vulnerability (PoV) tests needed to validate fixes and prevent regressions. These tests are crucial not only for ensuring patches work, but also for helping developers understand how vulnerabilities can be exploited. Generating PoV tests is a challenging problem, requiring reasoning about the flow of control and data through deeply nested levels of a program.\n  We present FaultLine, an LLM agent workflow that uses a set of carefully designed reasoning steps, inspired by as"},"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":"2507.15241","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-21T04:55:34Z","cross_cats_sorted":[],"title_canon_sha256":"b742e642e9aaa8a26d114ea36d33d0f0af1672137700d063475e31c9ec050863","abstract_canon_sha256":"312b299c6fca35d74662992820a5b500931bf1ed1e0e038ef76f9b7182d1d784"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:40:20.890353Z","signature_b64":"8dYatNW0rjk2jpxwU9un6OhJWINj7twV84zw9TL1PN718Tycwgi0JRAYXgfxXju4utQTepCaIR68N4Gv0LvPCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"58f0bdc70b574499531412fd69e4931d538624503679da981b8c2d3186d295ad","last_reissued_at":"2026-07-05T11:40:20.889810Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:40:20.889810Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Baishakhi Ray, Roshanak Zilouchian Moghaddam, Vikram Nitin","submitted_at":"2025-07-21T04:55:34Z","abstract_excerpt":"Despite the critical threat posed by software security vulnerabilities, reports are often incomplete, lacking the proof-of-vulnerability (PoV) tests needed to validate fixes and prevent regressions. These tests are crucial not only for ensuring patches work, but also for helping developers understand how vulnerabilities can be exploited. Generating PoV tests is a challenging problem, requiring reasoning about the flow of control and data through deeply nested levels of a program.\n  We present FaultLine, an LLM agent workflow that uses a set of carefully designed reasoning steps, inspired by as"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.15241","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/2507.15241/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":"2507.15241","created_at":"2026-07-05T11:40:20.889866+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.15241v1","created_at":"2026-07-05T11:40:20.889866+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.15241","created_at":"2026-07-05T11:40:20.889866+00:00"},{"alias_kind":"pith_short_12","alias_value":"LDYL3RYLK5CJ","created_at":"2026-07-05T11:40:20.889866+00:00"},{"alias_kind":"pith_short_16","alias_value":"LDYL3RYLK5CJSUYU","created_at":"2026-07-05T11:40:20.889866+00:00"},{"alias_kind":"pith_short_8","alias_value":"LDYL3RYL","created_at":"2026-07-05T11:40:20.889866+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":8,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2607.01760","citing_title":"Refploit: Facilitating Exploit Construction via Code-Agent Trajectory Repair","ref_index":26,"is_internal_anchor":false},{"citing_arxiv_id":"2606.05391","citing_title":"Human oversight of agentic systems in practice: Examining the oversight work, challenges, and heuristics of developers using software agents","ref_index":89,"is_internal_anchor":false},{"citing_arxiv_id":"2605.26548","citing_title":"SEC-bench Pro: Can Language Models Solve Long-Horizon Software Security Tasks?","ref_index":10,"is_internal_anchor":false},{"citing_arxiv_id":"2605.05000","citing_title":"Agentic Vulnerability Reasoning on COTS Binaries","ref_index":33,"is_internal_anchor":false},{"citing_arxiv_id":"2604.11950","citing_title":"AnyPoC: Universal Proof-of-Concept Test Generation for Scalable LLM-Based Bug Detection","ref_index":40,"is_internal_anchor":false},{"citing_arxiv_id":"2604.07624","citing_title":"Program Analysis Guided LLM Agent for Proof-of-Concept Generation","ref_index":29,"is_internal_anchor":false},{"citing_arxiv_id":"2604.05130","citing_title":"A Multi-Agent Framework for Automated Exploit Generation with Constraint-Guided Comprehension and Reflection","ref_index":39,"is_internal_anchor":false},{"citing_arxiv_id":"2604.13611","citing_title":"V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution","ref_index":39,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/LDYL3RYLK5CJSUYUCL6WTZETDV","json":"https://pith.science/pith/LDYL3RYLK5CJSUYUCL6WTZETDV.json","graph_json":"https://pith.science/api/pith-number/LDYL3RYLK5CJSUYUCL6WTZETDV/graph.json","events_json":"https://pith.science/api/pith-number/LDYL3RYLK5CJSUYUCL6WTZETDV/events.json","paper":"https://pith.science/paper/LDYL3RYL"},"agent_actions":{"view_html":"https://pith.science/pith/LDYL3RYLK5CJSUYUCL6WTZETDV","download_json":"https://pith.science/pith/LDYL3RYLK5CJSUYUCL6WTZETDV.json","view_paper":"https://pith.science/paper/LDYL3RYL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.15241&json=true","fetch_graph":"https://pith.science/api/pith-number/LDYL3RYLK5CJSUYUCL6WTZETDV/graph.json","fetch_events":"https://pith.science/api/pith-number/LDYL3RYLK5CJSUYUCL6WTZETDV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LDYL3RYLK5CJSUYUCL6WTZETDV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LDYL3RYLK5CJSUYUCL6WTZETDV/action/storage_attestation","attest_author":"https://pith.science/pith/LDYL3RYLK5CJSUYUCL6WTZETDV/action/author_attestation","sign_citation":"https://pith.science/pith/LDYL3RYLK5CJSUYUCL6WTZETDV/action/citation_signature","submit_replication":"https://pith.science/pith/LDYL3RYLK5CJSUYUCL6WTZETDV/action/replication_record"}},"created_at":"2026-07-05T11:40:20.889866+00:00","updated_at":"2026-07-05T11:40:20.889866+00:00"}