{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:KBBK6SM3JWN4REXBEIZSH3WOCM","short_pith_number":"pith:KBBK6SM3","schema_version":"1.0","canonical_sha256":"5042af499b4d9bc892e1223323eece131c6e6dd562a694980a59cac82c897c6c","source":{"kind":"arxiv","id":"2102.07485","version":1},"attestation_state":"computed","paper":{"title":"Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Fr\\'ed\\'eric Recoules, Laurent Mounier, Marie-Laure Potet, Matthieu Lemerre, Richard Bonichon, S\\'ebastien Bardin","submitted_at":"2021-02-15T11:43:12Z","abstract_excerpt":"Inline assembly is still a common practice in low-level C programming, typically for efficiency reasons or for accessing specific hardware resources. Such embedded assembly codes in the GNU syntax (supported by major compilers such as GCC, Clang and ICC) have an interface specifying how the assembly codes interact with the C environment. For simplicity reasons, the compiler treats GNU inline assembly codes as blackboxes and relies only on their interface to correctly glue them into the compiled C code. Therefore, the adequacy between the assembly chunk and its interface (named compliance) is o"},"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":"2102.07485","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2021-02-15T11:43:12Z","cross_cats_sorted":[],"title_canon_sha256":"b6d1d45db42118b838cb3f6d6f96a376f72b81deb10a7a1a4ecfdc8153045d57","abstract_canon_sha256":"ebcca84874423d5fdad7b5ffa78780235643048d831c72c8e2886ce8ae34a523"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:15:17.023080Z","signature_b64":"K7aoasuN7GqHalMc5MqnqDD7Bv6sTf8fph5DEYVHOV+Z8r/qWw2bsl6RTDwJLe1rlDAzczXVFX9t4Ncv3D6jDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5042af499b4d9bc892e1223323eece131c6e6dd562a694980a59cac82c897c6c","last_reissued_at":"2026-07-05T02:15:17.022672Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:15:17.022672Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Fr\\'ed\\'eric Recoules, Laurent Mounier, Marie-Laure Potet, Matthieu Lemerre, Richard Bonichon, S\\'ebastien Bardin","submitted_at":"2021-02-15T11:43:12Z","abstract_excerpt":"Inline assembly is still a common practice in low-level C programming, typically for efficiency reasons or for accessing specific hardware resources. Such embedded assembly codes in the GNU syntax (supported by major compilers such as GCC, Clang and ICC) have an interface specifying how the assembly codes interact with the C environment. For simplicity reasons, the compiler treats GNU inline assembly codes as blackboxes and relies only on their interface to correctly glue them into the compiled C code. Therefore, the adequacy between the assembly chunk and its interface (named compliance) is o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2102.07485","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/2102.07485/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":"2102.07485","created_at":"2026-07-05T02:15:17.022730+00:00"},{"alias_kind":"arxiv_version","alias_value":"2102.07485v1","created_at":"2026-07-05T02:15:17.022730+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2102.07485","created_at":"2026-07-05T02:15:17.022730+00:00"},{"alias_kind":"pith_short_12","alias_value":"KBBK6SM3JWN4","created_at":"2026-07-05T02:15:17.022730+00:00"},{"alias_kind":"pith_short_16","alias_value":"KBBK6SM3JWN4REXB","created_at":"2026-07-05T02:15:17.022730+00:00"},{"alias_kind":"pith_short_8","alias_value":"KBBK6SM3","created_at":"2026-07-05T02:15:17.022730+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/KBBK6SM3JWN4REXBEIZSH3WOCM","json":"https://pith.science/pith/KBBK6SM3JWN4REXBEIZSH3WOCM.json","graph_json":"https://pith.science/api/pith-number/KBBK6SM3JWN4REXBEIZSH3WOCM/graph.json","events_json":"https://pith.science/api/pith-number/KBBK6SM3JWN4REXBEIZSH3WOCM/events.json","paper":"https://pith.science/paper/KBBK6SM3"},"agent_actions":{"view_html":"https://pith.science/pith/KBBK6SM3JWN4REXBEIZSH3WOCM","download_json":"https://pith.science/pith/KBBK6SM3JWN4REXBEIZSH3WOCM.json","view_paper":"https://pith.science/paper/KBBK6SM3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2102.07485&json=true","fetch_graph":"https://pith.science/api/pith-number/KBBK6SM3JWN4REXBEIZSH3WOCM/graph.json","fetch_events":"https://pith.science/api/pith-number/KBBK6SM3JWN4REXBEIZSH3WOCM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KBBK6SM3JWN4REXBEIZSH3WOCM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KBBK6SM3JWN4REXBEIZSH3WOCM/action/storage_attestation","attest_author":"https://pith.science/pith/KBBK6SM3JWN4REXBEIZSH3WOCM/action/author_attestation","sign_citation":"https://pith.science/pith/KBBK6SM3JWN4REXBEIZSH3WOCM/action/citation_signature","submit_replication":"https://pith.science/pith/KBBK6SM3JWN4REXBEIZSH3WOCM/action/replication_record"}},"created_at":"2026-07-05T02:15:17.022730+00:00","updated_at":"2026-07-05T02:15:17.022730+00:00"}