空指针应用相关硕士博士期刊学术论文

针对数组越界、空指针应用和缓冲区溢出三类威胁软件安全的不规范操作，提出了一种基于Coq验证上述三类操作的形式化方法。首先编写......