{"id":"W4405184268","doi":"10.1145/3658644.3670363","title":"<scp>SeMalloc:</scp> Semantics-Informed Memory Allocator","year":2024,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Universitas Brawijaya","keywords":"Allocator; Computer science; Heap (data structure); Exploit; C dynamic memory allocation; Memory protection; Thread (computing); Memory safety; Call stack; Operating system; Distributed computing; Parallel computing; Memory management; Programming language; Computer security; Stack (abstract data type); Virtual memory; Overlay","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0003688424,0.0001504824,0.0001340489,0.0001664578,0.0001504235,0.0006932068,0.0009823249,0.00008437836,0.00004307154],"category_scores_gemma":[0.0001534252,0.0001345168,0.00009682124,0.0006176752,0.00004353406,0.0006541063,0.0002873616,0.0001919609,0.001291275],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005585165,"about_ca_system_score_gemma":0.0002583801,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002244406,"about_ca_topic_score_gemma":0.000006889091,"domain_scores_codex":[0.9985852,0.0000300433,0.0002938521,0.0004303822,0.0003221596,0.0003383572],"domain_scores_gemma":[0.9985638,0.0006111286,0.00004088233,0.0005839763,0.00007031899,0.0001299384],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[3.098918e-7,0.00003943462,0.00008159907,0.000182952,0.00004867165,0.00004231577,0.00488223,0.0001375768,0.0004692002,0.8696228,0.1051948,0.01929814],"study_design_scores_gemma":[0.0001217266,0.00003490959,0.0003343723,0.00008506388,0.000008342288,0.00005897,0.0004017052,0.6189745,0.009412785,0.004298002,0.3661516,0.0001180126],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01905739,0.000759862,0.8842272,0.002372711,0.002531218,0.0001793638,0.000001182656,0.001896914,0.08897422],"genre_scores_gemma":[0.9342873,0.00005655856,0.05271117,0.001622793,0.0003593595,0.00001697343,0.000004972007,0.00001831113,0.0109226],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9152299,"threshold_uncertainty_score":0.9994863,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02089938920675538,"score_gpt":0.2695006518685362,"score_spread":0.2486012626617808,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}