静态分析器

作品数：13被引量：2H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：金茂忠王越刘冬懿郝克刚葛玮更多>>
相关机构：北京航空航天大学支付宝(杭州)信息技术有限公司西北大学中国地质大学更多>>
相关期刊：《济南大学学报（自然科学版）》《经济技术协作信息》《计算机光盘软件与应用》《现代制造》更多>>
相关基金：国家高技术研究发展计划陕西省自然科学基金陕西省教育厅规划基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
大数据查询路径和类型决策问题的研究
《经济技术协作信息》2019年第33期10-10,共1页沈洁 王向辉 
黑龙江省教育科学技术研究面上项目(No.12531149);哈尔滨商业大学博士科研启动项目(No.12DL025)。
用正则树表示的XML数据中对XPath的决策问题,是大数据查询中常见的方法之一,本文提出了一套实用的、有效的数学模型来解决XPath表达式中的可满足性问题。并通过对一些决策问题,例如带或者不带类型约束的XPath的空、包含、重叠和覆盖问...
关键词：可满足性问题 程序语言 决策问题 大数据查询 XML数据 静态分析器 正则树 类型约束 
Google Gumbo：C语言实现的HTML5解析库
《程序员》2013年第10期12-12,共1页
Gumbo是一个使用c编写的HTML解析库，它符合}rrMI解析算法标准，通过了所有的html51ib-0．95测试，并已在Google索引的25亿个网页上进行过测试。Google发布Gumbo的目的是为开发者提供一个轻量级的HTML解析库，它没有外部依赖，而且大多...
关键词：GOOGLE C语言 解析 HTML WEB页面 静态分析器 算法标准 轻量级 
浅谈基于GCC的C++静态分析器的开发应用
《计算机光盘软件与应用》2012年第7期187-187,183,共2页刘昌坪 李旭 
目前,最主流的开发语言之一就是C++,越来越多的工具都使用C++语言来开发了。因为C++具有高效等特性,所以得到了很广泛的运用。但是不可避免的,在开发软件程序方面,它也存在着一些缺陷。因此,基于开源编译器GCC的C++静态分析器就被开发...
关键词：GCCC++静态分析器开发应用 
PAC8000 SafetyNet增SIL2安全功能
《现代制造》2009年第22期30-30,共1页
GE Fanuc智能平台于日前宣布PAC8000 SafetyNet已通过TOV认证，证明适用于需要在相同控制器内处理安全和非安全数据的应用。此外，PAC8000 SafetyNet可以使用24V电源，扩展了SafetyNet系统的应用范围。出于安全和过程控制目的而使用两...
关键词：安全功能 安全控制器 FANUC 静态分析器 安全工程师 智能平台 项目成本 过程控制 
基于ALI的ADA语言静态分析器的研究与实现
《电脑知识与技术》2008年第11X期1406-1410,共5页朱烨 朱宏明 
Ada语言源代码经编译器编译后生成一个后缀名为Ali的文本文件。该Ali文件中包含了丰富的有关Ada源代码的信息。该文剖析了由M1750Ada编译器编译生成的Ali文件内包含的具体信息内容,并介绍了基于Ali文件的分析并结合Lex词法分析工具来实...
关键词：Ali文件 ADA语言 LEX 静态分析器 
基于开放编译的面向对象程序静态分析器
《计算机应用研究》2008年第9期2706-2708,共3页刘鹏飞 胡圣明 陈平 梁若莹 
国家教育部博士点基金资助项目(20030701009);国家自然科学基金资助项目(60473063);西安电子科技大学研究生创新基金资助项目(05009)
采用反射和开放编译技术,设计并实现了一个面向对象程序静态分析器,对开放编译器Open C++进行了扩展与改进。通过实验研究表明,该程序静态分析器可以得到全面的系统依赖信息,可以有效地辅助程序理解。
关键词：面向对象 程序理解 逆向工程 反射 开放编译 静态分析 
基于反射机制的构件化软件静态分析器的设计与实现
《西安理工大学学报》2008年第1期108-113,共6页曹晋阳 张毅坤 杨凯峰 徐涛 
陕西省自然科学基金资助项目(2007F51);陕西省教育厅基金资助项目(07JK348)
设计并实现基于反射机制的构件化软件静态分析器。该静态分析器通过对构件化软件源程序代码的静态分析,使用反射机制,自动提取源程序的结构、构件测试元素和构件交互关系,采用XML保存分析结果并图形化直观显示程序结构和构件交互。实例...
关键词：静态分析器 XML 测试元素 反射 
基于设计模式的可扩展Java静态分析器设计被引量：1
《计算机应用》2006年第B06期301-304,共4页王越 刘冬懿 金茂忠 
国家863计划项目(2004AA112030)
鉴于静态分析器设计的复杂性,提出运用多种设计模式构建静态分析器系统。结合实例详细论述单件、访问者、外观及工厂方法等模式在构建Java静态分析器中的应用。旨在促使静态分析器系统开发中应用设计模式,设计出灵活、可复用和易理解的...
关键词：静态分析器 设计模式 软件复用 
一个静态分析器的设计与实现被引量：1
《微机发展》2004年第12期117-119,共3页李亚红 郝克刚 葛玮 
从理论上阐述了软件静态分析的概念、意义及分类,以及静态分析器与编译器的不同,并详细、系统地介绍了一个静态分析器的设计与实现。描述了它的关于软件系统信息和模块信息提取功能,又从实现的角度介绍了该分析器程序的系统结构及数据...
关键词：软件工程 静态分析 静态测试 静态分析器 
静态分析器静态分析过程的研究及实现被引量：1
《济南大学学报（自然科学版）》2001年第3期204-206,共3页张少白 冯志全 成谢锋 
:静态分析器是一种初步具备有关数据对象的语言知识 ,融编辑、语法分析和静态语义检查为一体的软件工具。文本以Ada语言中的子程序规格说明为基础 ,阐明了静态分析器在软件开发环境中的作用和意义 ,介绍了分析器数据结构的构成及语法树...
关键词：语法树 编辑器 静态分析器 软件开发 软件工具 ADA语言 数据结构 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部