CodeSurfer/x86—A Platform for Analyzing x86 Executables
- 1 January 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Analyzing Memory Accesses in x86 ExecutablesPublished by Springer Nature ,2004
- Abstract Interpretation-Based Certification of Assembly CodePublished by Springer Nature ,2002
- Alias analysis of executable codePublished by Association for Computing Machinery (ACM) ,1998
- Precise interprocedural choppingPublished by Association for Computing Machinery (ACM) ,1995
- Interprocedural slicing using dependence graphsACM Transactions on Programming Languages and Systems, 1990
- The program dependence graph and its use in optimizationACM Transactions on Programming Languages and Systems, 1987