Create Coding Standard
R2026bCreate a user-defined coding standard by selecting existing Polyspace®
Bug Finder™ checkers that enforce your project guidelines. Organize
the checkers into rules and sections, then package them into a checkers
activation file (.pschk).
Run polyspace-query-language init to create a project
template, then define your rules and
sections:
catalog ProjectSafety = {
Memory.Memory,
ClassDesign.ClassDesign
}
section Memory = { MEM_1, MEM_2 }
rule MEM_1 = { std.cert_cpp.MEM52_CPP }
rule MEM_2 = { std.misra_c_2012.R21_3 }Functions
polyspace-query-language | (System Command) Create and test user-defined coding standards and user-defined coding rules (Since R2026a) |
Topics
- Create User-Defined Coding Standard from Existing Checkers
Bundle existing Polyspace Bug Finder checkers into a shareable coding standard (
.pschk) file using Polyspace Query Language. - 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.
- 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.
- Best Practices for Creating User-Defined Coding Standards
Organize user-defined coding standards in modular packages for easier maintenance.
- Polyspace Query Language Syntax for Creating User-Defined Coding Standard
Learn the syntax for creating new user defined coding standards.
