Create Checkers

R2026b

Create new defect checkers using Polyspace Query Language

Create new defect checkers that detect issues specific to your codebase. For instance, to flag unused public fields:

Problem Code PQL Checker

Problem Code	PQL Checker
`struct Config { int debug_level; // unused char* name; }; struct Config cfg; cfg.name = "test";`	defect UnusedPublicField = when Cpp.Field.is(&field) and field.isUnused() and field.isPublic() raise "Unused public field" on field

struct Config {
    int debug_level; // unused
    char* name;
};

struct Config cfg;
cfg.name = "test";

defect UnusedPublicField =
when
  Cpp.Field.is(&field)
  and field.isUnused()
  and field.isPublic()
  raise "Unused public field"
on field

Run polyspace-query-language init to create a project template with a main.pql file. Add your checker definitions, assemble them into a catalog in main.pql, then test and package into a checkers activation file (.pschk).

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 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 Defect Checker

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.
Modify Defect Checker Behavior During Analysis Without Changing PQL Queries
Configure defect checkers using directives defined externally in Datalog files.
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.
Identify Bottlenecks in User-Defined Coding Standards
Profile your user-defined coding rules to identify predicates that consume the most time and memory, then rewrite them to run faster.

Featured Examples

Detect typedef of typedefs

Implement a rule that reports a violation when already define types are used in typedef.

Detect Functions with Return Immediately Discarded

Implement a rule that reports a violation when return value of a function with at least one input is immediately discarded.

Detect Implicit Casts with Precision Loss

Implement a rule that reports a violation when an implicit cast results in precision loss.

Detect Multiline Comments That Start on an Expression Line

Implement a rule about location of comments using Polyspace query language.

Detect Use of std Namespace in using Declaration

Implement a rule that reports a violation on using namespace std.

Detect Misaligned Multiline Comment in Condition Statement

Identify instances in C++ code where multiline comments in condition statement are not properly aligned.