Create Your Own Coding Rules and Coding Standard

Check for issues specific to your code by creating user-defined coding rules and coding standards

Check for issues specific to your codebase by creating user-defined coding rules and coding standards. Use the Polyspace Query Language (PQL) to look for specific issues in your codebase. Detect your issues by mapping to one or more existing Polyspace^® Bug Finder™ defects and coding rules. Alternatively, create a new user-defined coding rule by creating defect checkers that are logical combinations of PQL class predicates.

Define the coding rules and coding standards as PQL code. Translate the code to checkers activation file (.pschk) using the command polyspace-query-language package. Test the validity of the PQL definition by using the command polyspace-query-language test.

Functions

polyspace-query-language (System Command) Create and test user-defined coding standards and user-defined coding rules (Since R2026a)

Classes

expand all

Semantic Types

`ObjectWithPosition`	Represents an object that has a known position (Since R2026a)
`CallSite`	Represents a function call site (Since R2026a)
`Cast`	Represents a cast (Since R2026a)
`Field`	Represent a field in your code (Since R2026a)
`Function`	Represents a function in your code (Since R2026a)
`Macro`	Represents the macros in your code (Since R2026a)
`Namespace`	Represent namespaces in your code (Since R2026a)
`SourceLoc`	Query the cast related information in your code (Since R2026a)
`Type`	Represents the type of a C/C++ object (Since R2026a)
`Variable`	Represents a variable in your code (Since R2026a)

Lang

`Lang.String`	Represents a string (Since R2026a)
`Common`	Represents the common types in Polyspace Query Language (Since R2026a)

Commonly Used Syntax Types

`Node`	Represents A node in the abstract syntax tree of your code (Since R2026a)
`NumberLiteral`	Represents the `number_literal` nodes in the syntax tree of your code (Since R2026a)
`Identifier`	Represents the `identifier` nodes in the syntax tree of your code (Since R2026a)
`ExpressionStatement`	Represents the `expression_statement` nodes in the syntax tree of your code (Since R2026a)
`Comment`	Represents the `comment` nodes in the syntax tree of your code (Since R2026a)
`CallExpression`	Represents the `call_expression` nodes in the syntax tree of your code (Since R2026a)
`Declaration`	Represents the `declaration` nodes in the syntax tree of your code (Since R2026a)
`AssignmentExpression`	Represents the `assignment_expression` nodes in the syntax tree of your code (Since R2026a)
`StringContent`	Represents the `string_content` nodes in the syntax tree of your code (Since R2026a)
`IfStatement`	Represents the `if_statement` nodes in the syntax tree of your code (Since R2026a)
`ParameterDeclaration`	Represents the `parameter_declaration` nodes in the syntax tree of your code (Since R2026a)
`StringLiteral`	Represents the `string_literal` nodes in the syntax tree of your code (Since R2026a)
`BinaryExpression`	Represents the `binary_expression` nodes in the syntax tree of your code (Since R2026a)
`TypeQualifier`	Represents the `type_qualifier` nodes in the syntax tree of your code (Since R2026a)
`FunctionDefinition`	Represents the `function_definition` nodes in the syntax tree of your code (Since R2026a)
`PointerExpression`	Represents the `pointer_expression` nodes in the syntax tree of your code (Since R2026a)
`ReturnStatement`	Represents the `return_statement` nodes in the syntax tree of your code (Since R2026a)
`TypeDescriptor`	Represents the `type_descriptor` nodes in the syntax tree of your code (Since R2026a)
`CaseStatement`	Represents the `case_statement` nodes in the syntax tree of your code (Since R2026a)
`EscapeSequence`	Represents the `escape_sequence` nodes in the syntax tree of your code (Since R2026a)
`Auto`	Represents the `auto` nodes in the syntax tree of your code (Since R2026a)
`CompoundStatement`	Represents the `compound_statement` nodes in the syntax tree of your code (Since R2026a)
`FieldExpression`	Represents the `field_expression` nodes in the syntax tree of your code (Since R2026a)
`BreakStatement`	Represents the `break_statement` nodes in the syntax tree of your code (Since R2026a)
`PreprocInclude`	Represents the `preproc_include` nodes in the syntax tree of your code (Since R2026a)
`CastExpression`	Represents the `cast_expression` nodes in the syntax tree of your code (Since R2026a)
`StorageClassSpecifier`	Represents the `storage_class_specifier` nodes in the syntax tree of your code (Since R2026a)
`True`	Represents the `true` nodes in the syntax tree of your code (Since R2026a)
`False`	Represents the `false` nodes in the syntax tree of your code (Since R2026a)
`QualifiedIdentifier`	Represents the `qualified_identifier` nodes in the syntax tree of your code (Since R2026a)
`PreprocIf`	Represents the `preproc_if` nodes in the syntax tree of your code (Since R2026a)
`InitializerList`	Represents the `initializer_list` nodes in the syntax tree of your code (Since R2026a)
`Character`	Represents the `character` nodes in the syntax tree of your code (Since R2026a)
`ForRangeLoop`	Represents the `for_range_loop` nodes in the syntax tree of your code (Since R2026a)
`ForStatement`	Represents the `for_statement` nodes in the syntax tree of your code (Since R2026a)
`FieldDeclaration`	Represents the `field_declaration` nodes in the syntax tree of your code (Since R2026a)
`TemplateDeclaration`	Represents the `template_declaration` nodes in the syntax tree of your code (Since R2026a)
`FieldIdentifier`	Represents the `field_identifier` nodes in the syntax tree of your code (Since R2026a)
`PreprocIfdef`	Represents the `preproc_ifdef` nodes in the syntax tree of your code (Since R2026a)

