WYSINWYX: What You See Is Not What You eXecute
- G. BalakrishnanAffiliated withComp. Sci. Dept., University of Wisconsin
- , T. RepsAffiliated withComp. Sci. Dept., University of WisconsinGrammaTech, Inc.
- , D. MelskiAffiliated withGrammaTech, Inc.
- , T. TeitelbaumAffiliated withGrammaTech, Inc.
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINWYX phenomenon create a mismatch between what a programmer intends and what is actually executed by the processor, it can cause analyses that are performed on source code to fail to detect certain bugs and vulnerabilities. This issue arises regardless of whether one’s favorite approach to assuring that programs behave as desired is based on theorem proving, model checking, or abstract interpretation.
- WYSINWYX: What You See Is Not What You eXecute
- Book Title
- Verified Software: Theories, Tools, Experiments
- Book Subtitle
- First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
- pp 202-213
- Print ISBN
- Online ISBN
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- Series ISSN
- Springer Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- Additional Links
- Industry Sectors
- eBook Packages
To view the rest of this content please follow the download PDF link above.