{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:LFEABWJWDRLYXV34YW6A6UO4KW","short_pith_number":"pith:LFEABWJW","schema_version":"1.0","canonical_sha256":"594800d9361c578bd77cc5bc0f51dc55be90000ac8c6e49ac44e7e9e75e23292","source":{"kind":"arxiv","id":"1907.08251","version":1},"attestation_state":"computed","paper":{"title":"Responsibility Analysis by Abstract Interpretation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Chaoqiang Deng, Patrick Cousot","submitted_at":"2019-07-18T19:03:38Z","abstract_excerpt":"Given a behavior of interest in the program, statically determining the corresponding responsible entity is a task of critical importance, especially in program security. Classical static analysis techniques (e.g. dependency analysis, taint analysis, slicing, etc.) assist programmers in narrowing down the scope of responsibility, but none of them can explicitly identify the responsible entity. Meanwhile, the causality analysis is generally not pertinent for analyzing programs, and the structural equations model (SEM) of actual causality misses some information inherent in programs, making its "},"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":"1907.08251","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-18T19:03:38Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"5a50ec1014777a90058eca28d3fdc625d7b48328fd7188e4db1ccd6bf86ea780","abstract_canon_sha256":"af6d6706c447d9931d3253b5b9fd174dae209ef75c078657774bc24cdbe0567d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:40:10.431974Z","signature_b64":"tCHaaIaOSGU6YTwoD7H4b4s5f6jrmvVuVNcQYWqP/DuwsSiuqQLxSJY6JbTpdVme0UyXwSEmCViEzl305/4SDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"594800d9361c578bd77cc5bc0f51dc55be90000ac8c6e49ac44e7e9e75e23292","last_reissued_at":"2026-05-17T23:40:10.431352Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:40:10.431352Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Responsibility Analysis by Abstract Interpretation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Chaoqiang Deng, Patrick Cousot","submitted_at":"2019-07-18T19:03:38Z","abstract_excerpt":"Given a behavior of interest in the program, statically determining the corresponding responsible entity is a task of critical importance, especially in program security. Classical static analysis techniques (e.g. dependency analysis, taint analysis, slicing, etc.) assist programmers in narrowing down the scope of responsibility, but none of them can explicitly identify the responsible entity. Meanwhile, the causality analysis is generally not pertinent for analyzing programs, and the structural equations model (SEM) of actual causality misses some information inherent in programs, making its "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.08251","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":"1907.08251","created_at":"2026-05-17T23:40:10.431443+00:00"},{"alias_kind":"arxiv_version","alias_value":"1907.08251v1","created_at":"2026-05-17T23:40:10.431443+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.08251","created_at":"2026-05-17T23:40:10.431443+00:00"},{"alias_kind":"pith_short_12","alias_value":"LFEABWJWDRLY","created_at":"2026-05-18T12:33:21.387695+00:00"},{"alias_kind":"pith_short_16","alias_value":"LFEABWJWDRLYXV34","created_at":"2026-05-18T12:33:21.387695+00:00"},{"alias_kind":"pith_short_8","alias_value":"LFEABWJW","created_at":"2026-05-18T12:33:21.387695+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/LFEABWJWDRLYXV34YW6A6UO4KW","json":"https://pith.science/pith/LFEABWJWDRLYXV34YW6A6UO4KW.json","graph_json":"https://pith.science/api/pith-number/LFEABWJWDRLYXV34YW6A6UO4KW/graph.json","events_json":"https://pith.science/api/pith-number/LFEABWJWDRLYXV34YW6A6UO4KW/events.json","paper":"https://pith.science/paper/LFEABWJW"},"agent_actions":{"view_html":"https://pith.science/pith/LFEABWJWDRLYXV34YW6A6UO4KW","download_json":"https://pith.science/pith/LFEABWJWDRLYXV34YW6A6UO4KW.json","view_paper":"https://pith.science/paper/LFEABWJW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1907.08251&json=true","fetch_graph":"https://pith.science/api/pith-number/LFEABWJWDRLYXV34YW6A6UO4KW/graph.json","fetch_events":"https://pith.science/api/pith-number/LFEABWJWDRLYXV34YW6A6UO4KW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LFEABWJWDRLYXV34YW6A6UO4KW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LFEABWJWDRLYXV34YW6A6UO4KW/action/storage_attestation","attest_author":"https://pith.science/pith/LFEABWJWDRLYXV34YW6A6UO4KW/action/author_attestation","sign_citation":"https://pith.science/pith/LFEABWJWDRLYXV34YW6A6UO4KW/action/citation_signature","submit_replication":"https://pith.science/pith/LFEABWJWDRLYXV34YW6A6UO4KW/action/replication_record"}},"created_at":"2026-05-17T23:40:10.431443+00:00","updated_at":"2026-05-17T23:40:10.431443+00:00"}