PLC静态分析——TE1200使用方法.docxVIP

第PAGE6页

PLC静态分析——TE1200使用方法

PLC静态分析——TE1200使用方法

作者：袁英杰

职务：华东区技术支持工程师

邮箱：yj.yuan@

日期：2024-02-08

摘要：

介绍TE1200的基本内容

附件：

序号

文件名

备注

历史版本：

免责声明：

我们已对本文档描述的内容做测试。但是差错在所难免，无法保证绝对正确并完全满足您的使用需求。本文档的内容可能随时更新，如有改动，恕不事先通知，也欢迎您提出改进建议。

参考信息：

目录

TOC\o1-3\h\z\u1. 软件介绍 3

2. 静态分析工具 3

2.1. 设置 3

2.2. 规则 4

2.2.1. SA0007-Addressoperatorsonconstants 4

2.2.2. SA0017-Non-regularassignments 5

2.2.3. SA0021-Transportingtheaddressofatemporaryvariable 5

2.2.4. 高重要性 5

2.3. 命名约定 6

2.3.1. 占位符{datatype} 7

2.3.2. 扩展功能 7

2.4. 指标 8

2.5. 禁止符号 8

2.6. 注释 8

2.7. 运行 9

3. AutomationInterface 10

软件介绍

TE1200PLCStaticAnalysis提供了PLC静态分析工具，帮助编程人员更好的分析PLC代码。该软件没有7天试用版，该软件默认集成在TwinCAT开发环境中。当没有TE1200授权时，该软件为轻量级分析工具，当有TE1200授权时，该软件为完整版分析工具。其对比如下：

功能

轻量级

完整版

保存/导出以及加载/导入配置

不可用

可用

编译过程中执行

不可配置

可配置

检查未使用对象

不可用

可用

报错最大数

500，不可配置

可配置

报警最大数

不可配置

可配置

激活选项

激活并报错

激活报错及报警

规则

7条规则

超过100条规则

预编译波浪下划线，快速修正

不可用

可用

命名约定

不可用

可用

指标

不可用

可用

禁止符号

不可用

可用

暂时停用规则的Pragma和Attribute

可用，3条

可用，6条

静态分析工具

设置

勾选自动执行静态分析后PLC每次编译后会同时执行静态分析；

加载和保存可以导出或者导入已经配置好的静态分析规则；

最大报错和警告意味着当静态分析返回的信息超过相关值之后分析将会停止

规则

如上图显示，深色勾为报告错误，浅色勾为报告警告，可以通过单击图标显示。除了SA0016、SA0024、SA0073、SA0101、SA0105-SA0107、SA0111-SA0125、SA0133、SA0134、SA0145、SA0147、SA0148、SA0150、SA0162-SA0167和必须要遵守的IEC规则外，所有规则都默认启用。

针对每个规则的具体含义，可以参阅infosys/TE1200/Configuration/Rules/Rules-overviewanddescription。

本文举三个例子。

SA0007-Addressoperatorsonconstants

指向常量变量的指针将取消该变量的constant属性。变量可以通过指针改变，而编译器不会报告这一点。

在极少数情况下，将指向常量的指针传递给函数是有意义的。如果使用此选项，则必须确保函数不会更改传递给它的值。在这种情况下，应该使用VAR_IN_OUTCONSTANT。

SA0017-Non-regularassignments

如果指针包含的值不是有效地址，则在处理引用指针时将发生访问冲突异常。

SA0021-Transportingtheaddressofatemporaryvariable

函数或方法的局部变量是在堆栈上创建的，只有在处理函数或方法时才存在。如果指针在处理方法或函数后指向这样一个变量，那么这个指针可以用来访问未定义的内存或另一个函数中不正确的变量。这种情况无论如何都要避免。

高重要性

以下规则在PLC编程规则中重要性较高，在不影响逻辑实现的前提下，建议作为报错规则使用

SA0001

SA0004

SA0006

SA0007

SA0015

SA0017

SA0020

SA0021

SA0028

SA0034

SA0040

SA0044

SA0019

SA0047

SA0048

SA0053

SA0054

SA0055

SA0056

SA0059

SA0061

SA0065

SA0072

SA00