iec checker

Pemeriksa IEC

️ Catatan: Saat ini tidak aktif. Pengembangan lebih lanjut tersedia jika didanai.

? Hubungi: [email protected]

Proyek ini bertujuan untuk mengimplementasikan alat sumber terbuka untuk analisis kode statis dari program IEC 61131-3.

Bahasa yang didukung

Alat ini saat ini mendukung bahasa pemrograman teks terstruktur, format PLCOPEN XML dan SEL XML. Ini bekerja dengan dialek teks terstruktur yang diperluas yang sepenuhnya kompatibel dengan transpiler matiec.

Jika Anda menemukan, bahwa iec-checker tidak berfungsi dengan ekstensi teks terstruktur yang disediakan oleh vendor PLC Anda, beri tahu saya. Ini mungkin dapat dengan mudah diimplementasikan dengan beberapa penyesuaian di parser.

Fitur

Fitur -fitur berikut saat ini diimplementasikan:

• Pedoman PLCOPEN memeriksa:
  • CP1: Akses ke anggota harus dengan nama
  • CP2: Semua kode harus digunakan dalam aplikasi
  • CP3: Semua variabel harus diinisialisasi sebelum digunakan
  • CP4: Pengalamatan langsung tidak boleh tumpang tindih
  • CP6: Hindari variabel eksternal dalam fungsi, blok fungsi dan kelas
  • CP8: Perbandingan titik mengambang tidak boleh kesetaraan atau ketidaksetaraan
  • CP9: Batasi kompleksitas kode POU
  • CP13: Pous tidak akan menyebut diri mereka secara langsung atau tidak langsung
  • CP25: Konversi tipe data harus eksplisit
  • CP28: Perbandingan Waktu dan Fisik tidak boleh menjadi kesetaraan atau ketidaksetaraan
  • L10: Penggunaan instruksi lanjutan dan keluar harus dihindari
  • L17: Masing -masing jika instruksi harus memiliki klausa yang lain
  • N3: Tentukan nama yang harus dihindari
• Analisis deklarasi untuk tipe turunan
• Analisis Aliran Kontrol Intraprocedural: Deteksi Blok Kode yang Tidak Dapat Dijangkau di dalam Pous
• Deteksi variabel yang tidak digunakan
• Kemampuan untuk berintegrasi dengan alat lain. Checker dapat membuang IR ke dalam file JSON (-argumen --dump ) dan menghasilkan peringatan dalam format JSON ( --output-format-format json ).
• Dapat diperpanjang dengan plugin yang ditulis dalam Python. Lihat Demo Plugin yang memplot grafik aliran kontrol: cfg_plotter.py.

Instalasi

Anda dapat mengunduh rilis biner terbaru untuk Linux dan Windows X86_64 dari rilis GitHub.

Membangun dari sumber

Linux

Instal OCAML Compiler dan OPAM terbaru. Pertimbangkan instruksi instalasi di ocaml.org dan opam.ocaml.org.

Kemudian instal dependensi yang diperlukan:

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

Bangun dan instal bin/iec_checker :

make build

Windows

Instal OCAML untuk Windows sesuai dengan panduan instalasi. Pemasang grafis bekerja dengan baik "di luar kotak".

Kemudian buka cygwin shell yang terpasang, klon repositori dan gunakan instruksi instalasi dari bagian "Linux".

Opsional: Script Python dan Test Suite

Ada juga skrip checker.py yang nyaman yang membungkus biner OCAML dan memberikan opsi tambahan seperti dukungan pemformatan yang diperpanjang dan menjalankan plugin Python. Suite tes juga ditulis dalam Python dan membutuhkan juru bahasa dengan beberapa paket tambahan.

Dapatkan Python 3 dan instal dependensi di lingkungan virtual:

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

Kemudian jalankan tes unit:

make test 

Contoh penggunaan

Periksa beberapa program demo yang ditulis dalam teks terstruktur:

 bin/iec_checker test/st/*.st

Anda juga dapat menggunakan --help argumen untuk menampilkan bantuan.