{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005108956,0.0001946734,0.0003845279,0.0002222359,0.0001196229,0.0002592067,0.002199325,0.00009246147,0.000002965605],"category_scores_gemma":[0.0009963221,0.0001426772,0.00009589003,0.0008512121,0.00006412753,0.0006429251,0.002024441,0.0002077864,0.000002352918],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005167737,"about_ca_system_score_gemma":0.0000200199,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001449229,"about_ca_topic_score_gemma":0.000006773821,"domain_scores_codex":[0.998485,0.00002069695,0.0002802627,0.0005842739,0.0003578194,0.0002718919],"domain_scores_gemma":[0.9979275,0.0002089241,0.0003558429,0.001190476,0.000262336,0.00005495901],"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.0001482841,0.0001795379,0.01108512,0.0007601806,0.001262176,0.00001307955,0.004431909,0.0008715312,0.04890982,0.007381854,0.000585496,0.924371],"study_design_scores_gemma":[0.001202628,0.0008860769,0.0008134838,0.0008805,0.0007149533,0.0001538878,0.006014256,0.5700607,0.4139344,0.001366875,0.002935068,0.001037151],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7766687,0.001215793,0.2164437,0.001276372,0.0005175491,0.00216447,0.00003510612,0.001175969,0.0005023725],"genre_scores_gemma":[0.8112945,0.00001124072,0.1884233,0.0001122679,0.0000362085,0.00001642801,0.000002252967,0.0000130942,0.00009066726],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9233339,"threshold_uncertainty_score":0.5818208,"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."}}