{"id":"W1580192808","doi":"10.1007/978-3-642-05151-7_5","title":"A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities","year":2009,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Static analysis; Vulnerability (computing); Software security assurance; Vulnerability management; Vulnerability assessment; Control flow graph; Symbolic execution; Software; Computer security; Security analysis; Secure coding; Key (lock); Generator (circuit theory); Security testing; Information security; Programming language; Security information and event management; Security service; Operating system; Cloud computing; Cloud computing 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.001926873,0.0003332689,0.0007429797,0.001102639,0.0003705038,0.0003410751,0.001910984,0.0002176975,0.000004131449],"category_scores_gemma":[0.0006692105,0.0002426102,0.000325778,0.001544245,0.001035144,0.0003186717,0.0005807607,0.0005393249,7.721522e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002034072,"about_ca_system_score_gemma":0.0002783457,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001564713,"about_ca_topic_score_gemma":0.0005246314,"domain_scores_codex":[0.9968504,0.00008957865,0.0005636283,0.001125843,0.0009134267,0.0004571694],"domain_scores_gemma":[0.992296,0.00565268,0.0002704214,0.001232087,0.0004408044,0.0001080112],"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.000005813377,0.00001685939,0.0005074689,0.0001055014,0.0001713541,0.000002009292,0.0007388158,0.04459165,0.00002309209,0.0006446752,3.576562e-7,0.9531924],"study_design_scores_gemma":[0.0001178024,0.000210636,0.001711397,0.00007251679,0.0001491895,0.000003232715,8.569801e-7,0.7517615,0.0003997144,0.2451986,0.000118181,0.0002564202],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001108333,0.001032983,0.9967105,0.000530801,0.0001113281,0.0004000537,0.00002592288,0.0000675159,0.00001258213],"genre_scores_gemma":[0.9180937,0.0001286438,0.08149955,0.0001091625,0.00007351577,0.0000172284,0.000007716993,0.00001145586,0.0000590656],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.952936,"threshold_uncertainty_score":0.9893357,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01483543782780331,"score_gpt":0.2724506335372322,"score_spread":0.2576151957094289,"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."}}