{"id":"W7097635113","doi":"","title":"University of Alberta SafeType: Detecting Type Violations for Type-Based Alias Analysis of C","year":2015,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Alias; Permission; Assertion; Type (biology); Association (psychology)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003870396,0.00213542,0.001033758,0.005545103,0.002152338,0.005436942,0.00380388,0.002127211,0.0124877],"category_scores_gemma":[0.02189883,0.001617799,0.001463815,0.003799031,0.00219595,0.004791643,0.003648404,0.002402099,0.009020911],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004116078,"about_ca_system_score_gemma":0.008752092,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.06304624,"about_ca_topic_score_gemma":0.07037547,"domain_scores_codex":[0.9928954,0.0009420206,0.0004362783,0.0009894565,0.004015445,0.0007213213],"domain_scores_gemma":[0.9881603,0.003495494,0.001101738,0.003217127,0.003583271,0.0004420284],"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.002594503,0.0003032725,0.04114548,0.001384229,0.0003253766,0.00103277,0.001428572,0.02321916,0.04911613,0.06355859,0.1932108,0.6226812],"study_design_scores_gemma":[0.0003194958,0.0004230001,0.01503921,0.0007631143,0.0002396892,0.001663961,0.0008009398,0.5091218,0.142682,0.09381176,0.2347109,0.0004241554],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04827682,0.001822905,0.6079721,0.00115305,0.0005390313,0.000460207,0.004924646,0.3064294,0.02842192],"genre_scores_gemma":[0.3661653,0.001264899,0.577657,0.0009733673,0.0002224167,0.0003138018,0.01160076,0.02244847,0.0193541],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.06304624,"threshold_uncertainty_score":0.1253586,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06554210992485195,"score_gpt":0.2768229832021458,"score_spread":0.2112808732772938,"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."}}