Korean : Japanese : Contact : Sitemap
 
Static Analysis  
Unit/Integration/System Test  
Embedded Firmware Test  
Reverse Engineering&FP  
License Type  
Static Analysis

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.