{"id":"W7056337563","doi":"","title":"Empirical evaluation of lightweight static analysis tools","year":2021,"lang":"en","type":"dissertation","venue":"eScholarship@McGill (McGill)","topic":"Magnetic confinement fusion research","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Static analysis; Static program analysis; Software; Verification and validation; Software construction; Software quality; Program analysis; Quality (philosophy); Software development","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.06427076,0.00133713,0.0008895239,0.009033972,0.001205761,0.003194757,0.00263992,0.001644517,0.003478515],"category_scores_gemma":[0.358902,0.0006591955,0.0009430346,0.006614312,0.002322466,0.005992315,0.003534983,0.002006732,0.002518115],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00227073,"about_ca_system_score_gemma":0.002273211,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002783206,"about_ca_topic_score_gemma":0.003092059,"domain_scores_codex":[0.9197928,0.04060117,0.006465319,0.004429757,0.02693482,0.001776247],"domain_scores_gemma":[0.3651789,0.4970061,0.02950202,0.03943359,0.06469408,0.004185259],"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.007511662,0.004815233,0.3219701,0.004364063,0.0009719125,0.0008066064,0.01175386,0.02135406,0.00833219,0.009880614,0.02369403,0.5845457],"study_design_scores_gemma":[0.001909807,0.01293114,0.5847339,0.003979621,0.00181087,0.002336785,0.0117089,0.2259806,0.02090997,0.01904372,0.1139859,0.0006687043],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9501664,0.003140828,0.02958244,0.0008364529,0.0002136565,0.000724852,0.002302824,0.002707883,0.0103247],"genre_scores_gemma":[0.9676729,0.0006790369,0.02487551,0.000191881,0.0001113991,0.0005867516,0.003740292,0.000663401,0.001478906],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.06427076,"threshold_uncertainty_score":0.3399003,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04439445032130261,"score_gpt":0.3320125801841859,"score_spread":0.2876181298628833,"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."}}