clang 22.0.0git
Checker.cpp
Go to the documentation of this file.
1//== Checker.cpp - Registration mechanism for checkers -----------*- C++ -*--=//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file defines Checker, used to create and register checkers.
10//
11//===----------------------------------------------------------------------===//
12
14
15using namespace clang;
16using namespace ento;
17
19
20StringRef CheckerBase::getDebugTag() const { return getName(); }
21
22void CheckerBackend::printState(raw_ostream &Out, ProgramStateRef State,
23 const char *NL, const char *Sep) const {}
virtual void printState(raw_ostream &Out, ProgramStateRef State, const char *NL, const char *Sep) const
Debug state dump callback, see CheckerManager::runCheckersForPrintState.
Definition Checker.cpp:22
StringRef getDebugTag() const override
Attached to nodes created by this checker class when the ExplodedGraph is dumped for debugging.
Definition Checker.cpp:20
CheckerNameRef getName() const
Definition Checker.h:524
IntrusiveRefCntPtr< const ProgramState > ProgramStateRef
The JSON file list parser is used to communicate input to InstallAPI.