정적코드 분석의 정의

소프트웨어의 Build Time 이전에 예측되는 오류들을 검증할 수 있는 제품입니다.
오류를 미리 예방함으로써 내재한 문제를 해결하여 유지보수 비용을 절감하실 수 있습니다.

정적코드분석의 특징

>  QA 계획에 소스코드 오류/표준화 검증 가능

>  Active Table에 대한 압축 지원 기술

A-max 구성도

A-max는 A-max S.A와 A-max R.C로 구분하여 도와드리고 있습니다.

A-max S.A

A-max R.C

특징


모듈을 포함하여 통합적인 분석

중앙 집중적, Historical한 에러 관리

실시간 분석/자동화 배치 분석 기능 지원

기존의 형상 관리/기타 관리 솔루션과 연계 가능

기능


자원의 누수 검사(Memory, File, Database, Cursor, etc.)

Unreachable code 사용 검사

미들웨어 API 사용 시의 TP/XA 모드 검사

Embedded SQL 사용 시의 트랜잭션 사용 검사

사용된 SQL 문장에 대한 메타데이터 보고

모듈별 in-Depth Analysis 지원

기대효과


개발 표준 분석을 통한 전체 코드의 일관성 유지

사전 위험 요소 제거를 통한 정제된 소스 코드의 관리

코드 검사에 대한 시간 절감을 통한 개발 속도 향상

중앙 집중식, 통합된 소스 관리를 통한 일관화된 현황 분석

소스코드의 통합적인 분석을 통한 품질 향상/유지 관리 용이

지원환경


OS(HP-UX, AIX, Solaris, Linux, Windows)

Compiler(GCC, aCC, xic, Sun cc)

Database(Oracle Pro*C, Informix ESQL/C)

Middleware(Tuxedo ATMI in C, Tmax XATMI & TX in C)

특징


개발자나 관리자 모두를 위한 솔루션

소스 코드만으로 분석

모듈을 포함하여 통합적인 분석

중앙 집중적, Historical한 에러 관리

실시간 분석/자동화 배치 분석 기능 지원

기존의 형상 관리/기타 관리 솔루션과 연계 가능

기능


금지 함수의 사용 여부 검사

파일명/함수명의 명명 규칙 준수 여부 검사

매크로/구조체 선언 시의 명명 규칙 준수 여부 검사

사용자가 정의한 코딩 표준에 대한 검사 지원

경고 레벨/수준에 대한 사용자 정의 지원

지원환경


OS(HP-UX, AIX, Solaris, Linux, Windows)

Compiler(GCC, aCC, xic, Sun cc)

Database(Oracle Pro*C, Informix ESQL/C)

Middleware(Tuxedo ATMI in C, Tmax XATMI & TX in C)

Contact Us

궁금하신 사항이 있으시면 문의하기를 이용해주세요.
해당 담당자가 자세하게 안내해드리겠습니다.