{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:Q7IIZJOU777SV3K5REE267A2WD","short_pith_number":"pith:Q7IIZJOU","schema_version":"1.0","canonical_sha256":"87d08ca5d4ffff2aed5d8909af7c1ab0fd34d0abe5823b4f0734174b143f4c3a","source":{"kind":"arxiv","id":"1801.04894","version":1},"attestation_state":"computed","paper":{"title":"Debugging Static Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Eric Bodden, Karim Ali, Lisa Nguyen Quang Do, Patrick Hill, Stefan Kr\\\"uger","submitted_at":"2018-01-15T18:02:48Z","abstract_excerpt":"To detect and fix bugs and security vulnerabilities, software companies use static analysis as part of the development process. However, static analysis code itself is also prone to bugs. To ensure a consistent level of precision, as analyzed programs grow more complex, a static analysis has to handle more code constructs, frameworks, and libraries that the programs use. While more complex analyses are written and used in production systems every day, the cost of debugging and fixing them also increases tremendously.\n  To better understand the difficulties of debugging static analyses, we surv"},"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":"1801.04894","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-01-15T18:02:48Z","cross_cats_sorted":[],"title_canon_sha256":"0213426a5d4cfa3d0f39d7e7cb808f4d03f38268586cc6eb0cd143e4e80ceb52","abstract_canon_sha256":"e0495ffbbfd8944a41f6057113a6245bd1bec1d4b4e34900f8c08747882fc8d4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:26:02.910643Z","signature_b64":"dp5SdFVnBHrBGwOnvQyDgUhLXDAqEEnwnOJ79ag96wyaq+S1hWs2c6wRthnRleo12tXc0och4Cz/Pi+YJnbXAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"87d08ca5d4ffff2aed5d8909af7c1ab0fd34d0abe5823b4f0734174b143f4c3a","last_reissued_at":"2026-05-18T00:26:02.910047Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:26:02.910047Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Debugging Static Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Eric Bodden, Karim Ali, Lisa Nguyen Quang Do, Patrick Hill, Stefan Kr\\\"uger","submitted_at":"2018-01-15T18:02:48Z","abstract_excerpt":"To detect and fix bugs and security vulnerabilities, software companies use static analysis as part of the development process. However, static analysis code itself is also prone to bugs. To ensure a consistent level of precision, as analyzed programs grow more complex, a static analysis has to handle more code constructs, frameworks, and libraries that the programs use. While more complex analyses are written and used in production systems every day, the cost of debugging and fixing them also increases tremendously.\n  To better understand the difficulties of debugging static analyses, we surv"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.04894","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":""},"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":"1801.04894","created_at":"2026-05-18T00:26:02.910153+00:00"},{"alias_kind":"arxiv_version","alias_value":"1801.04894v1","created_at":"2026-05-18T00:26:02.910153+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.04894","created_at":"2026-05-18T00:26:02.910153+00:00"},{"alias_kind":"pith_short_12","alias_value":"Q7IIZJOU777S","created_at":"2026-05-18T12:32:46.962924+00:00"},{"alias_kind":"pith_short_16","alias_value":"Q7IIZJOU777SV3K5","created_at":"2026-05-18T12:32:46.962924+00:00"},{"alias_kind":"pith_short_8","alias_value":"Q7IIZJOU","created_at":"2026-05-18T12:32:46.962924+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/Q7IIZJOU777SV3K5REE267A2WD","json":"https://pith.science/pith/Q7IIZJOU777SV3K5REE267A2WD.json","graph_json":"https://pith.science/api/pith-number/Q7IIZJOU777SV3K5REE267A2WD/graph.json","events_json":"https://pith.science/api/pith-number/Q7IIZJOU777SV3K5REE267A2WD/events.json","paper":"https://pith.science/paper/Q7IIZJOU"},"agent_actions":{"view_html":"https://pith.science/pith/Q7IIZJOU777SV3K5REE267A2WD","download_json":"https://pith.science/pith/Q7IIZJOU777SV3K5REE267A2WD.json","view_paper":"https://pith.science/paper/Q7IIZJOU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1801.04894&json=true","fetch_graph":"https://pith.science/api/pith-number/Q7IIZJOU777SV3K5REE267A2WD/graph.json","fetch_events":"https://pith.science/api/pith-number/Q7IIZJOU777SV3K5REE267A2WD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/Q7IIZJOU777SV3K5REE267A2WD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/Q7IIZJOU777SV3K5REE267A2WD/action/storage_attestation","attest_author":"https://pith.science/pith/Q7IIZJOU777SV3K5REE267A2WD/action/author_attestation","sign_citation":"https://pith.science/pith/Q7IIZJOU777SV3K5REE267A2WD/action/citation_signature","submit_replication":"https://pith.science/pith/Q7IIZJOU777SV3K5REE267A2WD/action/replication_record"}},"created_at":"2026-05-18T00:26:02.910153+00:00","updated_at":"2026-05-18T00:26:02.910153+00:00"}