{"id":"https://openalex.org/W73325334","doi":"https://doi.org/10.14264/158682","title":"Static Single Assignment for Decompilation","display_name":"Static Single Assignment for Decompilation","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W73325334","doi":"https://doi.org/10.14264/158682","mag":"73325334"},"language":"en","primary_location":{"id":"doi:10.14264/158682","doi":"https://doi.org/10.14264/158682","is_oa":false,"landing_page_url":"https://doi.org/10.14264/158682","pdf_url":null,"source":{"id":"https://openalex.org/S7407053192","display_name":"The University of Queensland","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I165143802","host_organization_name":"The University of Queensland","host_organization_lineage":["https://openalex.org/I165143802"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The University of Queensland","raw_type":"dissertation"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108531681","display_name":"M. Van Emmerik","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Michael Van Emmerik","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5108531681"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":64,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.5659000277519226,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.5659000277519226,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.2815000116825104,"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.10570000112056732,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/static-single-assignment-form","display_name":"static single assignment","score":0.8410000205039978},{"id":"https://openalex.org/keywords/type-analysis","display_name":"type analysis","score":0.9599999785423279},{"id":"https://openalex.org/keywords/collectors","display_name":"collectors","score":0.7120000123977661},{"id":"https://openalex.org/keywords/function-pointers","display_name":"function pointers","score":0.5410000085830688},{"id":"https://openalex.org/keywords/switch-statements","display_name":"switch statements","score":0.4779999852180481},{"id":"https://openalex.org/keywords/goto-statements","display_name":"goto statements","score":0.44600000977516174},{"id":"https://openalex.org/keywords/control-flow-graph","display_name":"control flow graph","score":0.3569999933242798}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7311074733734131},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6327381134033203},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.6304740905761719},{"id":"https://openalex.org/C2779395397","wikidata":"https://www.wikidata.org/wiki/Q15731404","display_name":"Malware analysis","level":3,"score":0.6195203065872192},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6019386649131775},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.5987489819526672},{"id":"https://openalex.org/C541664917","wikidata":"https://www.wikidata.org/wiki/Q14001","display_name":"Malware","level":2,"score":0.49504557251930237},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.43363291025161743},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3729817271232605},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3472833037376404},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.34437865018844604},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2869122624397278},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.1703169345855713}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.14264/158682","doi":"https://doi.org/10.14264/158682","is_oa":false,"landing_page_url":"https://doi.org/10.14264/158682","pdf_url":null,"source":{"id":"https://openalex.org/S7407053192","display_name":"The University of Queensland","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I165143802","host_organization_name":"The University of Queensland","host_organization_lineage":["https://openalex.org/I165143802"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The University of Queensland","raw_type":"dissertation"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":76,"referenced_works":["https://openalex.org/W40753860","https://openalex.org/W60370665","https://openalex.org/W76990466","https://openalex.org/W86082734","https://openalex.org/W107748845","https://openalex.org/W1227352821","https://openalex.org/W1489332957","https://openalex.org/W1491178396","https://openalex.org/W1517583815","https://openalex.org/W1521580745","https://openalex.org/W1524758670","https://openalex.org/W1527047961","https://openalex.org/W1544837488","https://openalex.org/W1551330847","https://openalex.org/W1557487237","https://openalex.org/W1558427762","https://openalex.org/W1567046609","https://openalex.org/W1577379309","https://openalex.org/W1582456956","https://openalex.org/W1586926914","https://openalex.org/W1587655883","https://openalex.org/W1604666619","https://openalex.org/W1727650458","https://openalex.org/W1820253543","https://openalex.org/W1964962870","https://openalex.org/W1973829697","https://openalex.org/W1988095917","https://openalex.org/W1988949749","https://openalex.org/W1988985613","https://openalex.org/W1990717911","https://openalex.org/W1998988707","https://openalex.org/W1999346024","https://openalex.org/W2000722076","https://openalex.org/W2006267758","https://openalex.org/W2008015263","https://openalex.org/W2010204191","https://openalex.org/W2021085621","https://openalex.org/W2047764386","https://openalex.org/W2064820590","https://openalex.org/W2065826255","https://openalex.org/W2067872353","https://openalex.org/W2068094728","https://openalex.org/W2073882597","https://openalex.org/W2084338221","https://openalex.org/W2086148325","https://openalex.org/W2089045626","https://openalex.org/W2089294198","https://openalex.org/W2093397547","https://openalex.org/W2097166325","https://openalex.org/W2102890180","https://openalex.org/W2105341394","https://openalex.org/W2111049501","https://openalex.org/W2112482891","https://openalex.org/W2114754412","https://openalex.org/W2115516441","https://openalex.org/W2115912902","https://openalex.org/W2122684504","https://openalex.org/W2128223360","https://openalex.org/W2128832779","https://openalex.org/W2130975451","https://openalex.org/W2134312016","https://openalex.org/W2136538087","https://openalex.org/W2141097255","https://openalex.org/W2147692697","https://openalex.org/W2149216329","https://openalex.org/W2153179875","https://openalex.org/W2153185479","https://openalex.org/W2153297607","https://openalex.org/W2157550427","https://openalex.org/W2160255280","https://openalex.org/W2160848149","https://openalex.org/W2162270818","https://openalex.org/W2163935347","https://openalex.org/W2650054517","https://openalex.org/W3148529197","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W7097432456","https://openalex.org/W2469514515","https://openalex.org/W7096411178","https://openalex.org/W2264765141","https://openalex.org/W6987122944","https://openalex.org/W7096178222","https://openalex.org/W2191479898","https://openalex.org/W2129897994","https://openalex.org/W2404725353","https://openalex.org/W7100106841"],"abstract_inverted_index":{"Static":[0,140],"Single":[1,141],"Assignment":[2,142],"enables":[3,146,155,322],"the":[4,20,54,61,82,139,167,209,270,274,323,353,376,403,443,457,469,482,522,549,590,594,604,614,623,626],"efficient":[5],"implementation":[6],"of":[7,22,33,57,63,84,116,122,138,148,169,211,222,230,249,297,305,325,346,385,405,409,445,507,551,585,596,603,621,625,628,637],"many":[8,67,147],"important":[9,266,311,326],"decompiler":[10],"components,":[11],"including":[12,73],"expression":[13,164,535],"propagation,":[14],"preservation":[15,178],"analysis,":[16,18,162,199,547],"type":[17,131,198,279,438],"and":[19,25,78,81,106,118,125,127,171,194,207,214,245,269,308,321,340,366,387,412,493,502,504,557,659],"analysis":[21,179,210,280,304,384,439,520,584,658],"indirect":[23,123,212,306,586],"jumps":[24,124,213,307],"calls.":[26,215,302,601],"Source":[27],"code":[28,93,97,260,287,315,319,350,359,630],"is":[29,38,44,134,183,189,218,265,281,290,310,379,389,440,466,524,562],"an":[30,85],"essential":[31],"part":[32],"all":[34,91,314,432],"software":[35],"development.":[36],"It":[37,133,561],"so":[39],"valuable":[40],"that":[41,87,136,253,421,485,564],"when":[42],"it":[43,47,52,226],"not":[45,255,428,576],"available,":[46],"can":[48,427,575],"be":[49,152,235,417,429,538,577],"worthwhile":[50],"deriving":[51],"from":[53,284,299,452,487],"executable":[55],"form":[56,143,528],"computer":[58],"programs":[59],"through":[60,342],"process":[62],"decompilation.":[64],"There":[65,635],"are":[66,247,352,361,371,414,435,512,636],"applications":[68],"for":[69,75,104,191,267,312,422,592,643,650],"decompiled":[70],"source":[71,92,617],"code,":[72],"inspections":[74],"malware,":[76],"bugs,":[77],"vulnerabilities;":[79],"interoperability;":[80],"maintenance":[83],"application":[86],"has":[88,589,632],"some":[89,555,559,640],"or":[90,156,289,375],"missing.":[94],"Existing":[95,357],"machine":[96,259,286,318,349,358,629],"decompilers,":[98,288],"in":[99,258,316,373,402,526,542,607],"contrast":[100],"to":[101,129,151,234,272,292,416,456,480,537,553,569],"existing":[102,285],"decompilers":[103,351,360],"Java":[105],"similar":[107],"platforms,":[108],"have":[109,610,653],"significant":[110],"deficiencies.":[111],"These":[112,397],"include":[113],"poor":[114,120,128],"recovery":[115,264,595],"parameters":[117,170,193,365,370,386,411],"returns,":[119,172,244,367],"handling":[121,570],"calls,":[126,339,454],"nonexistent":[130],"analysis.":[132,661],"shown":[135,415,563],"use":[137],"(SSA":[144],"form)":[145],"these":[149,347],"deficiencies":[150],"overcome.":[153],"SSA":[154,527],"assists":[157],"with:":[158],"\u2022":[159,166,177,197,208],"data":[160,204,462],"How":[161,463],"particularly":[163,368],"propagation;":[165],"identification":[168],"without":[173],"assuming":[174],"ABI":[175],"compliance;":[176],"(whether":[180],"a":[181,186,202,219,223,293,317,423,543],"location":[182],"preserved":[184],"across":[185],"call),":[187],"which":[188,574],"needed":[190],"analysing":[192],"return":[195],"locations;":[196],"implemented":[200],"as":[201,332,395,448,450,491,534,656],"sparse":[203],"flow":[205],"problem;":[206],"Expression":[216],"propagation":[217,296,536],"key":[220],"element":[221],"decompiler,":[224,425],"since":[225],"allows":[227,529],"long":[228],"sequences":[229],"individual":[231,446],"instruction":[232,516],"semantics":[233,444],"combined":[236],"into":[237],"more":[238,400,470,530,545],"complex,":[239],"high":[240,250,327],"level":[241,251,328],"statements.":[242],"Parameters,":[243],"types":[246,298,500],"features":[248],"languages":[252],"do":[254],"appear":[256],"explicitly":[257],"programs,":[261],"hence":[262],"their":[263],"readability":[268],"ability":[271],"recompile":[273],"generated":[275],"code.":[276],"In":[277],"addition,":[278],"either":[282],"absent":[283],"limited":[291],"relatively":[294],"simple":[295],"library":[300,453],"function":[301,338,343,600],"The":[303,407,475,583,619,646],"calls":[309,341],"finding":[313],"program,":[320],"translation":[324],"program":[329,523],"elements":[330],"such":[331,394,490,533],"switch":[333],"statements,":[334],"assigned":[335,572],"gotos,":[336,573],"virtual":[337,599],"pointers.":[344],"Because":[345],"challenges,":[348],"most":[354,647],"interesting":[355],"case.":[356],"weak":[362],"at":[363,515,548,580],"identifying":[364],"where":[369,442],"passed":[372],"registers,":[374],"calling":[377],"convention":[378],"non":[380],"standard.":[381],"A":[382,459],"general":[383,424,546],"returns":[388,413],"demonstrated,":[390],"using":[391],"new":[392],"devices":[393],"Collectors.":[396],"analyses":[398],"become":[399],"complex":[401],"presence":[404],"recursion.":[406],"elimination":[408],"redundant":[410],"global":[418],"analyses,":[419],"implying":[420],"procedures":[426,434],"finalised":[430],"until":[431,521],"other":[433],"analysed.":[436],"Full":[437],"discussed,":[441],"instructions,":[447],"well":[449],"information":[451],"contribute":[455],"solution.":[458],"sparse,":[460],"iterative,":[461],"based":[464,473],"approach":[465],"compared":[467],"with":[468,498,613],"common":[471],"constraint":[472],"approach.":[474],"former":[476],"requires":[477],"special":[478],"functions":[479],"handle":[481],"multiple":[483],"constraints":[484],"result":[486],"overloaded":[488],"operators":[489],"addition":[492],"subtraction.":[494],"Special":[495],"problems":[496],"arise":[497],"aggregate":[499],"(arrays":[501],"structures),":[503],"address":[505],"taking":[506],"variables.":[508],"Indirect":[509],"branch":[510],"instructions":[511,588],"often":[513],"handled":[514],"decode":[517,581],"time.":[518,582],"Delaying":[519],"represented":[525],"powerful":[531],"techniques":[532,605],"used.":[539],"This":[540],"results":[541,556],"simpler,":[544],"cost":[550],"having":[552],"throwaway":[554],"restart":[558],"analyses.":[560],"this":[565,608],"technique":[566],"easily":[567],"extends":[568],"Fortran":[571],"effectively":[578],"analysed":[579],"call":[587],"potential":[591],"enabling":[593],"object":[597],"oriented":[598],"Many":[602],"presented":[606],"thesis":[609],"been":[611,633,654],"verified":[612],"Boomerang":[615],"open":[616],"decompiler.":[618],"goal":[620],"extending":[622],"state":[624],"art":[627],"decompilation":[631],"achieved.":[634],"course":[638],"still":[639],"areas":[641,649],"left":[642],"future":[644,651],"work.":[645],"promising":[648],"research":[652],"identified":[655],"range":[657],"alias":[660]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":8},{"year":2012,"cited_by_count":8}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2016-06-24T00:00:00"}