{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004154444,0.0009774752,0.0008105904,0.002439325,0.001352669,0.002445979,0.001726426,0.00169584,0.001028541],"category_scores_gemma":[0.03316684,0.001128548,0.0008086914,0.001752464,0.002738916,0.004877451,0.002512335,0.002089232,0.0004767119],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009949517,"about_ca_system_score_gemma":0.002215713,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0016437,"about_ca_topic_score_gemma":0.001036712,"domain_scores_codex":[0.9901363,0.002326683,0.001047712,0.001264409,0.0044602,0.0007646529],"domain_scores_gemma":[0.9627761,0.01406028,0.007289147,0.009481586,0.005977008,0.0004158976],"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.001585094,0.0003148569,0.04235835,0.001061447,0.0002081793,0.002312053,0.003289925,0.06793223,0.08724251,0.1201045,0.006374338,0.6672164],"study_design_scores_gemma":[0.0001211874,0.0005228497,0.006468294,0.0005461073,0.0003374975,0.003089019,0.0005928758,0.4494863,0.3769771,0.1414508,0.02013396,0.0002740885],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1102835,0.0006447443,0.87851,0.0005982344,0.0001208741,0.0001334533,0.00007427733,0.006793497,0.002841488],"genre_scores_gemma":[0.6817126,0.0005819576,0.3136504,0.0003193284,0.000103884,0.0001234807,0.0001408117,0.001624671,0.00174293],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004154444,"threshold_uncertainty_score":0.02197105,"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."}}