[发明专利]一种基于中间语言和污点分析的软件数据流分析方法有效
| 申请号： | 201811156016.6 | 申请日： | 2018-09-30 |
| 公开（公告）号： | CN109324971B | 公开（公告）日： | 2021-06-25 |
| 发明（设计）人： | 喻波;杨强;乐泰;唐勇;解炜;周旭;罗艳 | 申请（专利权）人： | 中国人民解放军国防科技大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36;G06F21/56 |
| 代理公司： | 湖南兆弘专利事务所(普通合伙) 43008 | 代理人： | 周长清 |
| 地址： | 410073 湖南*** | 国省代码： | 湖南;43 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： |
本发明公开了一种基于中间语言和污点分析的软件数据流分析方法，其步骤包括：步骤S1：定义指令格式和表达式格式；统一描述中间语言的通用指令类型，构建了临时变量表达式、寄存器表达式和污点标记表达式，用于污点分析过程中的数据表示；步骤S2：构建基于中间语言的污点传播规则，污点标记用taint_label表示；步骤S3：基于中间语言的程序数据流动态跟踪分析流程；步骤S4：当程序执行过程中，通过基于跟踪的污点信息来构建污点源与全局变量T |
||
| 搜索关键词： | 一种 基于 中间 语言 污点 分析 软件 数据流 方法 | ||
【主权项】：
1.一种基于中间语言和污点分析的软件数据流分析方法，其特征在于，步骤包括：步骤S1：定义指令格式和表达式格式；统一描述中间语言的通用指令类型，构建了临时变量表达式、寄存器表达式和污点标记表达式，用于污点分析过程中的数据表示；步骤S2：构建基于中间语言的污点传播规则，污点标记用taint_label表示；步骤S3：基于中间语言的程序数据流动态跟踪分析流程；步骤S4：当程序执行过程中，通过基于跟踪的污点信息来构建污点源与全局变量TG、局部变量TL、系统调用函数参数TF之间的数据流关系。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国人民解放军国防科技大学，未经中国人民解放军国防科技大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201811156016.6/，转载请声明来源钻瓜专利网。
