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++ -*-//
30 /// CoreEngine - Implements the core logic of the graph-reachability
33 /// The template class CoreEngine (which subclasses CoreEngine)
38 class CoreEngine {
95 CoreEngine(const CoreEngine&); // Do not implement.
96 CoreEngine& operator=(const CoreEngine&);
99 /// Construct a CoreEngine object to analyze the provided CFG usin
    [all...]
ExplodedGraph.h 55 friend class CoreEngine;
237 friend class CoreEngine;
ExprEngine.h 11 // is built on CoreEngine, but provides the boilerplate to execute transfer
21 #include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
42 CoreEngine Engine;
135 /// processCFGElement - Called by CoreEngine. Used to generate new successor
152 /// Called by CoreEngine when processing the entrance of a CFGBlock.
156 /// ProcessBranch - Called by CoreEngine. Used to generate successor
161 /// processIndirectGoto - Called by CoreEngine. Used to generate successor
165 /// ProcessSwitch - Called by CoreEngine. Used to generate successor
169 /// ProcessEndPath - Called by CoreEngine. Used to generate end-of-path
179 /// Called by CoreEngine when the analysis worklist has terminated
    [all...]
  /external/clang/lib/StaticAnalyzer/Checkers/
AnalyzerStatsChecker.cpp 100 typedef CoreEngine::BlocksExhausted::const_iterator ExhaustedIterator;
101 const CoreEngine &CE = Eng.getCoreEngine();
IdempotentOperationChecker.cpp 55 #include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
90 const CoreEngine &CE);
531 const CoreEngine &CE) {
536 typedef CoreEngine::BlocksExhausted::const_iterator ExhaustedIterator;
554 typedef CoreEngine::BlocksAborted::const_iterator AbortedIterator;
  /external/clang/lib/StaticAnalyzer/Core/
Android.mk 28 CoreEngine.cpp \
CoreEngine.cpp 1 //==- CoreEngine.cpp - Path-Sensitive Dataflow Engine ------------*- C++ -*-//
16 #include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
164 bool CoreEngine::ExecuteWorkList(const LocationContext *L, unsigned Steps,
248 void CoreEngine::ExecuteWorkListWithInitialState(const LocationContext *L,
259 void CoreEngine::HandleCallEnter(const CallEnter &L, const CFGBlock *Block,
266 void CoreEngine::HandleCallExit(const CallExit &L, ExplodedNode *Pred) {
271 void CoreEngine::HandleBlockEdge(const BlockEdge& L, ExplodedNode* Pred) {
315 void CoreEngine::HandleBlockEntrance(const BlockEntrance& L,
335 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode* Pred) {
425 void CoreEngine::HandleBranch(const Stmt* Cond, const Stmt* Term,
    [all...]

Completed in 557 milliseconds