Query module ASTSanity

name
AST Sanity Check
description
Performs sanity checks on the Abstract Syntax Tree. This query should have no results.
kind
problem
id
cpp/ast-sanity-check

Imports

CastSanity

INTERNAL: Do not use. Query predicates used to check invariants that should hold for all Cast nodes. To run all sanity queries for the ASTs, including the ones below, run “semmle/code/cpp/ASTSanity.ql”.

cpp

Provides classes and predicates for working with C/C++/ObjC/ObjC++ code.