“静态代码分析”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果904313个，建议您升级VIP下载更多相关专利

[发明专利]一种改进的基于符号执行的软件静态测试方法及工具-CN201010180129.7无效
发明人：刘久富;娄坚波;李金奎;王伟;苏青琴;陈魁 -专利权人：南京航空航天大学
申请日： 2010-05-24 - 公布日： 2011-11-30 - 主分类号： G06F11/36 文献下载
摘要：本发明公布了一种改进的基于符号执行的软件静态测试方法及工具，有如下步骤：1、第一阶段分析。其中包括：1.1)将被测代码输入测试工具中；1.2)根据C语言文法自定义一个关键词列表进行词法分析；1.3)根据C语言文法自定义函数结构模块及算法对代码进行语法分析得到程序静态分析树；2、第二阶段分析。其中包括：2.1)根据步骤(1.2)中词法分析结果，以结构体的形式(包含变量名称及变量的符号值)建立变量列表、以链表的形式存储当前路径条件；2.2)根据步骤(1.3)中语法分析结果，对程序静态分析树进行中序遍历本发明能够克服在其他静态测试中不能确定程序中变量的值的问题。
一种改进基于符号执行软件静态测试方法工具

[发明专利]一种利用数据流分析算法分析C代码中的内存安全的方法-CN202111201254.6在审
发明人：贾枭;孙振东 -专利权人：上海那一科技有限公司
申请日： 2021-10-15 - 公布日： 2022-03-08 - 主分类号： G06F8/41 文献下载
摘要：本发明提供了一种利用数据流分析算法分析C代码中的内存安全的方法。将指令定义成形式化后的指令集，进行如下操作，静态分析出代码需要并给指针添加标记；将代码转化成抽象语法树，并对其每一个指令进行类型检查，同时对涉及到的指针权限转移或借用语句进行修改，使之在静态单赋值中有所区分；对抽象语法树进行线性化，得到静态单赋值形式的控制流图，进行数据流分析，得到收敛的权限映射表的结果；利用数据流分析算法迭代稳定后的结果，利用错误检查函数检查是否存在内存安全问题。
一种利用数据流分析算法代码中的内存安全方法

[发明专利]一种恶意移动应用检测方法-CN201910968202.8有效
发明人：李维勇;李方方;李建林 -专利权人：南京信息职业技术学院
申请日： 2019-10-12 - 公布日： 2022-06-10 - 主分类号： G06F21/56 文献下载
摘要：本发明公开了一种恶意移动应用检测方法，包括：将待检测移动应用程序转换为可执行、可分析的apk文件；对apk文件进行静态分析，提取移动应用静态特征；根据移动应用静态特征中动态分析所依赖的相关信息对移动应用进行行为触发及行为监控，提取移动应用动态特征；综合考虑移动应用静态特征、移动应用动态特征，对待检测移动应用进行敏感行为分析，根据分析结果对恶意移动应用进行检测分类。本发明通过静态分析获取静态特征，从静态特征中提取动态执行所依赖信息，进行行为触发及行为监控，通过静态结合的方法进行特征提取，实现对恶意移动应用的自动检测，能够破解大部分恶意代码的反分析机制，实现恶意移动应用准确检测
一种恶意移动应用检测方法

[发明专利]一种应用的性能优化方法及服务器-CN201610567209.5有效
发明人：张蓓;袁明凯;邹越;魏学峰;严明 -专利权人：腾讯科技（深圳）有限公司
申请日： 2016-07-18 - 公布日： 2018-05-22 - 主分类号： G06F11/36 文献下载
摘要：所述方法包括：确定待测试的目标应用；使用静态代码扫描规则对所述目标应用进行扫描分析，所述静态代码扫描规则包括：对已存在的性能问题对应的代码特征进行提取后生成的问题代码；若所述目标应用中存在所述静态代码扫描规则中包括的问题代码
一种应用性能优化方法服务器

[发明专利]基于静态分析和动态运行的Web应用JavaScript代码原子性违反检测-CN201510626506.8在审
发明人：许蕾;王德智;李言辉;徐宝文 -专利权人：南京大学
申请日： 2015-09-25 - 公布日： 2015-11-25 - 主分类号： G06F11/36 文献下载
摘要：本发明为一种基于静态分析和动态运行的原子性违反检测方法：先通过静态分析JS代码，获取JS中涉及到异步调用的函数和方法，保证代码上的覆盖；跨语言平台的动态插桩记录机制，在异步调用函数中设置探测点，不仅能得到JS程序中的元素，还能记录HTML代码中的元素，提高检测潜在原子性违反的准确率；根据Web应用请求到回应整个过程中涉及的相关元素，设计原子性违反判定规则，从而能够开展有效的原子性违反检测。
基于静态分析动态运行 web 应用 javascript 代码原子违反检测

