技术编号：36267886
提示：您尚未登录，请点 登 陆 后下载，如果您还没有账户请点 注 册 ，登陆完成后，请刷新本页查看技术详细信息。基于sat的函数级源代码漏洞检测方法技术领域.本发明属于软件脆弱性检测技术领域，涉及图神经网络、pdg图、transformer和智能化漏洞挖掘技术，特别涉及基于sat的函数级源代码漏洞检测方法。背景技术.近年来，随着计算机软件系统的复杂性增强，潜在的安全漏洞数量呈现递增趋势。尽管部分披露的软件安全漏洞已经被修复，这并不意味着计算机用户在使用软件系统时所面临的危害有所降低。.传统的源代码漏洞检测方法可以分为基于相似度和基于模式学习的检测，基于相似度的方法对于代码复制重用的场景十分有效，但是...
注意：该技术已申请专利，请尊重研发人员的辛勤研发付出，在未取得专利权人授权前，仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权，增加技术思路，做技术知识储备，不适合论文引用。
请注意，此类技术没有源代码，用于学习研究技术思路。