没有合适的资源?快使用搜索试试~
我知道了~
文库首页
后端
C
C代码缺陷自动检测工具的研究与实现
C代码缺陷自动检测工具的研究与实现
代码
自动检测
需积分: 14
11 下载量
103 浏览量
2015-06-23
15:12:19
上传
评论
收藏
223KB
PDF
举报
温馨提示
立即下载
C代码缺陷自动检测工具的研究与实现 缺陷管理工具
资源推荐
资源评论
论文研究-C代码缺陷自动检测工具的研究与实现.pdf
浏览:133
通过编译的C 程序代码并不一定保证代码中不存在缺陷。代码中可能依然隐含了安全、设计或是风格上的缺陷,从而导致程序运行时出现内存泄露、指针误用等现象,或导致程序代码不清晰、可读性差。为了有效查找这些缺陷,探讨了可定制缺陷规则的C 代码缺陷自动检测技术,介绍了两种缺陷定位方法,给出了一种基于XPath技术的缺陷规则定制方法,设计并实现了一种代码缺陷自动检测工具CDD(C defect dete
代码检查工具
浏览:78
代码检查工具,可以很好的检查出代码中存在的问题
深度学习实现零件缺陷检测源代码
浏览:2
3星 · 编辑精心推荐
结合VGG和残差网络实现工业零件的缺陷检测,基于keras和tensorflow可以直接运行使用
代码检查工具TOOLS
浏览:62
检查代码中数据库连接 是否关闭。自动列出代码可能有问题的文件。用于上线前的代码整理与检查。 检查代码中数据库连接 是否关闭。自动列出代码可能有问题的文件。用于上线前的代码整理与检查。
C_C++ 静态代码安全检查工具研究
浏览:199
5星 · 资源好评率100%
静态代码安全检查工具是一种能够帮助程序员自动检测出源程序中是否存在安全缺陷的软件。它通过逐行分 析程序的源代码,发现软件中潜在的安全漏洞。本文针对C/C++语言程序设计中容易存在的多种安全问题,分别分析 了问题的根源,给出了具体可行的分析及检测方法。最后通过对静态代码安全检查工具优缺点的比较,给出了一些提 高安全检查效果的建议。
3种常用代码检查审核管理工具
浏览:36
三种常用代码审核管理工具安装包,跟大家分享!
Java代码缺陷自动分析工具介绍
浏览:131
4星 · 用户满意度95%
主要介绍FindBugs结合UI使用介绍
VC++测试某个目录中文件是否存在
浏览:77
VC++测试某个目录中文件是否存在 string fileName = szfile;
数据结构实验报告-静态查找表
浏览:2
4星 · 用户满意度95%
广工的数据结构实验报告-静态查找表,你懂得……
阿里代码自动检查工具使用文档
浏览:154
阿里代码自动检查工具使用文档 ============= 本公司已在使用
源代码缺陷分析工具Klocwork白皮书K2019.v1.pdf
浏览:16
Klocwork 软件是 Rogue Wave 公司基于专利分析引擎技术开发的一款软件源代码缺陷和安全漏洞分 析工具。 Klocwork 综合应用了多种程序分析领域最先进的技术,是最为出色的以静态算法分析运行时缺 陷的软件。 Klocwork...
Sonar代码规范
浏览:15
2. 潜在的缺陷 sonar可以通过PMD,CheckStyle,Findbugs等等代码规则检测工具检 测出潜在的缺陷。 3. 糟糕的复杂度分布 文件、类、方法等,如果复杂度过高将难以改变,这会使得开发人员 难以理解它们, 且如果没有自动...
klocwork操作步骤 以及介绍
浏览:116
Klocwork - 源代码缺陷自动分析工具概述:Klocwork 软件是 Klocwork 公司基于专利技术分析引擎开发的,综合应用了多种近年来 最先进的静态分析技术,是出色的软件静态分析软件。Klocwork 产品与其它同类产品相比, ...
代码语法错误分析工具pclint8.0
浏览:34
5星 · 资源好评率100%
C语言的灵活性带来了代码效率的提升,但相应带来了代码编写的随意性,另外C编译器不进行强制类型检查,也带来了代码编写的隐患。PCLint识别并报告C语言中的编程陷阱和格式缺陷的发生。它进行程序的全局分析,能识别...
SonarLint-4.1.0.3312.zip
浏览:96
4星 · 用户满意度95%
IDEA插件,Sonar是一个用于代码质量管理的开源平台,用于管理源代码的质量 通过插件形式,可以支持包括java,C#,C/C++,PL/SQL,Cobol,JavaScrip,Groovy等等二十几种编程语言的代码质量管理与检测 Sonar可以从以下七个...
持续集成与持续部署-SonarQube使用教程
浏览:112
SonarQube可以与持续集成工具(如Jenkins、Azure DevOps等)集成,实现在代码提交时自动进行代码质量检查,并及时反馈结果。总之SonarQube帮助开发团队更好地理解和管理其代码质量,提高代码的可维护性和可靠性。
嵌入式软件测试工具--LOGISCOPE
浏览:7
4星 · 用户满意度95%
因此,对源代码的插装和目标机上的信息收集与回传成为问题的关键。 LOGISCOPE 很好地解决了这些技术,成为嵌入式领域测试工具的佼佼者。它支持各种实时操作系统(RTOS)上的应用程序的测试,也支持逻辑系统的测试。...
c语言编写单片机技巧
浏览:120
5星 · 资源好评率100%
答:对于复杂而开发时间紧的项目时,可以采用C语言,但前提是要求对该MCU系统的C语言和C编译器非常熟悉,特别要注意该C编译系统所能支持的数据类型和算法。虽然C语言是最普遍的一种高级语言,但不同的MCU厂家其...
WIN XP蓝屏代码大全
浏览:32
或0xC000016A代码, 那么表示是坏簇造成的, 并且系统的磁盘检测工具无法自动修复, 这时要进入"故障恢复控制台", 用"chkdsk /r"命令进行手动修复. 19、0x0000007B:INACESSIBLE_BOOT_DEVICE ◆错误分析:Windows在启动...
北极熊扫描器2.1
浏览:190
5星 · 资源好评率100%
3.【新增】代码审计(根据源代码对目标站点存在问题进行检测) 4.【新增】代码搜索(检测网站程序中可能存在的脚本木马,缺陷等) 5.【新增】漏洞扫描增加延迟 6.【待定】指纹识别功能不算稳定,请在漏洞扫描填写...
离线OJ判题系统
浏览:40
4星 · 用户满意度95%
BNUEP Offline Judge 北京师范大学珠海分校离线评测系统是在具备题目测试数据的情况下,能无联网自动评测ACM/ICPC模式的源代码评测系统(即本地测试工具、评测机)。它主要有以下功能(所有的功能都无需联网,在本机...
工程硕士学位论文 基于Android+HTML5的移动Web项目高效开发探究
浏览:163
Android 一种基于Linux的自由及开放源代码的操作系统,主要使用于移动设备,如智能手机和平板电脑,由Google公司和开放手机联盟领导开发 IOS 由苹果公司开发的移动操作系统 Webkit 一个开源的浏览器引擎,在手机上的...
codechecker:CodeChecker是Clang Static Analyzer和Clang Tidy的分析器工具,缺陷数据库和查看器扩展
浏览:159
代码检查器 CodeChecker是建立在工具链上的静态分析基础结构,取代了Linux或macOS(OS X)开发环境中的 。 CodeChecker已移植到Python3! 没有计划提供Python2支持。 所需的最低Python3版本是3.6。 旧的虚拟环境需要...
DEEEP:软件可移植性中的整数漏洞检测器-开源
浏览:43
DEEEP是一种开源静态分析工具,用于在C程序中检测由于应用程序从ILP32到LP64的错误适应而导致的整数漏洞。 它使用Lint和Splint工具,并在Open Solaris和Linux操作系统上运行。 该工具从语义上分析源代码。 更准确地...
操作系统(内存管理)
浏览:196
5星 · 资源好评率100%
文将对 Linux™ 程序员可以使用的内存管理技术进行概述,虽然关注的重点是 C 语言,但同样也适用于其他语言。文中将为您提供如何管理内存的细节,然后将进一步展示如何手工管理内存,如何使用引用计数或者内存池来半...
[完整][中文][WEB安全测试].(美)霍普.扫描版.pdf
浏览:105
5星 · 资源好评率100%
Ben Waltller,是Cigital公司的一名顾问,Edit C00kies工具的开发者之一。他同时参与标准质量保证和软件安全方面的工作。他日复一日地设计和执行测试一一因此他理解忙碌的QA领域对简单秘诀的需求。他也曾对开放式...
STM32循迹小车(灰度+OpenMV权重判断)
浏览:72
5星 · 资源好评率100%
循迹小车是基于自动引导机器人系统,用以实现小车自动识别路线,以及选择正确的路线。智能循迹小车是一个运用传感器、单片机、电机驱动及自动控制等技术来实现按照预先设定的模式下,不受人为管理时能够自动实现循迹导航的高新科技。对于初学者来讲,循迹小车是很适合新手实践的STM32项目,在目前众多的电子竞赛,如电子设计竞赛、工程训练赛、智能竞赛中均会出现循迹小车或与小车相关的比赛。循迹小车一般包含车体结构设计,
谭浩强C语言程序设计第五版详细答案
浏览:56
谭浩强C语言程序设计第五版详细答案。 该教材有配套教材——《C程序设计(第五版)学习辅导》 《C程序设计(第五版》是由谭浩强编著,2017年清华大学出版社出版的“十二五”普通高等教育本科国家级规划教材、北京市高等教育精品立项项目教材、中国高等院校计算机基础教育课程体系规划教材。该教材是既可作为高等学校各专业的正式教材,也适合读者自学。
MQTT协议设备客户端与图传APP.zip
浏览:92
这是基于Qt设计的MQTT图传客户端和MQTT客户端APP。 注意: 这不是源码,这是打包好的软件。打开可以运行这种。 我的博客里很多MQTT相关的项目里都用到了这里面包含的软件,大家可以直接下载使用。 0积分下载。
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
lhg100
粉丝: 0
资源:
7
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
测试文档之测试规范文档
YOLOV5 实战项目:王者荣耀目标检测数据集(12类别)
蔬菜图像数据集 JPG(15类 2W+图像)
AUTOSAR SPEC, HW TEST
thingsBoard仪表板黑暗主题切换
PS Tray Factory 3.31 最终 河谐版
ABP中Essensoft/Paylink集成支付
鞋子(真实和 AI 生成的图像)数据集 JPG(2K+图像)
基于opencv+matlab+C++开发的双目视觉测量+相机标定+立体校正+三维坐标重载+计算工件变形量(毕设&课设&项目开发
C#的Winform通过GDI+以及Datatable绘制基于CSV文件的风羽图
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功