| /external/clang/lib/StaticAnalyzer/Core/ |
| CoreEngine.cpp | 1 //==- CoreEngine.cpp - Path-Sensitive Dataflow Engine ------------*- C++ -*-//
15 #include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
28 #define DEBUG_TYPE "CoreEngine"
165 bool CoreEngine::ExecuteWorkList(const LocationContext *L, unsigned Steps,
242 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
284 bool CoreEngine::ExecuteWorkListWithInitialState(const LocationContext *L,
296 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) {
335 void CoreEngine::HandleBlockEntrance(const BlockEntrance &L,
355 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) {
471 void CoreEngine::HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred)
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CoreEngine.h | 1 //==- CoreEngine.h - Path-Sensitive Dataflow Engine ----------------*- C++ -*-//
35 /// CoreEngine - Implements the core logic of the graph-reachability
38 /// The template class CoreEngine (which subclasses CoreEngine)
43 class CoreEngine {
109 CoreEngine(const CoreEngine &) = delete;
110 void operator=(const CoreEngine &) = delete;
115 /// Construct a CoreEngine object to analyze the provided CFG.
116 CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS
[all...] |
| ExplodedGraph.h | 57 friend class CoreEngine;
249 friend class CoreEngine;
|
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CoreEngine.h | 1 //==- CoreEngine.h - Path-Sensitive Dataflow Engine ----------------*- C++ -*-//
35 /// CoreEngine - Implements the core logic of the graph-reachability
38 /// The template class CoreEngine (which subclasses CoreEngine)
43 class CoreEngine {
109 CoreEngine(const CoreEngine &) = delete;
110 void operator=(const CoreEngine &) = delete;
116 /// Construct a CoreEngine object to analyze the provided CFG.
117 CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS
[all...] |
| ExplodedGraph.h | 56 friend class CoreEngine;
248 friend class CoreEngine;
|
| /prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CoreEngine.h | 1 //==- CoreEngine.h - Path-Sensitive Dataflow Engine ----------------*- C++ -*-//
35 /// CoreEngine - Implements the core logic of the graph-reachability
38 /// The template class CoreEngine (which subclasses CoreEngine)
43 class CoreEngine {
109 CoreEngine(const CoreEngine &) = delete;
110 void operator=(const CoreEngine &) = delete;
116 /// Construct a CoreEngine object to analyze the provided CFG.
117 CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS
[all...] |
| ExplodedGraph.h | 56 friend class CoreEngine;
248 friend class CoreEngine;
|
| /prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CoreEngine.h | 1 //==- CoreEngine.h - Path-Sensitive Dataflow Engine ----------------*- C++ -*-//
35 /// CoreEngine - Implements the core logic of the graph-reachability
38 /// The template class CoreEngine (which subclasses CoreEngine)
43 class CoreEngine {
109 CoreEngine(const CoreEngine &) = delete;
110 void operator=(const CoreEngine &) = delete;
116 /// Construct a CoreEngine object to analyze the provided CFG.
117 CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS
[all...] |
| ExplodedGraph.h | 56 friend class CoreEngine;
248 friend class CoreEngine;
|
| /prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CoreEngine.h | 1 //==- CoreEngine.h - Path-Sensitive Dataflow Engine ----------------*- C++ -*-//
35 /// CoreEngine - Implements the core logic of the graph-reachability
38 /// The template class CoreEngine (which subclasses CoreEngine)
43 class CoreEngine {
109 CoreEngine(const CoreEngine &) = delete;
110 void operator=(const CoreEngine &) = delete;
116 /// Construct a CoreEngine object to analyze the provided CFG.
117 CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS
[all...] |
| ExplodedGraph.h | 56 friend class CoreEngine;
248 friend class CoreEngine;
|
| /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CoreEngine.h | 1 //==- CoreEngine.h - Path-Sensitive Dataflow Engine ----------------*- C++ -*-//
35 /// CoreEngine - Implements the core logic of the graph-reachability
38 /// The template class CoreEngine (which subclasses CoreEngine)
43 class CoreEngine {
109 CoreEngine(const CoreEngine &) = delete;
110 void operator=(const CoreEngine &) = delete;
116 /// Construct a CoreEngine object to analyze the provided CFG.
117 CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS
[all...] |
| ExplodedGraph.h | 56 friend class CoreEngine;
248 friend class CoreEngine;
|
| /prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CoreEngine.h | 1 //==- CoreEngine.h - Path-Sensitive Dataflow Engine ----------------*- C++ -*-//
35 /// CoreEngine - Implements the core logic of the graph-reachability
38 /// The template class CoreEngine (which subclasses CoreEngine)
43 class CoreEngine {
109 CoreEngine(const CoreEngine &) = delete;
110 void operator=(const CoreEngine &) = delete;
116 /// Construct a CoreEngine object to analyze the provided CFG.
117 CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS
[all...] |
| ExplodedGraph.h | 56 friend class CoreEngine;
248 friend class CoreEngine;
|
| /prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CoreEngine.h | 1 //==- CoreEngine.h - Path-Sensitive Dataflow Engine ----------------*- C++ -*-//
35 /// CoreEngine - Implements the core logic of the graph-reachability
38 /// The template class CoreEngine (which subclasses CoreEngine)
43 class CoreEngine {
109 CoreEngine(const CoreEngine &) = delete;
110 void operator=(const CoreEngine &) = delete;
116 /// Construct a CoreEngine object to analyze the provided CFG.
117 CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS
[all...] |
| ExplodedGraph.h | 56 friend class CoreEngine;
248 friend class CoreEngine;
|
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CoreEngine.h | 1 //==- CoreEngine.h - Path-Sensitive Dataflow Engine ----------------*- C++ -*-//
35 /// CoreEngine - Implements the core logic of the graph-reachability
38 /// The template class CoreEngine (which subclasses CoreEngine)
43 class CoreEngine {
109 CoreEngine(const CoreEngine &) = delete;
110 void operator=(const CoreEngine &) = delete;
116 /// Construct a CoreEngine object to analyze the provided CFG.
117 CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CoreEngine.h | 1 //==- CoreEngine.h - Path-Sensitive Dataflow Engine ----------------*- C++ -*-//
35 /// CoreEngine - Implements the core logic of the graph-reachability
38 /// The template class CoreEngine (which subclasses CoreEngine)
43 class CoreEngine {
109 CoreEngine(const CoreEngine &) = delete;
110 void operator=(const CoreEngine &) = delete;
116 /// Construct a CoreEngine object to analyze the provided CFG.
117 CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CoreEngine.h | 1 //==- CoreEngine.h - Path-Sensitive Dataflow Engine ----------------*- C++ -*-//
35 /// CoreEngine - Implements the core logic of the graph-reachability
38 /// The template class CoreEngine (which subclasses CoreEngine)
43 class CoreEngine {
109 CoreEngine(const CoreEngine &) = delete;
110 void operator=(const CoreEngine &) = delete;
116 /// Construct a CoreEngine object to analyze the provided CFG.
117 CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CoreEngine.h | 1 //==- CoreEngine.h - Path-Sensitive Dataflow Engine ----------------*- C++ -*-//
35 /// CoreEngine - Implements the core logic of the graph-reachability
38 /// The template class CoreEngine (which subclasses CoreEngine)
43 class CoreEngine {
109 CoreEngine(const CoreEngine &) = delete;
110 void operator=(const CoreEngine &) = delete;
116 /// Construct a CoreEngine object to analyze the provided CFG.
117 CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CoreEngine.h | 1 //==- CoreEngine.h - Path-Sensitive Dataflow Engine ----------------*- C++ -*-//
35 /// CoreEngine - Implements the core logic of the graph-reachability
38 /// The template class CoreEngine (which subclasses CoreEngine)
43 class CoreEngine {
109 CoreEngine(const CoreEngine &) = delete;
110 void operator=(const CoreEngine &) = delete;
116 /// Construct a CoreEngine object to analyze the provided CFG.
117 CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CoreEngine.h | 1 //==- CoreEngine.h - Path-Sensitive Dataflow Engine ----------------*- C++ -*-//
35 /// CoreEngine - Implements the core logic of the graph-reachability
38 /// The template class CoreEngine (which subclasses CoreEngine)
43 class CoreEngine {
109 CoreEngine(const CoreEngine &) = delete;
110 void operator=(const CoreEngine &) = delete;
116 /// Construct a CoreEngine object to analyze the provided CFG.
117 CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CoreEngine.h | 1 //==- CoreEngine.h - Path-Sensitive Dataflow Engine ----------------*- C++ -*-//
35 /// CoreEngine - Implements the core logic of the graph-reachability
38 /// The template class CoreEngine (which subclasses CoreEngine)
43 class CoreEngine {
109 CoreEngine(const CoreEngine &) = delete;
110 void operator=(const CoreEngine &) = delete;
116 /// Construct a CoreEngine object to analyze the provided CFG.
117 CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| AnalyzerStatsChecker.cpp | 119 typedef CoreEngine::BlocksExhausted::const_iterator ExhaustedIterator;
120 const CoreEngine &CE = Eng.getCoreEngine();
|
