WYSINWYX: What You See Is Not What You eXecute

Authors:

Publisher website

1 January 2008

book chapter
Published by Springer Nature in Lecture Notes in Computer Science

p. 202-213
DOI:10.1007/978-3-540-69149-5_22

Abstract

No abstract available

Keywords

This publication has 29 references indexed in Scilit:

Weighted pushdown systems and their application to interprocedural dataflow analysis
Science of Computer Programming, 2005
Extended Weighted Pushdown Systems
2005
Analyzing Memory Accesses in x86 Executables
2004
The SLAM Toolkit
2001
Model checking JAVA programs using JAVA PathFinder
International Journal on Software Tools for Technology Transfer, 2000
Translation validation
1998
A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)
Electronic Notes in Theoretical Computer Science, 1997
Systems for Late Code Modification
1992
Interprocedural slicing using dependence graphs
ACM Transactions on Programming Languages and Systems, 1990
Symbolic Debugging of Optimized Code
ACM Transactions on Programming Languages and Systems, 1982