코드 점검/검증부터 시스템 테스트까지 지원하는 정적/동적 통합 도구 (no False Positive) 실행 경로 기반 자료 흐름 분석으로 코드 결함 점검/검증 (no Rule Option) 함수 간 Cross Function의 올바른 실행 순서로 정확한 자료 흐름 분석 지원 언어 (Procedural Language) C (OO Language) C++, C#, Java (Web Language) JavaScript, JSP, Flex (Big Data Language) Python, R (Mobile Language) iOS(Objective-C, Swift), Android(Android-Java, Kotlin) (SAP Language) ABAP 국내외 인증 ISO 26262, IEC 61508, EN 50128, ISO 9001 인증 CWE Compatibility (보안 적합성 인증) GS(1등급), NEP(신제품 인증서), 우수제품지정증서 MISRA C, MISRA C++ Copyright License 협약 (MIRA LIMITED) ABAP 국내외 특허 등록: 한국, 미국, 호주, 일본, 중국 코드 점검 표준 준수 코딩 가이드 점검   - (방사청 무기체계 SW 정적 시험) C, C++, C#, Java 코딩 코딩 가이드   - (ISO 26262) MISRA C, MISRA C++, AUTOSAR C++   - (DO 178B) JPL C & Java, BSSC Java, JSF++   - (IEC 62304) HealthCare C++, (ISO 61508/62279) Railway C   - (Oracle) Java Code Conventions, (Microsoft) C# Code Conventions Run-time Error 점검   - CWE-658(for C), CWE-659(for C++), CWE-660(for Java)   - 차량용 임베디드 Run-time Error 점검(for C, C++) 보안 취약점 점검   - (방사청 무기체계 SW 정적 시험) C, C++, C#, Java 취약점 및 보안약점   - CWE(v 4.13), OWASP(2021), CERT(C, C++, Java)   - 행안부 소프트웨어 개발보안 가이드(2021): C, C++, Java   - 행안부 모바일 보안 취약점 점검 가이드(2021): iOS, Android   - 금융회사 IT부문 취약점: C, C++, Java, iOS, Android   - 전자금융감독규정: C, C++, Java   - 국정원 취약점: C, C++, Java   - 차량용 임베디드 보안 코딩 가이드: C, C++, Java   - SAP ABAP Backdoor 코드 품질 측정/평가   - (방사청 무기체계 SW 정적 시험) 소스코드 메트릭   - (차량용 임베디드 코드 품질 평가) MISRA Software Metrics, HIS Source Code Metrics

	C, C++, C# 정적분석도구 - 산업별 표준 지원 C, C++, C# 정적분석도구는 컴파일러 빌드 과정 없이 최상위 코드 결함 검증 기술인 Inter-procedural Path Analysis로 코드 결함과 보안 허점을 점검/검증하여 코드의 신뢰성(reliability), 안전성(safety), 보안성(security), 코드 품질(code metrics)을 모두 점검하는 통합 정적분석도구입니다.
	Java(JSP)정적분석도구 - 산업별 표준 지원 Java(JSP) 정적분석도구는 컴파일러 빌드 과정 없이 최상위 코드 결함 검증 기술인 Inter-procedural Path Analysis로 코드 결함과 보안 허점을 점검/검증하여 코드의 신뢰성(reliability), 안전성(safety), 보안성(security), 코드 품질(code metrics)을 모두 점검하는 통합 정적분석도구입니다.
	ABAP 정적분석도구 – SAP 가이드 표준 지원 SAP ABAP의 정적분석도구는 컴파일 과정 없이 원시 소스코드를 분석하고, Inter-procedural Analysis 기술 기반으로 SAP의 신뢰성(코딩 표준), 안전성(Run-time Error), 보안성(보안 취약점)의 표준들을 통합점검하는 정적분석도구입니다.