|
|
|
 |
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).
The MISRA-C/C++ is a software development standard for the C/C++ programming language developed by MISRA (Motor Industry Software Reliability Association). The MISRA-C/C++ has been widely used to improve reliability and stability of embedded systems.
Recently, automotive embedded software such as autonomous and shared services to be installed in future automobiles require the software dependability for electric vehicles to be covered reliability and security. Therefore, the required information security service (confidentiality, integrity, availability, authentication) in automotive embedded software is required essential in the coding stage.
|
 |
 Safety & Security Standards
Coding Guide: MISRA-C/C++, AUTOSAR C++, JPL-C, JSF++, MS C# Coding Convention
Run-time error: CWE-658(C: 83 Rules), CWE-659(C++: 87 Rules)
Security Vulnerability: CWE, OWASP, CERT(C, C++)
Automotive Embedded C Code: MISRA-C, Run-time Error, Code Metrics
Automotive Embedded C++ Code: MISRA-C++, Run-time Error, AUTOSAR C++14, Code Metrics
Automotive Embedded C, C++ Security: CERT(C,C++), CWE
(Other Code Assurance) Code Metrics, SQL, etc.
(Inter-procedural Data Analysis) No need to set Rules Option
Main Features
(C++ Language Standard) C++11, C++14, C++17, C++20
(No Compile Step) Works on Source Code only without Building(compile) Step
(2nd Code Analysis) SQL etc.
(Rule Name) One-Guide to One-Rule to avoid Duplicate Defect Detection
(Exception Code Process) Automatic Management of Exception Codes
(SDLC Chain) Interworking with Software Configuration management
(Plug-in) Eclipse, Visual Studio, Jenkins, etc.
SW Safety Requirements Compliance
ISO 26262(Automotive), DO 178(Aerospace), IEC 61508(Industrial), EN 50128(Railway), IEC 62304(Medical), etc.
|
|
|
|
|
|
|
 |
Head Office: 3F, KAITS, 34, Seoun-ro 1-gil, Seocho-gu, Seoul 06732, KOREA
Tel +82-2-553-9464
Copyright¨Ï2016 Soft4Soft, All rights reserved. Designed by Meettech.
|
 |
 |
 |
 |
|
|
| ||
|
