CodeSurfer/x86-A platform for analyzing x86 executables

Lecture Notes in Computer Science

Volumn 3443, Issue , 2005, Pages 250-254

  Balakrishnan, Gogul ^a   Gruian, Radu ^b   Reps, Thomas ^a,b   Teitelbaum, Tim ^b  

^a University of Wisconsin Madison   (United States)

^b GRAMMATECH INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTER VIRUSES; HIGH LEVEL LANGUAGES; PATTERN MATCHING; PROGRAM COMPILERS; PROGRAM DEBUGGING;

DEBUGGING INFORMATION; PROTOTYPE SYSTEM; STATIC-ANALYSIS ALGORITHM; VALUE-SET ANALYSIS (VSA);

SOFTWARE PROTOTYPING;

EID: 24644506256     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31985-6_19     Document Type: Conference Paper

References (12)

1. G. Balakrishnan and T. Reps. Analyzing memory accesses in x86 executables. In Comp. Construct., pages 5-23, 2004.
2. C. Cifuentes and A. Fraboulet. Interprocedural data flow recovery of high-level language code from assembly. Technical Report 421, Univ. Queensland, 1997.
3. C. Cifuentes, D. Simon, and A. Fraboulet. Assembly to high-level language translation. In Int. Conf. on Softw. Maint., pages 228-237, 1998.
4. CodeSurfer, GrammaTech, Inc., http://www.grammatech.com/products/ codesurfer/.
5. S.K. Debray, R. Muth, and M. Weippert. Alias analysis of executable code. In Princ. of Prog. Lang., pages 12-24, 1998.
6. J. Ferrante, K. Ottenstein, and J. Warren. The program dependence graph and its use in optimization. Trans. on Prog. Lang, and Syst., 3(9):319-349, 1987.
7. Fast library identification and recognition technology, DataRescue sa/nv, Liège, Belgium, http://www.datarescue.com/idabase/flirt.htm.
8. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. Trans. on Prog. Lang, and Syst., 12(1):26-60, January 1990.
9. IDAPro disassembler, http://www.datarescue.com/idabase/.
10. A. Mycroft. Type-based decompilation. In European Symp. on Programming, 1999.
11. T. Reps and G. Rosay. Precise interprocedural chopping. In Found, of Softw. Eng., 1995.
12. X. Rival. Abstract interpretation based certification of assembly code. In Int. Conf. on Verif., Model Checking, and Abs. Int., 2003.