Giters

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.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

About

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.

Languages

Language:C++ 88.7%Language:C 9.5%Language:Shell 1.2%Language:CMake 0.6%