|
|
|
 |
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.
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.
|
 |
 Industry Coding Standards Compliance
Coding Guide: MISRA-C(2012, 2023), MISRA-C++(2008, 2023), AUTOSAR C++14, JPL-C, JSF++, MS C# Coding Convention
Run-time Guide(CWE4.17): CWE-658(C: 92 Rules), CWE-659(C++: 92 Rules)
Security Vulnerability: CWE(CWE4.17), OWASP(2021), CERT(C, C++)
(Other Code Assurance) Code Metrics, SQL, etc.
Supported Compilers for C, C++, C#
(C Language Standard) C99, C11, C18
(C++ Language Standard) C++03, C++11, C++14, C++17, C++20
(C# Language Standard) C#5, C#6, C#7, C#7.3
(2nd Code Analysis) SQL
Using Static Analysis
(No Compile Step) Source code analysis without the compile build step
(no False Positive) Source code analysis based on Inter-procedural path analysis
- (defect message) Sentence and location message of the defect's cause
(no Rule Option) No need to set option due to path-based code context analysis
(Rule Design) "One Guide to One Rule"rule design (to prevent duplicate rule)
(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, info@soft4soft.com
Copyright¨Ï2016 Soft4Soft, All rights reserved. Designed by Meettech.
|
 |
 |
 |
 |
|
|
| ||
|
