Login / Signup
Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions.
Yulei Sui
Ding Ye
Yu Su
Jingling Xue
Published in:
IEEE Trans. Reliab. (2016)
Keyphrases
</>
eliminating redundant
buffer overflow
data corruption
feature selection