Polyspace Bug Finder: Обнаружение дефектов программного обеспечения

Рассматривается вопрос качества кода в части дефектов программного обеспечения. Демонстрируется, как Polyspace Bug Finder позволяет обнаруживать и классифицировать дефекты