HomeSort by: relevance | last modified time | path
    Searched refs:CoreEngine (Results 1 - 6 of 6) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
CoreEngine.cpp 1 //===- CoreEngine.cpp - Path-Sensitive Dataflow Engine --------------------===//
14 #include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
42 #define DEBUG_TYPE "CoreEngine"
73 CoreEngine::CoreEngine(ExprEngine &exprengine, FunctionSummariesTy *FS,
79 bool CoreEngine::ExecuteWorkList(const LocationContext *L, unsigned Steps,
153 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
196 bool CoreEngine::ExecuteWorkListWithInitialState(const LocationContext *L,
208 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) {
276 void CoreEngine::HandleBlockEntrance(const BlockEntrance &L
    [all...]
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h 1 //===- CoreEngine.h - Path-Sensitive Dataflow Engine ------------*- C++ -*-===//
47 /// CoreEngine - Implements the core logic of the graph-reachability
50 /// The template class CoreEngine (which subclasses CoreEngine)
55 class CoreEngine {
131 /// Construct a CoreEngine object to analyze the provided CFG.
132 CoreEngine(ExprEngine &exprengine,
136 CoreEngine(const CoreEngine &) = delete;
137 CoreEngine &operator=(const CoreEngine &) = delete
    [all...]
ExplodedGraph.h 67 friend class CoreEngine;
306 friend class CoreEngine;
ExprEngine.h 10 // is built on CoreEngine, but provides the boilerplate to execute transfer
28 #include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
147 CoreEngine Engine;
294 /// processCFGElement - Called by CoreEngine. Used to generate new successor
320 /// Called by CoreEngine when processing the entrance of a CFGBlock.
325 /// ProcessBranch - Called by CoreEngine. Used to generate successor
334 /// Called by CoreEngine.
343 /// Called by CoreEngine. Used to processing branching behavior
352 /// processIndirectGoto - Called by CoreEngine. Used to generate successor
356 /// ProcessSwitch - Called by CoreEngine. Used to generate successo
    [all...]
  /src/external/apache2/llvm/lib/libclangStaticAnalyzerCore/
Makefile 24 CoreEngine.cpp \
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
AnalyzerStatsChecker.cpp 118 typedef CoreEngine::BlocksExhausted::const_iterator ExhaustedIterator;
119 const CoreEngine &CE = Eng.getCoreEngine();

Completed in 85 milliseconds