Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis

@inproceedings{Ye2014AcceleratingDD,
  title={Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis},
  author={Ding Ye and Yulei Sui and Jingling Xue},
  booktitle={CGO},
  year={2014}
}
Uninitialized variables can cause system crashes when used and security vulnerabilities when exploited. With source rather than binary instrumentation, dynamic analysis tools such as MSan can detect uninitialized memory uses at significantly reduced overhead but are still costly. In this paper, we introduce a static value-flow analysis, called Usher, to guide and accelerate the dynamic analysis performed by such tools. Usher reasons about the definedness of values using a value-flow graph (VFG… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 19 CITATIONS

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…