HomeSort by relevance Sort by last modified time
    Searched refs:CoreEngine (Results 1 - 7 of 7) sorted by null

  /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 {
100 CoreEngine(const CoreEngine &) LLVM_DELETED_FUNCTION;
101 void operator=(const CoreEngine &) LLVM_DELETED_FUNCTION;
106 /// Construct a CoreEngine object to analyze the provided CFG.
107 CoreEngine(SubEngine& subengine
    [all...]
ExplodedGraph.h 56 friend class CoreEngine;
247 friend class CoreEngine;
ExprEngine.h 11 // is built on CoreEngine, but provides the boilerplate to execute transfer
24 #include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
64 CoreEngine Engine;
193 /// processCFGElement - Called by CoreEngine. Used to generate new successor
213 /// Called by CoreEngine when processing the entrance of a CFGBlock.
218 /// ProcessBranch - Called by CoreEngine. Used to generate successor
227 /// processIndirectGoto - Called by CoreEngine. Used to generate successor
231 /// ProcessSwitch - Called by CoreEngine. Used to generate successor
235 /// Called by CoreEngine. Used to generate end-of-path
252 /// Called by CoreEngine when the analysis worklist has terminated
    [all...]
  /external/clang/lib/StaticAnalyzer/Core/
CoreEngine.cpp 1 //==- CoreEngine.cpp - Path-Sensitive Dataflow Engine ------------*- C++ -*-//
15 #define DEBUG_TYPE "CoreEngine"
17 #include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
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) {
448 void CoreEngine::HandleBranch(const Stmt *Cond, const Stmt *Term,
    [all...]
Android.mk 27 CoreEngine.cpp \
  /external/clang/lib/StaticAnalyzer/Checkers/
AnalyzerStatsChecker.cpp 119 typedef CoreEngine::BlocksExhausted::const_iterator ExhaustedIterator;
120 const CoreEngine &CE = Eng.getCoreEngine();
IdempotentOperationChecker.cpp 56 #include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
92 const CoreEngine &CE);
541 const CoreEngine &CE) {
546 typedef CoreEngine::BlocksExhausted::const_iterator ExhaustedIterator;
564 typedef CoreEngine::BlocksAborted::const_iterator AbortedIterator;

Completed in 73 milliseconds