{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:J3TRBBVTSE4D6BGVFGDF24IFMB","short_pith_number":"pith:J3TRBBVT","schema_version":"1.0","canonical_sha256":"4ee71086b391383f04d529865d7105604231c38c8f9e4e4adaf9e58e62ec9571","source":{"kind":"arxiv","id":"2607.15762","version":1},"attestation_state":"computed","paper":{"title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Dan Hao, Junjie Chen, Mingxuan Zhu, Qingyuan Liang, Zhihong Xue","submitted_at":"2026-07-17T08:53:19Z","abstract_excerpt":"Modern compiler codebases (e.g., GCC and LLVM) are large and complex, making comprehensive coverage across diverse code regions highly challenging. Most existing test generation techniques ignore characteristics of the target code, producing test programs that exercise only a limited subset of it. Consequently, substantial compiler regions remain insufficiently tested, leaving persistent long-tail coverage gaps that survive across releases. Even existing white-box techniques achieve limited coverage on large-scale compilers. To improve compiler coverage, especially for hard-to-reach edge regio"},"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":"2607.15762","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-17T08:53:19Z","cross_cats_sorted":[],"title_canon_sha256":"1c891411aa38132c59f87dd93f2806ffa5d5bfdf67564a87b7ee6042e6e2bc48","abstract_canon_sha256":"8f9533fc5ec06e7a451b5986221af4608f0a5b395fba44c8f868f1752567888b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-20T01:19:08.528244Z","signature_b64":"ACEwXjp9vnnF3ecVil9I7duS1Q30n5ZZh1X0bD6Vj8jhg9Ysphgzjrfx3B9Ih4D10eseqCqhnomDwyuuxGb3DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4ee71086b391383f04d529865d7105604231c38c8f9e4e4adaf9e58e62ec9571","last_reissued_at":"2026-07-20T01:19:08.527412Z","signature_status":"signed_v1","first_computed_at":"2026-07-20T01:19:08.527412Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Dan Hao, Junjie Chen, Mingxuan Zhu, Qingyuan Liang, Zhihong Xue","submitted_at":"2026-07-17T08:53:19Z","abstract_excerpt":"Modern compiler codebases (e.g., GCC and LLVM) are large and complex, making comprehensive coverage across diverse code regions highly challenging. Most existing test generation techniques ignore characteristics of the target code, producing test programs that exercise only a limited subset of it. Consequently, substantial compiler regions remain insufficiently tested, leaving persistent long-tail coverage gaps that survive across releases. Even existing white-box techniques achieve limited coverage on large-scale compilers. To improve compiler coverage, especially for hard-to-reach edge regio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.15762","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.15762/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":"2607.15762","created_at":"2026-07-20T01:19:08.527827+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.15762v1","created_at":"2026-07-20T01:19:08.527827+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.15762","created_at":"2026-07-20T01:19:08.527827+00:00"},{"alias_kind":"pith_short_12","alias_value":"J3TRBBVTSE4D","created_at":"2026-07-20T01:19:08.527827+00:00"},{"alias_kind":"pith_short_16","alias_value":"J3TRBBVTSE4D6BGV","created_at":"2026-07-20T01:19:08.527827+00:00"},{"alias_kind":"pith_short_8","alias_value":"J3TRBBVT","created_at":"2026-07-20T01:19:08.527827+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/J3TRBBVTSE4D6BGVFGDF24IFMB","json":"https://pith.science/pith/J3TRBBVTSE4D6BGVFGDF24IFMB.json","graph_json":"https://pith.science/api/pith-number/J3TRBBVTSE4D6BGVFGDF24IFMB/graph.json","events_json":"https://pith.science/api/pith-number/J3TRBBVTSE4D6BGVFGDF24IFMB/events.json","paper":"https://pith.science/paper/J3TRBBVT"},"agent_actions":{"view_html":"https://pith.science/pith/J3TRBBVTSE4D6BGVFGDF24IFMB","download_json":"https://pith.science/pith/J3TRBBVTSE4D6BGVFGDF24IFMB.json","view_paper":"https://pith.science/paper/J3TRBBVT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.15762&json=true","fetch_graph":"https://pith.science/api/pith-number/J3TRBBVTSE4D6BGVFGDF24IFMB/graph.json","fetch_events":"https://pith.science/api/pith-number/J3TRBBVTSE4D6BGVFGDF24IFMB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/J3TRBBVTSE4D6BGVFGDF24IFMB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/J3TRBBVTSE4D6BGVFGDF24IFMB/action/storage_attestation","attest_author":"https://pith.science/pith/J3TRBBVTSE4D6BGVFGDF24IFMB/action/author_attestation","sign_citation":"https://pith.science/pith/J3TRBBVTSE4D6BGVFGDF24IFMB/action/citation_signature","submit_replication":"https://pith.science/pith/J3TRBBVTSE4D6BGVFGDF24IFMB/action/replication_record"}},"created_at":"2026-07-20T01:19:08.527827+00:00","updated_at":"2026-07-20T01:19:08.527827+00:00"}