PCLINT 简介

简介: PCLINT 简介

PCLINT是Gimpel Software公司推出LINT系列产品之一,运行于PC平台,是对C和C++源程序进行错误检查的软件包。它的基本工作原理是进行源代码分析,值跟踪,类型检查,并进行比一般的C/C++编译器更深入的语义分析工作,从而规避可能的软件缺陷。从本质上说,LINT是一种功能单一的代码静态分析工具。

PCLINT不但可以检测单个文件,也可以从整个项目的角度来检测问题,因为C语言编译器固有的单个编译,这些问题在编译器环境下很难被检测,而PCLINT在检查当前文件的同时还会检查所有与之相关的文件,可想而知,它会对我们有很大的帮助。

PCLINT支持的编译器:Microsoft, GNU和其他流行编译器。

PCLINT支持平台:Windows XP / NT / 2000 / 98 / 95 / ME, DOS (built-in DOS extender) 。

许多国外的大型专业软件公司,都把LINT作为程序检查工具,在程序合入正式版本或交付测试之前一定要保证通过了LINT检查。他们要求软件工程师在使用LINT时要打开所有的编译开关,如果一定要关闭某些开关,那么要给出关闭这些开关的正当理由。同时LINT工具也是一些软件工程教科书中推荐使用的代码静态检查工具。

需要说明的是Lint所有的检查都是静态检查,无法发现程序的运行错误和逻辑错误。

相关文章
|
SQL 安全 测试技术
『渗透测试基础』| 什么是渗透测试?有哪些常用方法?如何开展?测试工具有哪些?优势在哪里?
『渗透测试基础』| 什么是渗透测试?有哪些常用方法?如何开展?测试工具有哪些?优势在哪里?
899 0
|
数据采集 机器学习/深度学习 数据可视化
分享68个Python爬虫源码总有一个是你想要的
分享68个Python爬虫源码总有一个是你想要的
994 0
|
负载均衡 Java Nacos
Nacos服务注册与发现
【10月更文挑战第11天】Nacos 是一个开源平台,用于服务发现和配置管理,提供服务注册、发现及动态配置等功能,适用于微服务架构。其核心功能包括服务注册、服务发现和动态配置管理,支持多种语言如 Java、Go、Python 等,具备高可用性和易用性。Nacos 可用于微服务治理、动态扩展和跨语言服务调用等场景,简化了服务间的交互和管理。
606 10
|
监控 安全 网络协议
|
缓存 NoSQL 关系型数据库
Redis系列-6.Redis缓存双写一致性问题(上)
Redis系列-6.Redis缓存双写一致性问题
391 0
|
JavaScript 前端开发 开发者
如何在 Visual Studio Code (VSCode) 中使用 ESLint 和 Prettier 检查代码规范并自动格式化 Vue.js 代码
随着前端开发技术的快速发展,代码规范和格式化工具变得尤为重要。本文介绍如何在 Visual Studio Code (VSCode) 中使用 ESLint 和 Prettier 检查代码规范并自动格式化 Vue.js 代码。通过安装和配置这些工具,可以确保代码风格一致,提高代码质量和可读性。
1520 1
|
存储 分布式计算 Hadoop
Hadoop节点数据节点(DataNode)
【5月更文挑战第17天】
1940 2
|
算法 Unix 程序员
【C/C++ 基本知识 注释规范】C/C++中注释方式以及规范
【C/C++ 基本知识 注释规范】C/C++中注释方式以及规范
627 0
|
程序员 编译器 C语言
C语言----动态内存分配(malloc calloc relloc free)超全知识点
C语言----动态内存分配(malloc calloc relloc free)超全知识点
1999 6
|
自然语言处理 测试技术
测试驱动开发(TDD)与行为驱动开发(BDD)的比较与选择
在软件开发中,测试驱动开发(TDD)与行为驱动开发(BDD)是两种常见的开发方法。虽然它们都强调测试在开发过程中的重要性,但是两者之间存在一些差异。本文将对TDD和BDD进行比较,分析它们各自的优点和缺点,以及在实际开发中如何选择最适合的方法。

热门文章

最新文章