Syntax - syntax

`AstNodeProperties`	Represents the abstract syntax tree nodes of your code (Since R2026a)
`BinaryExpressionOperator`	Represents the `binary_expression_operator` nodes in the syntax tree of your code (Since R2026a)
`Character`	Represents the `character` nodes in the syntax tree of your code (Since R2026a)
`CompoundRequirement`	Represents the `compound_requirement` nodes in the syntax tree of your code (Since R2026a)
`EscapeSequence`	Represents the `escape_sequence` nodes in the syntax tree of your code (Since R2026a)
`File`	Represents the `file` nodes in the syntax tree of your code (Since R2026a)
`FunctionDefinition`	Represents the `function_definition` nodes in the syntax tree of your code (Since R2026a)
`Scope`	Represents the `scope` nodes in the syntax tree of your code (Since R2026a)
`SehExceptClause`	Represents the `seh_except_clause` nodes in the syntax tree of your code (Since R2026a)
`SehFinallyClause`	Represents the `seh_finally_clause` nodes in the syntax tree of your code (Since R2026a)
`StringContent`	Represents the `string_content` nodes in the syntax tree of your code (Since R2026a)
`TranslationUnit`	Represents the `translation_unit` nodes in the syntax tree of your code (Since R2026a)
`UnaryExpressionOperator`	Represents the `unary_expression_operator` nodes in the syntax tree of your code (Since R2026a)

Syntax - AbstractDeclarator

`AbstractArrayDeclarator`	Represents the `abstract_array_declarator` nodes in the syntax tree of your code (Since R2026a)
`AbstractFunctionDeclarator`	Represents the `abstract_function_declarator` nodes in the syntax tree of your code (Since R2026a)
`AbstractParenthesizedDeclarator`	Represents the `abstract_parenthesized_declarator` nodes in the syntax tree of your code (Since R2026a)
`AbstractPointerDeclarator`	Represents the `asbtract_pointer_declarator` nodes in the syntax tree of your code (Since R2026a)
`AbstractReferenceDeclarator`	Represents the `abstract_reference_declarator` nodes in the syntax tree of your code (Since R2026a)

Syntax - Declarator

