{"id":"https://openalex.org/W3006845954","doi":"https://doi.org/10.3390/info11030130","title":"Smali+: An Operational Semantics for Low-Level Code Generated from Reverse Engineering Android Applications","display_name":"Smali+: An Operational Semantics for Low-Level Code Generated from Reverse Engineering Android Applications","publication_year":2020,"publication_date":"2020-02-27","ids":{"openalex":"https://openalex.org/W3006845954","doi":"https://doi.org/10.3390/info11030130","mag":"3006845954"},"language":"en","primary_location":{"id":"doi:10.3390/info11030130","is_oa":true,"landing_page_url":"https://doi.org/10.3390/info11030130","pdf_url":"https://www.mdpi.com/2078-2489/11/3/130/pdf?version=1584531470","source":{"id":"https://openalex.org/S4210219776","display_name":"Information","issn_l":"2078-2489","issn":["2078-2489"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2078-2489/11/3/130/pdf?version=1584531470","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084475640","display_name":"Marwa Ziadia","orcid":"https://orcid.org/0000-0002-8563-4736"},"institutions":[{"id":"https://openalex.org/I43406934","display_name":"Universit\u00e9 Laval","ror":"https://ror.org/04sjchr03","country_code":"CA","type":"education","lineage":["https://openalex.org/I43406934"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Marwa Ziadia","raw_affiliation_strings":["Department of Computer Science and Software Engineering, Laval University, Pavillon Adrien-Pouliot 1065, avenue de la M\u00e9decine, Quebec City, QC G1V 0A6, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Software Engineering, Laval University, Pavillon Adrien-Pouliot 1065, avenue de la M\u00e9decine, Quebec City, QC G1V 0A6, Canada","institution_ids":["https://openalex.org/I43406934"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037252341","display_name":"Jaouhar Fattahi","orcid":"https://orcid.org/0000-0002-3905-9099"},"institutions":[{"id":"https://openalex.org/I43406934","display_name":"Universit\u00e9 Laval","ror":"https://ror.org/04sjchr03","country_code":"CA","type":"education","lineage":["https://openalex.org/I43406934"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jaouhar Fattahi","raw_affiliation_strings":["Department of Computer Science and Software Engineering, Laval University, Pavillon Adrien-Pouliot 1065, avenue de la M\u00e9decine, Quebec City, QC G1V 0A6, Canada"],"raw_orcid":"https://orcid.org/0000-0002-3905-9099","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Software Engineering, Laval University, Pavillon Adrien-Pouliot 1065, avenue de la M\u00e9decine, Quebec City, QC G1V 0A6, Canada","institution_ids":["https://openalex.org/I43406934"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089512218","display_name":"Mohamed Mejri","orcid":"https://orcid.org/0000-0003-4820-3176"},"institutions":[{"id":"https://openalex.org/I43406934","display_name":"Universit\u00e9 Laval","ror":"https://ror.org/04sjchr03","country_code":"CA","type":"education","lineage":["https://openalex.org/I43406934"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mohamed Mejri","raw_affiliation_strings":["Department of Computer Science and Software Engineering, Laval University, Pavillon Adrien-Pouliot 1065, avenue de la M\u00e9decine, Quebec City, QC G1V 0A6, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Software Engineering, Laval University, Pavillon Adrien-Pouliot 1065, avenue de la M\u00e9decine, Quebec City, QC G1V 0A6, Canada","institution_ids":["https://openalex.org/I43406934"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076319414","display_name":"Emil Pricop","orcid":"https://orcid.org/0000-0002-4021-6549"},"institutions":[{"id":"https://openalex.org/I4210090220","display_name":"Petroleum & Gas University of Ploie\u015fti","ror":"https://ror.org/00abdnc40","country_code":"RO","type":"education","lineage":["https://openalex.org/I4210090220"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Emil Pricop","raw_affiliation_strings":["Automatic Control, Computers and Electronics Department. Petroleum-Gas University of Ploiesti, 100680 Ploiesti, Romania"],"raw_orcid":"https://orcid.org/0000-0002-4021-6549","affiliations":[{"raw_affiliation_string":"Automatic Control, Computers and Electronics Department. Petroleum-Gas University of Ploiesti, 100680 Ploiesti, Romania","institution_ids":["https://openalex.org/I4210090220"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5084475640"],"corresponding_institution_ids":["https://openalex.org/I43406934"],"apc_list":{"value":1400,"currency":"CHF","value_usd":1515},"apc_paid":{"value":1400,"currency":"CHF","value_usd":1515},"fwci":0.9117,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.7309953,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"11","issue":"3","first_page":"130","last_page":"130"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7976493239402771},{"id":"https://openalex.org/keywords/android","display_name":"Android (operating system)","score":0.7481244802474976},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6694241166114807},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5534915924072266},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.5017890930175781},{"id":"https://openalex.org/keywords/reverse-engineering","display_name":"Reverse engineering","score":0.5013492107391357},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.44446587562561035},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4327962398529053},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.4141598343849182},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4131413698196411},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.32311952114105225},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.26171624660491943},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.21697160601615906}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7976493239402771},{"id":"https://openalex.org/C557433098","wikidata":"https://www.wikidata.org/wiki/Q94","display_name":"Android (operating system)","level":2,"score":0.7481244802474976},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6694241166114807},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5534915924072266},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5017890930175781},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.5013492107391357},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.44446587562561035},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4327962398529053},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.4141598343849182},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4131413698196411},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32311952114105225},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.26171624660491943},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.21697160601615906}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3390/info11030130","is_oa":true,"landing_page_url":"https://doi.org/10.3390/info11030130","pdf_url":"https://www.mdpi.com/2078-2489/11/3/130/pdf?version=1584531470","source":{"id":"https://openalex.org/S4210219776","display_name":"Information","issn_l":"2078-2489","issn":["2078-2489"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:9b31fcdd7fc742d699d76f8616dd8e80","is_oa":true,"landing_page_url":"https://doaj.org/article/9b31fcdd7fc742d699d76f8616dd8e80","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Information, Vol 11, Iss 3, p 130 (2020)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/2078-2489/11/3/130/","is_oa":true,"landing_page_url":"http://dx.doi.org/10.3390/info11030130","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Information","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/info11030130","is_oa":true,"landing_page_url":"https://doi.org/10.3390/info11030130","pdf_url":"https://www.mdpi.com/2078-2489/11/3/130/pdf?version=1584531470","source":{"id":"https://openalex.org/S4210219776","display_name":"Information","issn_l":"2078-2489","issn":["2078-2489"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5099999904632568,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3006845954.pdf","grobid_xml":"https://content.openalex.org/works/W3006845954.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W179639259","https://openalex.org/W1522939654","https://openalex.org/W1994588724","https://openalex.org/W2043100293","https://openalex.org/W2076840859","https://openalex.org/W2083636040","https://openalex.org/W2088472812","https://openalex.org/W2094835181","https://openalex.org/W2114275288","https://openalex.org/W2125011234","https://openalex.org/W2134879104","https://openalex.org/W2148560634","https://openalex.org/W2153497135","https://openalex.org/W2161963160","https://openalex.org/W2248189341","https://openalex.org/W2385667943","https://openalex.org/W2494961661","https://openalex.org/W2515729214","https://openalex.org/W2593224419","https://openalex.org/W2596184660","https://openalex.org/W2619074446","https://openalex.org/W2774167970","https://openalex.org/W2790471693","https://openalex.org/W2884306094","https://openalex.org/W2912477246","https://openalex.org/W2918703006","https://openalex.org/W2972768545","https://openalex.org/W2983131052","https://openalex.org/W2990193873","https://openalex.org/W4244726870","https://openalex.org/W4300939985","https://openalex.org/W6676999791","https://openalex.org/W6682684344","https://openalex.org/W6734340837"],"related_works":["https://openalex.org/W2867457158","https://openalex.org/W4297908618","https://openalex.org/W2765641823","https://openalex.org/W3111646971","https://openalex.org/W2895825088","https://openalex.org/W3186878187","https://openalex.org/W2985048382","https://openalex.org/W4387793661","https://openalex.org/W1843794072","https://openalex.org/W4376606823"],"abstract_inverted_index":{"Today,":[0],"Android":[1,17,81,137,185],"accounts":[2],"for":[3,175,184],"more":[4],"than":[5],"80%":[6],"of":[7,59,78,102,116,127],"the":[8,38,57,75,92,125],"global":[9],"market":[10],"share.":[11],"Such":[12],"a":[13,60,69,79,109,114,128,172],"high":[14],"rate":[15],"makes":[16],"applications":[18],"an":[19,133],"important":[20,134],"topic":[21],"that":[22,138],"raises":[23],"serious":[24],"questions":[25],"about":[26],"its":[27,85],"security,":[28],"privacy,":[29],"misbehavior":[30],"and":[31,41,154,180],"correctness.":[32],"Application":[33],"code":[34],"analysis":[35,50,179],"is":[36,119,132],"obviously":[37],"most":[39],"appropriate":[40],"natural":[42],"means":[43],"to":[44,73,170],"address":[45],"these":[46,159],"issues.":[47],"However,":[48],"no":[49],"could":[51],"be":[52],"led":[53],"with":[54],"confidence":[55],"in":[56,112,136,143,158],"absence":[58],"solid":[61],"formal":[62,71,94,173],"foundation.":[63],"In":[64],"this":[65],"paper,":[66],"we":[67],"propose":[68],"full-fledged":[70],"approach":[72],"build":[74],"operational":[76],"semantics":[77,100,126],"given":[80],"application":[82],"by":[83],"reverse-engineering":[84],"assembler-type":[86],"code,":[87],"called":[88],"Smali.":[89],"We":[90],"call":[91],"new":[93],"language":[95],"Smali":[96,165],"+":[97,166],".":[98],"Its":[99],"consist":[101],"two":[103],"parts.":[104],"The":[105,121,161],"first":[106],"one":[107,123],"models":[108],"single-threaded":[110],"program,":[111],"which":[113,131],"set":[115],"main":[117],"instructions":[118],"presented.":[120],"second":[122],"presents":[124],"multi-threaded":[129],"program":[130],"feature":[135],"has":[139],"been":[140],"glossed":[141],"over":[142],"the-state-of-the-art":[144],"works.":[145],"All":[146],"multi-threading":[147],"essentials":[148],"such":[149],"as":[150],"scheduling,":[151],"threads":[152],"communication":[153],"synchronization":[155],"are":[156,168],"considered":[157],"semantics.":[160],"resulting":[162],"semantics,":[163],"forming":[164],",":[167],"intended":[169],"provide":[171],"basis":[174],"developing":[176],"security":[177],"enforcement,":[178],"misbehaving":[181],"detection":[182],"techniques":[183],"applications.":[186]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2020,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}