A Next-Generation Platform for Analyzing Executables
- 1 January 2005
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 212-229
- https://doi.org/10.1007/11575467_15
Abstract
No abstract availableThis publication has 27 references indexed in Scilit:
- Analysis of Modular ArithmeticLecture Notes in Computer Science, 2005
- Analyzing Memory Accesses in x86 ExecutablesLecture Notes in Computer Science, 2004
- The SLAM ToolkitLecture Notes in Computer Science, 2001
- Model checking JAVA programs using JAVA PathFinderInternational Journal on Software Tools for Technology Transfer, 2000
- A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)Electronic Notes in Theoretical Computer Science, 1997
- Reachability analysis of pushdown automata: Application to model-checkingLecture Notes in Computer Science, 1997
- Systems for Late Code ModificationPublished by Springer Science and Business Media LLC ,1992
- 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
- Symbolic Debugging of Optimized CodeACM Transactions on Programming Languages and Systems, 1982