(Tool) RESORT for C, RESORT for C++, RESORT for C#   (No False Positive) Inter-procedural Path Analysis의 최상위 코드 검증   (Fully Code Assurance) 신뢰성(Reliability), 안전성(Safety), 보안성(Security) 모두 점검   (Code Metrics) MISRA Software/HIS Source Code Metrics, ISO 9126 Quality Metrics   (Tool Qualification) IEC 61508, EN 50128, ISO 26262, CWE Compatibility, GS(1등급)

	C, C++, C# 정적분석도구 - 산업별 표준 지원 C, C++, C# 정적분석도구는 컴파일 과정 없이 원시 소스코드를 분석하고, 오탐을 발생하지 않는 Inter-procedural Path Analysis의 최상위 코드 검증으로 신뢰성(코딩 가이드), 안전성(Run-time Error), 보안성(보안 취약점), 코드 매트릭스(코드 복잡도)를 모두 점검하는 통합 정적분석도구입니다.
	경로 테스팅 자동화 도구 (Automated Path Testing) C Path Testing은 실행 경로 기반 각 경로의 테스트 케이스와 테스트 데이터를 자동 추출하여 사용자가 스텁(stub)이나 드라이브(drive)의 테스트 코드 작성 없이 실제 개발 환경과 동일한 테스트 빌드 환경인 빅뱅 기법을 통한 단위 테스트의 코드 커버리지 분석을 빠르게 자동으로 수행할 뿐만 아니라 오류 주입 테스트까지 지원합니다.
	C, C++, C# 역공학/SW Metrics 도구 C, C++, C#의 역공학 도구는 File Graph, Call Graph, Control-flow Graph 등을 생성하고, 또한 SW Metrics 도구는 코드 구조의 특징을 측정하여 소프트웨어 품질 향상/개선을 지원하는 솔루션입니다.

If you cannot MEASURE it, you cannot IMPROVE it