For embedded system software development
Integrated Solutions
From project management to design and verification for international standards compliance!
Software bug and vulnerability detection solution for binary analysis
CodeSonar for Binary
Identifies run-time errors and security vulnerabilities across both source code and binary executables for comprehensive software assurance.
CodeSonar for Binary is a static analysis solution that analyzes binary files to detect vulnerabilities that may be missed at the source code level.
CodeSonar for Binary supports the identification of functional and security vulnerabilities in binary artifacts such as supplier-delivered binaries, third-party code, and external libraries.
Key Features
1
Deep Flow Analysis
Performs exhaustive analysis of all possible execution paths using abstract interpretation
Analyzes external libraries and standard libraries included in the code
Detects defects that may occur during actual runtime
Analyzes external libraries and standard libraries included in the code
Detects defects that may occur during actual runtime
2
Intel & ARM Native Binary and Library Security Analysis
Supports analysis of native binaries for Intel and ARM architectures
Detects defects and security vulnerabilities in third-party binaries and libraries
Identifies security issues caused by misuse of custom library functions
Detects defects and security vulnerabilities in third-party binaries and libraries
Identifies security issues caused by misuse of custom library functions
3
Comprehensive Compliance with Industry and International Standards
Supports coding and security standards including MISRA, AUTOSAR, JSF++, CWE, and CERT
Supports international functional safety standards such as IEC 61508, ISO 26262, and EN 50128
Provides required artifacts for DO-178 and DO-330 compliance
Supports international functional safety standards such as IEC 61508, ISO 26262, and EN 50128
Provides required artifacts for DO-178 and DO-330 compliance
4
Actionable Insights for Efficient Defect Resolution
Enables prioritization of reviews based on defect severity and remediation complexity
Provides clear insights into root causes and related code to guide effective fixes
Provides clear insights into root causes and related code to guide effective fixes
Key Capabilities
1
Accurate and In-Depth Analysis
Performs whole-program analysis for both small embedded codebases and large-scale projects such as Android and Yocto
Detects critical defects including static memory errors, resource mismanagement, and concurrency issues using abstract interpretation, control flow, and data flow analysis
Detects critical defects including static memory errors, resource mismanagement, and concurrency issues using abstract interpretation, control flow, and data flow analysis
2
Fast and Efficient Review
Traces execution paths leading to defects, allowing reviewers to focus only on the code relevant to issue resolution
Provides instant visibility into definitions and read/write histories of identifiers (variables, functions, macros) via mouse-over inspection
Provides instant visibility into definitions and read/write histories of identifiers (variables, functions, macros) via mouse-over inspection
3
Collaboration-Centric Unified Management
Supports seamless collaboration among stakeholders through a web-based centralized management system
Enables role-based project management and assignment of defect ownership
Enables role-based project management and assignment of defect ownership
4
Flexible Customization
Offers custom rule sets and reports tailored to industry-specific requirements
Allows exclusion of non-target files from analysis through advanced filtering
Allows exclusion of non-target files from analysis through advanced filtering
5
Plug-ins for Automated Static Analysis Pipelines
Integrates with a wide range of CI tools and supports GitLab SAST reports
Manages detected defects as tickets through Jira plug-in integration
Manages detected defects as tickets through Jira plug-in integration
6
Software Architecture Visualization
Visualizes function call paths in a tree structure to clearly identify caller–callee relationships
Enables intuitive tracking of defect propagation paths by showing how selected functions are executed within overall program flows
Enables intuitive tracking of defect propagation paths by showing how selected functions are executed within overall program flows
Industries
Use Cases
1
Aerospace & Defense
Static analysis is performed on binary files when source code is unavailable to identify potential defects and security vulnerabilities before execution. This enables early validation of system stability and reliability, while effectively identifying and mitigating risks that could lead to cyber attacks.
Key Clients
Aerospace & Defense
Share MDS Intelligence content on your SNS!
MDS Intelligence Contact
Contact Us Directly
An MDS Intelligence specialist will assist you accurately and promptly.
codesonar@mdsit.co.kr
Inquire About CodeSonar for Binary
