이 페이지의 내용은 이전 릴리스에 관한 것입니다. 해당 영문 페이지는 최신 릴리스에서 제거되었습니다.
Polyspace Bug Finder Configuration Examples
Integrate Polyspace® into development workflows, customize Polyspace analysis
Setup Polyspace according to your development workflow. For instance, you might want to :
Integrate Polyspace into your workflow. In a pre-submit workflow, run Polyspace on save in your IDE. In a post submission workflow, run Polyspace after submission in a continuous integration system like Jenkins®.
Extend the default set of checkers or provide more information about your code for more accurate analysis results.
These examples show specific ways you can incorporate automated Polyspace runs into your development workflows or customize the default Polyspace analysis.
도움말 항목
Integrate Polyspace into Development Workflows
- Sample Jenkins Pipeline Scripts for Polyspace Analysis
Schedule Polyspace analysis as part of a Jenkins Pipeline. - Create Polyspace Analysis Configuration from Build Command (Makefile)
Reuse build commands (makefiles) to configure the Polyspace analysis. - Modularize Polyspace Analysis by Using Build Command
Create a separate Polyspace options file for each binary in build command. - 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. - Generate MATLAB Scripts from Polyspace User Interface
Create MATLAB® program files for automated runs from a project configured in the Polyspace user interface. - Configure Advanced Polyspace Options for Code Generated Using MATLAB Coder
Configure advanced Polyspace analysis options such as code metric calculations or compiler options.
Extend Polyspace Analysis
- Flag Deprecated or Unsafe Functions, Keywords, or Macros Using Bug Finder Checkers
Create a blocklist of functions, keywords and macros, and check for use of items from the list. - Extend Bug Finder Checkers for Standard Library Functions to Custom Libraries
Map custom library functions to equivalent Standard Library functions so that domain errors and other issues can be detected. - Extend Bug Finder Checkers to Find Defects from Specific System Input Values
Check for system input values that can lead to defects.
