静态分析方法相关论文
程序设计语言考试中的自动化试卷评分技术因其涉及多方面的理论知识已经成为一项非常有意义的研究课题,但目前该领域,实用性好而且......
近年来,由于灾害对社会经济的巨大影响,灾害问题正在得到经济学足够的重视。本文主要回顾了国外灾害经济学研究的相关文献,指出其......
本文描述了使用静态分析检测软件安全漏洞的基本过程,并说明了抽象解释、模型检验和数据流分析等主要静态分析方法及其在安全漏洞......
