Community Profile

photo

Andreas Memmel


Active since 2018

Followers: 0   Following: 0

Statistics

Feeds

View by

Question


Where can I find a detailed list of the differences between Bug Finder and Code Prover?
Using Polyspace R2017b a Code Prover analysis generated warnings like this: _Warning: MISRA C:2012 checker: the rule 22.6 ha...

6 years ago | 1 answer | 1

1

answer