{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:O4PN3I4R3QIYXCZTUOOWDOTTRJ","short_pith_number":"pith:O4PN3I4R","canonical_record":{"source":{"id":"2304.04387","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-04-10T05:15:34Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"4ce890e2a74bf8c9cfe4930759bebcdaabebeac688953a7bcc33c96b47326056","abstract_canon_sha256":"2696337d808177b70f176c878455132eb0fe050dc2f23c83de857ee29e98b2d8"},"schema_version":"1.0"},"canonical_sha256":"771edda391dc118b8b33a39d61ba738a688a3e57b1b924024e54b0d8f792ed15","source":{"kind":"arxiv","id":"2304.04387","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.04387","created_at":"2026-07-05T05:59:25Z"},{"alias_kind":"arxiv_version","alias_value":"2304.04387v1","created_at":"2026-07-05T05:59:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.04387","created_at":"2026-07-05T05:59:25Z"},{"alias_kind":"pith_short_12","alias_value":"O4PN3I4R3QIY","created_at":"2026-07-05T05:59:25Z"},{"alias_kind":"pith_short_16","alias_value":"O4PN3I4R3QIYXCZT","created_at":"2026-07-05T05:59:25Z"},{"alias_kind":"pith_short_8","alias_value":"O4PN3I4R","created_at":"2026-07-05T05:59:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:O4PN3I4R3QIYXCZTUOOWDOTTRJ","target":"record","payload":{"canonical_record":{"source":{"id":"2304.04387","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-04-10T05:15:34Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"4ce890e2a74bf8c9cfe4930759bebcdaabebeac688953a7bcc33c96b47326056","abstract_canon_sha256":"2696337d808177b70f176c878455132eb0fe050dc2f23c83de857ee29e98b2d8"},"schema_version":"1.0"},"canonical_sha256":"771edda391dc118b8b33a39d61ba738a688a3e57b1b924024e54b0d8f792ed15","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:59:25.696844Z","signature_b64":"ZMeU6XBlnzo/krXgF4DkuJKcDHbTD2yKJ4Zgc1NoLvitl4WfErPW3uI/4PLgwRdWOR01dDnzOm9JreaZpnX6DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"771edda391dc118b8b33a39d61ba738a688a3e57b1b924024e54b0d8f792ed15","last_reissued_at":"2026-07-05T05:59:25.696355Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:59:25.696355Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2304.04387","source_version":1,"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-05T05:59:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KJqz9zkrIDgiXDq+Hvrit99Uim7q57Ebr9kgYKiroV5FpXmh4RfGdjBBP9FjHemZWQfW3mUCR1+x3qJHu1anAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T18:32:54.139153Z"},"content_sha256":"c16b16da846a10c9e2b0b8ac5151f334f710061c9c97351e685551c206bc06bf","schema_version":"1.0","event_id":"sha256:c16b16da846a10c9e2b0b8ac5151f334f710061c9c97351e685551c206bc06bf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:O4PN3I4R3QIYXCZTUOOWDOTTRJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"QChecker: Detecting Bugs in Quantum Programs via Static Analysis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Jianjun Zhao, Pengzhan Zhao, Xiongfei Wu, Zhuo Li","submitted_at":"2023-04-10T05:15:34Z","abstract_excerpt":"Static analysis is the process of analyzing software code without executing the software. It can help find bugs and potential problems in software that may only appear at runtime. Although many static analysis tools have been developed for classical software, due to the nature of quantum programs, these existing tools are unsuitable for analyzing quantum programs. This paper presents QChecker, a static analysis tool that supports finding bugs in quantum programs in Qiskit. QChecker consists of two main modules: a module for extracting program information based on abstract syntax tree (AST), an"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.04387","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/2304.04387/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-05T05:59:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BA17jdcup0RfVG6MxqqWPcW0ioNMgf7b3FN9IBhRlb9kAOV5M9RY3WtVgHt5KiObAzzKRtOkJQfMZpN8ArqcDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T18:32:54.139984Z"},"content_sha256":"c073495545307e4a2e88bcfe03fc1ec28ff9d4fa130663ed04cbd18a3cbbcdec","schema_version":"1.0","event_id":"sha256:c073495545307e4a2e88bcfe03fc1ec28ff9d4fa130663ed04cbd18a3cbbcdec"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O4PN3I4R3QIYXCZTUOOWDOTTRJ/bundle.json","state_url":"https://pith.science/pith/O4PN3I4R3QIYXCZTUOOWDOTTRJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O4PN3I4R3QIYXCZTUOOWDOTTRJ/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-20T18:32:54Z","links":{"resolver":"https://pith.science/pith/O4PN3I4R3QIYXCZTUOOWDOTTRJ","bundle":"https://pith.science/pith/O4PN3I4R3QIYXCZTUOOWDOTTRJ/bundle.json","state":"https://pith.science/pith/O4PN3I4R3QIYXCZTUOOWDOTTRJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O4PN3I4R3QIYXCZTUOOWDOTTRJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:O4PN3I4R3QIYXCZTUOOWDOTTRJ","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":"2696337d808177b70f176c878455132eb0fe050dc2f23c83de857ee29e98b2d8","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-04-10T05:15:34Z","title_canon_sha256":"4ce890e2a74bf8c9cfe4930759bebcdaabebeac688953a7bcc33c96b47326056"},"schema_version":"1.0","source":{"id":"2304.04387","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.04387","created_at":"2026-07-05T05:59:25Z"},{"alias_kind":"arxiv_version","alias_value":"2304.04387v1","created_at":"2026-07-05T05:59:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.04387","created_at":"2026-07-05T05:59:25Z"},{"alias_kind":"pith_short_12","alias_value":"O4PN3I4R3QIY","created_at":"2026-07-05T05:59:25Z"},{"alias_kind":"pith_short_16","alias_value":"O4PN3I4R3QIYXCZT","created_at":"2026-07-05T05:59:25Z"},{"alias_kind":"pith_short_8","alias_value":"O4PN3I4R","created_at":"2026-07-05T05:59:25Z"}],"graph_snapshots":[{"event_id":"sha256:c073495545307e4a2e88bcfe03fc1ec28ff9d4fa130663ed04cbd18a3cbbcdec","target":"graph","created_at":"2026-07-05T05:59:25Z","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/2304.04387/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Static analysis is the process of analyzing software code without executing the software. It can help find bugs and potential problems in software that may only appear at runtime. Although many static analysis tools have been developed for classical software, due to the nature of quantum programs, these existing tools are unsuitable for analyzing quantum programs. This paper presents QChecker, a static analysis tool that supports finding bugs in quantum programs in Qiskit. QChecker consists of two main modules: a module for extracting program information based on abstract syntax tree (AST), an","authors_text":"Jianjun Zhao, Pengzhan Zhao, Xiongfei Wu, Zhuo Li","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-04-10T05:15:34Z","title":"QChecker: Detecting Bugs in Quantum Programs via Static Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.04387","kind":"arxiv","version":1},"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:c16b16da846a10c9e2b0b8ac5151f334f710061c9c97351e685551c206bc06bf","target":"record","created_at":"2026-07-05T05:59:25Z","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":"2696337d808177b70f176c878455132eb0fe050dc2f23c83de857ee29e98b2d8","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-04-10T05:15:34Z","title_canon_sha256":"4ce890e2a74bf8c9cfe4930759bebcdaabebeac688953a7bcc33c96b47326056"},"schema_version":"1.0","source":{"id":"2304.04387","kind":"arxiv","version":1}},"canonical_sha256":"771edda391dc118b8b33a39d61ba738a688a3e57b1b924024e54b0d8f792ed15","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"771edda391dc118b8b33a39d61ba738a688a3e57b1b924024e54b0d8f792ed15","first_computed_at":"2026-07-05T05:59:25.696355Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:59:25.696355Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZMeU6XBlnzo/krXgF4DkuJKcDHbTD2yKJ4Zgc1NoLvitl4WfErPW3uI/4PLgwRdWOR01dDnzOm9JreaZpnX6DA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:59:25.696844Z","signed_message":"canonical_sha256_bytes"},"source_id":"2304.04387","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c16b16da846a10c9e2b0b8ac5151f334f710061c9c97351e685551c206bc06bf","sha256:c073495545307e4a2e88bcfe03fc1ec28ff9d4fa130663ed04cbd18a3cbbcdec"],"state_sha256":"8117b3795bc694957a989668b0b7f6f808c63693cdb50757c871fc24d31dbd0c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4eW942scbM2IzvJuqkRG7VxlN4kqelvwEDSmKZJuL/J068fqG2HqbZviFRII4mtTOBiKlnhDyNz4b2XhAueHDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T18:32:54.145273Z","bundle_sha256":"6c5bea350e38a7d3196a6b04f30586bcd2f59f64da18a85df04d1d852ec0ea02"}}