pclint plus

引言

如果能够在代码提交测试之前发现这些潜在的错误，就能够极大地减轻测试人员的压力，减少软件项目的除错成本，可是传统的C/C++编译器对此已经无能为力，这个任务只能由专用的代码检查工具完成。有很多C/C++静态代码检查工具，其中Logiscope RuleChecker和PC-Lint 是应用比较广泛的两个工具。本文将介绍如何安装和配置PC-Lint代码检查工具以及将PC-Lint 与常见的代码编辑软件，如Visual C++，Source Insight集成的方法，同时还将简要介绍一些PC-Lint常用的代码检查选项。

2介绍

PC-Lint 是GIMPEL SOFTWARE公司开发的C/C++软件代码静态分析工具，它的全称是PC-Lint/FlexeLint for C/C++，PC-Lint 能够在Windows、MS-DOS和OS/2平台上使用，以二进制可执行文件的形式发布，而FlexeLint 运行于其它平台，以源代码的形式发布。PC-lint 在全球拥有广泛的客户群，许多大型的软件开发组织都把PC-Lint 检查作为代码走查的第一道工序。PC-Lint不仅能够对程序进行全局分析，识别没有被适当检验的数组下标，报告未被初始化的变量，

1.1.1.1.1 PC-LINT中的各种错误信息都有一个相关的错误号，其中各个错误号的分配区间如下：

表1:PC-LINT错误号区间分配

错误类型 语法错误 内部错误 致命错误 告警 提示信息 可选的注解 错误号－C 1 -199 200-299 300-399 400-699 700-899 900-999 错误号－C++ 1001-1199 1400-1699 1700-1899 1900-1999 告警级别 1 0 0 2 3 注：其中200-299号告警为PC-LINT的内部错误，一般不会发生，

1.2 C语法错误

1.2.1

－1―未关闭注释 (位置) ―2―未关闭的引号 －3－#else 没有一个#if

－4－太多的#if 嵌套层次

文件结束的时候，仍然有一个未关闭的注释存在，打开的这个注释位置将被显示出来。

1.2.2

在行尾的时候，仍然存在一个同行的未关闭的引号（单引号或双引号）。

1.2.3

在一个区域内有一个#else ，但是没有一个#if, #ifdef 或#ifndef。

1.2.4

检测出一个内部的限制，有关#if的嵌套层次 (包括 #ifdef和#ifndef)。

1.2.5

－5－太多的#endif

1.1.1.1.1 PC-LINT中的各种错误信息都有一个相关的错误号，其中各个错误号的分配区间如下：

表1:PC-LINT错误号区间分配

错误类型 语法错误 内部错误 致命错误 告警 提示信息 可选的注解 错误号－C 1 -199 200-299 300-399 400-699 700-899 900-999 错误号－C++ 1001-1199 1400-1699 1700-1899 1900-1999 告警级别 1 0 0 2 3 注：其中200-299号告警为PC-LINT的内部错误，一般不会发生，

1.2 C语法错误

1.2.1

－1―未关闭注释 (位置) ―2―未关闭的引号 －3－#else 没有一个#if

－4－太多的#if 嵌套层次

文件结束的时候，仍然有一个未关闭的注释存在，打开的这个注释位置将被显示出来。

1.2.2

在行尾的时候，仍然存在一个同行的未关闭的引号（单引号或双引号）。

1.2.3

在一个区域内有一个#else ，但是没有一个#if, #ifdef 或#ifndef。

1.2.4

检测出一个内部的限制，有关#if的嵌套层次 (包括 #ifdef和#ifndef)。

1.2.5

－5－太多的#endif

第二章 MAX+Plus II应用简介

§1 概 述

Max+plusⅡ是Altera公司提供的FPGA/CPLD开发集成环境，Altera是世界上最大可编程逻辑器件的供应商之一。Max+plusⅡ界面友好，使用便捷，被誉为业界最易用易学的EDA软件。在Max+plusⅡ上可以完成设计输入、元件适配、时序仿真和功能仿真、编程下载整个流程，它提供了一种与结构无关的设计环境，是设计者能方便地进行设计输入、快速处理和器件编程。

Max+plusⅡ开发系统的特点 1、开放的界面

Max+plusⅡ支持与Cadence，Exemplarlogic，Mentor Graphics，Synplicty，Viewlogic和其它公司所提供的EDA工具接口。

2、与结构无关

Max+plusⅡ系统的核心Complier支持Altera公司的FLEX10K、FLEX8000、FLEX6000、MAX9000、MAX7000、MAX5000和Classic可编程逻辑器件，提供了世界上唯一真正与结构无关的可编程逻辑设计环境。

3、完全集成化

Max+plusⅡ的设计输入、处理与较验功能全部集成在统一的开发环境下，这样可以加快动态调试、缩短开发周期。

4、丰富的设计库

vs2008上使用pc-lint工具

管超

1. 概述

Pc-lint是一套检查代码潜在隐患的工具，借助该工具可以辅助我们检查代码中的问题。 本文以pc-lint9.00L版本为例，说明如何在vs2008中集成并使用pc-lint。Pc-lint9.00L见附件。

2. 安装pc-lint9.00L

本文以C:\\lint为例进行安装，直接解压到相应目录即可，已经完成了pclint对应补丁的安装。 注意：pc-lint对检查源文件的路径名支持的不好，在路径中尽量不要包含空格及中文名。

解压后的pc-lint如下所示。

注意其中的std.lnt文件和options.lnt文件。本文假设vs2008安装在C盘的默认目录下。如果不是在该目录，需要更改options.lnt下的对应路径 其中std.lnt文件的内容如下：

//PC-Lint配置文件的入口，除了env-xxx.lnt和project.lnt外，其他配置文件都在本文件包含。 //以下列出了常用的配置文件，如果需要，将前面的注释符去掉即可。

