{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:3RTJ7EIQA6R5NSRIAY564DIH5Z","short_pith_number":"pith:3RTJ7EIQ","canonical_record":{"source":{"id":"2607.09979","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-10T21:09:01Z","cross_cats_sorted":[],"title_canon_sha256":"fb5e2cad08552abec09c53d83a05b4ce95a7eb0b3489c0ffc6e207d97ea6e420","abstract_canon_sha256":"76a5af2643a815d05a9781b9e39d532073158e141cddf3165e95f9aa1dc6a152"},"schema_version":"1.0"},"canonical_sha256":"dc669f911007a3d6ca28063bee0d07ee66a1e4abb5065b5414c8565d100a7daf","source":{"kind":"arxiv","id":"2607.09979","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.09979","created_at":"2026-07-14T00:18:45Z"},{"alias_kind":"arxiv_version","alias_value":"2607.09979v1","created_at":"2026-07-14T00:18:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.09979","created_at":"2026-07-14T00:18:45Z"},{"alias_kind":"pith_short_12","alias_value":"3RTJ7EIQA6R5","created_at":"2026-07-14T00:18:45Z"},{"alias_kind":"pith_short_16","alias_value":"3RTJ7EIQA6R5NSRI","created_at":"2026-07-14T00:18:45Z"},{"alias_kind":"pith_short_8","alias_value":"3RTJ7EIQ","created_at":"2026-07-14T00:18:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:3RTJ7EIQA6R5NSRIAY564DIH5Z","target":"record","payload":{"canonical_record":{"source":{"id":"2607.09979","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-10T21:09:01Z","cross_cats_sorted":[],"title_canon_sha256":"fb5e2cad08552abec09c53d83a05b4ce95a7eb0b3489c0ffc6e207d97ea6e420","abstract_canon_sha256":"76a5af2643a815d05a9781b9e39d532073158e141cddf3165e95f9aa1dc6a152"},"schema_version":"1.0"},"canonical_sha256":"dc669f911007a3d6ca28063bee0d07ee66a1e4abb5065b5414c8565d100a7daf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-14T00:18:45.782311Z","signature_b64":"wego1XcV1OKoOjHxgcHhtOGrEohV8Fe7Qw2Y1fSac8W0SLbNlfb6PzBI51+4EZsbzHgH1wSTSxk53MSgJR3VAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dc669f911007a3d6ca28063bee0d07ee66a1e4abb5065b5414c8565d100a7daf","last_reissued_at":"2026-07-14T00:18:45.781444Z","signature_status":"signed_v1","first_computed_at":"2026-07-14T00:18:45.781444Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.09979","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-14T00:18:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I3rFn8xVaETebBJThtMmDk4fF4DceAqlqZWtdmzemgAEDjUPAY0BO9R8QwHHaxMnZBGrbfofLhLR1uW6VCDwDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T01:00:26.607220Z"},"content_sha256":"90fb0e46bc907e4344649a33f39f916aece72ca055fe9615a60f555c6cfa2e73","schema_version":"1.0","event_id":"sha256:90fb0e46bc907e4344649a33f39f916aece72ca055fe9615a60f555c6cfa2e73"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:3RTJ7EIQA6R5NSRIAY564DIH5Z","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"David Svoboda, Lori Flynn, Ruben Martins, William Klieber","submitted_at":"2026-07-10T21:09:01Z","abstract_excerpt":"Static analysis is widely used for finding security weaknesses in source code before deployment, but it often produces far more alerts than analysts can review. We study how well large language models (LLMs) can adjudicate (classify as a real bug or a false alarm) static-analysis alerts. We use two mistake-mitigation methods: (1) a consistency check (CC) that runs the LLM multiple times and checks that the verdicts are consistent with each other, and (2) an LLM reasoning evaluation (LRE) step that runs the LLM multiple times and then asks the LLM to choose a verdict after evaluating the reason"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.09979","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/2607.09979/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-14T00:18:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/iRwkGrTgxJDhMuCG3fsK7nbWUizpD3ljLp2d1JC2HB82hLOZj6VOsVGgnfPywh7LkKUk0awqeB2Bh/nUbZZCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T01:00:26.607839Z"},"content_sha256":"c345cea1bff223b9b57be03522eede991a2349d523ca8a34ebbf6f7758f0741d","schema_version":"1.0","event_id":"sha256:c345cea1bff223b9b57be03522eede991a2349d523ca8a34ebbf6f7758f0741d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3RTJ7EIQA6R5NSRIAY564DIH5Z/bundle.json","state_url":"https://pith.science/pith/3RTJ7EIQA6R5NSRIAY564DIH5Z/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3RTJ7EIQA6R5NSRIAY564DIH5Z/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-01T01:00:26Z","links":{"resolver":"https://pith.science/pith/3RTJ7EIQA6R5NSRIAY564DIH5Z","bundle":"https://pith.science/pith/3RTJ7EIQA6R5NSRIAY564DIH5Z/bundle.json","state":"https://pith.science/pith/3RTJ7EIQA6R5NSRIAY564DIH5Z/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3RTJ7EIQA6R5NSRIAY564DIH5Z/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:3RTJ7EIQA6R5NSRIAY564DIH5Z","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":"76a5af2643a815d05a9781b9e39d532073158e141cddf3165e95f9aa1dc6a152","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-10T21:09:01Z","title_canon_sha256":"fb5e2cad08552abec09c53d83a05b4ce95a7eb0b3489c0ffc6e207d97ea6e420"},"schema_version":"1.0","source":{"id":"2607.09979","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.09979","created_at":"2026-07-14T00:18:45Z"},{"alias_kind":"arxiv_version","alias_value":"2607.09979v1","created_at":"2026-07-14T00:18:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.09979","created_at":"2026-07-14T00:18:45Z"},{"alias_kind":"pith_short_12","alias_value":"3RTJ7EIQA6R5","created_at":"2026-07-14T00:18:45Z"},{"alias_kind":"pith_short_16","alias_value":"3RTJ7EIQA6R5NSRI","created_at":"2026-07-14T00:18:45Z"},{"alias_kind":"pith_short_8","alias_value":"3RTJ7EIQ","created_at":"2026-07-14T00:18:45Z"}],"graph_snapshots":[{"event_id":"sha256:c345cea1bff223b9b57be03522eede991a2349d523ca8a34ebbf6f7758f0741d","target":"graph","created_at":"2026-07-14T00:18:45Z","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/2607.09979/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Static analysis is widely used for finding security weaknesses in source code before deployment, but it often produces far more alerts than analysts can review. We study how well large language models (LLMs) can adjudicate (classify as a real bug or a false alarm) static-analysis alerts. We use two mistake-mitigation methods: (1) a consistency check (CC) that runs the LLM multiple times and checks that the verdicts are consistent with each other, and (2) an LLM reasoning evaluation (LRE) step that runs the LLM multiple times and then asks the LLM to choose a verdict after evaluating the reason","authors_text":"David Svoboda, Lori Flynn, Ruben Martins, William Klieber","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.09979","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:90fb0e46bc907e4344649a33f39f916aece72ca055fe9615a60f555c6cfa2e73","target":"record","created_at":"2026-07-14T00:18:45Z","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":"76a5af2643a815d05a9781b9e39d532073158e141cddf3165e95f9aa1dc6a152","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-10T21:09:01Z","title_canon_sha256":"fb5e2cad08552abec09c53d83a05b4ce95a7eb0b3489c0ffc6e207d97ea6e420"},"schema_version":"1.0","source":{"id":"2607.09979","kind":"arxiv","version":1}},"canonical_sha256":"dc669f911007a3d6ca28063bee0d07ee66a1e4abb5065b5414c8565d100a7daf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dc669f911007a3d6ca28063bee0d07ee66a1e4abb5065b5414c8565d100a7daf","first_computed_at":"2026-07-14T00:18:45.781444Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-14T00:18:45.781444Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wego1XcV1OKoOjHxgcHhtOGrEohV8Fe7Qw2Y1fSac8W0SLbNlfb6PzBI51+4EZsbzHgH1wSTSxk53MSgJR3VAA==","signature_status":"signed_v1","signed_at":"2026-07-14T00:18:45.782311Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.09979","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:90fb0e46bc907e4344649a33f39f916aece72ca055fe9615a60f555c6cfa2e73","sha256:c345cea1bff223b9b57be03522eede991a2349d523ca8a34ebbf6f7758f0741d"],"state_sha256":"c397414af960db60eddfaf4914d300d28aedfd6b992241971e23689ad2e1d598"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CU0BVTOJ9+kGe9r1RmKQkqUH0i0lKLJwPLRX3R1mcQz/UDC50mRInyRrgLwYj6u5/iXaik7jDzKeIJulgMJyBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-01T01:00:26.612772Z","bundle_sha256":"db8e60fe95b5b012abea56a2d3c973c4a3b00b73fe9e1e07f5104b088779050a"}}