What's New for Polyspace Products in R2010a

Marc Lalo, MathWorks

In this webinar we demonstrate new features in Polyspace R2010a. In particular, we’ll go over the following features:

  • Enhanced reviewing of results with user comments in source code
  • Support for a subset of MISRA® C++ coding rules (167 of 183 statically enforceable rules)
  • Enhanced ToolTips in the Viewer that display pointer information, in addition to data ranges

About the Presenter: Marc Lalo is the product manager of Polyspace products. He has working in the embedded software verification and safety standards for more than 10 years.

Product Focus

  • Polyspace Bug Finder

Recorded: 20 May 2010