La traduzione di questa pagina non è aggiornata. Fai clic qui per vedere l'ultima versione in inglese.

Analisi Bug Finder nell'interfaccia utente di Polyspace Platform

Controllare il codice C/C++ per individuare eventuali difetti nell'interfaccia utente di Polyspace^® Platform

Polyspace Platform è un ambiente integrato che supporta l'analisi statica e il test dinamico del codice C/C++ con i prodotti di Polyspace. Nell'interfaccia utente di Polyspace Platform, è possibile creare un progetto, aggiungere file sorgente, configurare i checker ed eseguire un'analisi Bug Finder.

Opzioni Polyspace

espandi tutto

Progetto

Informazioni di base

`Nome`	See name of Polyspace Platform project (Da R2024a)
`Autore`	Specify author name for Polyspace Platform project (Da R2024a)
`Creato`	See date and time when Polyspace Platform project was created (Da R2024a)
`Ultima modifica`	See date and time when Polyspace Platform project was last modified (Da R2024a)
`Codifica codice sorgente (-sources-encoding)`	Specify the encoding of source files

File sorgente e cartelle include

`Cartelle sorgente dell'applicazione`	Add source folders to Polyspace Platform project (Da R2024a)
`File sorgente dell'applicazione`	Add source files to Polyspace Platform project (Da R2024a)
`Percorsi include`	Specify paths to folders containing include files (Da R2023b)

Inclusioni ed esclusioni del file

`Includere i pattern del nome del file`	Specify patterns for file names to be included in Polyspace Platform project (Da R2024a)
`Percorsi exclude`	Specify folders or files to be excluded from static analysis or testing (Da R2024a)

Variabili di ambiente

Variabili di progetto Define environment variables for use as shorthands in Polyspace Platform project (Da R2024a)

Build

Target e compiler

`Linguaggio del codice sorgente (-lang)`	Specify language of source files
`Versione standard C (-c-version)`	Specify C language standard followed in source code
`Versione standard C++ (-cpp-version)`	Specify C++ language standard followed in source code
`Processore`	Select the processor for the current build configuration
`Toolchain di compilazione (Analisi statica)`	Specify the compiler that you use to build your source code for static analysis
`Arrotondamento per difetto dei risultati della divisione di numeri interi negativi (-div-round-down)`	Specify that your compiler rounds down a negative quotient from dividing two integers (Da R2023b)
`Valore di allineamento del pacchetto (-pack-alignment-value)`	Specify default structure packing alignment for code developed in Visual C++
`Spostamento a destra su numeri interi con segno, come spostamento aritmetico (-logical-signed-right-shift)`	Specify that your compiler implements right shifts on signed integers as arithmetic shifts (Da R2023b)
`Definizioni del preprocessore (-D)`	Replace macros in preprocessed code
`Definizioni del preprocessore disabilitate (-U)`	Undefine macros in preprocessed code
`Include forzati (-include)`	Specify files to be #include-d by every source file. (Da R2023b)
`Ulteriori percorsi include (-I)`	Specify build-specific include paths in addition to project-wide include paths (Da R2024a)

Analisi statica

Impostazioni ambiente

`Arresto dell'analisi se un file non viene compilato (-stop-if-compile-error)`	Specify that a compilation error must stop the analysis
`Comando/script da applicare ai file pre-elaborati (-post-preprocessing-command)`	Specify command or script to run on source files after preprocessing phase of analysis
`Codice dal file system DOS o Windows (-dos)`	Consider that file paths are in MS-DOS style

Input e creazione di stub

`Impostazione dei vincoli (-data-range-specifications)`	Constrain global variables, function inputs and return values of stubbed functions
`Ignorare l'inizializzazione predefinita delle variabili globali (-no-def-init-glob)`	Consider global variables as uninitialized unless explicitly initialized in code
`Funzioni da sostituire con stub (-functions-to-stub)`	Specify functions to stub during analysis
`Librerie utilizzate (-library)`	Specify libraries that you use in your program (Da R2021a)

Multitasking

`Specificare la configurazione multitasking utilizzando il file`	Specify if you want to setup multitasking configuration by using an external file. (Da R2023b)
`File esterno per multitasking`	Specify which supported external file format you want to use to set up your multitasking configuration. (Da R2023b)
`Configurare manualmente il multitasking`	Consider that code is intended for multitasking
`Attività (-entry-points)`	Specify functions that serve as tasks to your multitasking application
`Attività cicliche (-cyclic-tasks)`	Specify functions that represent cyclic tasks
`Interrupt (-interrupts)`	Specify functions that represent nonpreemptable interrupts
`Disabilitazione di tutte gli interrupt (-routine-disable-interrupts -routine-enable-interrupts)`	Specify routines that disable and reenable interrupts.
`Dettagli della sezione critica (-critical-section-begin -critical-section-end)`	Specify functions that begin and end critical sections
`Attività temporaneamente esclusive (-temporal-exclusions-file)`	Specify entry point functions that cannot execute concurrently

Difetti e standard di codifica

