Intel은 소스 코드의 이상 징후를 탐지하는 도구인 ControlFlag 1.2를 출시했습니다.

Intel은 대량의 기존 코드에 대해 훈련된 기계 학습 시스템을 사용하여 소스 코드의 오류와 이상을 식별할 수 있는 툴킷인 ControlFlag 1.2의 릴리스를 발표했습니다. 기존 정적 분석기와 달리 ControlFlag는 가능한 모든 옵션을 제공하기 어려운 기성 규칙을 적용하지 않지만 수많은 기존 프로젝트에서 다양한 언어 구성 사용에 대한 통계를 기반으로 합니다. ControlFlag 코드는 C++로 작성되었으며 MIT 라이선스에 따라 오픈 소스로 제공됩니다.

새 릴리스는 C++ 언어의 공통 코드 패턴을 기반으로 이상 징후 감지 및 학습을 완벽하게 지원한다는 점에서 주목할 만합니다. 이전 버전에서는 C 및 PHP 언어에 대해 유사한 지원이 제공되었습니다. 이 시스템은 오타 및 유형 불일치 식별부터 if 문의 변칙 식별 및 포인터의 NULL 검사 누락 식별에 이르기까지 코드의 다양한 유형의 문제를 식별하는 데 적합합니다. 이 시스템은 GitHub 및 유사한 공개 저장소에 게시된 C, C++ 및 PHP로 오픈 소스 프로젝트의 기존 코드 배열에 대한 통계 모델을 구축하여 교육됩니다.

훈련 단계에서 시스템은 코드의 구조를 구성하기 위한 일반적인 패턴을 결정하고 프로그램의 코드 실행 흐름을 반영하여 이러한 패턴 간의 연결에 대한 구문 트리를 구축합니다. 그 결과, 분석된 모든 소스 코드의 개발 경험을 결합한 참조 의사결정 트리가 형성됩니다. 검토 중인 코드는 참조 결정 트리와 비교하여 확인되는 패턴을 식별하는 유사한 프로세스를 거칩니다. 인접한 가지와의 큰 불일치는 확인 중인 패턴에 이상이 있음을 나타냅니다.

출처 : opennet.ru