PLC Lint

A static analysis tool for PLCopenXML exports that detects logic and configuration defects the compiler does not flag, such as uncalled timers, truncated setpoints, division by zero, and unreachable branches. It is for PLC developers, automation engineers, and operations teams in industrial and building-automation companies that maintain PLC projects. It is delivered as a hosted upload for quick reports and as a local open-source executable and GitHub Action that runs offline without network calls.

Key features

• Analyzes PLCopenXML exports
• 34 automated checks
• Detects uncalled timer/trigger
• Detects division by zero
• Detects unreachable IF/ELSIF branch
• Detects array index out of bounds
• Detects duplicate Modbus address
• Detects infinite loop with no exit
• Detects analog input without plausibility check
• Detects task watchdog disabled
• Checks PLCopen naming standard
• Boiler-house heat-point profile checks
• Batch check whole project
• Compare versions
• GitHub Action breaks build on findings
• Local executable with no network calls