静态分析器相关论文
从理论上阐述了软件静态分析的概念、意义及分类,以及静态分析器与编译器的不同,并详细、系统地介绍了一个静态分析器的设计与实现......
Ada语言源代码经编译器编译后生成一个后缀名为Ali的文本文件。该Ali文件中包含了丰富的有关Ada源代码的信息。该文剖析了由M1750A......
静态分析器是一种初步具备有关数据对象的语言知识,融编辑、语法分析和静态语义检查为一体的软件工具.文本以Ada语言中的子程序规......
鉴于静态分析器设计的复杂性,提出运用多种设计模式构建静态分析器系统。结合实例详细论述单件、访问者、外观及工厂方法等模式在......
设计并实现基于反射机制的构件化软件静态分析器。该静态分析器通过对构件化软件源程序代码的静态分析，使用反射机制，自动提取源程序......
