--------------------------------------------------
--- Manual Additions/Modifications ---
--------------------------------------------------
PC-lint for C/C++ Version 9.00a
This readme.txt supplements the on-line PC-lint manual entitled
"Reference Manual for PC-lint/Flexelint" found in the installation
directory under the name "pc-lint.pdf"
------ Printing the Reference Manual ------
You have permission to print out the Reference Manual (or other
related documentation) in whole or in part in support of the use of
this software.
------ Support for Microsoft through Visual Studio 2008 ------
We currently support Microsoft Visual C/C++ 9.0 (as well as all
earlier versions of the Microsoft compiler series). Support comes
mainly from the compiler options files (co-...lnt). For example
options files co-msc70.lnt, co-msc71.lnt, co-msc80.lnt and
co-msc90.lnt support versions 7.0, 7.1, 8.0 and 9.0 respectively.
------ What's New ------
To find out what we've added to the product since Version 8.00,
check out Chapter 20 "What's New" in the Reference Manual.
------ Front End ------
Your linting experience will be considerably enhanced by adapting
your favorite editor or compiler environment to the task of
sequencing from error to error. See Section 3.5 of the Reference
Manual.
------ Multiple Passes ------
By default, PC-lint/FlexeLint will go through all your modules in
one pass. For projects not previously linted there will be enough
messages to look at. However, with just one pass, you will not be
taking full advantage of our new static data tracking or the
interfunction value tracking. With just one pass, we cannot say
very much about static variables. We may see a variable being set
to a value but we don't know of intervening functions that may be
modifying the variable. We will also not know about dangerous
return values for functions that are defined later than they are
called, and we will not know about dangerous arguments for functions
that are defined early. To introduce a second pass you need only to
add the command line option:
-passes(2)
or, if this syntax presents a problem with your Shell, you may use:
-passes[2]
or, in some cases,
-passes=2
is needed. Of course, you can replace the 2 with any number you
wish. The larger the number, the more bugs that can be found and
the more time that will be required.
See Section 10.2 "Value Tracking" in the Reference Manual.
Gimpel Software
September, 2008
没有合适的资源?快使用搜索试试~ 我知道了~
温馨提示
压缩包包括: 1. PCLint 9.0安装包 2. PCLint 9.0更新到L版本的更新程序 3. 增加Lnt配置文件 使用方法: 1. 解压安装PCLint 2. 将Update目录下的文件解压到安装路径 3. 执行Update.bat自动更新到L版本 4. 如果执行提示缺少lnt文件,则将lnt文件夹中对应文件拷贝到执行目录即可
资源详情
资源评论
资源推荐
收起资源包目录
PCLint9.0L修正版 (410个子文件)
Update.bat 376B
patch.bat 81B
macros-msc.c 10KB
lint2msg.c 10KB
sl-desm.c 5KB
sl-lc2.c 4KB
sl-c86.c 4KB
sl.c 4KB
sl-qc88.c 4KB
sl-mwc.c 4KB
module2.c 78B
macros-msc.cpp 10KB
module3.cpp 130B
module1.cpp 126B
filea.cpp 90B
module4.cpp 71B
fileb.cpp 38B
pclint9setup.exe 3.9MB
lint.exe 869KB
lint-nt.exe 716KB
lint-os2.exe 650KB
install.exe 99KB
tellme.exe 83KB
lpatch.exe 59KB
PATCH.EXE 59KB
cfig386.exe 48KB
choose.exe 48KB
pr.exe 44KB
choose16.exe 32KB
lint2msg.exe 10KB
co-gcc.h 5KB
co-msc110.h 2KB
co-msc100.h 2KB
co-msc120.h 2KB
co-bc5.h 1KB
co-mc.h 1KB
co-msc80.h 998B
co-msc90.h 998B
lib-bcl.h 971B
co-gcc.h 937B
co-bc5.h 783B
co-cosm.h 709B
co-vage.h 706B
lib-rw.h 651B
co-mc.h 628B
co-msc90.h 584B
co-msc80.h 584B
lib-bcl.h 557B
co-byte.h 531B
test.h 468B
lib-in.h 456B
co-cosm.h 293B
co-vage.h 292B
lib-rw.h 237B
co-byte.h 117B
lib-in.h 42B
autorun.inf 32B
CUSTDATA.INI 29B
env-html.js 484B
env-html.js 484B
au-misra3.lnt 78KB
au-misra2.lnt 60KB
au-misra-cpp.lnt 54KB
au-misra-cpp-alt.lnt 51KB
au-misra2.lnt 41KB
au-misra-cpp.lnt 38KB
au-misra1.lnt 34KB
co-kc166xc.lnt 33KB
co-kc166xc.lnt 32KB
au-misra1.lnt 29KB
co-msc120.lnt 20KB
co-msc100.lnt 18KB
co-xc32.lnt 18KB
co-msc110.lnt 17KB
au-netrino.lnt 16KB
co-msc90.lnt 15KB
co-msc80.lnt 15KB
co-msc90.lnt 15KB
co-msc80.lnt 15KB
au-sm123.lnt 13KB
au-sm123.lnt 12KB
co-msc70.lnt 12KB
co-msc71.lnt 12KB
lib-mfc.lnt 12KB
co-msc71.lnt 11KB
co-gnu3.lnt 11KB
lib-mfc.lnt 11KB
co-msc70.lnt 11KB
co-msc60.lnt 11KB
co-gnu3.lnt 11KB
co-msc50.lnt 11KB
co-bc5.lnt 11KB
co-msc60.lnt 10KB
co-msc50.lnt 10KB
co-bc5.lnt 10KB
co-msc40.lnt 10KB
env-vc10.lnt 10KB
env-vc11.lnt 10KB
env-vc12.lnt 10KB
env-vc7.lnt 10KB
共 410 条
- 1
- 2
- 3
- 4
- 5
o0风马牛0o
- 粉丝: 43
- 资源: 18
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- YOLOv5系列多主干(TPH-YOLOv5、Ghostnet、ShuffleNetv2、Mobilenetv3Small、EfficientNetLite、PP-LCNet、SwinTran.zip
- STM32小实验:使用双轴摇杆控制舵机云台
- Yolov5+SlowFast基于PytorchVideo的实时动作检测.zip
- YOLOv5 的 TensorFlow.js 示例.zip
- YOLOv5 的 PyTorch 实现.zip
- yolov5 的 LibTorch 推理实现.zip
- 基于Python旅游数据可视化分析.zip
- YOLOv5 的 FastAPI 包装器.zip
- YOLOv5 对象跟踪 + 检测 + 对象模糊 + 使用 OpenCV、PyTorch 和 Streamlit 的 Streamlit 仪表板.zip
- YOLOv5 对象检测 Android 示例.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论30