`ArrayDeclarator`	Represents the `array_declarator` nodes in the syntax tree of your code (Since R2026a)
`AttributedDeclarator`	Represents the `attributed_declarator` nodes in the syntax tree of your code (Since R2026a)
`Declarator`	Represents the `declarator` nodes in the syntax tree of your code (Since R2026a)
`DestructorName`	Represents the `destructor_name` nodes in the syntax tree of your code (Since R2026a)
`FunctionDeclarator`	Represents the `function_declarator` nodes in the syntax tree of your code (Since R2026a)
`Identifier`	Represents the `identifier` nodes in the syntax tree of your code (Since R2026a)
`OperatorName`	Represents the `operator_name` nodes in the syntax tree of your code (Since R2026a)
`ParenthesizedDeclarator`	Represents the `parenthesized_declarator` nodes in the syntax tree of your code (Since R2026a)
`PointerDeclarator`	Represents the `pointer_declarator` nodes in the syntax tree of your code (Since R2026a)
`QualifiedIdentifier`	Represents the `qualified_identifier` nodes in the syntax tree of your code (Since R2026a)
`ReferenceDeclarator`	Represents the `reference_declarator` nodes in the syntax tree of your code (Since R2026a)
`StructuredBindingDeclarator`	Represents the `structured_binding_declarator` nodes in the syntax tree of your code (Since R2026a)
`TemplateFunction`	Represents the `template_function` nodes in the syntax tree of your code (Since R2026a)

Syntax - Expression

`AlignofExpression`	Represents the `alignof_expression` nodes in the syntax tree of your code (Since R2026a)
`AssignmentExpression`	Represents the `assignment_expression` nodes in the syntax tree of your code (Since R2026a)
`BinaryExpression`	Represents the `binary_expression` nodes in the syntax tree of your code (Since R2026a)
`CallExpression`	Represents the `call_expression` nodes in the syntax tree of your code (Since R2026a)
`CastExpression`	Represents the `cast_expression` nodes in the syntax tree of your code (Since R2026a)
`CharLiteral`	Represents the `char_literal` nodes in the syntax tree of your code (Since R2026a)
`CoAwaitExpression`	Represents the `co_await_expression` nodes in the syntax tree of your code (Since R2026a)
`CompoundLiteralExpression`	Represents the `compound_literal_expression` nodes in the syntax tree of your code (Since R2026a)
`ConcatenatedString`	Represents the `concatenated_string` nodes in the syntax tree of your code (Since R2026a)
`ConditionalExpression`	Represents the `conditional_expression` nodes in the syntax tree of your code (Since R2026a)
`DeleteExpression`	Represents the `delete_expression` nodes in the syntax tree of your code (Since R2026a)
`False`	Represents the `false` nodes in the syntax tree of your code (Since R2026a)
`FieldExpression`	Represents the `field_expression` nodes in the syntax tree of your code (Since R2026a)
`FoldExpression`	Represents the `fold_expression` nodes in the syntax tree of your code (Since R2026a)
`GenericExpression`	Represents the `generic_expression` nodes in the syntax tree of your code (Since R2026a)
`GnuAsmExpression`	Represents the `gnu_asm_expression` nodes in the syntax tree of your code (Since R2026a)
`LambdaExpression`	Represents the `lambda_expression` nodes in the syntax tree of your code (Since R2026a)
`NewExpression`	Represents the `new_expression` nodes in the syntax tree of your code (Since R2026a)
`Null`	Represents the `null` nodes in the syntax tree of your code (Since R2026a)
`NumberLiteral`	Represents the `number_literal` nodes in the syntax tree of your code (Since R2026a)
`OffsetofExpression`	Represents the `offsetof_expression` nodes in the syntax tree of your code (Since R2026a)
`ParameterPackExpansion`	Represents the `parameter_pack_expansion` nodes in the syntax tree of your code (Since R2026a)
`ParenthesizedExpression`	Represents the `parenthesized_expression` nodes in the syntax tree of your code (Since R2026a)
`PointerExpression`	Represents the `pointer_expression` nodes in the syntax tree of your code (Since R2026a)
`RawStringLiteral`	Represents the `raw_string_literal` nodes in the syntax tree of your code (Since R2026a)
`RequiresClause`	Represents the `requires_clause` nodes in the syntax tree of your code (Since R2026a)
`RequiresExpression`	Represents the `requires_expression` nodes in the syntax tree of your code (Since R2026a)
`SizeofExpression`	Represents the `sizeof_expression` nodes in the syntax tree of your code (Since R2026a)
`StringLiteral`	Represents the `string_literal` nodes in the syntax tree of your code (Since R2026a)
`SubscriptExpression`	Represents the `subscript_expression` nodes in the syntax tree of your code (Since R2026a)
`This`	Represents the `this` nodes in the syntax tree of your code (Since R2026a)
`True`	Represents the `true` nodes in the syntax tree of your code (Since R2026a)
`UnaryExpression`	Represents the `unary_expression` nodes in the syntax tree of your code (Since R2026a)
`UpdateExpression`	Represents the `update_expression` nodes in the syntax tree of your code (Since R2026a)
`UserDefinedLiteral`	Represents the `user_defined_literal` nodes in the syntax tree of your code (Since R2026a)

