{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:LEIAUTXTFGZVSWVOABMFEOPSE2","short_pith_number":"pith:LEIAUTXT","schema_version":"1.0","canonical_sha256":"59100a4ef329b3595aae00585239f226a3950aaf8a5b0a9a268e55667b9a0508","source":{"kind":"arxiv","id":"1810.06600","version":1},"attestation_state":"computed","paper":{"title":"Synthesizing Program-Specific Static Analyses","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Colin S. Gordon","submitted_at":"2018-10-15T18:25:52Z","abstract_excerpt":"Designing a static analysis is generally a substantial undertaking, requiring significant expertise in both program analysis and the domain of the program analysis, and significant development resources. As a result, most program analyses target properties that are universallly of interest (e.g., absence of null pointer dereference) or nearly so (e.g., deadlock freedom). However, many interesting program properties that would benefit from static checking are specific to individual programs, or sometimes programs utilizing a certain library. It is impractical to devote program analysis and veri"},"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":"1810.06600","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-10-15T18:25:52Z","cross_cats_sorted":[],"title_canon_sha256":"a0e59f66166660e5b5f01d6651b37bfa40063d1266e3fb60d64e36e4f285083b","abstract_canon_sha256":"cf27c3e1b4e5cc0be74d2a8ac8f32ad23f64512236dd012807e6fd6b0c6b5b45"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:03:14.091171Z","signature_b64":"FQdvQIHpbCr/ON7znVfMSIDgy7K/jDsjChpgJyVQI7V6KTEVRmps1FSfIkxOxc8fWRt+Gu2bPqOe7qMRoy71Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"59100a4ef329b3595aae00585239f226a3950aaf8a5b0a9a268e55667b9a0508","last_reissued_at":"2026-05-18T00:03:14.090689Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:03:14.090689Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Synthesizing Program-Specific Static Analyses","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Colin S. Gordon","submitted_at":"2018-10-15T18:25:52Z","abstract_excerpt":"Designing a static analysis is generally a substantial undertaking, requiring significant expertise in both program analysis and the domain of the program analysis, and significant development resources. As a result, most program analyses target properties that are universallly of interest (e.g., absence of null pointer dereference) or nearly so (e.g., deadlock freedom). However, many interesting program properties that would benefit from static checking are specific to individual programs, or sometimes programs utilizing a certain library. It is impractical to devote program analysis and veri"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.06600","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":"1810.06600","created_at":"2026-05-18T00:03:14.090763+00:00"},{"alias_kind":"arxiv_version","alias_value":"1810.06600v1","created_at":"2026-05-18T00:03:14.090763+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.06600","created_at":"2026-05-18T00:03:14.090763+00:00"},{"alias_kind":"pith_short_12","alias_value":"LEIAUTXTFGZV","created_at":"2026-05-18T12:32:37.024351+00:00"},{"alias_kind":"pith_short_16","alias_value":"LEIAUTXTFGZVSWVO","created_at":"2026-05-18T12:32:37.024351+00:00"},{"alias_kind":"pith_short_8","alias_value":"LEIAUTXT","created_at":"2026-05-18T12:32:37.024351+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/LEIAUTXTFGZVSWVOABMFEOPSE2","json":"https://pith.science/pith/LEIAUTXTFGZVSWVOABMFEOPSE2.json","graph_json":"https://pith.science/api/pith-number/LEIAUTXTFGZVSWVOABMFEOPSE2/graph.json","events_json":"https://pith.science/api/pith-number/LEIAUTXTFGZVSWVOABMFEOPSE2/events.json","paper":"https://pith.science/paper/LEIAUTXT"},"agent_actions":{"view_html":"https://pith.science/pith/LEIAUTXTFGZVSWVOABMFEOPSE2","download_json":"https://pith.science/pith/LEIAUTXTFGZVSWVOABMFEOPSE2.json","view_paper":"https://pith.science/paper/LEIAUTXT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1810.06600&json=true","fetch_graph":"https://pith.science/api/pith-number/LEIAUTXTFGZVSWVOABMFEOPSE2/graph.json","fetch_events":"https://pith.science/api/pith-number/LEIAUTXTFGZVSWVOABMFEOPSE2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LEIAUTXTFGZVSWVOABMFEOPSE2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LEIAUTXTFGZVSWVOABMFEOPSE2/action/storage_attestation","attest_author":"https://pith.science/pith/LEIAUTXTFGZVSWVOABMFEOPSE2/action/author_attestation","sign_citation":"https://pith.science/pith/LEIAUTXTFGZVSWVOABMFEOPSE2/action/citation_signature","submit_replication":"https://pith.science/pith/LEIAUTXTFGZVSWVOABMFEOPSE2/action/replication_record"}},"created_at":"2026-05-18T00:03:14.090763+00:00","updated_at":"2026-05-18T00:03:14.090763+00:00"}