{"id":"W2148349940","doi":"10.1109/aiccsa.2008.4493600","title":"A novel flow-sensitive type and effect analysis for securing C code","year":2008,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Alias; Static analysis; Type inference; Memory safety; Information flow; Aliasing; Source code; Abstract interpretation; Programming language; Program analysis; Static program analysis; Type safety; Type (biology); Code (set theory); Point (geometry); Interface (matter); Undecidable problem; Control flow; Theoretical computer science; Inference; Data mining; Parallel computing; Compiler; Artificial intelligence","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.002091052,0.001249429,0.001135149,0.002981197,0.0008986279,0.001680569,0.001756824,0.001157906,0.002763685],"category_scores_gemma":[0.006824873,0.000779235,0.001573003,0.001010467,0.002233759,0.00315626,0.001917621,0.002018449,0.0008988862],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001295322,"about_ca_system_score_gemma":0.00288747,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002466867,"about_ca_topic_score_gemma":0.002348871,"domain_scores_codex":[0.9962436,0.0004302637,0.0002697837,0.0006652954,0.002097987,0.0002929614],"domain_scores_gemma":[0.9935296,0.001793352,0.0008118902,0.00241043,0.001287768,0.0001669721],"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.001044192,0.0002884756,0.0081069,0.0008521136,0.0002266276,0.0007238708,0.0006072565,0.06436243,0.2055017,0.1136244,0.009314545,0.5953475],"study_design_scores_gemma":[0.0001068001,0.0004733227,0.002572225,0.0001798718,0.0002909265,0.000833883,0.00006240942,0.5959843,0.3181237,0.04329128,0.03780842,0.0002728413],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00623328,0.0001274542,0.9864378,0.00008767794,0.0000718863,0.00007945897,0.0001131292,0.00606524,0.0007840262],"genre_scores_gemma":[0.2014213,0.0003197285,0.7920142,0.0003692022,0.0001901107,0.0001949909,0.0003274735,0.001839077,0.003323837],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002981197,"threshold_uncertainty_score":0.01105869,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03712901564060711,"score_gpt":0.2728291378664789,"score_spread":0.2357001222258718,"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."}}