When using Polyspace to check code for CERT-C , some CERT-C Recommendations will not be checked.

When using Polyspace to check code for CERT-C compliance, some CERT-C recommendations will not be checked.

For example：

EXP03-C

INT15-C

INT17-C

ARR00-C

STR08-C

MEM07-C

MEM10-C

ENV03-C

SIG00-C

SIG02-C

API01-C

API02-C

API05-C

POS01-C

POS02-C

WIN01-C

WIN02-C

WIN03-C

WIN04-C

The Severity of these recommendations is High, but polyspace can't check these. Is it possible that this could cause a vulnerability in the code? Or are these recommendations detected by other items in polysapce, such as defect in the BUG FINDER result?