|
|
|
|
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.
|
 |
 |
 |
 |
|
|
|
|