{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:VCIGGH2V6BK3ND2EHUY6EY3VA7","short_pith_number":"pith:VCIGGH2V","canonical_record":{"source":{"id":"2401.01571","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-01-03T06:56:39Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"04e7b5f7f8351b7615cd9882474f7312c7cc0c4a5fd0a8e8b9e0d4221295ee4b","abstract_canon_sha256":"1a2e9c123aa0a9a43c0e5880dae3ba0c53a69cd98c4c21ff1c9cc3d158732a62"},"schema_version":"1.0"},"canonical_sha256":"a890631f55f055b68f443d31e2637507fe11eb00eecfb2461b08fdf38610ff77","source":{"kind":"arxiv","id":"2401.01571","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.01571","created_at":"2026-06-19T16:09:45Z"},{"alias_kind":"arxiv_version","alias_value":"2401.01571v2","created_at":"2026-06-19T16:09:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.01571","created_at":"2026-06-19T16:09:45Z"},{"alias_kind":"pith_short_12","alias_value":"VCIGGH2V6BK3","created_at":"2026-06-19T16:09:45Z"},{"alias_kind":"pith_short_16","alias_value":"VCIGGH2V6BK3ND2E","created_at":"2026-06-19T16:09:45Z"},{"alias_kind":"pith_short_8","alias_value":"VCIGGH2V","created_at":"2026-06-19T16:09:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:VCIGGH2V6BK3ND2EHUY6EY3VA7","target":"record","payload":{"canonical_record":{"source":{"id":"2401.01571","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-01-03T06:56:39Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"04e7b5f7f8351b7615cd9882474f7312c7cc0c4a5fd0a8e8b9e0d4221295ee4b","abstract_canon_sha256":"1a2e9c123aa0a9a43c0e5880dae3ba0c53a69cd98c4c21ff1c9cc3d158732a62"},"schema_version":"1.0"},"canonical_sha256":"a890631f55f055b68f443d31e2637507fe11eb00eecfb2461b08fdf38610ff77","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-19T16:09:45.721541Z","signature_b64":"ZshMJQ30aPS0nYteld4qTyAj/fwYdgwRTIr0c98uwEoHL2IIvFU6+gq7rFC/0OLwsStIOusMK02w69M5pyNABQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a890631f55f055b68f443d31e2637507fe11eb00eecfb2461b08fdf38610ff77","last_reissued_at":"2026-06-19T16:09:45.721187Z","signature_status":"signed_v1","first_computed_at":"2026-06-19T16:09:45.721187Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.01571","source_version":2,"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-06-19T16:09:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W+57KRhC56i68GxB7grnOsMjzF0g6R9Wl7aC9I+eonqCL2bDy1PIfLD6jU0qbbMrXyUjg6jnrDvUEVGmNDpfCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T23:18:20.317630Z"},"content_sha256":"c650a670cc8170712f03a05d018ce7ab07ebdff8bc8e699eab240b1876a81684","schema_version":"1.0","event_id":"sha256:c650a670cc8170712f03a05d018ce7ab07ebdff8bc8e699eab240b1876a81684"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:VCIGGH2V6BK3ND2EHUY6EY3VA7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Principles and Practices of Large-Scale Code Analysis at Ant Group: A Data- and Logic-Oriented Approach","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Ang Zhou, Dejun Dong, Fuxiong Pan, Gang Fan, Hanyang Guo, Haokun Li, Jing Fan, Jinzhou Su, Na Yu, Peng Di, Pengshuai Luo, Ruoxiang Hu, Shijie Li, Xianjin Fu, Xiaoheng Xie, Xiaojun Lin, Xiao Xiao, Xinyu Chen, Xunjin Zheng, Yinan Liang, Yingzhuang Chen, Yi Zhen, Youzheng Feng, Yu Zhang","submitted_at":"2024-01-03T06:56:39Z","abstract_excerpt":"Large-scale software development requires dynamic and multifaceted static code analysis that extends beyond the capabilities of traditional tools. Existing tools like CodeQL lack cross-language analysis capabilities and can be time-consuming and resource-intensive.\n  We present CodeFuse-Query, a data system tailored for large-scale code analysis. First, CodeFuse-Query adopts a Logic-Oriented Computation Design, employing Datalog with a two-tiered schema, COREF, to convert source code into data facts, and Godel to express complex analysis tasks in logical terms. Furthermore, CodeFuse-Query adop"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.01571","kind":"arxiv","version":2},"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/2401.01571/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-06-19T16:09:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qzj2SOeDec3LAxZB0JrIrU8E28DsQ7SoUPAMZTcwgEFjUhDw2ZQ3cOZZtmb57cBz+vMO1LQ3CsmVgT2pg1eMCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T23:18:20.318001Z"},"content_sha256":"aeb57905b2e9ff957e987b0308eedb91f6fa1c96df3f22e3112c753c061ff53f","schema_version":"1.0","event_id":"sha256:aeb57905b2e9ff957e987b0308eedb91f6fa1c96df3f22e3112c753c061ff53f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VCIGGH2V6BK3ND2EHUY6EY3VA7/bundle.json","state_url":"https://pith.science/pith/VCIGGH2V6BK3ND2EHUY6EY3VA7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VCIGGH2V6BK3ND2EHUY6EY3VA7/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-06-24T23:18:20Z","links":{"resolver":"https://pith.science/pith/VCIGGH2V6BK3ND2EHUY6EY3VA7","bundle":"https://pith.science/pith/VCIGGH2V6BK3ND2EHUY6EY3VA7/bundle.json","state":"https://pith.science/pith/VCIGGH2V6BK3ND2EHUY6EY3VA7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VCIGGH2V6BK3ND2EHUY6EY3VA7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:VCIGGH2V6BK3ND2EHUY6EY3VA7","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":"1a2e9c123aa0a9a43c0e5880dae3ba0c53a69cd98c4c21ff1c9cc3d158732a62","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-01-03T06:56:39Z","title_canon_sha256":"04e7b5f7f8351b7615cd9882474f7312c7cc0c4a5fd0a8e8b9e0d4221295ee4b"},"schema_version":"1.0","source":{"id":"2401.01571","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.01571","created_at":"2026-06-19T16:09:45Z"},{"alias_kind":"arxiv_version","alias_value":"2401.01571v2","created_at":"2026-06-19T16:09:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.01571","created_at":"2026-06-19T16:09:45Z"},{"alias_kind":"pith_short_12","alias_value":"VCIGGH2V6BK3","created_at":"2026-06-19T16:09:45Z"},{"alias_kind":"pith_short_16","alias_value":"VCIGGH2V6BK3ND2E","created_at":"2026-06-19T16:09:45Z"},{"alias_kind":"pith_short_8","alias_value":"VCIGGH2V","created_at":"2026-06-19T16:09:45Z"}],"graph_snapshots":[{"event_id":"sha256:aeb57905b2e9ff957e987b0308eedb91f6fa1c96df3f22e3112c753c061ff53f","target":"graph","created_at":"2026-06-19T16:09: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/2401.01571/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large-scale software development requires dynamic and multifaceted static code analysis that extends beyond the capabilities of traditional tools. Existing tools like CodeQL lack cross-language analysis capabilities and can be time-consuming and resource-intensive.\n  We present CodeFuse-Query, a data system tailored for large-scale code analysis. First, CodeFuse-Query adopts a Logic-Oriented Computation Design, employing Datalog with a two-tiered schema, COREF, to convert source code into data facts, and Godel to express complex analysis tasks in logical terms. Furthermore, CodeFuse-Query adop","authors_text":"Ang Zhou, Dejun Dong, Fuxiong Pan, Gang Fan, Hanyang Guo, Haokun Li, Jing Fan, Jinzhou Su, Na Yu, Peng Di, Pengshuai Luo, Ruoxiang Hu, Shijie Li, Xianjin Fu, Xiaoheng Xie, Xiaojun Lin, Xiao Xiao, Xinyu Chen, Xunjin Zheng, Yinan Liang, Yingzhuang Chen, Yi Zhen, Youzheng Feng, Yu Zhang","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-01-03T06:56:39Z","title":"Principles and Practices of Large-Scale Code Analysis at Ant Group: A Data- and Logic-Oriented Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.01571","kind":"arxiv","version":2},"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:c650a670cc8170712f03a05d018ce7ab07ebdff8bc8e699eab240b1876a81684","target":"record","created_at":"2026-06-19T16:09: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":"1a2e9c123aa0a9a43c0e5880dae3ba0c53a69cd98c4c21ff1c9cc3d158732a62","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-01-03T06:56:39Z","title_canon_sha256":"04e7b5f7f8351b7615cd9882474f7312c7cc0c4a5fd0a8e8b9e0d4221295ee4b"},"schema_version":"1.0","source":{"id":"2401.01571","kind":"arxiv","version":2}},"canonical_sha256":"a890631f55f055b68f443d31e2637507fe11eb00eecfb2461b08fdf38610ff77","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a890631f55f055b68f443d31e2637507fe11eb00eecfb2461b08fdf38610ff77","first_computed_at":"2026-06-19T16:09:45.721187Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-19T16:09:45.721187Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZshMJQ30aPS0nYteld4qTyAj/fwYdgwRTIr0c98uwEoHL2IIvFU6+gq7rFC/0OLwsStIOusMK02w69M5pyNABQ==","signature_status":"signed_v1","signed_at":"2026-06-19T16:09:45.721541Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.01571","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c650a670cc8170712f03a05d018ce7ab07ebdff8bc8e699eab240b1876a81684","sha256:aeb57905b2e9ff957e987b0308eedb91f6fa1c96df3f22e3112c753c061ff53f"],"state_sha256":"8d78c4a62d70fad649dbcf7a74aaad336276fe5f99088f38f8e4deec764fb6aa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sHWNty6Fok/mDL4h+YqFD0nLXL9bSYguT1l6MI7JtrccezgkOoUh2x9ooK/HMShJwuMtWgkTPxjYA99I6BamBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T23:18:20.320000Z","bundle_sha256":"7be9b40500d7fbdc4d411466c387a2a39854d53c9d7d07a728a0a6ed9fe676fc"}}