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所有的检查都是静态检查,无法发现程序的运行错误和逻辑错误。

相关文章
|
7月前
|
Unix 编译器 C语言
c++简介
c++简介
62 0
|
1月前
|
XML 数据格式
XLink 和 XPointer 简介
XLink 和 XPointer 简介
32 5
|
7月前
|
编译器 程序员 C语言
C++系列一: C++简介
C++系列一: C++简介
|
7月前
|
算法 程序员 编译器
【C/C++】C/C++编程——C/C++简介
【C/C++】C/C++编程——C/C++简介
116 0
|
存储 算法 内存技术
多媒体系统简介
一、多媒体系统简介 多媒体系统是指能够处理和展示多种媒体信息的计算机系统。它可以处理和播放音频、视频、图像等多种形式的媒体数据,并提供交互式的操作和用户界面。多媒体系统广泛应用于娱乐、教育、广告、通信等领域。 多媒体系统通常由以下几个组成部分构成: 1. 媒体输入设备:用于将外部的媒体数据输入到计算机系统中,如麦克风、摄像头、扫描仪等。 2. 媒体处理软件:用于对媒体数据进行处理和编辑的软件,如音频编辑软件、视频编辑软件、图像处理软件等。 3. 媒体存储设备:用于存储媒体数据的设备,如硬盘、光盘、闪存等。 4. 媒体输出设备:用于将处理后的媒体数据输出到外部设备或显示器上,如音箱、显示器、投影
330 0
|
XML 监控 Devops
CUNIT简介
CUNIT简介
480 0
CUNIT简介
|
并行计算 API 调度
TOPI 简介
TOPI 简介
185 0
|
存储 编解码
H264简介
H.264 原始码流(又称为裸流),是有一个接一个的 NALU 组成的,而它的功能分为两层:视频编码层(VCL, Video Coding Layer)和网络提取层(NAL, Network Abstraction Layer),其中,前者负责有效表示视频数据的内容,而后者则负责格式化数据并提供头信息,以保证数据适合各种信道和存储介质上的传输。
H264简介
|
API C++
exosip 和 pjsip 简介
oSIP  oSIP的开发开始于2000年7月,第一个版本在2001年5月发 布,到现在已经发展到3.x了。它采用ANSI C编写,而且结 构简单小巧,所以速度特别快,它并不提供高层的SIP会话 控制API,它主要提供一些解析SIP/SDP消息的API和事务处理 的状态机,oSIP的作者还开发了基于oSIP的UA lib:exosip和 proxy server lib:partysip.
3994 0
|
运维 Kubernetes Ubuntu
Kebernetes简介
Kebernetes简介
237 0
下一篇
DataWorks