{"id":"W2900044545","doi":"10.1145/3290361","title":"Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems","year":2019,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":73,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Heinz Nixdorf Stiftung","keywords":"Reachability; Computer science; Context (archaeology); Path (computing); Flow (mathematics); Sensitivity (control systems); Decidability; Undecidable problem; Theoretical computer science; Set (abstract data type); Field (mathematics); Algorithm; Mathematics; Programming language; Pure mathematics; Geometry","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.003969205,0.001940013,0.001097362,0.002068304,0.001164535,0.003564104,0.002098191,0.001010199,0.003529875],"category_scores_gemma":[0.01725411,0.001371218,0.00344129,0.001408003,0.002879447,0.007178044,0.004843171,0.002921807,0.000637402],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00264466,"about_ca_system_score_gemma":0.004900813,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008296489,"about_ca_topic_score_gemma":0.006728485,"domain_scores_codex":[0.9924549,0.00211049,0.0006592619,0.001658421,0.002427089,0.0006898392],"domain_scores_gemma":[0.9856012,0.00795369,0.001194366,0.003273432,0.00164138,0.0003359159],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008860754,0.0003341471,0.01386208,0.001179306,0.0004205107,0.0005885449,0.001499653,0.5016466,0.05835079,0.1904013,0.004139918,0.226691],"study_design_scores_gemma":[0.00007677417,0.0001203555,0.0006359208,0.00006938953,0.0001036092,0.00009633267,0.0001205474,0.8322768,0.03223432,0.1290997,0.005094252,0.00007205845],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02934791,0.0001335525,0.9625984,0.0001509352,0.00003843625,0.000122868,0.0002312401,0.006345047,0.001031697],"genre_scores_gemma":[0.4694161,0.0002746418,0.5253914,0.0002401558,0.0000549334,0.0004216304,0.000935503,0.001629902,0.001635601],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008296489,"threshold_uncertainty_score":0.02099144,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01762344739751871,"score_gpt":0.2833335576704017,"score_spread":0.265710110272883,"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."}}