Subnavigation
결함 분석
소스 코드에서 런타임 오류 확인
Axivion 정적 코드 분석의 결함 분석은 소스 코드에 잠재적인 런타임 오류가 있는지 확인합니다. 확장 가능한 데이터 및 제어 흐름 검사가 분석에 포함됩니다. 이를 통해 아웃 오브 바운드 액세스 또는 0으로 나누기 오류를 조기에 감지할 수 있습니다.
메모리와 포인터
- NULL 역참조
- 지역 변수 주소 탈출
- 메모리 누수(delete/free 함수를 활용하지 않고 new/malloc 해제)
- 일치하지 않는 리소스 할당/릴리스
- 읽기/쓰기에 동시 사용되는 리소스
- 리소스에서 금지된 작업
- 더블 프리/UAF(use after free)
- 관련 없는 포인터의 비교/차감
- 아웃 오브 바운즈 배열 액세스
- 버퍼 오버플로
- 부작용
- 오염된 분석
- 레이스 조건 분석
예외
- 스택 풀기 중 예외
- 예외 사양 위반
- 감지되지 않은 예외
- 데드 캐치 블록
숫자 오류
- 0으로 나누기
- 산술 연산 중 오버플로
- 열거형 변수에 잘못된 값 할당
논리 오류 및 사용자 지정 규칙
- 금지된 인수 값
- 초기화되지 않은 변수
- 사용되지 않는 정의
- 일정한 조건
