{"id":"W3154844554","doi":"10.1145/3445814.3446761","title":"In-fat pointer: hardware-assisted tagged-pointer spatial memory safety defense with subobject granularity protection","year":2021,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Pointer (user interface); Memory safety; Pointer analysis; Memory protection; Programming language; Granularity; Operating system; Static analysis; Memory management; Software; Computer hardware; Virtual memory; Overlay","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004746962,0.0002052515,0.0002489169,0.0001493345,0.00021753,0.0002651478,0.0004690498,0.0001064241,0.0001861094],"category_scores_gemma":[0.00009802109,0.0001846927,0.0001052046,0.0007207292,0.00005826195,0.0005946725,0.0002653209,0.0003948892,0.00006481648],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001565169,"about_ca_system_score_gemma":0.00015965,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001043331,"about_ca_topic_score_gemma":0.002437669,"domain_scores_codex":[0.9978505,0.0003176792,0.0004254818,0.000716246,0.0003538255,0.0003362898],"domain_scores_gemma":[0.9986621,0.00009205887,0.0001326153,0.000752879,0.000265885,0.0000945323],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.004910456,0.008126985,0.02910435,0.001714812,0.0009780093,0.005976379,0.05397684,0.004157297,0.05322081,0.2717396,0.01367773,0.5524167],"study_design_scores_gemma":[0.01770433,0.001136158,0.1534848,0.001016768,0.00007737555,0.004103023,0.001577088,0.4432937,0.3388719,0.009614347,0.02593345,0.003187165],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0598102,0.00003840369,0.9300219,0.00321275,0.000746098,0.0003373911,0.000002404095,0.0002803699,0.005550476],"genre_scores_gemma":[0.9773315,0.000005216778,0.02092397,0.0009814292,0.00012878,0.00002697047,0.000008336486,0.00001359887,0.0005801799],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9175213,"threshold_uncertainty_score":0.7531549,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01879884962337691,"score_gpt":0.233939529891317,"score_spread":0.2151406802679401,"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."}}