{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:FMRXJ5B3PMXFU63G3T75FKKR62","short_pith_number":"pith:FMRXJ5B3","schema_version":"1.0","canonical_sha256":"2b2374f43b7b2e5a7b66dcffd2a951f6a342fe1056eac922d466e3186ae6c76d","source":{"kind":"arxiv","id":"2507.15892","version":1},"attestation_state":"computed","paper":{"title":"StaAgent: An Agentic Framework for Testing Static Analyzers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Elijah Nnorom, Hung Viet Pham, Jiho Shin, Md Basim Uddin Ahmed, Song Wang","submitted_at":"2025-07-20T13:41:02Z","abstract_excerpt":"Static analyzers play a critical role in identifying bugs early in the software development lifecycle, but their rule implementations are often under-tested and prone to inconsistencies. To address this, we propose StaAgent, an agentic framework that harnesses the generative capabilities of Large Language Models (LLMs) to systematically evaluate static analyzer rules. StaAgent comprises four specialized agents: a Seed Generation Agent that translates bug detection rules into concrete, bug-inducing seed programs; a Code Validation Agent that ensures the correctness of these seeds; a Mutation Ge"},"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.15892","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-20T13:41:02Z","cross_cats_sorted":[],"title_canon_sha256":"2af1b6f871a8b1b6b86c844b4ed08d9c03f168f087b31b614eb9f13ca41134e6","abstract_canon_sha256":"9fee53c701ee9da3755d76fcd7079618e585b71496dbe7fd1da0a536da099b52"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:40:58.742444Z","signature_b64":"ugrnOwAlyaVNvxaA10wEmkqovccdgkO3N1fbFLXL8dAwaxw2advUE0tLRat4GfGUorf2grvlO6qmnJ3oCVCuCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2b2374f43b7b2e5a7b66dcffd2a951f6a342fe1056eac922d466e3186ae6c76d","last_reissued_at":"2026-07-05T11:40:58.741935Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:40:58.741935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"StaAgent: An Agentic Framework for Testing Static Analyzers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Elijah Nnorom, Hung Viet Pham, Jiho Shin, Md Basim Uddin Ahmed, Song Wang","submitted_at":"2025-07-20T13:41:02Z","abstract_excerpt":"Static analyzers play a critical role in identifying bugs early in the software development lifecycle, but their rule implementations are often under-tested and prone to inconsistencies. To address this, we propose StaAgent, an agentic framework that harnesses the generative capabilities of Large Language Models (LLMs) to systematically evaluate static analyzer rules. StaAgent comprises four specialized agents: a Seed Generation Agent that translates bug detection rules into concrete, bug-inducing seed programs; a Code Validation Agent that ensures the correctness of these seeds; a Mutation Ge"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.15892","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.15892/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.15892","created_at":"2026-07-05T11:40:58.741997+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.15892v1","created_at":"2026-07-05T11:40:58.741997+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.15892","created_at":"2026-07-05T11:40:58.741997+00:00"},{"alias_kind":"pith_short_12","alias_value":"FMRXJ5B3PMXF","created_at":"2026-07-05T11:40:58.741997+00:00"},{"alias_kind":"pith_short_16","alias_value":"FMRXJ5B3PMXFU63G","created_at":"2026-07-05T11:40:58.741997+00:00"},{"alias_kind":"pith_short_8","alias_value":"FMRXJ5B3","created_at":"2026-07-05T11:40:58.741997+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.13898","citing_title":"Bidirectional Empowerment of Metamorphic Testing and Large Language Models: A Systematic Survey","ref_index":72,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/FMRXJ5B3PMXFU63G3T75FKKR62","json":"https://pith.science/pith/FMRXJ5B3PMXFU63G3T75FKKR62.json","graph_json":"https://pith.science/api/pith-number/FMRXJ5B3PMXFU63G3T75FKKR62/graph.json","events_json":"https://pith.science/api/pith-number/FMRXJ5B3PMXFU63G3T75FKKR62/events.json","paper":"https://pith.science/paper/FMRXJ5B3"},"agent_actions":{"view_html":"https://pith.science/pith/FMRXJ5B3PMXFU63G3T75FKKR62","download_json":"https://pith.science/pith/FMRXJ5B3PMXFU63G3T75FKKR62.json","view_paper":"https://pith.science/paper/FMRXJ5B3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.15892&json=true","fetch_graph":"https://pith.science/api/pith-number/FMRXJ5B3PMXFU63G3T75FKKR62/graph.json","fetch_events":"https://pith.science/api/pith-number/FMRXJ5B3PMXFU63G3T75FKKR62/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FMRXJ5B3PMXFU63G3T75FKKR62/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FMRXJ5B3PMXFU63G3T75FKKR62/action/storage_attestation","attest_author":"https://pith.science/pith/FMRXJ5B3PMXFU63G3T75FKKR62/action/author_attestation","sign_citation":"https://pith.science/pith/FMRXJ5B3PMXFU63G3T75FKKR62/action/citation_signature","submit_replication":"https://pith.science/pith/FMRXJ5B3PMXFU63G3T75FKKR62/action/replication_record"}},"created_at":"2026-07-05T11:40:58.741997+00:00","updated_at":"2026-07-05T11:40:58.741997+00:00"}