{"id":"W200607821","doi":"","title":"Source Code Verification Tools for Software Security Bugs","year":2006,"lang":"en","type":"article","venue":"","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Defence Research and Development Canada","funders":"","keywords":"Computer science; Java; Static program analysis; Source code; Software security assurance; Context (archaeology); Secure coding; Software bug; Software engineering; Software; Programming language; Code (set theory); Static analysis; Software development; Computer security; Information security; Set (abstract data type)","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.0004809745,0.00008653228,0.0001272904,0.00006872358,0.0001701118,0.000383854,0.0006556868,0.0000654598,0.00003338571],"category_scores_gemma":[0.0004457458,0.00007618353,0.0001223343,0.0003791192,0.00004302876,0.0005413701,0.0001100523,0.00008100753,0.00007248901],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004782751,"about_ca_system_score_gemma":0.00006245274,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001664783,"about_ca_topic_score_gemma":0.00005459482,"domain_scores_codex":[0.9987987,0.00004766029,0.0002012981,0.000392439,0.0002946176,0.0002653357],"domain_scores_gemma":[0.9984678,0.0006333044,0.00004209094,0.0005887888,0.00020967,0.00005833841],"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.00003772744,0.0007908785,0.01833275,0.0002168143,0.00006739342,0.00000257617,0.0006134024,0.003627295,0.001909674,0.2300088,0.04698088,0.6974118],"study_design_scores_gemma":[0.000813025,0.0001406141,0.008965048,0.00001807258,0.00001874399,0.000006189005,0.00007310451,0.3768532,0.01715591,0.1196882,0.4757153,0.0005525014],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01667845,0.00005849552,0.9808583,0.00117256,0.00004177538,0.0002886955,0.000007142364,0.000377234,0.0005173539],"genre_scores_gemma":[0.8462692,0.00001102016,0.1503283,0.0002438072,0.0001438735,0.0001679395,0.00004920962,0.00001063508,0.002775974],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.83053,"threshold_uncertainty_score":0.3701513,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02312983237086987,"score_gpt":0.2789117260729957,"score_spread":0.2557818937021259,"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."}}