{"id":"W4206903497","doi":"10.1109/asew52652.2021.00021","title":"Accelerating Symbolic Analysis for Android Apps","year":2021,"lang":"en","type":"article","venue":"","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Android (operating system); Symbolic execution; Path (computing); Inference; Constraint (computer-aided design); Time constraint; Static analysis; Theoretical computer science; Artificial intelligence; Programming language; Operating system; Software; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000106189,0.00007079295,0.0001409145,0.0001266603,0.00010902,0.0001377427,0.0002659824,0.00003281989,0.00003822752],"category_scores_gemma":[0.00007834224,0.00006876542,0.0001191743,0.001163371,0.000007800332,0.0003349265,0.0001388127,0.00004757379,0.000005156906],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002207466,"about_ca_system_score_gemma":0.0000301941,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000510179,"about_ca_topic_score_gemma":0.00003004954,"domain_scores_codex":[0.999265,0.00001803699,0.0001475733,0.0003152818,0.00009942061,0.0001547227],"domain_scores_gemma":[0.9992414,0.00008409509,0.00004417649,0.0004178213,0.000169923,0.00004257599],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000006482914,0.0001374165,0.002341235,0.00004397283,0.000542777,0.00003738392,0.0005136516,0.002486175,0.0564995,0.4215797,0.002146729,0.513665],"study_design_scores_gemma":[0.0001768585,0.00004747593,0.0007551641,0.00000425065,0.00004361608,0.00001955067,0.00005265211,0.1534901,0.8138349,0.02042275,0.01090688,0.0002458095],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001864623,0.00005251896,0.9934732,0.0002853616,0.00005862736,0.00008964592,0.000001248356,0.0006407541,0.003534038],"genre_scores_gemma":[0.3802722,0.00000745191,0.6182012,0.000357201,0.00002673097,0.00004926099,0.000002731581,0.000004091204,0.001079113],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7573354,"threshold_uncertainty_score":0.2804173,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03002994775119192,"score_gpt":0.2894090640453331,"score_spread":0.2593791162941412,"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."}}