科研系统
成果转化平台
常见问题检索
在线提问咨询
返回旧版
科学技术研究院2023
┝━首页
┝━机构设置
┝━━部门介绍
┝━━职能分工
┝━━科研管理联络网
┝━重要通知
┝━━科技项目(民口)
┝━━科技项目(军口)
┝━━文科科研
┝━━产学研与成果转化
┝━━科研基地
┝━━科技奖励与综合
┝━科技新闻
┝━科研项目
┝━━科技项目(民口)
┝━━━重要通知
┝━━━政策法规
┝━━━办事指南
┝━━━文件下载
┝━━科技项目(军口)
┝━━━重要通知
┝━━━政策法规
┝━━━办事指南
┝━━━文件下载
┝━━文科科研
┝━━━重要通知
┝━━━社科动态
┝━━━政策法规
┝━━━办事指南
┝━━━文件下载
┝━科研成果
┝━━科研进展
┝━━成果推广
┝━━━新能源
┝━━━新能源汽车
┝━━━新兴信息产业
┝━━━节能环保
┝━━━高端装备制造业
┝━━━新材料
┝━━━生物产业
┝━━━新医药
┝━━━新化工
┝━━━综合其它
┝━━专利成果
┝━基地团队
┝━━科研基地
┝━━━政府批建机构
┝━━━联合共建机构
┝━━科研团队
┝━━━国家级科技创新团队
┝━━━省市级科技创新团队
┝━信息公开
┝━━成果转化公示
┝━━收益分配公示
┝━━其他公示
┝━党务工作
┝━━学习园地
┝━━支部活动
┝━服务指南
┝━━政策法规
┝━━━科技项目(民口)
┝━━━科技项目(军口)
┝━━━文科科研
┝━━━产学研与成果转化
┝━━━科研基地
┝━━━科技奖励与综合
┝━━办事指南
┝━━━科技项目(民口)
┝━━━科技项目(军口)
┝━━━文科科研
┝━━━产学研与成果转化
┝━━━科研基地
┝━━━科技奖励与综合
┝━━文件下载
┝━━━科技项目(民口)
┝━━━科技项目(军口)
┝━━━文科科研
┝━━━产学研与成果转化
┝━━━科研基地
┝━━━科技奖励与综合
┝━产学研与成果转化
┝━━重要通知
┝━━政策法规
┝━━办事指南
┝━━文件下载
┝━科研基地
┝━━重要通知
┝━━政策法规
┝━━办事指南
┝━━文件下载
┝━科技奖励
┝━━重要通知
┝━━政策法规
┝━━办事指南
┝━━文件下载
首页
机构设置
部门介绍
职能分工
科研管理联络网
重要通知
科技项目(民口)
科技项目(军口)
文科科研
产学研与成果转化
科研基地
科技奖励与综合
科技新闻
科研项目
科技项目(民口)
科技项目(军口)
文科科研
科研成果
科研进展
成果推广
专利成果
基地团队
科研基地
科研团队
信息公开
成果转化公示
收益分配公示
其他公示
党务工作
学习园地
支部活动
服务指南
政策法规
办事指南
文件下载
科研成果
科研成果
科研进展
成果推广
新能源
新能源汽车
新兴信息产业
节能环保
高端装备制造业
新材料
生物产业
新医药
新化工
综合其它
专利成果
专利成果
首页
>
科研成果
>
专利成果
>
正文
基于XML中间模型以及缺陷模式匹配的静态检测系统(专利号:2011102089586.0 )
日期: 2015-03-30
浏览:
专利号:
2011102089586.0
申请日:
2011/7/25
授权公告日:
2014/4/23
专利权人:
大连理工大学
发明人:
周宽久;赖晓晨;王洁;闫旭;袁柱;王喆;汤乐敏
摘要:
本发明属于软件安全技术领域,涉及一种基于XML中间模型以及缺陷模式匹配的软件静态检测方法。其特征在于构造基于关系存储模式的关系语法树,以及基于XML格式的中间数据存储模型,经过预处理、词法分析、语法分析模块对待检测的源代码文件进行解析,提取出程序代码的所有安全关键属性信息,利用XML生成模块存储在XML中间文件中,由漏洞检测模块根据规则配置文件,提取规则库中相应规则,对前端生成的XML中间文件执行规则检测。
上一篇:
一种核电级高纯硼酸的制备方法(专利号:2010105813382.0 )
下一篇:
盐析萃取海参中有效成分的方法(专利号:2010102366669.0 )