Lines Matching +full:clang +full:- +full:analyzer

1 //===- CheckerDocumentation.cpp - Documentation checker ---------*- C++ -*-===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
12 //===----------------------------------------------------------------------===//
14 #include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
15 #include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
16 #include "clang/StaticAnalyzer/Core/Checker.h"
17 #include "clang/StaticAnalyzer/Core/CheckerManager.h"
18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
19 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
21 using namespace clang;
27 namespace clang {  namespace
32 /// as reporting bugs. Most of the callbacks are targeted at path-sensitive
38           // clang-format off
64           // clang-format on
67   /// Pre-visit the Statement.
69   /// The method will be called before the analyzer core processes the
80   /// Post-visit the Statement.
82   /// The method will be called after the analyzer core processes the
90   /// Pre-visit the Objective C message.
92   /// This will be called before the analyzer core processes the method call.
93   /// This is called for any action which produces an Objective-C message send,
99   /// Post-visit the Objective C message.
105   /// Visit an Objective-C message whose receiver is nil.
107   /// This will be called when the analyzer core processes a method call whose
114   /// Pre-visit an abstract "call" event.
119   /// Note that this includes ALL cross-body invocations, so if you want to
126   /// Post-visit an abstract "call" event.
132   /// Pre-visit of the condition statement of a branch (such as IfStmt).
135   /// Post-visit the C++ operator new's allocation call.
140   /// type, (3) assuming that the value is non-null, call the object's
142   /// new-expression is this pointer. This callback is called between steps
143   /// (2) and (3). Post-call for the allocator is called after step (1).
144   /// Pre-statement for the new-expression is called on step (4) when the value
186   /// Called when the analyzer core starts analyzing a function,
192   /// Called when the analyzer core reaches the end of a
200   /// - the symbolic execution graph is fully explored.
257   /// call whose behavior the analyzer cannot model perfectly.
288   /// the analyzer cannot track the symbol any more. For example, as a
290   /// function call the analyzer cannot model.
352 } // end namespace clang