Syntax - FieldDeclarator

`FieldDeclarator`	Represents the `field_declarator` nodes in the syntax tree of your code (Since R2026a)
`FieldIdentifier`	Represents the `field_identifier` nodes in the syntax tree of your code (Since R2026a)
`TemplateMethod`	Represents the `template_method` nodes in the syntax tree of your code (Since R2026a)

Syntax - OtherTypes

`AccessSpecifier`	Represents the `access_specifier` nodes in the syntax tree of your code (Since R2026a)
`AliasDeclaration`	Represents the `alias_declaration` nodes in the syntax tree of your code (Since R2026a)
`AlignasQualifier`	Represents the `alignas_qualifier` nodes in the syntax tree of your code (Since R2026a)
`ArgumentList`	Represents the `argument_list` nodes in the syntax tree of your code (Since R2026a)
`Attribute`	Represents the `attribute` nodes in the syntax tree of your code (Since R2026a)
`AttributeDeclaration`	Represents the `attribute_declaration` nodes in the syntax tree of your code (Since R2026a)
`AttributeSpecifier`	Represents the `attribute_specifier` nodes in the syntax tree of your code (Since R2026a)
`Auto`	Represents the `auto` nodes in the syntax tree of your code (Since R2026a)
`BaseClassClause`	Represents the `base_class_clause` nodes in the syntax tree of your code (Since R2026a)
`BitfieldClause`	Represents the `bitfield_clause` nodes in the syntax tree of your code (Since R2026a)
`CatchClause`	Represents the `catch_clause` nodes in the syntax tree of your code (Since R2026a)
`CommaExpression`	Represents the `comma_expression` nodes in the syntax tree of your code (Since R2026a)
`Comment`	Represents the `comment` nodes in the syntax tree of your code (Since R2026a)
`ConceptDefinition`	Represents the `concept_definition` nodes in the syntax tree of your code (Since R2026a)
`ConditionClause`	Represents the `condition_clause` nodes in the syntax tree of your code (Since R2026a)
`ConstraintConjunction`	Represents the `constraint_conjunction` nodes in the syntax tree of your code (Since R2026a)
`ConstraintDisjunction`	Represents the `constraint_disjunction` nodes in the syntax tree of your code (Since R2026a)
`Declaration`	Represents the `declaration` nodes in the syntax tree of your code (Since R2026a)
`DeclarationList`	Represents the `declaration_list` nodes in the syntax tree of your code (Since R2026a)
`DefaultMethodClause`	Represents the `default_method_clause` nodes in the syntax tree of your code (Since R2026a)
`DeleteMethodClause`	Represents the `delete_method_clause` nodes in the syntax tree of your code (Since R2026a)
`DependentName`	Represents the `dependent_name` nodes in the syntax tree of your code (Since R2026a)
`ElseClause`	Represents the `else_clause` nodes in the syntax tree of your code (Since R2026a)
`Enumerator`	Represents the `enumerator` nodes in the syntax tree of your code (Since R2026a)
`EnumeratorList`	Represents the `enumerator_list` nodes in the syntax tree of your code (Since R2026a)
`ExplicitFunctionSpecifier`	Represents the `explicit_function_specifier` nodes in the syntax tree of your code (Since R2026a)
`FieldDeclaration`	Represents the `field_declaration` nodes in the syntax tree of your code (Since R2026a)
`FieldDeclarationList`	Represents the `field_declaration_list` nodes in the syntax tree of your code (Since R2026a)
`FieldDesignator`	Represents the `field_designator` nodes in the syntax tree of your code (Since R2026a)
`FieldInitializer`	Represents the `field_initializer` nodes in the syntax tree of your code (Since R2026a)
`FieldInitializerList`	Represents the `field_initializer_list` nodes in the syntax tree of your code (Since R2026a)
`FriendDeclaration`	Represents the `friend_declaration` nodes in the syntax tree of your code (Since R2026a)
`GnuAsmClobberList`	Represents the `gnu_asm_clobber_list` nodes in the syntax tree of your code (Since R2026a)
`GnuAsmGotoList`	Represents the `gnu_asm_goto_list` nodes in the syntax tree of your code (Since R2026a)
`GnuAsmInputOperand`	Represents the `gnu_asm_input_operand` nodes in the syntax tree of your code (Since R2026a)
`GnuAsmInputOperandList`	Represents the `gnu_asm_input_operand_list` nodes in the syntax tree of your code (Since R2026a)
`GnuAsmOutputOperand`	Represents the `gnu_asm_output_operand` nodes in the syntax tree of your code (Since R2026a)
`GnuAsmOutputOperandList`	Represents the `gnu_asm_output_operand_list` nodes in the syntax tree of your code (Since R2026a)
`GnuAsmQualifier`	Represents the `gnu_asm_qualifier` nodes in the syntax tree of your code (Since R2026a)
`InitDeclarator`	Represents the `init_declarator` nodes in the syntax tree of your code (Since R2026a)
`InitializerList`	Represents the `initializer_list` nodes in the syntax tree of your code (Since R2026a)
`InitializerPair`	Represents the `initializer_pair` nodes in the syntax tree of your code (Since R2026a)
`InitStatement`	Represents the `init_statement` nodes in the syntax tree of your code (Since R2026a)
`LambdaCaptureSpecifier`	Represents the `lambda_capture_specifier` nodes in the syntax tree of your code (Since R2026a)
`LambdaDefaultCapture`	Represents the `lambda_default_capture` nodes in the syntax tree of your code (Since R2026a)
`LinkageSpecification`	Represents the `linkage_specification` nodes in the syntax tree of your code (Since R2026a)
`LiteralSuffix`	Represents the `literal_suffix` nodes in the syntax tree of your code (Since R2026a)
`MsBasedModifier`	Represents the `ms_based_modifier` nodes in the syntax tree of your code (Since R2026a)
`MsCallModifier`	Represents the `ms_call_modifier` nodes in the syntax tree of your code (Since R2026a)
`MsDeclspecModifier`	Represents the `ms_declspec_modifier` nodes in the syntax tree of your code (Since R2026a)
`MsPointerModifier`	Represents the `ms_pointer_modifier` nodes in the syntax tree of your code (Since R2026a)
`MsRestrictModifier`	Represents the `ms_restrict_modifier` nodes in the syntax tree of your code (Since R2026a)
`MsSignedPtrModifier`	Represents the `ms_signed_ptr_modifier` nodes in the syntax tree of your code (Since R2026a)
`MsUnalignedPtrModifier`	Represents the `ms_unaligned_ptr_modifier` nodes in the syntax tree of your code (Since R2026a)
`MsUnsignedPtrModifier`	Represents the `ms_unsigned_ptr_modifier` nodes in the syntax tree of your code (Since R2026a)
`NamespaceAliasDefinition`	Represents the `namespace_alias_definition` nodes in the syntax tree of your code (Since R2026a)
`NamespaceDefinition`	Represents the `namespace_definition` nodes in the syntax tree of your code (Since R2026a)
`NamespaceIdentifier`	Represents the `namespace_identifier` nodes in the syntax tree of your code (Since R2026a)
`NestedNamespaceSpecifier`	Represents the `nested_namespace_specifier` nodes in the syntax tree of your code (Since R2026a)
`NewDeclarator`	Represents the `new_declarator` nodes in the syntax tree of your code (Since R2026a)
`Noexcept`	Represents the `noexcept` nodes in the syntax tree of your code (Since R2026a)
`OperatorCast`	Represents the `operator_cast` nodes in the syntax tree of your code (Since R2026a)
`OptionalParameterDeclaration`	Represents the `optional_parameter_declaration` nodes in the syntax tree of your code (Since R2026a)
`OptionalTypeParameterDeclaration`	Represents the `optional_type_parameter_declaration` nodes in the syntax tree of your code (Since R2026a)
`ParameterDeclaration`	Represents the `parameter_declaration` nodes in the syntax tree of your code (Since R2026a)
`ParameterList`	Represents the `parameter_list` nodes in the syntax tree of your code (Since R2026a)
`PointerTypeDeclarator`	Represents the `pointer_type_declarator` nodes in the syntax tree of your code (Since R2026a)
`PreprocArg`	Represents the `preproc_arg` nodes in the syntax tree of your code (Since R2026a)
`PreprocCall`	Represents the `preproc_call` nodes in the syntax tree of your code (Since R2026a)
`PreprocDef`	Represents the `preproc_def` nodes in the syntax tree of your code (Since R2026a)
`PreprocDefined`	Represents the `preproc_defined` nodes in the syntax tree of your code (Since R2026a)
`PreprocDirective`	Represents the `preproc_directive` nodes in the syntax tree of your code (Since R2026a)
`PreprocElif`	Represents the `preproc_elif` nodes in the syntax tree of your code (Since R2026a)
`PreprocElifdef`	Represents the `preproc_elifdef` nodes in the syntax tree of your code (Since R2026a)
`PreprocElse`	Represents the `preproc_else` nodes in the syntax tree of your code (Since R2026a)
`PreprocFunctionDef`	Represents the `preproc_function_def` nodes in the syntax tree of your code (Since R2026a)
`PreprocIf`	Represents the `preproc_if` nodes in the syntax tree of your code (Since R2026a)
`PreprocIfdef`	Represents the `preproc_ifdef` nodes in the syntax tree of your code (Since R2026a)
`PreprocInclude`	Represents the `preproc_include` nodes in the syntax tree of your code (Since R2026a)
`PreprocParams`	Represents the `preproc_params` nodes in the syntax tree of your code (Since R2026a)
`PureVirtualClause`	Represents the `pure_virtual_clause` nodes in the syntax tree of your code (Since R2026a)
`RawStringContent`	Represents the `raw_string_content` nodes in the syntax tree of your code (Since R2026a)
`RawStringDelimiter`	Represents the `raw_string_delimiter` nodes in the syntax tree of your code (Since R2026a)
`RefQualifier`	Represents the `ref_qualifier` nodes in the syntax tree of your code (Since R2026a)
`RequirementSeq`	Represents the `requirement_seq` nodes in the syntax tree of your code (Since R2026a)
`SimpleRequirement`	Represents the `simple_requirement` nodes in the syntax tree of your code (Since R2026a)
`StatementIdentifier`	Represents the `statement_identifier` nodes in the syntax tree of your code (Since R2026a)
`StaticAssertDeclaration`	Represents the `static_assert_declaration` nodes in the syntax tree of your code (Since R2026a)
`StorageClassSpecifier`	Represents the `storage_class_specifier` nodes in the syntax tree of your code (Since R2026a)
`SubscriptArgumentList`	Represents the `subscript_argument_list` nodes in the syntax tree of your code (Since R2026a)
`SubscriptDesignator`	Represents the `subscript_designator` nodes in the syntax tree of your code (Since R2026a)
`SubscriptRangeDesignator`	Represents the `subscript_range_designator` nodes in the syntax tree of your code (Since R2026a)
`SystemLibString`	Represents the `system_lib_string` nodes in the syntax tree of your code (Since R2026a)
`TemplateArgumentList`	Represents the `template_argument_list` nodes in the syntax tree of your code (Since R2026a)
`TemplateDeclaration`	Represents the `template_declaration` nodes in the syntax tree of your code (Since R2026a)
`TemplateInstantiation`	Represents the `template_instantiation` nodes in the syntax tree of your code (Since R2026a)
`TemplateParameterList`	Represents the `template_parameter_list` nodes in the syntax tree of your code (Since R2026a)
`TemplateTemplateParameterDeclaration`	Represents the `template_template_parameter_declaration` nodes in the syntax tree of your code (Since R2026a)
`ThrowSpecifier`	Represents the `throw_specifier` nodes in the syntax tree of your code (Since R2026a)
`TrailingReturnType`	Represents the `trailing_return_type` nodes in the syntax tree of your code (Since R2026a)
`TypeDefinition`	Represents the `type_definition` nodes in the syntax tree of your code (Since R2026a)
`TypeDescriptor`	Represents the `type_descriptor` nodes in the syntax tree of your code (Since R2026a)
`TypeParameterDeclaration`	Represents the `type_parameter_declaration` nodes in the syntax tree of your code (Since R2026a)
`TypeQualifier`	Represents the `type_qualifier` nodes in the syntax tree of your code (Since R2026a)
`TypeRequirement`	Represents the `type_requirement` nodes in the syntax tree of your code (Since R2026a)
`UsingDeclaration`	Represents the `using_declaration` nodes in the syntax tree of your code (Since R2026a)
`VariadicDeclarator`	Represents the `variadic_declarator` nodes in the syntax tree of your code (Since R2026a)
`VariadicParameter`	Represents the `variadic_parameter` nodes in the syntax tree of your code (Since R2026a)
`VariadicParameterDeclaration`	Represents the `variadic_parameter_declaration` nodes in the syntax tree of your code (Since R2026a)
`VariadicTypeParameterDeclaration`	Represents the `variadic_type_parameter_declaration` nodes in the syntax tree of your code (Since R2026a)
`Virtual`	Represents the `virtual` nodes in the syntax tree of your code (Since R2026a)
`VirtualSpecifier`	Represents the `virtual_specifier` nodes in the syntax tree of your code (Since R2026a)

