JSF C++ Rules

Description and list of JSF^® C++ guidelines supported in Polyspace^®

Polyspace Bug Finder can check your code against the JSF C++ coding standard. Use the Check JSF AV C++ rules (-jsf-coding-rules) analysis option to activate subsets of the rules in Bug Finder. For a list of supported rules in Bug Finder, See JSF C++ Rules.

Note

Code Prover no longer supports checking compliance with external coding standards and calculating code metrics. Migrate to Bug Finder for these workflows. See Migrate Code Prover Workflows for Checking Coding Standards and Code Metrics to Bug Finder.

Topics

Justify Coding Rule Violations Using Code Prover Checks
Use green runtime checks in Code Prover to allow exceptions for coding rule violations.
Migrate Code Prover Workflows for Checking Coding Standards and Code Metrics to Bug Finder
Use Bug Finder instead of Code Prover to check compliance with various coding standards, naming conventions, and code complexity standards. Calculate code metrics by using Bug Finder.