TwinCAT3 使用入门

静态分析工具(Static Analyzer Tool)协助查找大约100个常见错误，帮助识别程序中的非标准或不允许的定义规范。预先设定标记是代码编译/发布必须经过的流程，可以防止潜在的bug被无意中引入到实际产线中。

unused variable ： 检测未被使用的变量

overlapping memory areas ： 检测重复内存地址

Write access from several tasks ： 检测变量是否在task中赋值了

Multiple write access on output ： 检测重复赋值到输出变量

Multiple usage of name ： 检测复用名称（比如 ton：int； ton已经是功能块了，不能当名字了）

Report temporary FunctionBlock instances ：报告临时功能块的实例化（比如功能块里 实例化功能块，这个不会报错，只会再message消息中显示）

举个例子，比如：

MB10和MW5他们对应的内存地址有一部分是重复的，一般情况下编译都是通过的，而且能够下载程序，但是真正运行的时候可能会有潜在的BUG。

如果勾选了overlapping memory areas，那么就会检测程序里重复的地址，然后让其编译不通过。

静态分析工具的info说明：https://infosys.beckhoff.com/content/1033/tc3_plc_intro/4196065547.html?id=6332802934187497543