Document
拖动滑块完成拼图
个人中心

预订订单
商城订单
发布专利 发布成果 人才入驻 发布商标 发布需求

请提出您的宝贵建议,有机会获取IP积分或其他奖励

投诉建议

在线咨询

联系我们

龙图腾公众号
专利交易 积分商城 国际服务 IP管家助手 科技果 科技人才 商标交易 会员权益 需求市场 关于龙图腾 更多
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 桂林电子科技大学唐成华获国家专利权

桂林电子科技大学唐成华获国家专利权

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

龙图腾网获悉桂林电子科技大学申请的专利基于污点查找关联的安卓静态污点分析装置和分析方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN115203039B

龙图腾网通过国家知识产权局官网在2026-02-13发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202210838753.4,技术领域涉及:G06F11/3604;该发明授权基于污点查找关联的安卓静态污点分析装置和分析方法是由唐成华;杜征;胡敏;周晨设计研发完成,并于2022-07-18向国家知识产权局提交的专利申请。

基于污点查找关联的安卓静态污点分析装置和分析方法在说明书摘要公布了:本发明公开了一种基于污点查找关联的安卓静态污点分析装置和分析方法,所述装置设有顺序连接的反编译模块、分词模块和语义分析模块,所述方法建采用构建一条或多条平行的、指向不同回调方法中污点的污点传播边,其中,污点查找关联仅查找和分析污点相关代码,根据规则有效地对污点相关语句进行查找和关联,以构建准确完整的污点传播路径图、同时采用污点别名获取,解决了污点分析中的别名分析问题,实现了包含准确别名分析的Android静态污点分析。这种方法能提升污点分析的准确率和分析效率,尤其解决因Android应用特性导致的污点分析准确率下降问题。

本发明授权基于污点查找关联的安卓静态污点分析装置和分析方法在权利要求书中公布了:1.一种基于污点查找关联的Android静态污点分析装置,其特征在于,所述静态污点分析装置设有顺序连接的: 反编译模块:反编译模块的输入为Android应用程序包APK,反编译模块用于反编译Android应用程序包APK,特别是将应用程序包APK中的classes.dex字节码文件反编译为可供分析的Java源码形式; 分词模块:分词模块用于预处理源码即分词模块根据代码语义对代码语句进行分词; 语义分析模块:语义分析模块采用污点传播规则对分词模块处理的程序代码进行语义判定,将实际程序中的污点相关语句转化为污点传播边,并按照污点传播规则对污点传播边进行关联,形成污点传播路径图并向外输出,其中,污点传播规则中定义如下四种语句类型: 第一种直接赋值语句:“左值=右值”形式的直接赋值语句,表示由“右值”到“左值”的直接赋值; 第二种方法调用语句:“方法名参数”形式的方法调用语句,表示调用包含实际参数“参数”、以“方法名”为名的方法; 第三种返回赋值语句:“左值=方法名参数,…”形式的返回赋值语句,表示包含实际参数“参数”、以“方法名”为名的方法向“左值”返回值; 第四种返回调用语句:“外部方法名内部方法名参数i”形式的返回调用语句,表示包含实际参数“参数”、以“内部方法名”为名的方法的返回值,被以“外部方法名”为名的方法作为第i个实际参数调用; 所述污点传播规则包括: 直接赋值传播规则:在直接赋值语句中,若等号右边变量或值为“污点”,则等号左边的变量为“新污点”; 方法调用传播规则:在方法调用语句中,若被调用方法中的第i个实际参数为“污点”,则被调用方法定义中第i个形式参数为“新污点”; 返回赋值传播规则:在返回赋值语句中,若被调用方法的返回值为“污点”,则等号左边的变量为“新污点”; 返回调用传播规则:返回调用语句中,若内部被调用方法的返回值为“污点”、且返回值处于外部被调用方法的第i个实际参数位置,则外部被调用方法的第i个实际参数为“新污点”; 污点生成判定规则:以污点源方法调用为“污点”,根据返回赋值传播规则、返回调用传播规则,若能够产生“新污点”,则认为有污点生成,否则认为没有污点生成; 污点清除判定规则:在直接赋值语句中,若右值为常量或空值、左值为污点变量,则该污点被清除; 污点泄露判定规则:在方法调用语句中,若被调用方法为污点汇聚点方法,且被调用的污点汇聚点方法的实际参数中包含污点,则认为产生了污点泄露; 别名分析启动规则:在直接赋值语句中,若左值为对象类型,则以左值名称为目标启动别名分析; 污点别名删除规则:在直接赋值语句中,若左值为污点别名,右值为该类别名以外的对象类型,则以左值名称为目标将其从别名列表中的相应位置剔除; 语义分析模块中设有污点源污点汇聚点列表,污点源污点汇聚点列表用于对污点源和污点汇聚点的识别,采用现有技术制作,由基于机器学习的自动化分类方法提供。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人桂林电子科技大学,其通讯地址为:541004 广西壮族自治区桂林市七星区金鸡路1号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。