How Static Analysis Tools like IEC-Checker are Made
IEC-Checker is a static analysis tool that can check PLC programs for safety and security properties. Like most static analysis tools, IEC-Checker is written in the functional programming language called OCaml, which is a really convenient language to express the safety and security checks.
To learn more on how to use static analysis to improve your PLC programs' safety and security, keep watching our videos and check out our courses at https://training.fortiphyd.com