可配置程序分析相关论文
在安全关键领域中,如何保证软件的安全性已经成为了一个广受关注的重要课题。静态程序分析是一类十分有效的程序自动化验证方法。......
摘要：安全关键领域中，如何保证软件安全性已经成为了一个广受关注的重要课题。确保程序中没有运行时错误，对于软件安全性的保证十分重......
