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

Static Analysis based on Inter-procedural path analysis

  • (No False Positive) Source code analysis through correct path within/between functions
      - Inter-procedural Path Analysis
  • (No Rule Option) No need to set option due to path-based code context analysis & inference
      - Path-Sensitive Analysis, Context-Sensitive Analysis
  • (Rule Design) "One Guide to One Rule" rule design (to prevent duplicate rule)
      - Rule Naming: the original standard name, such as MISRA, CWE

    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 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.17), OWASP(2021), CERT(C, C++, Java)
       - SAP ABAP Backdoor

  • Run-time Standards
       - CWE-658(for C), CWE-659(for C++), CWE-660(for Java)

  • Code Metrics Standards
       - MISRA Software Metrics, HIS Source Code Metrics
       - ISO 9126 maintainability
  • Static Analysis: C, C++, C#

    C, C++ and C# Static Analysis Tools identify defects or vulnerabilities in the code by analyzing the current state of code based on each of the paths generated through the correctness of data-flow analysis according to the correct order of execution of subprograms and functions within the whole program.
    Static Analysis: Java

    Java Static Analysis Tool identifies defects or vulnerabilities in the code by analyzing the current state of code based on each of the paths generated through the correctness of data-flow analysis according to the correct order of execution of subprograms and functions within the whole program.
    Static Analysis - SAP ABAP 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.