{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FMRXJ5B3PMXFU63G3T75FKKR62","short_pith_number":"pith:FMRXJ5B3","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"},"canonical_sha256":"2b2374f43b7b2e5a7b66dcffd2a951f6a342fe1056eac922d466e3186ae6c76d","source":{"kind":"arxiv","id":"2507.15892","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.15892","created_at":"2026-07-05T11:40:58Z"},{"alias_kind":"arxiv_version","alias_value":"2507.15892v1","created_at":"2026-07-05T11:40:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.15892","created_at":"2026-07-05T11:40:58Z"},{"alias_kind":"pith_short_12","alias_value":"FMRXJ5B3PMXF","created_at":"2026-07-05T11:40:58Z"},{"alias_kind":"pith_short_16","alias_value":"FMRXJ5B3PMXFU63G","created_at":"2026-07-05T11:40:58Z"},{"alias_kind":"pith_short_8","alias_value":"FMRXJ5B3","created_at":"2026-07-05T11:40:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FMRXJ5B3PMXFU63G3T75FKKR62","target":"record","payload":{"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"},"canonical_sha256":"2b2374f43b7b2e5a7b66dcffd2a951f6a342fe1056eac922d466e3186ae6c76d","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"},"source_kind":"arxiv","source_id":"2507.15892","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-05T11:40:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HCDI60BXlkYduALad1qNLrVaXrGMl3AXHhnJ7cwVlFXTcD4IIiU3maIVwXhBTsprvfTPB2nwfsnLY5X16vwnBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T18:24:35.244712Z"},"content_sha256":"6de4171bd7691f58df6731d89d6702541b1411df0640ce780bc5dc38c3cccf7a","schema_version":"1.0","event_id":"sha256:6de4171bd7691f58df6731d89d6702541b1411df0640ce780bc5dc38c3cccf7a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FMRXJ5B3PMXFU63G3T75FKKR62","target":"graph","payload":{"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"},"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-05T11:40:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KtoPnEbpX3OBwK7mnqFZEPChQgM33bOCgW6kQJgX2RShFkJGFWBlsAg3qoHIzvpWSeho2vj+GShj623c4atlCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T18:24:35.245288Z"},"content_sha256":"c83c1e9d402316800cd019a06c62435e8eebab3b8278aeac4fca16ca256e8efa","schema_version":"1.0","event_id":"sha256:c83c1e9d402316800cd019a06c62435e8eebab3b8278aeac4fca16ca256e8efa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FMRXJ5B3PMXFU63G3T75FKKR62/bundle.json","state_url":"https://pith.science/pith/FMRXJ5B3PMXFU63G3T75FKKR62/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FMRXJ5B3PMXFU63G3T75FKKR62/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-08T18:24:35Z","links":{"resolver":"https://pith.science/pith/FMRXJ5B3PMXFU63G3T75FKKR62","bundle":"https://pith.science/pith/FMRXJ5B3PMXFU63G3T75FKKR62/bundle.json","state":"https://pith.science/pith/FMRXJ5B3PMXFU63G3T75FKKR62/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FMRXJ5B3PMXFU63G3T75FKKR62/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FMRXJ5B3PMXFU63G3T75FKKR62","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":"9fee53c701ee9da3755d76fcd7079618e585b71496dbe7fd1da0a536da099b52","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-20T13:41:02Z","title_canon_sha256":"2af1b6f871a8b1b6b86c844b4ed08d9c03f168f087b31b614eb9f13ca41134e6"},"schema_version":"1.0","source":{"id":"2507.15892","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.15892","created_at":"2026-07-05T11:40:58Z"},{"alias_kind":"arxiv_version","alias_value":"2507.15892v1","created_at":"2026-07-05T11:40:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.15892","created_at":"2026-07-05T11:40:58Z"},{"alias_kind":"pith_short_12","alias_value":"FMRXJ5B3PMXF","created_at":"2026-07-05T11:40:58Z"},{"alias_kind":"pith_short_16","alias_value":"FMRXJ5B3PMXFU63G","created_at":"2026-07-05T11:40:58Z"},{"alias_kind":"pith_short_8","alias_value":"FMRXJ5B3","created_at":"2026-07-05T11:40:58Z"}],"graph_snapshots":[{"event_id":"sha256:c83c1e9d402316800cd019a06c62435e8eebab3b8278aeac4fca16ca256e8efa","target":"graph","created_at":"2026-07-05T11:40:58Z","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/2507.15892/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Elijah Nnorom, Hung Viet Pham, Jiho Shin, Md Basim Uddin Ahmed, Song Wang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.15892","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:6de4171bd7691f58df6731d89d6702541b1411df0640ce780bc5dc38c3cccf7a","target":"record","created_at":"2026-07-05T11:40:58Z","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":"9fee53c701ee9da3755d76fcd7079618e585b71496dbe7fd1da0a536da099b52","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-20T13:41:02Z","title_canon_sha256":"2af1b6f871a8b1b6b86c844b4ed08d9c03f168f087b31b614eb9f13ca41134e6"},"schema_version":"1.0","source":{"id":"2507.15892","kind":"arxiv","version":1}},"canonical_sha256":"2b2374f43b7b2e5a7b66dcffd2a951f6a342fe1056eac922d466e3186ae6c76d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2b2374f43b7b2e5a7b66dcffd2a951f6a342fe1056eac922d466e3186ae6c76d","first_computed_at":"2026-07-05T11:40:58.741935Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:40:58.741935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ugrnOwAlyaVNvxaA10wEmkqovccdgkO3N1fbFLXL8dAwaxw2advUE0tLRat4GfGUorf2grvlO6qmnJ3oCVCuCA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:40:58.742444Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.15892","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6de4171bd7691f58df6731d89d6702541b1411df0640ce780bc5dc38c3cccf7a","sha256:c83c1e9d402316800cd019a06c62435e8eebab3b8278aeac4fca16ca256e8efa"],"state_sha256":"5788aa282ed80b56e112a50e12d7bf9a6a1b4ca385193b65adc1b7ac74b74f81"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"osmrqFYq9sHGa0Dm3RYgiEFIaIR1qTXGHMCv2VUTpvZvVZUqDH/6loTo7f7A3P8hgI5yAau4Bdnit+GJJxHMCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T18:24:35.249677Z","bundle_sha256":"8f4809bff15a35d0c57d9de0efc90b75b50bd72aa4ec4474c30630aa733be472"}}