Syntax - Statement

`AttributedStatement`	Represents the `attributed_statement` nodes in the syntax tree of your code (Since R2026a)
`BreakStatement`	Represents the `break_statement` nodes in the syntax tree of your code (Since R2026a)
`CaseStatement`	Represents the `case_statement` nodes in the syntax tree of your code (Since R2026a)
`CompoundStatement`	Represents the `compound_statement` nodes in the syntax tree of your code (Since R2026a)
`ContinueStatement`	Represents the `continue_statement` nodes in the syntax tree of your code (Since R2026a)
`CoReturnStatement`	Represents the `co_return_statement` nodes in the syntax tree of your code (Since R2026a)
`CoYieldStatement`	Represents the `co_yield_statement` nodes in the syntax tree of your code (Since R2026a)
`DoStatement`	Represents the `do_statement` nodes in the syntax tree of your code (Since R2026a)
`ExpressionStatement`	Represents the `expression_statement` nodes in the syntax tree of your code (Since R2026a)
`ForRangeLoop`	Represents the `for_range_loop` nodes in the syntax tree of your code (Since R2026a)
`ForStatement`	Represents the `for_statement` nodes in the syntax tree of your code (Since R2026a)
`GotoStatement`	Represents the `goto_statement` nodes in the syntax tree of your code (Since R2026a)
`IfStatement`	Represents the `if_statement` nodes in the syntax tree of your code (Since R2026a)
`LabeledStatement`	Represents the `labeled_statement` nodes in the syntax tree of your code (Since R2026a)
`ReturnStatement`	Represents the `return_statement` nodes in the syntax tree of your code (Since R2026a)
`SehLeaveStatement`	Represents the `seh_leave_statement` nodes in the syntax tree of your code (Since R2026a)
`SehTryStatement`	Represents the `seh_try_statement` nodes in the syntax tree of your code (Since R2026a)
`Statement`	Represents the `statement` nodes in the syntax tree of your code (Since R2026a)
`SwitchStatement`	Represents the `switch_statement` nodes in the syntax tree of your code (Since R2026a)
`ThrowStatement`	Represents the `throw_statement` nodes in the syntax tree of your code (Since R2026a)
`TryStatement`	Represents the `try_statement` nodes in the syntax tree of your code (Since R2026a)
`WhileStatement`	Represents the `while_statement` nodes in the syntax tree of your code (Since R2026a)

