程序静态分析技术论文

非法计算故障的检测技术研究
论文摘要随着计算机软件的不断普及，如何提高安全关键软件的安全性成为了一个重要课题。非法计算是常见的一类引起计算机程序崩溃的严重错误，降低非法计算故障的发生率能够显著提高软件的性...