首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

一种基于生成式人工智能的代码逻辑漏洞发现方法 

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

申请/专利权人:复旦大学

摘要:本发明涉及一种基于生成式人工智能的代码逻辑漏洞发现方法,方法包括:S1、获取代码块的逻辑任务进行代码块划分;S2、生成与代码块一一对应的功能提示;S3、将功能提示输入代码生成器,代码生成器输出与代码块一一对应的验证代码块;S4、将S1的划分后的代码块和S3的验证代码块输入逻辑验证器;S5、为划分后的代码块和验证代码块中相同功能的代码块生成相同的输入,不同功能的代码块的输入互不相同,比对相同功能的代码块的输出对应的逻辑表达式,基于比对的结果确定代码逻辑漏洞。与现有技术相比,本发明具有实现检测复杂代码漏洞以及代码运行时漏洞等优点。

主权项:1.一种基于生成式人工智能的代码逻辑漏洞发现方法,其特征在于,方法包括:S1、获取代码块的逻辑任务进行代码块划分,划分后的每个代码块的功能不同;S2、对每个代码块进行语言描述,将得到的描述输入提示生成器,生成与代码块一一对应的功能提示;S3、将功能提示输入代码生成器,代码生成器输出与代码块一一对应的验证代码块;S4、将S1的划分后的代码块和S3的验证代码块输入逻辑验证器;S5、逻辑验证器中,为划分后的代码块和验证代码块中相同功能的代码块生成相同的输入,不同功能的代码块的输入互不相同,比对相同功能的代码块的输出对应的逻辑表达式,基于比对的结果确定代码逻辑漏洞。

全文数据:

权利要求:

百度查询: 复旦大学 一种基于生成式人工智能的代码逻辑漏洞发现方法

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