• Developers
    • Developers Price. Buy. Download. Try.
    Subnavigation

    결함 분석

    소스 코드에서 런타임 오류 확인

    Axivion 정적 코드 분석의 결함 분석은 소스 코드에 잠재적인 런타임 오류가 있는지 확인합니다. 확장 가능한 데이터 및 제어 흐름 검사가 분석에 포함됩니다. 이를 통해 아웃 오브 바운드 액세스 또는 0으로 나누기 오류를 조기에 감지할 수 있습니다.

    메모리와 포인터

    • NULL 역참조
    • 지역 변수 주소 탈출
    • 메모리 누수(delete/free 함수를 활용하지 않고 new/malloc 해제)
    • 일치하지 않는 리소스 할당/릴리스
    • 읽기/쓰기에 동시 사용되는 리소스
    • 리소스에서 금지된 작업
    • 더블 프리/UAF(use after free)
    • 관련 없는 포인터의 비교/차감
    • 아웃 오브 바운즈 배열 액세스
    • 버퍼 오버플로
    • 부작용
    • 오염된 분석
    • 레이스 조건 분석

    예외

    • 스택 풀기 중 예외
    • 예외 사양 위반
    • 감지되지 않은 예외
    • 데드 캐치 블록

    숫자 오류

    • 0으로 나누기
    • 산술 연산 중 오버플로
    • 열거형 변수에 잘못된 값 할당

    논리 오류 및 사용자 지정 규칙

    • 금지된 인수 값
    • 초기화되지 않은 변수
    • 사용되지 않는 정의
    • 일정한 조건

    Axivion 정적 코드 분석에서는 실행 시간 오류 '결함'을 중점적으로 살핍니다. 하지만 API 사용과 구문 오류 등도 함께 파악합니다.

    자세한 내용은 문의하세요.

    문의하기

    데모 요청

    문의하기

    브로셔 다운로드

    다운로드

    성공 사례

    더 알아보기

    Axivion 정적 코드 분석

    더 알아보기