{"id":"W4387298350","doi":"10.1145/3607199.3607212","title":"MIFP: Selective Fat-Pointer Bounds Compression for Accurate Bounds Checking","year":2023,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; Huawei Technologies","keywords":"Computer science; Padding; Pointer (user interface); Compression (physics); Data compression; Pointer analysis; Parallel computing; Overhead (engineering); Theoretical computer science; Algorithm; Programming language; Computer hardware; Static analysis; Computer security","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00169633,0.001892486,0.0009906405,0.002613877,0.00109376,0.002012867,0.003629168,0.001458177,0.01085362],"category_scores_gemma":[0.01099284,0.0009715905,0.0008841138,0.002311038,0.001475752,0.005056881,0.004200815,0.002074394,0.003796989],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001146641,"about_ca_system_score_gemma":0.002645355,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003073154,"about_ca_topic_score_gemma":0.005259532,"domain_scores_codex":[0.9970394,0.0003806217,0.0002669279,0.0004101594,0.001494146,0.0004086632],"domain_scores_gemma":[0.9926447,0.002323792,0.0004777306,0.003294449,0.001111486,0.0001478187],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.002160522,0.0003144994,0.007870235,0.0008503908,0.0002064689,0.0008225494,0.0006402903,0.04121674,0.07353906,0.07859664,0.07218244,0.7216001],"study_design_scores_gemma":[0.0002541057,0.0003237505,0.001656938,0.0003248664,0.0001372057,0.0008579544,0.0001609204,0.6450776,0.2201533,0.08379466,0.04706625,0.0001924753],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02898697,0.001505829,0.8801937,0.0003829532,0.0003475946,0.0002379847,0.00104414,0.08086029,0.006440484],"genre_scores_gemma":[0.5260245,0.0007381384,0.4564509,0.0006946942,0.000276973,0.000506601,0.002704846,0.00522537,0.007378062],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01085362,"threshold_uncertainty_score":0.03630894,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05485408248253466,"score_gpt":0.3278535568381398,"score_spread":0.2729994743556051,"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."}}