Polyspace Bug Finder run-time hataları, veri akışındaki problemleri, C ve C++ gömülü yazılımlarının diğer kusurlarını tespit eder. Statik analiz kullanarak, yazılım denetimini, veri akışını ve prosedürler arası davranışları analiz eder. MISRA-C, MISRA-C++, JSF++ ve özel adlandırma kuralları gibi kodlama kural standartlarına uygun denetim yapar ve içerisinde yazılım hatalarını ve cyclomatic karmaşıklık gibi kod nitelik ölçevini barındıran bir rapor oluşturur. Ayrıca, ICE Certification Kit (IEC 61508 ve ISO 26262), DO Qualification Kit ( DO-178) endüstri standartlarını ve Ada dilini desteklemektedir.
