{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:MMMXUQFM3P6B7JHJ4T5PDIYVYQ","short_pith_number":"pith:MMMXUQFM","canonical_record":{"source":{"id":"2411.06796","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-11T08:50:24Z","cross_cats_sorted":[],"title_canon_sha256":"61744fed3fb94d6ad06d4026ffe7d1d3f289eb252c7d395375efb202a83a7fb5","abstract_canon_sha256":"a1d66804096fb4beb8ed111cad73dd87e301c519a1dcc85f862103eadfc1c95c"},"schema_version":"1.0"},"canonical_sha256":"63197a40acdbfc1fa4e9e4faf1a315c4368841b602ed39babb0bfe9afc730971","source":{"kind":"arxiv","id":"2411.06796","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.06796","created_at":"2026-07-05T11:38:49Z"},{"alias_kind":"arxiv_version","alias_value":"2411.06796v3","created_at":"2026-07-05T11:38:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.06796","created_at":"2026-07-05T11:38:49Z"},{"alias_kind":"pith_short_12","alias_value":"MMMXUQFM3P6B","created_at":"2026-07-05T11:38:49Z"},{"alias_kind":"pith_short_16","alias_value":"MMMXUQFM3P6B7JHJ","created_at":"2026-07-05T11:38:49Z"},{"alias_kind":"pith_short_8","alias_value":"MMMXUQFM","created_at":"2026-07-05T11:38:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:MMMXUQFM3P6B7JHJ4T5PDIYVYQ","target":"record","payload":{"canonical_record":{"source":{"id":"2411.06796","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-11T08:50:24Z","cross_cats_sorted":[],"title_canon_sha256":"61744fed3fb94d6ad06d4026ffe7d1d3f289eb252c7d395375efb202a83a7fb5","abstract_canon_sha256":"a1d66804096fb4beb8ed111cad73dd87e301c519a1dcc85f862103eadfc1c95c"},"schema_version":"1.0"},"canonical_sha256":"63197a40acdbfc1fa4e9e4faf1a315c4368841b602ed39babb0bfe9afc730971","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:38:49.057833Z","signature_b64":"JCh27+4U8PijDU4COGGkzRmuJzvr6tLzjehhYFjGyr0B1MV6gIUWjTATjvKfaUc/lyqkLo6yoolcDVAVvDNIDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"63197a40acdbfc1fa4e9e4faf1a315c4368841b602ed39babb0bfe9afc730971","last_reissued_at":"2026-07-05T11:38:49.057192Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:38:49.057192Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.06796","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-05T11:38:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n49kDOl9lurY1U+XekDgdWdM7wMUqzaHKSyI5naiIFUVgZ8qZ47x6njAV9M2PF0G/cvyz4iKM71XFdEUUph6BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T03:56:07.384045Z"},"content_sha256":"a6b7f0e28d43c7adb85a9635e69d67ad1fd3f7f2702833db032db6c4a23696ec","schema_version":"1.0","event_id":"sha256:a6b7f0e28d43c7adb85a9635e69d67ad1fd3f7f2702833db032db6c4a23696ec"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:MMMXUQFM3P6B7JHJ4T5PDIYVYQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Write Your Own CodeChecker: An Automated Test-Driven Checker Development Approach with LLMs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jian Zhang, Jinhao Huang, Jiwei Yan, Jun Liu, Jun Yan, Yuanyuan Xie","submitted_at":"2024-11-11T08:50:24Z","abstract_excerpt":"With the rising demand for code quality assurance, developers are not only utilizing existing static code checkers but also seeking custom checkers to satisfy their specific needs. Nowadays, various code-checking frameworks provide extensive checker customization interfaces to meet this need. However, both the abstract checking logic and the complex API usage of large-scale checker frameworks make this task challenging. To this end, automated code checker generation is anticipated to ease the burden of checker development. In this paper, we propose AutoChecker, an innovative LLM-powered approa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.06796","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/2411.06796/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:38:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bZgTciEia8TcMgruJmjq1Oj9hxovAQhki6NAa7aXQQullDu0NTJ85wZcGYxnUPZghvm0rZomHBucgnbDt0gtCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T03:56:07.384426Z"},"content_sha256":"2b7c335146b7239c6f592b7078b02060b1b8149c7ddc41d02a141ba3c6551eee","schema_version":"1.0","event_id":"sha256:2b7c335146b7239c6f592b7078b02060b1b8149c7ddc41d02a141ba3c6551eee"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MMMXUQFM3P6B7JHJ4T5PDIYVYQ/bundle.json","state_url":"https://pith.science/pith/MMMXUQFM3P6B7JHJ4T5PDIYVYQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MMMXUQFM3P6B7JHJ4T5PDIYVYQ/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-07-07T03:56:07Z","links":{"resolver":"https://pith.science/pith/MMMXUQFM3P6B7JHJ4T5PDIYVYQ","bundle":"https://pith.science/pith/MMMXUQFM3P6B7JHJ4T5PDIYVYQ/bundle.json","state":"https://pith.science/pith/MMMXUQFM3P6B7JHJ4T5PDIYVYQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MMMXUQFM3P6B7JHJ4T5PDIYVYQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:MMMXUQFM3P6B7JHJ4T5PDIYVYQ","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":"a1d66804096fb4beb8ed111cad73dd87e301c519a1dcc85f862103eadfc1c95c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-11T08:50:24Z","title_canon_sha256":"61744fed3fb94d6ad06d4026ffe7d1d3f289eb252c7d395375efb202a83a7fb5"},"schema_version":"1.0","source":{"id":"2411.06796","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.06796","created_at":"2026-07-05T11:38:49Z"},{"alias_kind":"arxiv_version","alias_value":"2411.06796v3","created_at":"2026-07-05T11:38:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.06796","created_at":"2026-07-05T11:38:49Z"},{"alias_kind":"pith_short_12","alias_value":"MMMXUQFM3P6B","created_at":"2026-07-05T11:38:49Z"},{"alias_kind":"pith_short_16","alias_value":"MMMXUQFM3P6B7JHJ","created_at":"2026-07-05T11:38:49Z"},{"alias_kind":"pith_short_8","alias_value":"MMMXUQFM","created_at":"2026-07-05T11:38:49Z"}],"graph_snapshots":[{"event_id":"sha256:2b7c335146b7239c6f592b7078b02060b1b8149c7ddc41d02a141ba3c6551eee","target":"graph","created_at":"2026-07-05T11:38:49Z","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/2411.06796/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"With the rising demand for code quality assurance, developers are not only utilizing existing static code checkers but also seeking custom checkers to satisfy their specific needs. Nowadays, various code-checking frameworks provide extensive checker customization interfaces to meet this need. However, both the abstract checking logic and the complex API usage of large-scale checker frameworks make this task challenging. To this end, automated code checker generation is anticipated to ease the burden of checker development. In this paper, we propose AutoChecker, an innovative LLM-powered approa","authors_text":"Jian Zhang, Jinhao Huang, Jiwei Yan, Jun Liu, Jun Yan, Yuanyuan Xie","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-11T08:50:24Z","title":"Write Your Own CodeChecker: An Automated Test-Driven Checker Development Approach with LLMs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.06796","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:a6b7f0e28d43c7adb85a9635e69d67ad1fd3f7f2702833db032db6c4a23696ec","target":"record","created_at":"2026-07-05T11:38:49Z","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":"a1d66804096fb4beb8ed111cad73dd87e301c519a1dcc85f862103eadfc1c95c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-11T08:50:24Z","title_canon_sha256":"61744fed3fb94d6ad06d4026ffe7d1d3f289eb252c7d395375efb202a83a7fb5"},"schema_version":"1.0","source":{"id":"2411.06796","kind":"arxiv","version":3}},"canonical_sha256":"63197a40acdbfc1fa4e9e4faf1a315c4368841b602ed39babb0bfe9afc730971","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"63197a40acdbfc1fa4e9e4faf1a315c4368841b602ed39babb0bfe9afc730971","first_computed_at":"2026-07-05T11:38:49.057192Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:38:49.057192Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JCh27+4U8PijDU4COGGkzRmuJzvr6tLzjehhYFjGyr0B1MV6gIUWjTATjvKfaUc/lyqkLo6yoolcDVAVvDNIDA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:38:49.057833Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.06796","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a6b7f0e28d43c7adb85a9635e69d67ad1fd3f7f2702833db032db6c4a23696ec","sha256:2b7c335146b7239c6f592b7078b02060b1b8149c7ddc41d02a141ba3c6551eee"],"state_sha256":"169d6798c802333b75b404dfbe16b56fa736160b9514ee47107f3ed4b9aa981e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r4oYmkcwwm130Gz2w2LQTGoKJi1ksrqhd6JZXSRiEtkzrKP9Ss/shFcWrreTpqb833Kz9QRIDQuVQbQF0UlEBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T03:56:07.386341Z","bundle_sha256":"1c6f928f11d38be6e539c11158e52a51d7571743d4a40f6d583cb868e95beef4"}}