Syntax - TypeDeclarator

`PrimitiveType`	Represents the `primitive_type` nodes in the syntax tree of your code (Since R2026a)
`TypeIdentifier`	Represents the `type_identifier` nodes in the syntax tree of your code (Since R2026a)

Syntax - TypeSpecifier

`ClassSpecifier`	Represents the `class_specifier` nodes in the syntax tree of your code (Since R2026a)
`Decltype`	Represents the `decltype` nodes in the syntax tree of your code (Since R2026a)
`DependentType`	Represents the `dependent_type` nodes in the syntax tree of your code (Since R2026a)
`EnumSpecifier`	Represents the `enum_specifier` nodes in the syntax tree of your code (Since R2026a)
`PlaceholderTypeSpecifier`	Represents the `placeholder_type_specifier` nodes in the syntax tree of your code (Since R2026a)
`SizedTypeSpecifier`	Represents the `sized_type_specifier` nodes in the syntax tree of your code (Since R2026a)
`StructSpecifier`	Represents the `struct_specifier` nodes in the syntax tree of your code (Since R2026a)
`TemplateType`	Represents the `template_type` nodes in the syntax tree of your code (Since R2026a)
`UnionSpecifier`	Represents the `union_specifier` nodes in the syntax tree of your code (Since R2026a)

