Polyspace
Polyspaceはソースコードを調べて算術オーバーフロー、バッファオーバーラン、ゼロ除算などの潜在的なランタイムエラーが発生する可能性のある場所を特定する。ソフトウェア開発者と品質保証マネージャーは、この情報を使用して、コードのどの部分に欠陥があるか、または信頼できることが証明されているかを特定する。コードの他の部分は、証明されていないチェック用にマークされており、個別にレビューするべきである。
MISRA Cなどのコード標準またはコーディング規約はコードの品質、移植性、および信頼性に取り組もうとする。この製品はC言語およびC++のソースコードがこれらのコード標準のルールの一部に適合しているかどうかをチェックする。