Análisis de Bug Finder con scripts de Windows o Linux
.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
a la variable de entorno polyspaceroot
\polyspace\binPath
en el sistema operativo. En este caso,
es la carpeta de instalación de Polyspace; por ejemplo, polyspaceroot
C:\Program Files\Polyspace\R2025a
. 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 project from your build system at the DOS or UNIX command line |
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 Analysis Configuration from Build Command (Makefile)
Reuse build commands (makefiles) to configure the Polyspace analysis.
- Configure Polyspace Analysis Options in User Interface and Generate Scripts
Generate scripts for automated runs from projects configured in the user interface of the Polyspace desktop products.