{"id":"W4416962117","doi":"10.1109/pst65910.2025.11268827","title":"A Modeling and Static Analysis Approach for the Verification of Privacy and Safety Properties in Kotlin Android Apps","year":2025,"lang":"","type":"article","venue":"","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University; Queen's University","funders":"","keywords":"Static analysis; Android (operating system); Plug-in; Set (abstract data type); Security analysis; Mobile device; Mobile apps","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.003563515,0.001538113,0.0008516983,0.002542526,0.001227502,0.003081598,0.002602101,0.001366009,0.002949441],"category_scores_gemma":[0.01235125,0.001834423,0.003260614,0.0008272096,0.002340952,0.004466755,0.002999404,0.0025814,0.0006229536],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002161126,"about_ca_system_score_gemma":0.005317423,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01382902,"about_ca_topic_score_gemma":0.01811661,"domain_scores_codex":[0.9951598,0.001146767,0.0004785324,0.0009021412,0.001831747,0.0004808743],"domain_scores_gemma":[0.9895709,0.005153702,0.001248353,0.002377453,0.001488833,0.0001607973],"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.0006258481,0.0007458757,0.03222587,0.001297154,0.0004284115,0.002288035,0.004519465,0.511038,0.07044106,0.2258032,0.007253875,0.1433332],"study_design_scores_gemma":[0.00002918001,0.0001309391,0.001109158,0.0001286461,0.000143516,0.0002566481,0.0001692114,0.9509413,0.01659738,0.02238069,0.008052497,0.00006094468],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03415893,0.0001588095,0.9565294,0.0003916742,0.00004860476,0.0003832663,0.0003158009,0.005319426,0.002694108],"genre_scores_gemma":[0.3977624,0.0003151985,0.5947678,0.0003374357,0.00006315445,0.0006329579,0.0007336644,0.001210333,0.004177106],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01382902,"threshold_uncertainty_score":0.02749705,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02809951363479634,"score_gpt":0.2718387663309572,"score_spread":0.2437392526961609,"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."}}