Esta página es para la versión anterior. La página correspondiente en inglés ha sido eliminada en la versión actual.

Ejecutar Polyspace as You Code en Eclipse y revisar resultados

R2025b

Configure el plugin de Polyspace^® as You Code en Eclipse™, ejecute un análisis y consulte los resultados

En Eclipse, con el plugin de Polyspace as You Code, puede ejecutar un análisis de un solo archivo al guardar el archivo o de forma explícita. El análisis comprueba el archivo activo en busca de defectos (bugs), infracciones de los estándares de codificación y otros problemas. Los resultados del análisis aparecen como marcadores de código fuente y en una lista independiente.

Temas

Introducción a Polyspace as You Code en Eclipse

Uso

Run Polyspace as You Code in Eclipse and Review Results (Polyspace as You Code)
View Polyspace results as source code markers or in a list in Eclipse IDE, fix issues, or justify results.
Annotate Code and Hide Known or Acceptable Results

Look up the Polyspace code annotation syntax for justifying known issues.
- Short Names of Bug Finder Defect Groups and Defect Checkers

Instalación y configuración

Install Polyspace as You Code (Polyspace as You Code)

Install Polyspace as You Code™ analysis engine.
- Eclipse: Install Polyspace as You Code Plugin (Polyspace as You Code)
Eclipse: Configure Polyspace as You Code Plugin (Polyspace as You Code)

Set Polyspace as You Code plugin settings in Eclipse such as analysis launch mode and build configuration.
- Options Files for Polyspace Analysis
- Troubleshoot Failed Analysis or Unexpected Results in Polyspace as You Code (Polyspace as You Code)
Eclipse: Generate Build Options for Polyspace as You Code (Polyspace as You Code)
Extract build configuration information from project, build command, or JSON compilation database.
Eclipse: Configure Checkers and Coding Rules in Polyspace as You Code (Polyspace as You Code)

Create, modify, or import selection of Polyspace defect checkers and coding rule violations in Eclipse.
- Analysis Scope of Polyspace as You Code (Polyspace as You Code)
Eclipse: Configure Baseline Results in Polyspace as You Code (Polyspace as You Code)
Create a result baseline in Eclipse to help focus Polyspace as You Code review on new Polyspace results and compare against the baseline results.