{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:KRPWYAT7VNNZAAU4WXEH2ASB4G","short_pith_number":"pith:KRPWYAT7","schema_version":"1.0","canonical_sha256":"545f6c027fab5b90029cb5c87d0241e1b22265c6bb8d28ed8583dad7ca74d51d","source":{"kind":"arxiv","id":"2402.03373","version":2},"attestation_state":"computed","paper":{"title":"SeMalloc: Semantics-Informed Memory Allocator","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Meng Xu, N. Asokan, Ruizhe Wang","submitted_at":"2024-02-02T21:02:15Z","abstract_excerpt":"Use-after-free (UAF) is a critical and prevalent problem in memory unsafe languages. While many solutions have been proposed, balancing security, run-time cost, and memory overhead (an impossible trinity) is hard.\n  In this paper, we show one way to balance the trinity by passing more semantics about the heap object to the allocator for it to make informed allocation decisions. More specifically, we propose a new notion of thread-, context-, and flow-sensitive \"type\", SemaType, to capture the semantics and prototype a SemaType-based allocator that aims for the best trade-off amongst the imposs"},"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":"2402.03373","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-02-02T21:02:15Z","cross_cats_sorted":[],"title_canon_sha256":"31c71f199de1542b2a2f829bbd79340e59b5e3ef2a4f17a43651262b7bf7058c","abstract_canon_sha256":"437314a1c33c2ac737d1d5ffb979bb7c55840fb31963b5862eed91199e8d20c8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:22:36.729053Z","signature_b64":"WSyHVr/l1p6aCqa4A294azcJBv1z1Bq5zrUJ65fPsQR9czBuAzBOt5mMsjsiXN+qtzgBLWTkL1/OC0koozzVBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"545f6c027fab5b90029cb5c87d0241e1b22265c6bb8d28ed8583dad7ca74d51d","last_reissued_at":"2026-07-05T08:22:36.728520Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:22:36.728520Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"SeMalloc: Semantics-Informed Memory Allocator","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Meng Xu, N. Asokan, Ruizhe Wang","submitted_at":"2024-02-02T21:02:15Z","abstract_excerpt":"Use-after-free (UAF) is a critical and prevalent problem in memory unsafe languages. While many solutions have been proposed, balancing security, run-time cost, and memory overhead (an impossible trinity) is hard.\n  In this paper, we show one way to balance the trinity by passing more semantics about the heap object to the allocator for it to make informed allocation decisions. More specifically, we propose a new notion of thread-, context-, and flow-sensitive \"type\", SemaType, to capture the semantics and prototype a SemaType-based allocator that aims for the best trade-off amongst the imposs"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.03373","kind":"arxiv","version":2},"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/2402.03373/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":"2402.03373","created_at":"2026-07-05T08:22:36.728583+00:00"},{"alias_kind":"arxiv_version","alias_value":"2402.03373v2","created_at":"2026-07-05T08:22:36.728583+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.03373","created_at":"2026-07-05T08:22:36.728583+00:00"},{"alias_kind":"pith_short_12","alias_value":"KRPWYAT7VNNZ","created_at":"2026-07-05T08:22:36.728583+00:00"},{"alias_kind":"pith_short_16","alias_value":"KRPWYAT7VNNZAAU4","created_at":"2026-07-05T08:22:36.728583+00:00"},{"alias_kind":"pith_short_8","alias_value":"KRPWYAT7","created_at":"2026-07-05T08:22:36.728583+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/KRPWYAT7VNNZAAU4WXEH2ASB4G","json":"https://pith.science/pith/KRPWYAT7VNNZAAU4WXEH2ASB4G.json","graph_json":"https://pith.science/api/pith-number/KRPWYAT7VNNZAAU4WXEH2ASB4G/graph.json","events_json":"https://pith.science/api/pith-number/KRPWYAT7VNNZAAU4WXEH2ASB4G/events.json","paper":"https://pith.science/paper/KRPWYAT7"},"agent_actions":{"view_html":"https://pith.science/pith/KRPWYAT7VNNZAAU4WXEH2ASB4G","download_json":"https://pith.science/pith/KRPWYAT7VNNZAAU4WXEH2ASB4G.json","view_paper":"https://pith.science/paper/KRPWYAT7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2402.03373&json=true","fetch_graph":"https://pith.science/api/pith-number/KRPWYAT7VNNZAAU4WXEH2ASB4G/graph.json","fetch_events":"https://pith.science/api/pith-number/KRPWYAT7VNNZAAU4WXEH2ASB4G/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KRPWYAT7VNNZAAU4WXEH2ASB4G/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KRPWYAT7VNNZAAU4WXEH2ASB4G/action/storage_attestation","attest_author":"https://pith.science/pith/KRPWYAT7VNNZAAU4WXEH2ASB4G/action/author_attestation","sign_citation":"https://pith.science/pith/KRPWYAT7VNNZAAU4WXEH2ASB4G/action/citation_signature","submit_replication":"https://pith.science/pith/KRPWYAT7VNNZAAU4WXEH2ASB4G/action/replication_record"}},"created_at":"2026-07-05T08:22:36.728583+00:00","updated_at":"2026-07-05T08:22:36.728583+00:00"}