Entrées et stubbing

Spécifier des plages pour les variables et fonctions globales

Pour spécifier des contraintes sur les plages de certaines variables provenant de sources externes ou pour supprimer les défauts et les infractions aux règles de codage de certains fichiers, utilisez les options Entrées et stubbing.

Options Polyspace

développer tout

Constraint setup (-data-range-specifications)Constrain global variables, function inputs and return values of stubbed functions
Functions to stub (-functions-to-stub)Specify functions to stub during analysis
Libraries used (-library)Specify libraries that you use in your program (depuis R2021a)
Generate results for sources and (-generate-results-for)Specify files on which you want analysis results
Do not generate results for (-do-not-generate-results-for)Specify files on which you do not want analysis results
-classificationControl precisely which files to include in Polyspace analysis and how to analyze them (depuis R2023a)

Rubriques