-
题名基于语法解析树的函数漏洞发现方法
被引量：1
- 1
-
-
作者
陈永艳
束洪春
戴伟
-
机构
昆明理工大学计算中心
昆明理工大学研究生院
昆明理工大学省计算机技术应用重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2013年第8期119-123,135,共6页
-
基金
国家自然科学基金项目(11103005)资助
-
文摘
大多数行业定制软件的漏洞检测较困难,而传统的静态漏洞检测方法会产生很多错误的和虚假的信息。针对函数调用前后存在的漏洞问题,提出了基于上下文无关的自顶向下与自底向上相结合的语法解析树的方法,它能够在对函数内部定义不了解或者部分了解的情况下,解析函数调用前后安全契约规则:前置规则和后置规则。同时通过扩展规则表示的XML文法来表示面向对象下,规则中的属性存在继承关系下的契约规则。实验表明,与同类型安全分析工具比较,该方法具有避免函数重复分析、规则可扩展性良好、尤其在自定义对象类和特定环境下自定义参数准确率高等优点。
-
关键词
函数弱点
继承关系
契约规则
语法解析树
-
Keywords
Function vulnerability
Inheritance relationship
Contract rules in inherent
Parse tree
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名网络爬行器的分布式设计
- 2
-
-
作者
李卫疆
赵铁军
朴星海
-
机构
昆明理工大学省计算机应用重点实验室
哈尔滨工业大学计算机科学与技术学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第4期105-107,共3页
-
基金
国家自然科学基金资助重点项目“下一代信息检索研究”(60736044)
-
文摘
目前单机版的网络爬行器已无法在一个有效的时间范围内完成一次搜集整个Web的任务。该文采用分布式网络爬行器加以解决。在分布式设计中,主要考虑节点内部多个线程的并行和节点之间的分布式并行,包括分布式网络爬行器的策略选择和动态可配置性2个方面。实验结果显示站点散列法基本达到了分布式设计的目标,在追求负载平衡的同时将系统的通信和管理开销降到最低。
-
关键词
网络爬行器
分布式
多线程
-
Keywords
Web crawler
distribution
multi-thread
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
