C 코드 오류 식별 도구인 ControlFlag 1.0 출시

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

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

ControlFlag 기능의 예로 개발자는 OpenSSL 및 cURL 프로젝트의 소스 코드를 분석했습니다.

• 비정상적인 구문 “(s1 == NULL) ∧ (s2 == NULL)” 및 “(s1 == NULL) | (s2 == NULL)" , 일반적으로 사용되는 패턴 "(s1 == NULL) || (s2 == NULL)". 또한 이 코드는 "(-2 == rv)"(빼기는 오타임) 및 "BIO_puts(bp, ":") <= 0)"(성공적인 완료를 확인하는 맥락에서) 표현식에서 예외 사항을 식별했습니다. 함수는 "== 0"이어야 합니다).
• cURL에서는 숫자형인 구조요소 “s->keepon”을 사용할 때 정적 분석기에서 감지하지 못했으나 불리언 값 TRUE와 비교하는 오류가 발견되었습니다.

ControlFlag 1.0 버전의 기능 중에는 C 언어에 대한 표준 템플릿을 완벽하게 지원하고 조건부 "if" 표현식에서 이상을 감지하는 기능이 있습니다. 예를 들어, "if (x = 7) y = x;" 코드 조각을 분석할 때 시스템은 "if" 문이 일반적으로 숫자 값을 비교하기 위해 "변수 == 숫자" 구성을 사용한다고 판단하므로 "if" 표현식의 "변수 = 숫자"가 오타로 인해 발생할 가능성이 높습니다. 키트에는 GitHub에서 기존 C 언어 저장소를 다운로드하고 이를 사용하여 모델을 구축할 수 있는 스크립트가 포함되어 있습니다. 즉시 코드 확인을 시작할 수 있는 기성 모델도 제공됩니다.

출처 : opennet.ru