首页> 中国专利> 一种基于抽象语法树和定理证明的局部敏感程序分析方法

一种基于抽象语法树和定理证明的局部敏感程序分析方法

摘要

本发明公开了一种基于抽象语法树和定理证明的局部敏感程序分析方法,包括:对程序代码构建出没有语法错误的抽象语法树AST;遍历程序代码的抽象语法树AST,收集待检测节点及待检测节点的相关节点,根据待检测节点及其相关节点信息,形成待检测节点的相关逻辑表达式,输入至定理证明器中;定理证明器通过逻辑表达式求解待检测节点,若求解获得的待检测节点值存在异常情况,则判定程序存在语义缺陷。本发明通过收集程序节点局部上下文和局部路径信息,避免某些错误的报警以及提高易用性,实现了对程序代码的语义缺陷检测,避免了传统的符号执行工具分析代码因为路径爆炸问题而耗时长的问题。

著录项

  • 公开/公告号CN110879708A

    专利类型发明专利

  • 公开/公告日2020-03-13

    原文格式PDF

  • 申请/专利权人 安徽中科国创高可信软件有限公司;

    申请/专利号CN201911137082.3

  • 发明设计人 李兆鹏;顾建平;戴一飞;

    申请日2019-11-19

  • 分类号

  • 代理机构合肥维可专利代理事务所(普通合伙);

  • 代理人吴明华

  • 地址 230088 安徽省合肥市高新区文曲路355号403室

  • 入库时间 2023-12-17 05:26:56

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2020-04-07

    实质审查的生效 IPC(主分类):G06F8/41 申请日:20191119

    实质审查的生效

  • 2020-03-13

    公开

    公开

相似文献

  • 专利
  • 中文文献
  • 外文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号