[发明专利]系统测试方法和系统测试套件-CN201680090832.4在审
发明人：杜伊古·梅廷;塞伦·沙欣盖比兹利 -专利权人：伟视达电子工贸有限公司
申请日： 2016-11-17 - 公布日： 2019-06-28 - 主分类号： G06F11/36 文献下载
摘要：该方法至少包括：创建被测试系统的模型；在系统上执行静态代码分析以生成一个或更多个警报(103)，每个警报分别指示被测试系统中的相应错误；使用警报来调整系统的模型(105)；使用经调整的系统的模型生成测试集本发明还提供了一种相应的测试套件，该测试套件包括静态代码分析工具和基于模型的测试工具，其中，基于模型的测试工具使用由静态代码分析工具生成的结果。该系统测试方法和测试套件具有以下优点：使得能够通过静态代码分析识别出被测试系统中的与其他部分相比需要更多测试的一个或更多个部分，并且使得与系统中的其他部分相比，测试集在系统上的执行能够被更多地集中在系统的所述一个或更多个部分上
静态代码分析被测试系统测试套件系统测试测试集警报测试工具计算机程序测试暴露系统测试周期电子设备调整系统工具生成模型生成套件嵌入创建

[发明专利]用于持续集成过程中的静态代码质量分析方法及计算设备-CN202010127984.5在审
发明人：张俊;梁美英 -专利权人：天津车之家数据信息技术有限公司
申请日： 2020-02-28 - 公布日： 2020-07-14 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种用于持续集成过程中的静态代码质量分析方法，在计算设备中执行，该方法包括以下步骤：当开发者将分支代码推送至代码仓库时，获取该分支代码所属的项目分支信息，将项目分支信息作为待扫描任务加入扫描队列；对于扫描队列中的每一个待扫描任务，对该待扫描任务所对应的分支代码进行质量分析，并存储质量分析结果；将分支代码的质量分析结果即时反馈给相应的开发者。
用于持续集成过程中的静态代码质量分析方法计算设备

[发明专利]代码安全缺陷分析方法、装置、设备及存储介质-CN202210352890.7在审
发明人：章磊;孙宇;黄永刚;韩建;张宇;齐向东;吴云坤 -专利权人：奇安信科技集团股份有限公司;奇安信网神信息技术（北京）股份有限公司
申请日： 2022-04-06 - 公布日： 2022-07-22 - 主分类号： G06F11/36 文献下载
摘要：本申请提供一种代码安全缺陷分析方法、装置、设备及存储介质，其中，代码安全缺陷分析方法包括：对被测对象进行静态分析，得到所述被测对象中存在的代码安全缺陷；对所述被测对象进行软件成分分析，识别出所述被测对象中存在的第三方组件的源文件；从各所述代码安全缺陷中，确定出所述源文件对应的代码安全缺陷。这样，就无需开发人员在得到被测对象中存在的所有代码安全缺陷之后，再进行人工筛选，从而降低了人力成本，提高了安全缺陷的修复效率。
代码安全缺陷分析方法装置设备存储介质

[发明专利]提升源代码静态分析工具鲁棒性的方法-CN202211323819.2在审
发明人：陈睿;王峥;贾春鹏;丁戈;肖志恒;王博祥;于婷婷;高栋栋 -专利权人：北京轩宇信息技术有限公司
申请日： 2022-10-28 - 公布日： 2023-01-31 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了提升源代码静态分析工具鲁棒性的方法，包括以下步骤：步骤一，设计鲁棒性编译前端；步骤二，设计语法转译器；步骤三，提升原分析工具的鲁棒性；步骤四，添加零配置；所述步骤1.2中，词法解析模块预留了nextToken接口可供子类实现；本发明通过实现鲁棒性编译前端生成AST，并将该AST转译成原分析工具的AST，复用已有分析工具的代码分析能力，该编译前端内置了可扩展的预处理模块，拥有较强的编译错误恢复能力，较强的可扩展性，能够保证在复用已有代码资产的前提下，提高分析工具的鲁棒性，在被测软件不完整配置的分析条件下，仍能给出准确的分析结果，降低了静态分析工具使用者的门槛，提升工具的用户体验。
提升源代码静态分析工具鲁棒性方法

[发明专利]一种安卓应用中基于代码库安全规约的应用程序漏洞检测分析方法-CN201510403224.1有效
发明人：杨珉;杨哲慜;张磊 -专利权人：复旦大学
申请日： 2015-07-11 - 公布日： 2018-01-12 - 主分类号： G06F21/56 文献下载
摘要：本发明属于程序信息安全监测技术领域，具体为安卓应用中基于代码库安全规约的应用程序漏洞检测分析方法。本发明方法包括建立安全规约模型，即用形式化的规则语言描述代码库安全规约；设计基于安全规约模型的用于进行自动化验证的静态程序分析器；将该静态程序分析器用于应用程序编译和应用市场对应用程序审查两个阶段，进行安全漏洞检测
一种应用基于代码安全规约应用程序漏洞检测分析方法

