eric135 / plcanalyzer Goto Github PK
View Code? Open in Web Editor NEWThis project forked from yurushao/plcanalyzer
Static analysis tool on LLVM for PLC programs. It takes converted PLC programs as inputs and generates a report for (1) critical paths where safety-critical values can be affected, and (2) overwhelmed variable accessibility.