{"id":"W4389544206","doi":"10.1109/icsme58846.2023.00060","title":"Finding an Optimal Set of Static Analyzers To Detect Software Vulnerabilities","year":2023,"lang":"en","type":"article","venue":"","topic":"Software Engineering Research","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Computer science; Oracle; Set (abstract data type); Vulnerability (computing); Software; Computer security; Static analysis; Data mining; Software engineering; Operating system; Programming language","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.004205378,0.001760645,0.001637295,0.002299015,0.001188178,0.001553921,0.001833513,0.001971566,0.003187265],"category_scores_gemma":[0.01807916,0.001071582,0.001388723,0.0008549641,0.001590141,0.003144459,0.001556999,0.001933055,0.001322189],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001657477,"about_ca_system_score_gemma":0.003888761,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002000128,"about_ca_topic_score_gemma":0.004002452,"domain_scores_codex":[0.9950354,0.001892027,0.0002693388,0.00136676,0.0007180311,0.0007184492],"domain_scores_gemma":[0.9880148,0.0071412,0.001199209,0.002102435,0.0008761772,0.0006662027],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"observational","study_design_scores_codex":[0.003028249,0.002070884,0.03610543,0.0006591933,0.0004542384,0.0004943443,0.0004461738,0.4575631,0.09019345,0.018215,0.01148123,0.3792886],"study_design_scores_gemma":[0.0002651637,0.0006413477,0.002946283,0.00004518079,0.0001171082,0.0002883462,0.0002344969,0.9603659,0.01367754,0.01931917,0.00203274,0.00006663281],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5108062,0.001016131,0.465284,0.001506848,0.0001352523,0.0006897007,0.0008376904,0.01270347,0.007020678],"genre_scores_gemma":[0.7937269,0.0001499655,0.2033769,0.0003049853,0.00002657485,0.0002981627,0.0006006201,0.0003956099,0.001120385],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004205378,"threshold_uncertainty_score":0.0222404,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0433865343501716,"score_gpt":0.3243299952251804,"score_spread":0.2809434608750088,"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."}}