`Utilizzare file checker personalizzati`	Specify that checkers must be specified using a checkers activation XML file. (Da R2023b)
`File di attivazione dei checker (-checkers-activation-file)`	Activate a custom combination of defects and coding rules for a Polyspace Bug Finder analysis (Da R2021a)
`Utilizzare i requisiti di codice generati (-misra3-agc-mode)`	Check for violations of MISRA C:2012 rules and directives that apply to generated code
`Utilizzare i requisiti di codice generati (-misra-c-2023-agc-mode)`	Check for violations of MISRA C:2023 rules and directives that apply to generated code (Da R2024a)
`Calcolare le metriche del codice (-code-metrics)`	Compute and display code complexity metrics
`Generare i risultati per le sorgenti e (-generate-results-for)`	Specify files on which you want analysis results
`Non generare risultati per (-do-not-generate-results-for)`	Specify files on which you do not want analysis results

Comportamento dei checker

`Tipi booleani efficaci (-boolean-types)`	Specify data types that coding rule checker must treat as effectively Boolean
`Pragma consentiti (-allowed-pragmas)`	Specify pragma directives that are documented
`Eseguire controlli più rigorosi considerando tutti i valori di input del sistema (-checks-using-system-input-values)`	Enable stricter checks and provide examples of values that lead to detected defect

Generazione di report

`Generare report`	Specify whether to generate a report after the analysis
`Modello di report (Code Prover o Bug Finder)`	Specify template for generating analysis report
`Formato di output (-report-output-format)`	Specify output format of generated report

Impostazioni di calcolo

Limite di tempo per la verifica (-timeout) Specify a time limit on your analysis

Avanzato

`Comando/script da applicare al termine della verifica del codice (-post-analysis-command)`	Specify command or script to be executed after analysis
`Altro`	Specify additional command-line flags for static analysis

Comandi di sistema

`polyspace-project -diff, polyspace-project -merge`	(System Command) Compare and merge Polyspace Platform projects before submission to source control
`polyspace-project -convert-psprj-to-workspace`	(System Command) Convert Polyspace project file to Polyspace Platform workspace file and project files
`polyspace-project -generate-launching-script-for`	(System Command) Generate files needed to run static analysis on a Polyspace Platform project

Argomenti

Come iniziare

Polyspace Platform: A Unified Platform for Static Analysis and Dynamic Testing
Polyspace Platform is an integrated environment for static analysis and testing of C/C++ code with Polyspace products.
Benefits and Limitations of Switching to Polyspace Platform User Interface
Import projects created in older user interface, run tests or static analysis on imported projects.
Run Static Analysis in Polyspace Platform User Interface
Run Polyspace analysis on your desktop in the Polyspace Platform user interface.
Generate Launching Script for a Polyspace Platform Project to Run Static Analysis from the Command Line
Run static analysis on a Polyspace Platform project from the command line.
Open Polyspace Results in Polyspace Platform User Interface
See all the ways you can open Polyspace results.

Creazione e aggiornamento del progetto

Create Project and Add Source Files in Polyspace Platform User Interface

Add source files using your build command or manually.
- Create Projects from Visual Studio in Polyspace Platform User Interface
- Create Separate Polyspace Platform Projects Based on Modularization in Build Command
Update Projects in Polyspace Platform User Interface
Update source files in Polyspace Platform projects.
Manage Related Projects in Polyspace Platform User Interface Using Workspaces
Create workspace from open projects, add projects to workspace, save workspace.
Classify Project Files into File Sets for Precise Control of Polyspace Analysis
Control precisely which files to include in analysis and how to analyze them.

Configurazione del progetto

Configure Project for Static Analysis in Polyspace Platform User Interface
Specify targets and build information to build and run tests.
Polyspace Bug Finder Options in Polyspace Platform User Interface
Look up Polyspace Bug Finder™ static analysis options.
Differences in Configuration Options Between Polyspace Projects and Polyspace Platform Projects
Some options from the older Polyspace user interface have been remapped to different options in the Polyspace Platform user interface.

Controllo delle violazioni degli standard di codifica

Check for and Review Coding Defects and Coding Standard Violations In Polyspace Platform
Check for C/C++ coding defects and violations of coding standards such as AUTOSAR C++14, CERT^® C, CERT C++, CWE, MISRA C™, MISRA™ C++, JSF AV C++, or ISO-17961 standards using the Polyspace platform user interface.
Check for Violations of User-Defined Coding Standard Using Polyspace Bug Finder
Run Bug Finder analyses to check for violations of user-defined coding standards. Review and address results in the Polyspace Platform user interface.
Create User-Defined Coding Standard by Using Polyspace Bug Finder Checkers
Map Bug Finder checkers to coding rules in a user-defined coding standard in a sharable .pschk file.
Find Polyspace Bug Finder Checkers That Map to Coding Rules in User-Defined Coding Standard
Find Bug Finder checkers that can check for the coding rules in your user-defined coding rule standard.

Interfaccia utente di Polyspace Platform

Customize Polyspace Platform User Interface
Customize the default behavior of Polyspace Platform user interface.

Memorizzazione del file

Contents of Polyspace Platform Project Files and Results Folder
Learn about the various files generated from a Polyspace verification.
Storage of Temporary Files During Polyspace Analysis
Learn where Polyspace stores temporary files during an analysis.
Share Polyspace Platform Projects, Workspaces, and Configurations
Share Polyspace Platform projects with other users or submit projects to version control system.