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.
Install / Use
/learn @ShenghaoLin/PLCAnalyzerREADME
PLCAnalyzer
This project is designed for PLC programs...
How to Use:
-
Go to directory PLCAnalyzer (which contains a file CMakeList.txt and a folder PLCAnalyzer)
-
Use command "cmake ." and "make" to generate the pass.
-
Go back to the root of directory, use "sh run.sh $file-name$". Note that the file-name should not include any extension.
