iec checker

IEC检查器

配x注意：目前不活跃。如果资助，可以进一步开发。

？联系人： [email protected]

该项目旨在为IEC 61131-3程序的静态代码分析实施开源工具。

支持的语言

该工具当前支持结构化的文本编程语言，Plcopen XML和SEL XML格式。它与扩展的结构化文本方言一起工作，该方言与Matiec Transpiler完全兼容。

如果您发现， iec-checker不适用于您的PLC供应商提供的结构化文本扩展，请告诉我。在解析器中进行了一些调整，可以轻松实现这一点。

特征

目前已实施以下功能：

• PLCOPEN指南检查：
  • CP1：访问会员的名称应为
  • CP2：所有代码均应在应用程序中使用
  • CP3：所有变量应在使用之前初始化
  • CP4：直接地址不应重叠
  • CP6：避免功能，功能块和类中的外部变量
  • CP8：浮点比较不应是平等或不平等
  • CP9：限制POU代码的复杂性
  • CP13：POU不得直接或间接地称呼自己
  • CP25：数据类型转换应明确
  • CP28：时间和物理测量比较不是平等或不平等
  • L10：应避免使用继续和退出指导
  • L17：每个指令都应该有其他条款
  • N3：定义要避免的名称
• 派生类型的声明分析
• 经术内部控制流量分析：检测POU内部无法达到的代码块
• 检测未使用的变量
• 与其他工具集成的能力。 Checker可以将其IR转移到JSON文件（ --dump参数）中，并以JSON格式（ --output-format-format json ）产生警告。
• 可以用Python编写的插件扩展。请参阅绘制控制流程图的演示插件：cfg_plotter.py。

安装

您可以从GitHub版本下载Linux和Windows X86_64的最新二进制版本。

从来源构建

Linux

安装最新的OCAML编译器和OPAM。在ocaml.org和opam.ocaml.org上考虑安装说明。

然后安装所需的依赖项：

opam install --deps-only .    # first time only

构建并安装bin/iec_checker二进制文件：

make build

视窗

根据安装指南，安装Windows OCAML。图形安装程序可以很好地“开箱即用”。

然后打开安装的cygwin shell，克隆存储库，然后使用“ Linux”部分中的安装说明。

可选：Python脚本和测试套件

还有一个方便的Checker.py脚本包装OCAML二进制文件，并提供其他选项，例如扩展格式支持和运行Python插件。该测试套件还用python编写，需要一个带有其他软件包的Python解释器。

获取Python 3并在虚拟环境中安装依赖项：

virtualenv venv --python=/usr/bin/python3
source venv/bin/activate
pip3 install -r requirements.txt
pip3 install -r requirements-dev.txt

然后运行单元测试：

make test 

用法示例

检查一些用结构化文本编写的演示程序：

 bin/iec_checker test/st/*.st

您也可以使用--help参数显示帮助。