Enterprise-Scale Software Verification for C/C++ Code

Polyspace^® products help you statically verify embedded software written in C and C++. They can find bugs and prove the absence of overflow, divide-by-zero, out-of-bounds, array access, and other run-time errors including checking C/C++ coding standards for MISRA^® and AUTOSAR. Recent developments in Polyspace products help development teams improve software quality, safety, and security across their enterprise. Analysis execution is automated using continuous integration tools such as Jenkins™. Results can be published for web browser-based code review to triage and resolve coding errors. Integration with defect tracking tools like Jira help manage identified defects. Dashboards display information that development managers can use to monitor software quality, project status, number of defects, and code metrics.