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 }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.