Hi,
Polyspace Code Prover is primarily used to check for runtime errors like division by zero, array indices going out of bounds, etc. You can also use it to check for unreachable code segments in your code which will be highlighted in grey. You can check the details of the color-coding scheme used by Polyspace over here:
You can make use of Simulink Coverage (link below) for the kind of code coverages you are looking for.
