Análisis de Bug Finder con scripts de Windows o Linux
Compruebe código C/C++ en busca de defectos utilizando archivos por lotes (
.bat) o scripts de shell (.sh)Utilice scripts de Windows® o Linux® para configurar y ejecutar un análisis de Polyspace®. Obtenga más información sobre los comandos de sistema disponibles y sobre cómo utilizar estos comandos para ejecutar Polyspace desde la línea de comandos.
Para evitar tener que escribir la ruta completa a los comandos, añada la ruta polyspaceroot\polyspace\binPath en el sistema operativo. En este caso, polyspacerootC:\Program Files\Polyspace\R2025b. Consulte también Install Polyspace Desktop Products.
Comandos del sistema
polyspace-bug-finder | (System Command) Run a Bug Finder analysis on Windows, Linux, or other command line |
polyspace-comments-import | (System Command) Import review information from previous Polyspace analysis |
polyspace-configure | (System Command) Create Polyspace Platform project, workspace, or options file from build command or compilation database |
polyspace-report-generator | (System Command) Generate reports from Polyspace analysis results stored locally or on Polyspace Access |
polyspace-results-export | (System Command) Export Polyspace results to external formats such as CSV or JSON |
Temas
- Run Polyspace Analysis from Command Line
Check C/C++ code with Bug Finder or Code Prover using batch files (
.bat) or shell scripts (.sh). - Create Polyspace Platform Projects from Builds That Use Makefiles
Reuse build information in makefiles for Polyspace analysis and testing.
