{"id":"W3006845954","doi":"10.3390/info11030130","title":"Smali+: An Operational Semantics for Low-Level Code Generated from Reverse Engineering Android Applications","year":2020,"lang":"en","type":"article","venue":"Information","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Android (operating system); Correctness; Programming language; Operational semantics; Reverse engineering; Formal methods; Program analysis; Programmer; Static analysis; Software engineering; Semantics (computer science); Operating system","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002818218,0.001256993,0.0005355643,0.001575467,0.0008798179,0.002833789,0.001913541,0.001674848,0.002897723],"category_scores_gemma":[0.006822804,0.0008949485,0.00189547,0.0006287633,0.004853575,0.004193762,0.002253029,0.003119108,0.001275851],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001252621,"about_ca_system_score_gemma":0.002015973,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002293133,"about_ca_topic_score_gemma":0.002128184,"domain_scores_codex":[0.9966463,0.0008390782,0.0004735663,0.0005266287,0.001197329,0.0003169622],"domain_scores_gemma":[0.9958428,0.00206666,0.0005187585,0.0007632278,0.0007025067,0.0001059774],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000181489,0.0001033695,0.001443035,0.0008416089,0.00005592229,0.000789609,0.00244859,0.03116803,0.0209293,0.8730189,0.005797619,0.06322256],"study_design_scores_gemma":[0.00009605146,0.000283544,0.0007331966,0.0004590761,0.0001229213,0.001436546,0.0004497904,0.209488,0.05902966,0.5605455,0.1671592,0.0001965416],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005209422,0.0001617685,0.9887911,0.0002751087,0.00007474556,0.0001384609,0.0002796642,0.00306595,0.002003718],"genre_scores_gemma":[0.182975,0.0006413253,0.805936,0.0006845745,0.0001907922,0.0009179532,0.001454111,0.002403892,0.004796285],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002897723,"threshold_uncertainty_score":0.01490432,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02895739942362011,"score_gpt":0.2455302579281191,"score_spread":0.216572858504499,"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."}}