Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions
['Yulei Sui', 'Ding Ye', 'Yu Su', 'Jingling Xue']
/
IEEE Transactions on Reliability
/ Vol. 65
/ No. 4
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？