静态分析器相关论文
本文介绍了基于块覆盖的软件测试方面的自动化工具SAT的总体设计与实现,详细说明了该工具的词法语法分析器、静态分析器、代码插装......
从理论上阐述了软件静态分析的概念、意义及分类,以及静态分析器与编译器的不同,并详细、系统地介绍了一个静态分析器的设计与实现......
GE Fanuc智能平台于日前宣布PAC8000 SafetyNet已通过TOV认证,证明适用于需要在相同控制器内处理安全和非安全数据的应用。此外,PAC8......
采用饲法分析技术及递归下降子程序语法分析方法进行设计与实现。对已通过编译的Turbo PASCAL源程序给出有限的静态分析,为程序员提供程序结构......
Ada语言源代码经编译器编译后生成一个后缀名为Ali的文本文件。该Ali文件中包含了丰富的有关Ada源代码的信息。该文剖析了由M1750A......
用正则树表示的XML数据中对XPath的决策问题,是大数据查询中常见的方法之一,本文提出了一套实用的、有效的数学模型来解决XPath表......
静态分析器是一种初步具备有关数据对象的语言知识,融编辑、语法分析和静态语义检查为一体的软件工具.文本以Ada语言中的子程序规......
鉴于静态分析器设计的复杂性,提出运用多种设计模式构建静态分析器系统。结合实例详细论述单件、访问者、外观及工厂方法等模式在......
Gumbo是一个使用c编写的HTML解析库,它符合}rrMI解析算法标准,通过了所有的html51ib-0.95测试,并已在Google索引的25亿个网页上进行过......
设计并实现基于反射机制的构件化软件静态分析器。该静态分析器通过对构件化软件源程序代码的静态分析,使用反射机制,自动提取源程序......
静态分析器是一种初步具备有关数据对象的语言知识,融编辑、语法分析和静态语义检查为一体的软件工具.本文以Ada语言中的子程序规格说明......