String analysis for x86 binaries
- 5 September 2005
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 31 (1), 88-95
- https://doi.org/10.1145/1108768.1108814
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Weighted pushdown systems and their application to interprocedural dataflow analysisScience of Computer Programming, 2005
- A CASE tool platform using an XML representation of Java source codePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Static analysis of XML transformations in javaIEEE Transactions on Software Engineering, 2004
- Analyzing Memory Accesses in x86 ExecutablesLecture Notes in Computer Science, 2004
- Extending Java for high-level Web service constructionACM Transactions on Programming Languages and Systems, 2003
- Buffer overrun detection using linear programming and static analysisPublished by Association for Computing Machinery (ACM) ,2003
- ARCHERACM SIGSOFT Software Engineering Notes, 2003
- Precise Analysis of String ExpressionsLecture Notes in Computer Science, 2003
- Symbolic bounds analysis of pointers, array indices, and accessed memory regionsPublished by Association for Computing Machinery (ACM) ,2000
- Alias analysis of executable codePublished by Association for Computing Machinery (ACM) ,1998