{"id":"W2102646107","doi":"10.1109/aiccsa.2010.5587027","title":"Detecting type errors and secure coding in C/C++ applications","year":2010,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Chicoutimi","funders":"","keywords":"Computer science; Coding (social sciences); Programming language; Static analysis; Memory safety; Theoretical computer science; Software","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.0002322241,0.00004858223,0.0000562397,0.00005993873,0.00003775198,0.00002424471,0.0001983644,0.00003708734,0.000002206921],"category_scores_gemma":[0.0003723549,0.00004539485,0.00000591994,0.000268178,0.00001693766,0.0001595106,0.0001161405,0.0001873748,0.00000372558],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006385327,"about_ca_system_score_gemma":0.000008913364,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000058706,"about_ca_topic_score_gemma":0.00004253612,"domain_scores_codex":[0.999614,0.00001266604,0.00006874115,0.0001556189,0.00004017269,0.0001087955],"domain_scores_gemma":[0.9993866,0.0003554208,0.00001627172,0.0001976381,0.00001830521,0.00002575357],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000003000091,0.00002511063,0.01177856,0.00005253758,0.000007680591,0.00001000106,0.002048197,0.01195197,0.1578695,0.3554094,0.00003231679,0.4608117],"study_design_scores_gemma":[0.001347029,0.0002093057,0.09922992,0.00008219519,0.00001162083,0.0003075865,0.0009533533,0.2705707,0.1492616,0.4542286,0.02157499,0.0022231],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04461708,0.00002611741,0.9544977,0.0000846264,0.0001469886,0.00006415706,6.88338e-8,0.0002866295,0.0002766168],"genre_scores_gemma":[0.4162656,0.000003080244,0.5836662,0.00001831891,0.00001115187,0.000007923497,5.848117e-8,0.000002454101,0.00002521945],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4585886,"threshold_uncertainty_score":0.1851148,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02659426785974598,"score_gpt":0.3002950401478549,"score_spread":0.2737007722881089,"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."}}