{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00007804441,0.00003548146,0.00004957393,0.000009015305,0.00005024627,0.00005423245,0.0004609254,0.00001382785,0.0000596181],"category_scores_gemma":[0.0001563967,0.00002278565,0.00002516963,0.0001656579,0.00002450179,0.0000972033,0.0000824134,0.00005779688,0.00007109355],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003344477,"about_ca_system_score_gemma":0.00001596226,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001380589,"about_ca_topic_score_gemma":0.000001706616,"domain_scores_codex":[0.9995688,0.00004076704,0.0001057662,0.0001182477,0.0001079729,0.00005840277],"domain_scores_gemma":[0.9991041,0.0005366047,0.00004370049,0.0002469789,0.00003893064,0.00002963298],"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":[0.00000198492,0.000009379389,0.00003197077,0.000001814442,0.000002971994,2.911528e-7,0.0009705217,0.0002647976,0.0001085836,0.9798405,0.01382365,0.004943504],"study_design_scores_gemma":[0.0001225723,0.00007741579,0.0003458883,0.00001059013,0.000001224327,9.454915e-7,0.0000887128,0.872675,0.0110642,0.002911078,0.1126258,0.00007663511],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02007258,0.000009447837,0.943691,0.03397002,0.00009769873,0.00006789548,0.000001064019,0.00008191082,0.002008345],"genre_scores_gemma":[0.976747,0.00000158942,0.007179697,0.01599308,0.00001855365,9.988819e-7,1.729744e-7,0.000001485026,0.00005742813],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9769294,"threshold_uncertainty_score":0.09291719,"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."}}