Polyspace R2021a High Quality Instant

: Users can define and share custom filter groups, allowing organizations to focus on the specific findings most relevant to their internal safety or security standards.

: Polyspace Code Prover™ now runs faster and provides more precise results for code using the AUTOSAR RTE API . A new -library option allows for "smart stubs" that target AUTOSAR-specific checks without the overhead of checking the entire library implementation. polyspace r2021a

: The web interface now includes a filter to view findings from a baseline run that have been fixed in the current run, providing clear evidence of progress during remediation. : Users can define and share custom filter