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參數顯示幫助。