{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00223905,0.001301543,0.001413179,0.005000994,0.0006022612,0.002514489,0.001472491,0.001056682,0.003761216],"category_scores_gemma":[0.005699078,0.001058533,0.001250964,0.002726259,0.001231447,0.003884263,0.003079182,0.001760739,0.002022463],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005942842,"about_ca_system_score_gemma":0.001002537,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001160021,"about_ca_topic_score_gemma":0.002029281,"domain_scores_codex":[0.997219,0.0005783813,0.0001277344,0.0004597503,0.001425574,0.0001895217],"domain_scores_gemma":[0.9950895,0.002766573,0.0002936703,0.001002835,0.0007166208,0.0001308374],"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.0002869489,0.0002889295,0.003689312,0.0003650068,0.0002109796,0.0002724665,0.0002718208,0.02336415,0.06117972,0.03382515,0.006336411,0.8699092],"study_design_scores_gemma":[0.0000527161,0.000359258,0.004637843,0.000231348,0.0003685191,0.001417697,0.0001898226,0.7824622,0.04337836,0.1466241,0.02011204,0.0001659685],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01566723,0.001813789,0.96636,0.0004291246,0.0001172225,0.00009849507,0.0001824065,0.005415357,0.009916388],"genre_scores_gemma":[0.265664,0.001476376,0.7259309,0.000274275,0.0001506798,0.0001027405,0.0004045408,0.0007138925,0.005282594],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005000994,"threshold_uncertainty_score":0.01258248,"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."}}