Context-sensitive analysis of x86 obfuscated executables
DOI:
关键词: Computer science 、 Executable 、 Computer security 、 Programming language 、 Context (language use) 、 x86 、 Sensitive analysis
摘要: Tese de Doutorado apresentada ao Programa Pos-Graduacao em Engenharia Eletrica, da Universidade Estadual Paulista Julio Mesquita Filho, como parte dos requisitos para obtencao do titulo Doutor Eletrica.
bom.org.br参考文章(57)
Thomas Reps, Gogul Balakrishnan, Improved memory-access analysis for x86 executables compiler construction. pp. 16- 35 ,(2008) , 10.1007/978-3-540-78791-4_2
Radhia Cousot, Patrick Cousot, Static determination of dynamic properties of programs Dunod. pp. 106- 130 ,(1976)
Saumya Debray, Gregory Andrews, Matthew Legendre, Benjamin Schwarz, PLTO: A Link-Time Optimizer for the Intel IA-32 Architecture ,(2007)
N. Tawbi, M. Debbabi, J. Desharnais, Y. Lavoie, J. Bergeron, M. M. Erhioui, Static Detection of Malicious Code in Executable Programs ,(2000)
Prabhat K. Singh, Arun Lakhotia, CHALLENGES IN GETTING ‘FORMAL’ WITH VIRUSES ,(2003)
Ravi Sethi, Jeffrey D. Ullman, Alfred V. Aho, Compilers: Principles, Techniques, and Tools ,(1986)
Patrick Cousot, Radhia Cousot, Modular Static Program Analysis compiler construction. pp. 159- 178 ,(2002) , 10.1007/3-540-45937-5_13
George A. Gratzer, General Lattice Theory ,(1978)
C. Cifuentes, A. Fraboulet, Intraprocedural static slicing of binary executables international conference on software maintenance. pp. 188- 195 ,(1997) , 10.1109/ICSM.1997.624245
David W. Wall, Amitabh Srivastava, A Practical System for Intermodule Code Optimization at Link-Time ,(1999)