1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 行业资料
  5. 国内专利

一种符号执行系统的构建方法.pdfVIP

  • 5
  • 0
  • 约9.72千字
  • 约 11页
  • 2023-07-05 发布于四川
  • 举报

一种符号执行系统的构建方法.pdf

    本发明公开了一种符号执行系统的构建方法，包括定义符号执行系统的符号集，所述符号集包括基本符号集、运算符号集，以及关键字集；构建符号执行系统的路径语言的语法系统，以及建立源程序语句到路径语言的对应关系；根据得到的符号执行系统的符号集和语法系统，建立符号翻译规则，得到最终的符号执行系统。本发明通过设计符号执行系统构建方法构建一个符号执行系统，从而实现利用符号执行用于代码漏洞静态检测时,更多的进行程序全局的分析且更侧重代码的安全性相关的检测。

    (19)国家知识产权局 (12)发明专利申请 (10)申请公布号 CN 116382652 A (43)申请公布日 2023.07.04 (21)申请号 202310207699.8 (22)申请日 2023.03.01 (71)申请人 中国人民解放军国防科技大学 地址

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >