Abstract
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. © IFIP International Federation for Information Processing 2008.
Cite
CITATION STYLE
Balakrishnan, G., Reps, T., Melski, D., & Teitelbaum, T. (2008). WYSINWYX: What you see is not what you execute. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4171 LNCS, pp. 202–213). https://doi.org/10.1007/978-3-540-69149-5_22
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
