Polyspace Bug Finder Server™es un motor de análisis estático que identiica class de bugs frecuentes en C y c++， como error en timempo de ejecución, problem de simultaneous idad y otros defect tos de codificación。Polyspace Bug Finder Server también comprueba si el código fuente cumple las reglas de codificación (MISRA C .^®， MISRA c++， JSF++)， las reglas de seguridad (CWE, CERT^®C, CERT c++， ISO/ iec17961)。

Con Polyspace Bug查找服务器，puede监管métricas de código，故事como complejidad ciclomática y métricas de HIS en los niveles de proyeecto, archivo y función。Puede configuration el servidor para公用设施和diversos汇编，procesadores de destino和entornos RTOS, y automatizar la ejecución con sistemas de integración contínua公用设施和herramientas tales como Jenkins^®．Los resultados del análisis del código se pueden publicar en Polyspace Access™para su clasificación y resolución。

El soporte para estándares de la industria está disponible a través de IEC认证套件(适用于IEC 61508和ISO 26262) y DO资质套件(适用于DO-178)。