{"id":"W2155938435","doi":"10.1016/j.scico.2006.01.009","title":"Describing data flow analysis techniques with Kleene algebra","year":2006,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Soundness; Computer science; Control flow graph; Kleene algebra; Data-flow analysis; Data flow diagram; Control flow; Theoretical computer science; Program analysis; Kleene's recursion theorem; Compiler; Class (philosophy); Programming language; Graph; Static analysis; Algebra over a field; Flow (mathematics); Graph algebra; Algorithm; Discrete mathematics; Mathematics; Artificial intelligence; Database; Pure mathematics","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.002774124,0.001529266,0.0009154615,0.003143619,0.002091647,0.005116702,0.002795667,0.002021875,0.009052467],"category_scores_gemma":[0.006938842,0.001391714,0.003008931,0.004240192,0.002861128,0.01208349,0.003218601,0.004981476,0.004115908],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001255227,"about_ca_system_score_gemma":0.001607999,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001457674,"about_ca_topic_score_gemma":0.001703718,"domain_scores_codex":[0.9968803,0.0007292131,0.0003244971,0.0004927233,0.001289211,0.0002839823],"domain_scores_gemma":[0.9975258,0.001392936,0.0001329254,0.0005961598,0.0002933446,0.00005883858],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00008570335,0.00009775708,0.0003835156,0.0004772856,0.00007378339,0.0002714928,0.0005545165,0.01131237,0.008196375,0.83891,0.004864109,0.1347729],"study_design_scores_gemma":[0.00002561932,0.0000360991,0.0001150956,0.000169655,0.00007546306,0.0002993202,0.00008694347,0.04815447,0.01664241,0.8818893,0.05244023,0.00006543065],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001049947,0.0003139186,0.9939976,0.0001685185,0.00005531922,0.0000610822,0.00006115121,0.001241735,0.003050841],"genre_scores_gemma":[0.07137751,0.00186999,0.9157277,0.000501745,0.0002148948,0.0002605155,0.0005000206,0.001215423,0.008332258],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009052467,"threshold_uncertainty_score":0.03028345,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02315846028272783,"score_gpt":0.2639729143379643,"score_spread":0.2408144540552365,"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."}}