【摘 要】
：
大多数行业定制软件的漏洞检测较困难,而传统的静态漏洞检测方法会产生很多错误的和虚假的信息。针对函数调用前后存在的漏洞问题,提出了基于上下文无关的自顶向下与自底向上
【机 构】
：
昆明理工大学计算中心,昆明理工大学研究生院,昆明理工大学省计算机技术应用重点实验室
【基金项目】
：
国家自然科学基金项目（11103005）资助
论文部分内容阅读
大多数行业定制软件的漏洞检测较困难,而传统的静态漏洞检测方法会产生很多错误的和虚假的信息。针对函数调用前后存在的漏洞问题,提出了基于上下文无关的自顶向下与自底向上相结合的语法解析树的方法,它能够在对函数内部定义不了解或者部分了解的情况下,解析函数调用前后安全契约规则：前置规则和后置规则。同时通过扩展规则表示的XML文法来表示面向对象下,规则中的属性存在继承关系下的契约规则。实验表明,与同类型安全分析工具比较,该方法具有避免函数重复分析、规则可扩展性良好、尤其在自定义对象类和特定环境下自定义参数准确率高等优
其他文献
4月6日上午，重庆银行、数联铭品、三泰控股在成都签署《深化金融服务创新战略合作协议》，形成“铁三角”合作格局。在金融行业深化改革和互联网信息技术快速发展的时代背景下，三
在互文性理论视域下,分析讨论非裔美国女性作家赫斯顿、沃克、莫里森及内勒的代表作文本之间多维度的互文勾连关系,即从克里斯蒂娃的广义互文角度来探讨小说对非洲及非裔文化
马尔科夫决策过程可以建模具有不确定性特征的复杂系统,而在进行模型分析时需要采用策略对不确定性进行处理。首先,研究不同策略下时空有界可达概率问题,给出不确定性解决策
“现在,不知道个体户的人恐怕很少了。然而,真正‘知道’个体户的人恐怕也还不太多。”这是《咱们的个体户》一文(载1986年1月26日《经济参考》)中的两句话。它们并非等闲之
总结了近5年来再入飞行力热环境预测与试验技术的研究进展。针对高速绕流流场引起的宽频声振环境和瞬态热环境,调研了国内外在上述环境的数值模拟预测、等效模拟试验和试验观
1.运河文化主题伴手礼包装取名为"守护",从拱宸桥运河文化出发,提取运河中的元素进行图案的绘制。插画风格定位为国潮风,符合当代年轻人的主流审美。插画提取运河文化元素:水
在中华人民共和国这块五彩斑斓的国土上,云南省文山壮族苗族自治州,象一块璞玉浑金镶嵌在云南边陲。过去,人们还很少知道这个地方,直到对越自卫还击战打响之后,它以拥有400多
美苏首脑日内瓦会晤结束已有月余。我与本社驻曰内瓦分社记者任正德同志、驻莫斯科分社记者唐秀山同志一起采访了这次重大的国际事件,报道固然不尽理想,但回顾那马不停蹄的日
中外儿童文学充满了“动物”色彩,动物文学因其独特的内涵和异质的美学魅力成为了对少年儿童大自然教育和生命教育的特殊题材。通过论述动物文学与儿童文学交错重叠的关系,回
坚持创新在我国现代化建设全局中的核心地位,把科技自立自强作为国家发展的战略支撑,需要通过开展技术预见科学判断和前瞻把握先进材料领域的“卡脖子”问题、关键核心技术和