Vaishnavi H.R., MathWorks
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.
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .Select web site
You can also select a web site from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.