{"id":"W4389208992","doi":"10.1145/3611643.3616330","title":"ViaLin: Path-Aware Dynamic Taint Analysis for Android","year":2023,"lang":"en","type":"article","venue":"","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Canada Research Chairs","keywords":"Taint checking; Computer science; Android (operating system); Software; Static analysis; Server; Software bug; Static program analysis; Dynamic program analysis; Data-flow analysis; Operating system; Computer security; Software development; Data flow diagram; Database; Programming language","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.000232104,0.000105602,0.0001727337,0.0004358281,0.0001157429,0.00007304376,0.0004786649,0.00005393165,0.00001986443],"category_scores_gemma":[0.00004890929,0.00009650961,0.0001751013,0.0022836,0.00001803358,0.0002655908,0.0001907772,0.00005668356,0.00004687355],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006177821,"about_ca_system_score_gemma":0.00002108256,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001562818,"about_ca_topic_score_gemma":0.00005984274,"domain_scores_codex":[0.9989881,0.00002017337,0.0001878007,0.0003958173,0.0001584101,0.0002497126],"domain_scores_gemma":[0.9991139,0.0001014378,0.00006147143,0.0005447202,0.0001177472,0.0000607754],"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.00006145028,0.0002067138,0.001604785,0.0001638584,0.001093348,0.000135627,0.001196824,0.02393994,0.01790634,0.1270463,0.01972593,0.8069189],"study_design_scores_gemma":[0.0001542398,0.0001195503,0.0009278575,0.000003568437,0.00003040923,0.00000356588,0.00004770593,0.9470863,0.01340942,0.03106302,0.006925802,0.0002285651],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001419299,0.000008265039,0.9944121,0.0006172089,0.0001352782,0.000242806,0.00001090489,0.002956899,0.0001972297],"genre_scores_gemma":[0.8040406,0.00002095261,0.1931454,0.0002638063,0.00002305448,0.0001910678,0.00002137331,0.00001254717,0.002281186],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9231464,"threshold_uncertainty_score":0.3935548,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01296076411484192,"score_gpt":0.2929579788340628,"score_spread":0.2799972147192208,"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."}}