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.

함수

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

클래스

모두 확장

Semantic Types

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

Lang

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

Commonly Used Syntax Types

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

Syntax - syntax

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

Syntax - AbstractDeclarator

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

Syntax - Declarator

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

Syntax - Expression

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

Syntax - FieldDeclarator

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

Syntax - OtherTypes

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

Syntax - Statement

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

Syntax - TypeDeclarator

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

Syntax - TypeSpecifier

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

Syntax - Norm

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

도움말 항목

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.