{"id":"W4285198837","doi":"10.1007/978-3-031-08147-7_22","title":"$$\\mathbb {K}$$-Smali: An Executable Semantics for Program Verification of Reversed Android Applications","year":2022,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Executable; Computer science; Programming language; Android (operating system); Semantics (computer science); Android application; Operating system; Software engineering","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.0009937794,0.00158181,0.0006970147,0.001343669,0.0008818493,0.002906489,0.002077944,0.00119989,0.01569765],"category_scores_gemma":[0.002783195,0.0009525316,0.001577846,0.0006322833,0.002310979,0.00515208,0.002760137,0.002710457,0.008954235],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001025477,"about_ca_system_score_gemma":0.001346184,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001955754,"about_ca_topic_score_gemma":0.002915385,"domain_scores_codex":[0.9988012,0.0002241036,0.0001183906,0.0002668666,0.000420525,0.000168896],"domain_scores_gemma":[0.9988837,0.0004554391,0.0000730605,0.0002861272,0.0002631251,0.00003849945],"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.0003543738,0.0001376838,0.0007423102,0.0008223955,0.00005592566,0.0003310005,0.0008176825,0.008921257,0.02719728,0.7172313,0.03148799,0.2119008],"study_design_scores_gemma":[0.00008509804,0.0001677254,0.0005729352,0.0003708089,0.000135848,0.0006493918,0.0002131923,0.1348604,0.0887977,0.5976614,0.1763384,0.0001470808],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004780095,0.0001945906,0.9609555,0.0003001152,0.0001593222,0.0000860769,0.0005342374,0.02012335,0.0128666],"genre_scores_gemma":[0.3488455,0.0006842093,0.5911826,0.0008365462,0.000246528,0.0003793256,0.002685777,0.0170075,0.03813201],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01569765,"threshold_uncertainty_score":0.0525139,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02007427276300648,"score_gpt":0.2877979982755003,"score_spread":0.2677237255124938,"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."}}