Syntax - Norm

Norm Contains predicates that check if a keyword is a C or C++ keyword (Since R2026a)

Topics

Get Started

Get Started with Polyspace Query Language
Create a new coding standard and a simple coding rule using Polyspace Query Language.

Polyspace Query Language Syntax

General Polyspace Query Language Syntax
Learn the general PQL syntax.
Polyspace Query Language Syntax for Creating User-Defined Defects
Learn the necessary PQL syntax for creating new user-defined defects.
Polyspace Query Language Syntax for Creating User-Defined Coding Standard
Learn the syntax for creating new user defined coding standards.
Overview of Semantic Classes in Polyspace Query Language
Summary of PQL classes that are designed to detect semantic issues in your code.
Overview of Syntactic Classes in Polyspace Query Language
Summary of PQL classes that are designed to detect syntactic issues in your code.

Create Your Own Standard

Create User-Defined Coding Standard by Using Polyspace Query Language

Create new user defined defects and use these defects along with existing bug Finder checkers to create a user-defined coding standard in a sharable .pschk file.
- Find Polyspace Bug Finder Checkers That Map to Coding Rules in User-Defined Coding Standard
- Check for Violations of User-Defined Coding Standard Using Polyspace Bug Finder
Best Practices for Creating User-Defined Coding Standards
Organize user-defined coding standards in modular packages for easier maintenance.

Create Your Own Defect

Detect Semantic Issues Using Polyspace Query Language Semantic Classes
Create a new user-defined defect that checks for a semantic issue.
Detect Syntactic Issues Using Polyspace Query Language Syntactic Classes
Create a new user-defined defect that checks for a syntactic issue.
Implement Exceptions in User-Defined Defects
Define exceptions to your defects by using the except statement.
Unit Test User-Defined Defects
Run unit tests on defects or rules that passes if the expected violations are present.
Choose Between Semantic and Syntactic Classes
Identify which PQL classes fit your use cases.
Traverse Syntax Tree Using Polyspace Query Language
Learn how you can use PQL to traverse the syntax tree and find a specific syntax node.
Best Practice for Defining User-Defined Defect Checkers
Create performant user-defined defects that are easier to test and maintain.

Featured Examples