TIE: Principled Reverse Engineering of Types in Binary Programs
暂无分享,去创建一个
David Brumley | Thanassis Avgerinos | JongHyup Lee | Jonghyup Lee | Thanassis Avgerinos | David Brumley
[1] Andrew W. Appel,et al. Modern Compiler Implementation in ML , 1997 .
[2] David Walker,et al. Stack-based typed assembly language , 1998, Journal of Functional Programming.
[3] Frank Tip,et al. Aggregate structure identification and its application to program analysis , 1999, POPL '99.
[4] Alan Mycroft,et al. Type-Based Decompilation (or Program Reconstruction via Type Reconstruction) , 1999, ESOP.
[5] MorrisettGreg,et al. From system F to typed assembly language , 1999 .
[6] Benjamin C. Pierce,et al. Types and programming languages: the next generation , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
[7] Karl Crary,et al. Toward a foundational typed assembly language , 2003, POPL '03.
[8] Benjamin C. Pierce,et al. Advanced Topics In Types And Programming Languages , 2004 .
[9] Christopher Krügel,et al. Static Disassembly of Obfuscated Binaries , 2004, USENIX Security Symposium.
[10] Thomas W. Reps,et al. Analyzing Memory Accesses in x86 Executables , 2004, CC.
[11] Harish Patil,et al. Pin: building customized program analysis tools with dynamic instrumentation , 2005, PLDI '05.
[12] Thomas W. Reps,et al. DIVINE: DIscovering Variables IN Executables , 2007, VMCAI.
[13] A. V. Chernov,et al. Automatic reconstruction of data types in the decompilation problem , 2009, Programming and Computer Software.
[14] Xiangyu Zhang,et al. Automatic Reverse Engineering of Data Structures from Binary Execution , 2010, NDSS.
[15] Thomas W. Reps,et al. WYSINWYX: What you see is not what you eXecute , 2005, TOPL.