--------------------------------------------------
--- 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
o0风马牛0o
- 粉丝: 43
- 资源: 18
最新资源
- 142. 环形链表 II.zip
- 143. 重排链表.zip
- 144. 二叉树的前序遍历.zip
- 145. 二叉树的后序遍历.zip
- 模块化多电平变器MMC两种调制策略实现(交流3000V-直流5000V整流)仿真,单桥臂二十子模块,分别采用最近电平逼近NLM与载波移相调制CPS-PWM实现,仿真中使用环流抑制,NLM中采用快速排序
- 三相整流器PWM整流器仿真模型 采用dq坐标下的电压电流双闭环PI控制(也可改线性自抗扰控制) 输入交流380V 输出直流电压700(可调节) 单位功率因数 SVPWM调制 网侧电流THD=1.65
- LCL三相并网逆变器,有仿真有说明文件文件 准PR比例谐振控制
- 【简易的永磁同步风力发电机simulink仿真模型】 Wind-Turbine-PMSG 可变风速,可以改变和模拟任何参数来研究系统的响应
- 10bit 20MHZ SAR ADC 设计,smic180nm,有设计文档原理解读 有工艺库,直接导入自己的cadence就能运行,有效位数ENOB为9.8,适合入门SAR ADC 结构: 常用栅压
- 图腾柱(totem pole)PFC电路仿真,采用电压电流双闭环PI控制 输出特性好 仿真中模拟了给定电压变化时的动态响应情况 可验证闭环控制的稳定性 另也有图腾柱PFC主电路参数的设计说明
- Matlab Robotic ToolBox建立四轴机械臂模型并实现运动控制仿真 机器人仿真、机器人学仿真、matlab仿真、包括但不限于:正运动学仿真及验证,逆运动学计算仿真及验证,工作空间(单臂
- 基于dsp28335的单相逆变整套程序,DSP28335,程序功能齐全包含adc采样模块,pwm控制模块配置,液晶显示程序,单相锁相环程序,电路保护程序等
- 正负序PLL锁相环提取不平衡电压,华为,阳光电源采用的锁相环算法,完美抑制到dsp 28379和280049c中,参考文献如图所示 可以一边看lunwen,一边理解如何c语言实现
- COMSOL 多极分解,分方向多级展开通用模型,电磁场,面上箭头,透射率光学 BIC 仿真 COMSOL 准 BIC控制石墨烯临界耦合光吸收 COMSOL 光学仿真,石墨烯,光吸收,费米能级可调
- 光伏mppt算法仿真,针对不同工况(经典算法及智能算法),提供基础模型适合初学者(局部遮荫条件下光伏特性pv输出曲线)
- 某量产车型bms软件详细设计视频 无模型,有文字讲解 包含碰撞检测,采样处理,继电器高低边诊断,电压诊断,上下电模式控制,继电器控制,soe管理,均衡控制,故障管理等模块 无sox模块 可以一比一参
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
评论30