For example, vari- able array indexing and symbolic pointer dereferencing are troublesome in symbolic execution. Our approach addresses these difficulties, and ...
確定! 回上一頁