{"id":"W4281386732","doi":"10.1145/3488932.3497765","title":"Driving Execution of Target Paths in Android Applications with (a) CAR","year":2022,"lang":"en","type":"article","venue":"Proceedings of the 2022 ACM on Asia Conference on Computer and Communications Security","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Static analysis; Soundness; False positive paradox; Android (operating system); Taint checking; Data-flow analysis; Completeness (order theory); Path (computing); Symbolic execution; Distributed computing; Real-time computing; Data mining; Programming language; Machine learning; Operating system; Data flow diagram; Database","routes":{"ca_aff":true,"ca_fund":true,"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.000351022,0.0001344084,0.0002062117,0.0002035427,0.0003612081,0.0000449044,0.003072261,0.00003312334,0.000005155786],"category_scores_gemma":[0.00003127019,0.000117039,0.00003622117,0.0008630421,0.0001659613,0.000229209,0.002659463,0.0004856856,3.142804e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007679807,"about_ca_system_score_gemma":0.00006565175,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001809948,"about_ca_topic_score_gemma":0.00001013296,"domain_scores_codex":[0.9988813,0.00006430654,0.0002908667,0.0003115208,0.0003134819,0.0001384835],"domain_scores_gemma":[0.9980851,0.0001134814,0.0003431031,0.001155464,0.0002647148,0.00003813795],"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.00003685383,0.0006257197,0.00500686,0.00005783773,0.00002035638,2.708106e-7,0.002512682,0.000145226,0.003966609,0.9687194,0.0001918553,0.01871632],"study_design_scores_gemma":[0.001899757,0.003574827,0.03041302,0.0005072257,0.00004197243,0.000120299,0.003123185,0.2572502,0.06681658,0.6228803,0.01220805,0.001164589],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4969399,0.0005251293,0.4578326,0.01937163,0.0002822333,0.005012793,0.0001233332,0.0008782389,0.01903406],"genre_scores_gemma":[0.9457465,0.00009178749,0.05367393,0.00009030533,0.000006587291,0.0003700955,0.000002988434,0.000007446339,0.00001035222],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4488066,"threshold_uncertainty_score":0.5709076,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.014237452070534,"score_gpt":0.2505326675623472,"score_spread":0.2362952154918132,"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."}}