{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:JZCHC6YTOTIUENXFAVVW5G53LW","short_pith_number":"pith:JZCHC6YT","schema_version":"1.0","canonical_sha256":"4e44717b1374d14236e5056b6e9bbb5d8fd86178278edca01e35b2d561d40b77","source":{"kind":"arxiv","id":"2501.12093","version":3},"attestation_state":"computed","paper":{"title":"Checkification: A Practical Approach for Testing Static Analysis Truths","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Daniela Ferreiro, Ignacio Casso, Jose F. Morales, Manuel V. Hermenegildo, Pedro L\\'opez-Garc\\'ia","submitted_at":"2025-01-21T12:38:04Z","abstract_excerpt":"Static analysis is an essential component of many modern software development tools. Unfortunately, the ever-increasing complexity of static analyzers makes their coding error-prone. Even analysis tools based on rigorous mathematical techniques, such as abstract interpretation, are not immune to bugs. Ensuring the correctness and reliability of software analyzers is critical if they are to be inserted in production compilers and development environments. While compiler validation has seen notable success, formal validation of static analysis tools remains relatively unexplored. In this paper, "},"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":"2501.12093","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-01-21T12:38:04Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"6f2bb1b54680d972db8a8f335e13ee5d1e71ed3ab00e8dd4b251761d30a2866c","abstract_canon_sha256":"9262e83707d913c710dc9f991cc9ae43abddca8f0b3246d2c59692f55e2e9af6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:59:48.837524Z","signature_b64":"XXCQy1ZwAhR+qOvdeROvI1/D/AFZpBSX0QsEVOPq+NjrGGz/jVi6Q81biN/zmB0tar+ocGtcqEpbTn/lpTViAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4e44717b1374d14236e5056b6e9bbb5d8fd86178278edca01e35b2d561d40b77","last_reissued_at":"2026-07-05T10:59:48.837063Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:59:48.837063Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Checkification: A Practical Approach for Testing Static Analysis Truths","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Daniela Ferreiro, Ignacio Casso, Jose F. Morales, Manuel V. Hermenegildo, Pedro L\\'opez-Garc\\'ia","submitted_at":"2025-01-21T12:38:04Z","abstract_excerpt":"Static analysis is an essential component of many modern software development tools. Unfortunately, the ever-increasing complexity of static analyzers makes their coding error-prone. Even analysis tools based on rigorous mathematical techniques, such as abstract interpretation, are not immune to bugs. Ensuring the correctness and reliability of software analyzers is critical if they are to be inserted in production compilers and development environments. While compiler validation has seen notable success, formal validation of static analysis tools remains relatively unexplored. In this paper, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.12093","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/2501.12093/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":"2501.12093","created_at":"2026-07-05T10:59:48.837127+00:00"},{"alias_kind":"arxiv_version","alias_value":"2501.12093v3","created_at":"2026-07-05T10:59:48.837127+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.12093","created_at":"2026-07-05T10:59:48.837127+00:00"},{"alias_kind":"pith_short_12","alias_value":"JZCHC6YTOTIU","created_at":"2026-07-05T10:59:48.837127+00:00"},{"alias_kind":"pith_short_16","alias_value":"JZCHC6YTOTIUENXF","created_at":"2026-07-05T10:59:48.837127+00:00"},{"alias_kind":"pith_short_8","alias_value":"JZCHC6YT","created_at":"2026-07-05T10:59:48.837127+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/JZCHC6YTOTIUENXFAVVW5G53LW","json":"https://pith.science/pith/JZCHC6YTOTIUENXFAVVW5G53LW.json","graph_json":"https://pith.science/api/pith-number/JZCHC6YTOTIUENXFAVVW5G53LW/graph.json","events_json":"https://pith.science/api/pith-number/JZCHC6YTOTIUENXFAVVW5G53LW/events.json","paper":"https://pith.science/paper/JZCHC6YT"},"agent_actions":{"view_html":"https://pith.science/pith/JZCHC6YTOTIUENXFAVVW5G53LW","download_json":"https://pith.science/pith/JZCHC6YTOTIUENXFAVVW5G53LW.json","view_paper":"https://pith.science/paper/JZCHC6YT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2501.12093&json=true","fetch_graph":"https://pith.science/api/pith-number/JZCHC6YTOTIUENXFAVVW5G53LW/graph.json","fetch_events":"https://pith.science/api/pith-number/JZCHC6YTOTIUENXFAVVW5G53LW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JZCHC6YTOTIUENXFAVVW5G53LW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JZCHC6YTOTIUENXFAVVW5G53LW/action/storage_attestation","attest_author":"https://pith.science/pith/JZCHC6YTOTIUENXFAVVW5G53LW/action/author_attestation","sign_citation":"https://pith.science/pith/JZCHC6YTOTIUENXFAVVW5G53LW/action/citation_signature","submit_replication":"https://pith.science/pith/JZCHC6YTOTIUENXFAVVW5G53LW/action/replication_record"}},"created_at":"2026-07-05T10:59:48.837127+00:00","updated_at":"2026-07-05T10:59:48.837127+00:00"}