Searched refs:CoreEngine (Results 1 - 6 of 6) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DCoreEngine.cpp1 //==- CoreEngine.cpp - Path-Sensitive Dataflow Engine ------------*- C++ -*-//
15 #include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
27 #define DEBUG_TYPE "CoreEngine"
164 bool CoreEngine::ExecuteWorkList(const LocationContext *L, unsigned Steps,
228 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
271 bool CoreEngine::ExecuteWorkListWithInitialState(const LocationContext *L,
283 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) {
322 void CoreEngine::HandleBlockEntrance(const BlockEntrance &L,
342 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) {
453 void CoreEngine
[all...]
H A DAndroid.mk28 CoreEngine.cpp \
/external/clang/lib/StaticAnalyzer/Checkers/
H A DAnalyzerStatsChecker.cpp119 typedef CoreEngine::BlocksExhausted::const_iterator ExhaustedIterator;
120 const CoreEngine &CE = Eng.getCoreEngine();
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h1 //==- 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 { class in namespace:clang::ento
104 CoreEngine(const CoreEngine &) LLVM_DELETED_FUNCTION;
105 void operator=(const CoreEngine &) LLVM_DELETED_FUNCTION;
110 /// Construct a CoreEngine object to analyze the provided CFG.
111 CoreEngine(SubEngin function in class:clang::ento::CoreEngine
[all...]
H A DExplodedGraph.h56 friend class CoreEngine;
251 friend class CoreEngine;
H A DExprEngine.h11 // is built on CoreEngine, but provides the boilerplate to execute transfer
24 #include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
63 CoreEngine Engine;
192 /// processCFGElement - Called by CoreEngine. Used to generate new successor
216 /// Called by CoreEngine when processing the entrance of a CFGBlock.
221 /// ProcessBranch - Called by CoreEngine. Used to generate successor
230 /// Called by CoreEngine. Used to processing branching behavior
239 /// processIndirectGoto - Called by CoreEngine. Used to generate successor
243 /// ProcessSwitch - Called by CoreEngine. Used to generate successor
247 /// Called by CoreEngine
[all...]

Completed in 480 milliseconds