Create artifacts needed to complete the certification process for industry standards. TÜV SÜD certified for the highest function safety levels of IEC 61508 and ISO 26262. Supports DO-178C qualification.
Prevent Unintended Software Behavior
Identify all code sections that cannot be reached via any execution path and errors in logic and program structure.
Analyze Global Variable Usage
Reduce time spent on debugging issues from read/write operations on global variables. Identify unprotected shared and unused variables.
Static Application Security Testing
Prove the absence of critical security vulnerabilities such as buffer overflows, memory access, and numerical overflows. Reduce the need for Fuzz testing by analyzing code under all code paths and input without code execution.
Formally track and verify the impact of a specified global or local variable on other variables or specific statements. Perform signal analysis to fulfill requirements from the CARB for OBD related software, prove freedom from interference in the context of ISO 26262, and analyze calibration parameters effect. In the context of software security, perform taint analysis and tracking sensitive data flow.