[发明专利]基于扫描方案的静态代码流程分析方法-CN202211592642.6在审
发明人：刘冬 -专利权人：深圳市奥思网络科技有限公司
申请日： 2022-12-13 - 公布日： 2023-03-21 - 主分类号： G06F21/56 文献下载
摘要：本发明公开了基于扫描方案的静态代码流程分析方法，具体方法如下：S1、构建规则集合；S2、根据不同规则集合融合扫描方案、并设置质量门禁；S3、结合扫描方案，实现静态代码扫描的分布扫描；S4、利用结果文件的特征信息对多种扫描结果的自动解析与合并本发明针对代码扫描过程复杂的问题，提供一套基于扫描方案的改进方法构建静态代码扫描流程、多工具和多规则选用、不同扫描结果融合这一系列过程，提升扫描的覆盖范围，实现代码扫描广度和深度的结合。
基于扫描方案静态代码流程分析方法

[发明专利]一种区块链的代码检测方法、装置和计算机设备-CN202011539966.4在审
发明人：张建武 -专利权人：广州汉全信息科技股份有限公司
申请日： 2020-12-23 - 公布日： 2021-04-13 - 主分类号： G06F11/36 文献下载
摘要：本发明实施例提供了一种区块链的代码检测方法、装置和计算机设备，获取到原始代码数据；将所述原始代码数据与共性缺陷模式进行匹配，得到第一匹配结果。帮助程序开发人员自动执行静态代码分析，快速定位代码隐藏错误和缺陷。帮助代码设计人员更专注于分析和解决代码设计缺陷。显著减少在代码逐行检查上花费的时间，提高软件可靠性并节省软件开发和测试成本。
一种区块代码检测方法装置计算机设备

[发明专利]一种基于开源代码库的软件缺陷自动检测方法-CN201811359582.7有效
发明人：汤战勇;柯鑫;孔维星;叶贵鑫;房鼎益;陈晓江;陈峰;龚晓庆;王薇;李文瑾 -专利权人：西北大学
申请日： 2018-11-15 - 公布日： 2021-05-14 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于开源代码库的软件缺陷自动检测方法，包括涉及源代码特征提取技术与自然语言处理中的词向量表示法以及深度学习技术中的双向LSTM框架。该检测方法基于大规模的开源代码仓库Github中的代码变更记录，获取代码变更过程中大量的缺陷代码，通过使用静态代码分析技术，提取缺陷代码片段的数据流特征，利用深度学习中的双向LSTM框架，设计代码缺陷检测模型，为代码缺陷静态检测提供了技术支持，实现了对目标文件进行缺陷检测，在漏报率较低的前提中报告出准确的漏洞位置的功能。
一种基于源代码软件缺陷自动检测方法

[发明专利]Android应用程序安全性测试的通用方法及系统-CN201410781145.X在审
发明人：张媛媛;杨文博;束骏亮;李卷孺;谷大武 -专利权人：上海交通大学;上海交通大学中原研究院
申请日： 2014-12-16 - 公布日： 2015-04-01 - 主分类号： G06F21/57 文献下载
摘要：一种Android应用程序安全性测试的通用方法及系统，通过对待测试程序解包并进行反编译，得到XML源代码；然后通过静态分析待测试程序的配置文件和代码，进行包括：组件暴露漏洞、密码学误用、webview代码执行漏洞、代码保护方面的漏洞检测和安全测试；再将待测试程序进行实际运行并配置网络检测环境；最后进行动态分析，对信息泄漏、数据传输安全和数据存储安全三个方面的动态漏洞检测和安全测试并得出漏洞检测和安全测试报告。本发明能够对任一Android应用程序通过静态和动态分析相结合的方式，可以通过一系列步骤的检测和评估，能够最终给出应用程序本身设计和实现上存在的安全缺陷和隐患。
android 应用程序安全性测试通用方法系统

[发明专利]一种安卓手机恶意应用检测系统及方法-CN201810377452.X有效
发明人：朱潜;薛旸;杜晓凡;付奎源;王伟 -专利权人：东北大学
申请日： 2018-04-25 - 公布日： 2022-05-24 - 主分类号： G06F21/56 文献下载
摘要：所述安卓手机恶意应用检测系统包括正负样本收集模块、静态特征提取模块、动态特征提取模块、神经网络模块和监测结果输出模块，本发明将基于软件代码的静态分析和基于软件行为的动态监测相结合，使检测方法不再是单纯基于签名技术的静态分析，并通过分析软件的代码和软件运行之后的行为来判断软件是否为恶意软件，这种检测方法更加准确，所以我们通过收集恶意软件样品和安全软件样品，获取静态特征向量和动态特征矩阵，并通过大量样本来训练MLP神经网络和
一种手机恶意应用检测系统方法