WYSINWYX: What You See Is Not What You eXecute-Reference-Cited by-同舟云学术

WYSINWYX: What You See Is Not What You eXecute

Published:2008 Issue: Volume: Page:202-213
ISSN:0302-9743
Container-title:Verified Software: Theories, Tools, Experiments
language:
Short-container-title:

Author:

Balakrishnan G.,Reps T.,Melski D.,Teitelbaum T.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-69149-5_22

Reference44 articles.

1. PREfast with driver-specific rules, Windows Hardware and Driver Central (WHDC) (October, 2004), http://www.microsoft.com/whdc/devtools/tools/PREfast-drv.mspx

2. Amme, W., Braun, P., Zehendner, E., Thomasset, F.: Data dependence analysis of assembly code. Int. J. Parallel Proc (2000)

3. Balakrishnan, G., Reps, T.: Analyzing memory accesses in x86 executables. In: Comp. Construct. pp. 5–23 (2004)

4. Lecture Notes in Computer Science;T. Ball,2001

5. Boehm, H.-J.: Threads cannot be implemented as a library. In: PLDI, pp. 261–268 (2005)

Cited by 29 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Survey of Detection Methods for Software Use-After-Free Vulnerability;Communications in Computer and Information Science;2022

2. Survey of Automated Vulnerability Detection and Exploit Generation Techniques in Cyber Reasoning Systems;Advances in Intelligent Systems and Computing;2018-11-02

3. Control Dependencies in Interpretive Systems;Runtime Verification;2017

4. Improving Fuzzing Using Software Complexity Metrics;Information Security and Cryptology - ICISC 2015;2016

5. Interval Analysis and Machine Arithmetic;ACM Transactions on Programming Languages and Systems;2015-01-20