{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:FGPQIG7CIHTIBGT75NLURBYB77","short_pith_number":"pith:FGPQIG7C","schema_version":"1.0","canonical_sha256":"299f041be241e6809a7feb57488701ffc9968faadc0e336176a3ecacd1b784e3","source":{"kind":"arxiv","id":"2503.09002","version":3},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2503.09002","created_at":"2026-07-05T12:04:32.255234+00:00"},{"alias_kind":"arxiv_version","alias_value":"2503.09002v3","created_at":"2026-07-05T12:04:32.255234+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.09002","created_at":"2026-07-05T12:04:32.255234+00:00"},{"alias_kind":"pith_short_12","alias_value":"FGPQIG7CIHTI","created_at":"2026-07-05T12:04:32.255234+00:00"},{"alias_kind":"pith_short_16","alias_value":"FGPQIG7CIHTIBGT7","created_at":"2026-07-05T12:04:32.255234+00:00"},{"alias_kind":"pith_short_8","alias_value":"FGPQIG7C","created_at":"2026-07-05T12:04:32.255234+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2507.15671","citing_title":"BugScope: Learn to Find Bugs Like Human","ref_index":33,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/FGPQIG7CIHTIBGT75NLURBYB77","json":"https://pith.science/pith/FGPQIG7CIHTIBGT75NLURBYB77.json","graph_json":"https://pith.science/api/pith-number/FGPQIG7CIHTIBGT75NLURBYB77/graph.json","events_json":"https://pith.science/api/pith-number/FGPQIG7CIHTIBGT75NLURBYB77/events.json","paper":"https://pith.science/paper/FGPQIG7C"},"agent_actions":{"view_html":"https://pith.science/pith/FGPQIG7CIHTIBGT75NLURBYB77","download_json":"https://pith.science/pith/FGPQIG7CIHTIBGT75NLURBYB77.json","view_paper":"https://pith.science/paper/FGPQIG7C","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2503.09002&json=true","fetch_graph":"https://pith.science/api/pith-number/FGPQIG7CIHTIBGT75NLURBYB77/graph.json","fetch_events":"https://pith.science/api/pith-number/FGPQIG7CIHTIBGT75NLURBYB77/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FGPQIG7CIHTIBGT75NLURBYB77/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FGPQIG7CIHTIBGT75NLURBYB77/action/storage_attestation","attest_author":"https://pith.science/pith/FGPQIG7CIHTIBGT75NLURBYB77/action/author_attestation","sign_citation":"https://pith.science/pith/FGPQIG7CIHTIBGT75NLURBYB77/action/citation_signature","submit_replication":"https://pith.science/pith/FGPQIG7CIHTIBGT75NLURBYB77/action/replication_record"}},"created_at":"2026-07-05T12:04:32.255234+00:00","updated_at":"2026-07-05T12:04:32.255234+00:00"}