(V Model) Static and dynamic tools that support everything from code verification to system testing (no Compile Step) Works on static/dynamic analysis without the compiler build step (no False Positive) Advanced Inter-procedural Path Analysis(cross function) based on the feasible path (no Rule Option) All detection of reliability, safety, security, and code metrics (Code Metrics) MISRA Software/HIS Source Code Metrics, ISO 9126 Quality Metrics (Fully Test Methods) Integrated support from unit to system (acceptance) tests (Certification) ISO 26262, IEC 61508, EN 50128, CWE Compatibility

	C, C++ Firmware System Test  C/C++ Firmware System Test is an embedded testing tool that can verify embedded software in the target of MCU (Micro Controller Unit) firmware software. Unlike traditional test tools that only test embedded software in the host development environment, this is the optimal test tool to perform embedded integration testing in MCU processor combining software and hardware. The MCU is used in an expanded role from a controller for simple signal control to the role of the brain of a small terminal.
	C, C++, C# Static Analysis Tool C, C++ and C# Static Analysis Tool analyze the source code only without the compiler build step and verifies it with advanced inter-procedural path analysis(feasible path, call, return) to check Reliability(coding guide), Safety(run-time error), Security(security vulnerability), and Code Metrics(code complexity).
	C/C++/C# White-box Path/GUI Testing Tool  The RESORT automated white-box path testing automatically extracts 100% of the domain and test data from each feasible path generated based on data-flow analysis and supports automated software testing.
	C, C++, C# Reverse Engineering/SW Metrics Tool C, C++, and C# Reverse Engineering/SW Metrics Tool analyzes architecture hierarchy and measures quality metrics for C, C++ and C# programs.

If you cannot MEASURE it, you cannot IMPROVE it