{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T14:05:13Z","timestamp":1768053913009,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642231407","type":"print"},{"value":"9783642231414","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23141-4_8","type":"book-chapter","created":{"date-parts":[[2011,8,17]],"date-time":"2011-08-17T12:36:48Z","timestamp":1313584608000},"page":"72-86","source":"Crossref","is-referenced-by-count":9,"title":["Design of a\u00a0Retargetable Decompiler for a\u00a0Static Platform-Independent Malware Analysis"],"prefix":"10.1007","author":[{"given":"Luk\u00e1\u0161","family":"\u010eurfina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jakub","family":"K\u0159oustek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"Zemek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Du\u0161an","family":"Kol\u00e1\u0159","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Hru\u0161ka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karel","family":"Masa\u0159\u00edk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Meduna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Xu, J., Sung, A.H., Chavez, P., Mukkamala, S.: Polymorphic malicious executable scanner by API sequence analysis. In: Fourth International Conference on Hybrid Intelligent Systems, pp. 378\u2013383 (2004)","DOI":"10.1109\/ICHIS.2004.75"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s11416-007-0074-9","volume":"4","author":"G. Wagener","year":"2008","unstructured":"Wagener, G., State, R., Dulaunoy, A.: Malware behaviour analysis. Journal in Computer Virology\u00a04, 279\u2013287 (2008)","journal-title":"Journal in Computer Virology"},{"issue":"2","key":"8_CR3","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/MSP.2007.45","volume":"5","author":"C. Willems","year":"2007","unstructured":"Willems, C., Holz, T., Freiling, F.: Toward automated dynamic malware analysis using CWSandbox. IEEE Security and Privacy\u00a05(2), 32\u201339 (2007)","journal-title":"IEEE Security and Privacy"},{"key":"8_CR4","unstructured":"IDA Pro Disassembler, http:\/\/www.hex-rays.com\/idapro\/"},{"key":"8_CR5","unstructured":"Hex-Rays Decompiler, http:\/\/www.hex-rays.com\/decompiler.shtml"},{"key":"8_CR6","volume-title":"The Art of Computer Virus Research and Defense","author":"P. Szor","year":"2005","unstructured":"Szor, P.: The Art of Computer Virus Research and Defense. Addison-Wesley, Upper Saddle River (2005)"},{"key":"8_CR7","unstructured":"Szor, P., Ferrie, P.: Hunting for metamorphic. In: Virus Bulletin Conference, pp. 123\u2013144 (2001)"},{"key":"8_CR8","unstructured":"Intel Corporation: Intel 64 and ia-32 architectures software developer\u2019s manual. Basic architecture, vol.\u00a01 (2011)"},{"key":"8_CR9","volume-title":"Malware Forensics Investigating and Analyzing Malicious Code","author":"J. Aquilina","year":"2008","unstructured":"Aquilina, J.: Malware Forensics Investigating and Analyzing Malicious Code. Syngress Publishing, Burlington (2008)"},{"key":"8_CR10","unstructured":"International Data Corporation (IDC): Worldwide quarterly mobile phone tracker (2011)"},{"key":"8_CR11","first-page":"156","volume-title":"System for Hardware-Software Co-Design","author":"K. Masa\u0159\u00edk","year":"2008","unstructured":"Masa\u0159\u00edk, K.: System for Hardware-Software Co-Design, 1st edn., p. 156. Faculty of Information Technology BUT, Brno (2008)","edition":"1"},{"key":"8_CR12","unstructured":"The LLVM Compiler System, http:\/\/llvm.org\/"},{"key":"8_CR13","first-page":"143","volume-title":"Machine-Independent Computer Programming","author":"M.H. Halstead","year":"1962","unstructured":"Halstead, M.H.: Machine-Independent Computer Programming, pp. 143\u2013150. Spartan Books, Washington (1962)"},{"key":"8_CR14","unstructured":"Barbe, P.: The PILER system of computer program translation. Technical report, Probe Consultants Inc. (1974)"},{"key":"8_CR15","unstructured":"Cifuentes, C.: Reverse Compilation Techniques. PhD thesis, School of Computing Science, Queensland University of Technology, Brisbane, AU-QLD (1994)"},{"key":"8_CR16","unstructured":"Boomerang, http:\/\/boomerang.sourceforge.net\/"},{"key":"8_CR17","unstructured":"Reverse Engineering Compiler, http:\/\/www.backerstreet.com\/rec\/rec.htm"},{"key":"8_CR18","unstructured":"Fast Library Identification and Recognition Technology, http:\/\/www.hex-rays.com\/idapro\/flirt.htm"},{"key":"8_CR19","unstructured":"emscripten, http:\/\/code.google.com\/p\/emscripten\/"},{"key":"8_CR20","unstructured":"llvm-js-backend, http:\/\/github.com\/dmlap\/llvm-js-backend"},{"key":"8_CR21","unstructured":"Lissom Project, http:\/\/www.fit.vutbr.cz\/research\/groups\/lissom\/"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Adve, V., Lattner, C., Brukman, M., Shukla, A., Gaeke, B.: LLVA: A low-level virtual instruction set architecture. In: Proceedings of the 36th Annual ACM\/IEEE International Symposium on Microarchitecture, San Diego, US-CA (2003)","DOI":"10.1109\/MICRO.2003.1253196"},{"key":"8_CR23","unstructured":"Clang, http:\/\/clang.llvm.org\/"},{"key":"8_CR24","unstructured":"LDC: LLVM D Compiler, http:\/\/www.dsource.org\/projects\/ldc"},{"key":"8_CR25","unstructured":"Trident Compiler, http:\/\/trident.sourceforge.net\/"},{"issue":"3","key":"8_CR26","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MC.2007.107","volume":"40","author":"J.L. Tripp","year":"2007","unstructured":"Tripp, J.L., Gokhale, M.B., Peterson, K.D.: Trident: From high-level language to hardware circuitry. Computer\u00a040(3), 28\u201337 (2007)","journal-title":"Computer"},{"key":"8_CR27","unstructured":"Just-In-Time Adaptive Decoder Engine (Jade), http:\/\/sourceforge.net\/apps\/trac\/orcc\/"},{"key":"8_CR28","unstructured":"Faust: Signal Processing Language, http:\/\/sourceforge.net\/projects\/faudiostream\/"},{"key":"8_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/978-3-540-73368-3_41","volume-title":"Computer Aided Verification","author":"D. Babi\u0107","year":"2007","unstructured":"Babi\u0107, D., Hu, A.J.: Structural abstraction of software verification conditions. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 366\u2013378. Springer, Heidelberg (2007)"},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Babi\u0107, D., Hu, A.J.: Calysto: Scalable and precise extended static checking. In: ICSE 2008: Proceedings of the 30th International Conference on Software Engineering, Leipzig, DE, pp. 211\u2013220 (2008)","DOI":"10.1145\/1368088.1368118"},{"key":"8_CR31","unstructured":"Calysto Extended Static Checker, http:\/\/www.domagoj-babic.com\/index.php\/ResearchProjects\/Calysto"},{"key":"8_CR32","unstructured":"Lewycky, N.: Checker: A static program checker. Master\u2019s thesis, Computer Science Department, Ryerson University, Toronto, CA-ON (2006)"},{"key":"8_CR33","unstructured":"unladen-swallow: A Faster Implementation of Python, http:\/\/code.google.com\/p\/unladen-swallow\/"},{"key":"8_CR34","unstructured":"Rubinius, http:\/\/rubini.us\/"},{"key":"8_CR35","unstructured":"The Pure Programming Language, http:\/\/code.google.com\/p\/pure-lang\/"},{"key":"8_CR36","doi-asserted-by":"crossref","unstructured":"Adve, V., Lattner, C.: LLVM: A compilation framework for lifelong program analysis & transformation. In: Proceedings of the International Symposium on Code Generation and Optimization, Palo Alto, US-CA, pp. 75\u201386 (2004)","DOI":"10.1109\/CGO.2004.1281665"},{"issue":"4","key":"8_CR37","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems\u00a013(4), 451\u2013490 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR38","doi-asserted-by":"crossref","unstructured":"Coogan, K., Debray, S.K., Kaochar, T., Townsend, G.M.: Automatic static unpacking of malware binaries. In: Working Conference on Reverse Engineering, Lille, FR, pp. 167\u2013176 (2009)","DOI":"10.1109\/WCRE.2009.24"},{"issue":"5","key":"8_CR39","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1109\/MSP.2008.126","volume":"6","author":"W. Yan","year":"2008","unstructured":"Yan, W., Zhang, Z., Ansari, N.: Revealing packed malware. IEEE Security and Privacy\u00a06(5), 65\u201369 (2008)","journal-title":"IEEE Security and Privacy"},{"key":"8_CR40","first-page":"84","volume-title":"6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science","author":"A. Hus\u00e1r","year":"2010","unstructured":"Hus\u00e1r, A., Trma\u010d, M., Hran\u00e1\u010d, J., Hru\u0161ka, T., Masa\u0159\u00edk, K., Kol\u00e1\u0159, D., P\u0159ikryl, Z.: Automatic C compiler generation from architecture description language ISAC. In: 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, pp. 84\u201391. Masaryk University, Brno (2010)"},{"key":"8_CR41","unstructured":"Hru\u0161ka, T., Kol\u00e1\u0159, D., Luk\u00e1\u0161, R., Z\u00e1me\u010dn\u00edkov\u00e1, E.: Two-way coupled finite automaton and its usage in translators. In: New Aspects of Circuits, Heraklion, GR, vol.\u00a02008, pp. 445\u2013449 (2008)"},{"key":"8_CR42","unstructured":"Python Programming Language, http:\/\/www.python.org\/"}],"container-title":["Communications in Computer and Information Science","Information Security and Assurance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23141-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,8]],"date-time":"2025-03-08T21:27:09Z","timestamp":1741469229000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23141-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642231407","9783642231414"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23141-4_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}