//编译器配置文件 //co-diab.lnt //Tornado diab //co-cb.lnt //Borland C++ Bui

vs2008上使用pc-lint工具

管超

1. 概述

Pc-lint是一套检查代码潜在隐患的工具，借助该工具可以辅助我们检查代码中的问题。 本文以pc-lint9.00L版本为例，说明如何在vs2008中集成并使用pc-lint。Pc-lint9.00L见附件。

2. 安装pc-lint9.00L

本文以C:\\lint为例进行安装，直接解压到相应目录即可，已经完成了pclint对应补丁的安装。 注意：pc-lint对检查源文件的路径名支持的不好，在路径中尽量不要包含空格及中文名。

解压后的pc-lint如下所示。

注意其中的std.lnt文件和options.lnt文件。本文假设vs2008安装在C盘的默认目录下。如果不是在该目录，需要更改options.lnt下的对应路径 其中std.lnt文件的内容如下：

//PC-Lint配置文件的入口，除了env-xxx.lnt和project.lnt外，其他配置文件都在本文件包含。 //以下列出了常用的配置文件，如果需要，将前面的注释符去掉即可。

//编译器配置文件 //co-diab.lnt //Tornado diab //co-cb.lnt //Borland C++ Bui

plus后面如果有直接和它搭界的词，s一般就不发音，否则就要发：

plus de 有搭界的de，不发

de plus en plus 前一个跟了en，有联诵要发音，后一个为了好听不发

plus...plus/moins... 如果plus后面有直接修饰的词，就不发了，我看一般在这个情况下s也不常发音

en plus 这个s要发音的

tout au plus s要发音

il y a plus s发音

plus que(紧跟) s发音

在停顿(标点)之前，或在意群(词组，句子)的末尾，在算术中 s发音

de plus 后面若没有直接搭界的词，s就发音

所谓直接搭界的词，可能是后面哪的介词一起作介词短语的(常见的是de)，或者是它修饰的形容词或副词等。

plus的常用用法有两类，第一类是和 ne 连用，组成 ne... plus 的否定意义的用法。在这种情况下，末尾的 s 总不发音，口语中 ne 常省略，如把 je n’en veux plus，说成 j’en veux plus，这时，s 都不发音。若是在如下句中 je ne suis plus heureux，口语中若非要省 ne ，plus 的末尾 s 也最

Lipofectamine®

LTX & Plus Reagent

*Plus Reagent (Cat. no. 11514-015) available separately.

Pub. Part No. 15338.pps

Pub. No. MAN0001225

Rev. Date 20 July 2012

Description

Lipofectamine® LTX and Plus Reagent are proprietary formulations for

transfecting nucleic acids into a wide range of eukaryotic cells. Nucleic acid-Lipofectamine® LTX complexes can be added directly to

cells in culture medium, in the presence or absence of serum/antibiotic.

It is not necessary to remove complexes or change/add medium after tr

ASPEN PLUS培训理论考试

一、填空题：（每题3分 共48分）

1、在精馏塔的模拟计算中用（芬斯克方程）求最小平衡级数（全回流）、用（恩

德伍德方程）求最小回流比（平衡级数无穷大）、利用（吉利兰关联式）求出在一定回流比时对应的平衡级数；

2、物性模型分为：⑴、理想、状态方程(EOS)模型，写出其中常用的两个PENG-ROB、 RK-SOAVE ，该模型用到范德华方程，其表达式为：（P+a/V2）(V-b) = RT a?27RTc64Pc22 b?RTc8Pc ⑵、活度系数模型，写出其中常用的

三个NRTL、UNIFAC、UNIQUAC，3、特殊模型， 如要处理液相中的轻气体或超临界组分，需要采用亨利定律。

3、对于物性方法的选择，要知道物系的理想行为是指符合理想气体定律和拉乌尔定律；想物系是指大小和形状相似的非极性组分；非理想程度是指分子相互作用，例如，分子的大小、形状和极性；而选择物性方法的基本原则：考虑因素包括物系中是否有极性组分，操作条件是否在临界区，体系中有无轻气体或超临界组分等；

4、应用亨利定律的步骤分为:定义亨利组分、调用亨利参数、在物性定义表选择亨利组分。

5、在做板式塔的设计计算时，需要提供计算范围、塔板类型、液流

ASPEN PLUS培训理论考试

一、填空题：（每题3分 共48分）

1、在精馏塔的模拟计算中用（芬斯克方程）求最小平衡级数（全回流）、用（恩

德伍德方程）求最小回流比（平衡级数无穷大）、利用（吉利兰关联式）求出在一定回流比时对应的平衡级数；

2、物性模型分为：⑴、理想、状态方程(EOS)模型，写出其中常用的两个PENG-ROB、 RK-SOAVE ，该模型用到范德华方程，其表达式为：（P+a/V2）(V-b) = RT a?27RTc64Pc22 b?RTc8Pc ⑵、活度系数模型，写出其中常用的

三个NRTL、UNIFAC、UNIQUAC，3、特殊模型， 如要处理液相中的轻气体或超临界组分，需要采用亨利定律。

3、对于物性方法的选择，要知道物系的理想行为是指符合理想气体定律和拉乌尔定律；想物系是指大小和形状相似的非极性组分；非理想程度是指分子相互作用，例如，分子的大小、形状和极性；而选择物性方法的基本原则：考虑因素包括物系中是否有极性组分，操作条件是否在临界区，体系中有无轻气体或超临界组分等；

4、应用亨利定律的步骤分为:定义亨利组分、调用亨利参数、在物性定义表选择亨利组分。

5、在做板式塔的设计计算时，需要提供计算范围、塔板类型、液流