Analyzing Memory Accesses in x86 Executables

This publication has 21 references indexed in Scilit:

• Efficient chaotic iteration strategies with widenings
  Published by Springer Nature ,2006
• Precise interprocedural analysis through linear algebra
  Published by Association for Computing Machinery (ACM) ,2004
• CSSV
  ACM SIGPLAN Notices, 2003
• Abstract Interpretation-Based Certification of Assembly Code
  Published by Springer Nature ,2002
• Safety checking of machine code
  ACM SIGPLAN Notices, 2000
• Precise interprocedural chopping
  Published by Association for Computing Machinery (ACM) ,1995
• EEL
  ACM SIGPLAN Notices, 1995
• Interprocedural slicing using dependence graphs
  ACM Transactions on Programming Languages and Systems, 1990
• Incremental Context-Dependent Analysis for Language-Based Editors
  ACM Transactions on Programming Languages and Systems, 1983
• Static determination of dynamic properties of generalized type unions
  ACM SIGOPS Operating Systems Review, 1977