Additional tools such as lint and IBM Rational Purify can also be used to achieve a higher level of strictness.
Додатне алатке као што су lint и IBM Rational Purify се могу такође користити за постизање високог нивоа ограничења.