{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:09:52Z","timestamp":1763467792795},"publisher-location":"Boston, MA","reference-count":15,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387327204"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-44599-1_2","type":"book-chapter","created":{"date-parts":[[2007,3,4]],"date-time":"2007-03-04T15:35:08Z","timestamp":1173022508000},"page":"19-41","source":"Crossref","is-referenced-by-count":7,"title":["Static Disassembly and Code Analysis"],"prefix":"10.1007","author":[{"given":"Giovanni","family":"Vigna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"R. Bagnara, E. Ricci, E. Zaffanella, and P. M. Hill. Possibly not closed convex polyhedra and the Parma Polyhedra Library. In 9th International Symposium on Static Analysis, 2002.","DOI":"10.1007\/3-540-45789-5_17"},{"key":"2_CR2","unstructured":"M. Christodorescu and S. Jha. Static Analysis of Executables to Detect Malicious Patterns. In Proceedings of the 12th USENIXSecurity Symposium, 2003."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"C. Cifuentes and M. V. Emmerik. UQBT Adaptable binary translation at low cost. IEEE Computer, 40(2-3), 2000.","DOI":"10.1109\/2.825697"},{"issue":"7","key":"2_CR4","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1002\/spe.4380250706","volume":"25","author":"C. Cifuentes","year":"1995","unstructured":"C. Cifuentes and K. Gough. Decompilation of Binary Programs. Software Practice & Experience, 25(7):811\u2013829, July 1995.","journal-title":"Software Practice & Experience"},{"key":"2_CR5","unstructured":"F. B. Cohen. Operating System Protection through Program Evolution. http:\/\/all.net\/books\/IP\/evolve.html."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In 4th ACM Symposium on Principles of Programming Languages (POPL), 1977.","DOI":"10.1145\/512950.512973"},{"key":"2_CR7","unstructured":"Data Rescure. IDA Pro: Disassembler and Debugger. http:\/\/www.datarescue.com\/idabase\/, 2004."},{"key":"2_CR8","unstructured":"Free Software Foundation. GNU Binary Utilities, Mar 2002. http:\/\/www.gnu.org\/software\/binutils\/manual\/."},{"key":"2_CR9","unstructured":"J. Giffin, S. Jha, and B. Miller. Detecting manipulated remote call streams. In In Proceedings of 11th USENIX Security Symposium, 2002."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"J. King. Symbolic Execution and Program Testing. Communications of the ACM, 19(7), 1976.","DOI":"10.1145\/360248.360252"},{"key":"2_CR11","unstructured":"C. Kruegel, F. Valeur, W. Robertson, and G. Vigna. Static Analysis of Obfuscated Binaries. In Usenix Security Symposium, 2004."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"T. Lengauer and R. Tarjan. A Fast Algorithm for Finding Dominators in a Flowgraph. ACM Transactions on Programming Languages and Systems, 1(1), 1979.","DOI":"10.1145\/357062.357071"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"C. Linn and S. Debray. Obfuscation of executable code to improve resistance to static disassembly. In Proceedings of the 10th ACM Conference on Computer and Communications Security (CCS), pages 290\u2013299, Washington, DC, October 2003.","DOI":"10.1145\/948109.948149"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"F. Nielson, H. Nielson, and C. Hankin. Principles of Program Analysis. Springer Verlag, 1999.","DOI":"10.1007\/978-3-662-03811-6"},{"key":"2_CR15","unstructured":"R. Sites, A. Chernoff, M. Kirk, M. Marks, and S. Robinson. Binary Translation. Digital Technical Journal, 4(4), 1992."}],"container-title":["Advances in Information Security","Malware Detection"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-44599-1_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T02:00:34Z","timestamp":1619575234000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-44599-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387327204"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-44599-1_2","relation":{},"subject":[]}}