iec checker

IEC 검사기

켈 참고 : 현재 비활성 상태입니다. 자금을 지원하면 추가 개발 가능.

? 연락처 : [email protected]

이 프로젝트는 IEC 61131-3 프로그램의 정적 코드 분석을위한 오픈 소스 도구를 구현하는 것을 목표로합니다.

지원되는 언어

이 도구는 현재 구조화 된 텍스트 프로그래밍 언어, PLCOPEN XML 및 SEL XML 형식을 지원합니다. Matiec Transpiler와 완전히 호환되는 확장 된 구조화 된 텍스트 방언과 함께 작동합니다.

iec-checker 가 PLC 공급 업체가 제공 한 구조화 된 텍스트 확장자와 함께 작동하지 않는 경우 알려주십시오. 파서에서 약간의 조정으로 쉽게 구현할 수 있습니다.

특징

다음과 같은 기능이 현재 구현되었습니다.

• Plcopen 가이드 라인 확인 :
  • CP1 : 회원에 대한 액세스는 이름별로이어야합니다
  • CP2 : 모든 코드는 응용 프로그램에 사용됩니다
  • CP3 : 모든 변수는 사용하기 전에 초기화해야합니다
  • CP4 : 직접 주소 지정은 겹치지 않아야합니다
  • CP6 : 함수, 기능 블록 및 클래스의 외부 변수 방지
  • CP8 : 부동 소수점 비교는 평등이나 불평등이되어서는 안됩니다.
  • CP9 : POU 코드의 복잡성을 제한하십시오
  • CP13 : 푸스는 직접 또는 간접적으로 스스로를 부르지 않아야합니다
  • CP25 : 데이터 유형 변환은 명시되어야합니다
  • CP28 : 시간 및 물리적 측정 비교는 평등이 아니거나 불평등이 아닙니다.
  • L10 : 계속 및 종료 지침 사용을 피해야합니다.
  • L17 : 각 IF 명령에 다른 조항이 있어야합니다
  • N3 : 피할 이름을 정의하십시오
• 파생 유형에 대한 선언 분석
• 분열 내 제어 흐름 분석 : 푸스 내부의 미지의 코드 블록 감지
• 사용하지 않은 변수의 탐지
• 다른 도구와 통합하는 기능. Checker는 IR을 JSON 파일 ( --dump 인수)에 버릴 수 있으며 JSON 형식 ( --output-format-format json )으로 경고를 생성 할 수 있습니다.
• 파이썬으로 작성된 플러그인으로 확장 할 수 있습니다. 제어 흐름 그래프 : cfg_plotter.py를 표시하는 데모 플러그인을 참조하십시오.

설치

GitHub 릴리스에서 Linux 및 Windows X86_64의 최신 바이너리 릴리스를 다운로드 할 수 있습니다.

출처에서 구축

리눅스

최신 OCAML 컴파일러 및 OPAM을 설치하십시오. ocaml.org 및 opam.ocaml.org에서 설치 지침을 고려하십시오.

그런 다음 필요한 종속성을 설치하십시오.

opam install --deps-only .    # first time only

bin/iec_checker BINARY를 구축하고 설치하십시오.

make build

창

설치 안내서에 따라 Windows 용 OCAML을 설치하십시오. 그래픽 설치 프로그램은 "상자 밖으로"잘 작동합니다.

그런 다음 설치된 Cygwin Shell을 열고 저장소를 복제하고 "Linux"섹션에서 설치 지침을 사용하십시오.

선택 사항 : 파이썬 스크립트 및 테스트 스위트

OCAML 바이너리를 감싸고 확장 서식 지원 및 Python 플러그인 실행과 같은 추가 옵션을 제공하는 편리한 Checker.py 스크립트도 있습니다. 테스트 스위트는 또한 파이썬으로 작성되었으며 일부 추가 패키지가있는 Python 통역사가 필요합니다.

가상 환경에서 Python 3을 얻고 종속성을 설치하십시오.

virtualenv venv --python=/usr/bin/python3
source venv/bin/activate
pip3 install -r requirements.txt
pip3 install -r requirements-dev.txt

그런 다음 단위 테스트를 실행합니다.

make test 

사용 예제

구조화 된 텍스트로 작성된 일부 데모 프로그램을 확인하십시오.

 bin/iec_checker test/st/*.st

--help 헬프 인수를 사용하여 도움말을 표시 할 수도 있습니다.