|
|
The RESORT integrated tool provides from static analysis to system testing.
(No False Positive) Code analysis based on data flow analysis and feasible path
(No Rule Option) Correct order of execution of subprograms
Analysis Language
(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
Tool Qualifications
ISO 26262, IEC 61508, EN 50128
CWE Compatibility (C, C++, Java, JS, ABAP)
MISRA-C, MISRA-C++ Copyright License
ABAP Tool Patent (Korea, US, Australia, Japan, China)
Coding Standards Compliance
Coding Guide Standards
-(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
Security Vulnerability Standards
-CWE(v4.11), OWASP(2021), CERT(C, C++, Java)
-Automotive Embedded Security Vulnerability(C, C++, Java)
-SAP ABAP Backdoor
Run-time Error Standards
-CWE-658(for C), CWE-659(for C++), CWE-660(for Java)
-Automotive Embedded Run-time Error(C, C++)
Code Metrics Standards
-MISRA Software Metrics, HIS Source Code Metrics
-ISO 9126 maintainability
|
|
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).
|
|
|
Java Static Analysis Tool
Java Static Analysis Tool analyzes 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).
|
|
|
ABAP Static Analysis Tool - SAP Guide & Security Standards
ABAP Static Analysis Tool is an integrated static analysis that simultaneously checks Reliability(Coding Standard), Safety(Run-time Error) and Security(Security Vulnerability), and code metrics based on inter-procedural path analysis.
|
|
|
|
|
|
|
Head Office: 3F, KAITS, 34, Seoun-ro 1-gil, Seocho-gu, Seoul 06732, KOREA
Tel +82-2-553-9464, info@soft4soft.com
Copyright¨Ï2016 Soft4Soft, All rights reserved. Designed by Meettech.
|
|
|
|
|
|
|
|
|