{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FGPQIG7CIHTIBGT75NLURBYB77","short_pith_number":"pith:FGPQIG7C","canonical_record":{"source":{"id":"2503.09002","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-12T02:30:19Z","cross_cats_sorted":["cs.AI","cs.CR","cs.OS"],"title_canon_sha256":"2350d2f8c8950f0f73135755f195bfe7c1395648b50c07eb3fda476c88dd2f60","abstract_canon_sha256":"602c3e6f4740518bb890681b0d95beb10e39a0570ce913a8736e28bef117dbd5"},"schema_version":"1.0"},"canonical_sha256":"299f041be241e6809a7feb57488701ffc9968faadc0e336176a3ecacd1b784e3","source":{"kind":"arxiv","id":"2503.09002","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.09002","created_at":"2026-07-05T12:04:32Z"},{"alias_kind":"arxiv_version","alias_value":"2503.09002v3","created_at":"2026-07-05T12:04:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.09002","created_at":"2026-07-05T12:04:32Z"},{"alias_kind":"pith_short_12","alias_value":"FGPQIG7CIHTI","created_at":"2026-07-05T12:04:32Z"},{"alias_kind":"pith_short_16","alias_value":"FGPQIG7CIHTIBGT7","created_at":"2026-07-05T12:04:32Z"},{"alias_kind":"pith_short_8","alias_value":"FGPQIG7C","created_at":"2026-07-05T12:04:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FGPQIG7CIHTIBGT75NLURBYB77","target":"record","payload":{"canonical_record":{"source":{"id":"2503.09002","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-12T02:30:19Z","cross_cats_sorted":["cs.AI","cs.CR","cs.OS"],"title_canon_sha256":"2350d2f8c8950f0f73135755f195bfe7c1395648b50c07eb3fda476c88dd2f60","abstract_canon_sha256":"602c3e6f4740518bb890681b0d95beb10e39a0570ce913a8736e28bef117dbd5"},"schema_version":"1.0"},"canonical_sha256":"299f041be241e6809a7feb57488701ffc9968faadc0e336176a3ecacd1b784e3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:04:32.255769Z","signature_b64":"fFbF55ccdh1CjFeNXMpNW32ekSpehyrDVR2IOwAnvtC8YCO8T61zmtCZdrorwumwt+C60236ueQrKvCyQcVXAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"299f041be241e6809a7feb57488701ffc9968faadc0e336176a3ecacd1b784e3","last_reissued_at":"2026-07-05T12:04:32.255168Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:04:32.255168Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.09002","source_version":3,"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-05T12:04:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JeaW8TjO8gHbApy746ajoCFWU88xg6kJ1YEtYQheSFaXnSxgfgSyuKWQiCbMTRV7sihr/ueycnn0mk63xHEYBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T13:40:43.623627Z"},"content_sha256":"4b76ddffb9aef9649aaf97434ad7b9c20dfb056683ff86679e5f0f70ac48b046","schema_version":"1.0","event_id":"sha256:4b76ddffb9aef9649aaf97434ad7b9c20dfb056683ff86679e5f0f70ac48b046"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FGPQIG7CIHTIBGT75NLURBYB77","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"KNighter: Transforming Static Analysis with LLM-Synthesized Checkers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.CR","cs.OS"],"primary_cat":"cs.SE","authors_text":"Chenyuan Yang, Haoyu Li, Lingming Zhang, Zichen Xie, Zijie Zhao","submitted_at":"2025-03-12T02:30:19Z","abstract_excerpt":"Static analysis is a powerful technique for bug detection in critical systems like operating system kernels. However, designing and implementing static analyzers is challenging, time-consuming, and typically limited to predefined bug patterns. While large language models (LLMs) have shown promise for static analysis, directly applying them to scan large systems remains impractical due to computational constraints and contextual limitations.\n  We present KNighter, the first approach that unlocks scalable LLM-based static analysis by automatically synthesizing static analyzers from historical bu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.09002","kind":"arxiv","version":3},"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/2503.09002/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-05T12:04:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oif/lt0I30X9eP6pGRlxg1YSyQrS0NQvb7XQDW2dzO7D7ebwJbBMf2U5ojc8qH/B2PGFPwbCHIhcT/HdYWvxCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T13:40:43.624119Z"},"content_sha256":"5722e8f14fec54772556fb7ad3d78a486530cc376e42005b4161a5109ddf5145","schema_version":"1.0","event_id":"sha256:5722e8f14fec54772556fb7ad3d78a486530cc376e42005b4161a5109ddf5145"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FGPQIG7CIHTIBGT75NLURBYB77/bundle.json","state_url":"https://pith.science/pith/FGPQIG7CIHTIBGT75NLURBYB77/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FGPQIG7CIHTIBGT75NLURBYB77/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-05T13:40:43Z","links":{"resolver":"https://pith.science/pith/FGPQIG7CIHTIBGT75NLURBYB77","bundle":"https://pith.science/pith/FGPQIG7CIHTIBGT75NLURBYB77/bundle.json","state":"https://pith.science/pith/FGPQIG7CIHTIBGT75NLURBYB77/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FGPQIG7CIHTIBGT75NLURBYB77/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FGPQIG7CIHTIBGT75NLURBYB77","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":"602c3e6f4740518bb890681b0d95beb10e39a0570ce913a8736e28bef117dbd5","cross_cats_sorted":["cs.AI","cs.CR","cs.OS"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-12T02:30:19Z","title_canon_sha256":"2350d2f8c8950f0f73135755f195bfe7c1395648b50c07eb3fda476c88dd2f60"},"schema_version":"1.0","source":{"id":"2503.09002","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.09002","created_at":"2026-07-05T12:04:32Z"},{"alias_kind":"arxiv_version","alias_value":"2503.09002v3","created_at":"2026-07-05T12:04:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.09002","created_at":"2026-07-05T12:04:32Z"},{"alias_kind":"pith_short_12","alias_value":"FGPQIG7CIHTI","created_at":"2026-07-05T12:04:32Z"},{"alias_kind":"pith_short_16","alias_value":"FGPQIG7CIHTIBGT7","created_at":"2026-07-05T12:04:32Z"},{"alias_kind":"pith_short_8","alias_value":"FGPQIG7C","created_at":"2026-07-05T12:04:32Z"}],"graph_snapshots":[{"event_id":"sha256:5722e8f14fec54772556fb7ad3d78a486530cc376e42005b4161a5109ddf5145","target":"graph","created_at":"2026-07-05T12:04:32Z","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/2503.09002/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Static analysis is a powerful technique for bug detection in critical systems like operating system kernels. However, designing and implementing static analyzers is challenging, time-consuming, and typically limited to predefined bug patterns. While large language models (LLMs) have shown promise for static analysis, directly applying them to scan large systems remains impractical due to computational constraints and contextual limitations.\n  We present KNighter, the first approach that unlocks scalable LLM-based static analysis by automatically synthesizing static analyzers from historical bu","authors_text":"Chenyuan Yang, Haoyu Li, Lingming Zhang, Zichen Xie, Zijie Zhao","cross_cats":["cs.AI","cs.CR","cs.OS"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-12T02:30:19Z","title":"KNighter: Transforming Static Analysis with LLM-Synthesized Checkers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.09002","kind":"arxiv","version":3},"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:4b76ddffb9aef9649aaf97434ad7b9c20dfb056683ff86679e5f0f70ac48b046","target":"record","created_at":"2026-07-05T12:04:32Z","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":"602c3e6f4740518bb890681b0d95beb10e39a0570ce913a8736e28bef117dbd5","cross_cats_sorted":["cs.AI","cs.CR","cs.OS"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-12T02:30:19Z","title_canon_sha256":"2350d2f8c8950f0f73135755f195bfe7c1395648b50c07eb3fda476c88dd2f60"},"schema_version":"1.0","source":{"id":"2503.09002","kind":"arxiv","version":3}},"canonical_sha256":"299f041be241e6809a7feb57488701ffc9968faadc0e336176a3ecacd1b784e3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"299f041be241e6809a7feb57488701ffc9968faadc0e336176a3ecacd1b784e3","first_computed_at":"2026-07-05T12:04:32.255168Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:04:32.255168Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fFbF55ccdh1CjFeNXMpNW32ekSpehyrDVR2IOwAnvtC8YCO8T61zmtCZdrorwumwt+C60236ueQrKvCyQcVXAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T12:04:32.255769Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.09002","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4b76ddffb9aef9649aaf97434ad7b9c20dfb056683ff86679e5f0f70ac48b046","sha256:5722e8f14fec54772556fb7ad3d78a486530cc376e42005b4161a5109ddf5145"],"state_sha256":"bd17ecff9a950ddb166f5deb86e4d68182d523136d744891cd0dc55baf330bbb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"97StI0hlMNMnQPooUhbykEtQT6GFPW3Mjux4llV1mAoF5+8TmIiQrDhsiIllmUwB9KtQamNCZhaZZEehF35dCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T13:40:43.627956Z","bundle_sha256":"dfed68788ed896b915a95e261016d293115ce4ddac65cdffec613cd75f26f3fc"}}