{"id":"W3094250247","doi":"10.1145/3382494.3422165","title":"On the use of C# Unsafe Code Context","year":2020,"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 Calgary; Polytechnique Montréal","funders":"","keywords":"Computer science; Computer security; Context (archaeology); Memory safety; Dead code; Interoperability; Pointer (user interface); Unreachable code; Secure coding; Programming language; Redundant code; Database; Operating system; Software; Code generation; Software security assurance; Computer hardware; Information security","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00184353,0.0006982783,0.0002461786,0.004588544,0.001422642,0.0012918,0.0005492195,0.0008010754,0.002511171],"category_scores_gemma":[0.02431778,0.0005286111,0.0003801176,0.003654986,0.001831904,0.002927926,0.001813714,0.001144749,0.001086107],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001009031,"about_ca_system_score_gemma":0.002317305,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01101535,"about_ca_topic_score_gemma":0.01606346,"domain_scores_codex":[0.9954528,0.0004434361,0.000498823,0.0008633508,0.002316982,0.0004245727],"domain_scores_gemma":[0.9663228,0.01695912,0.007350134,0.003804645,0.005078171,0.0004852011],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0009571358,0.0001796799,0.2624936,0.003665445,0.0001384261,0.008563046,0.03709543,0.004008198,0.08663468,0.02827073,0.04897942,0.5190142],"study_design_scores_gemma":[0.00002792994,0.0004157124,0.3540332,0.002219599,0.0003072788,0.01046415,0.008529308,0.02302777,0.1370821,0.01192736,0.4514774,0.0004881464],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.8802915,0.001926595,0.07417074,0.001671912,0.0002237924,0.0004243122,0.00948765,0.01146613,0.02033732],"genre_scores_gemma":[0.9122834,0.001432144,0.05648172,0.0009053664,0.0001289106,0.0002646524,0.01046628,0.005540578,0.01249701],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.01101535,"threshold_uncertainty_score":0.0219025,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2153692559130174,"score_gpt":0.2712843684701323,"score_spread":0.0559151125571149,"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."}}