Thus, in this paper, we propose a novel technique to provide automatic repair of integer overflows in C source code. Our technique, based on static symbolic ...
確定! 回上一頁