Home
last modified time | relevance | path

Searched refs:CoreEngine (Results 1 – 8 of 8) sorted by relevance

/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCoreEngine.cpp1 //===- CoreEngine.cpp - Path-Sensitive Dataflow Engine --------------------===//
14 #include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
42 #define DEBUG_TYPE "CoreEngine"
75 CoreEngine::CoreEngine(ExprEngine &exprengine, FunctionSummariesTy *FS, in CoreEngine() function in CoreEngine
81 void CoreEngine::setBlockCounter(BlockCounter C) { in setBlockCounter()
88 bool CoreEngine::ExecuteWorkList(const LocationContext *L, unsigned MaxSteps, in ExecuteWorkList()
182 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem()
225 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { in HandleBlockEdge()
294 void CoreEngine
[all...]
H A DCMakeLists.txt24 CoreEngine.cpp
/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h1 //===- CoreEngine.h - Path-Sensitive Dataflow Engine ------------*- C++ -*-===//
48 /// CoreEngine - Implements the core logic of the graph-reachability analysis.
50 class CoreEngine {
138 /// Construct a CoreEngine object to analyze the provided CFG.
139 CoreEngine(ExprEngine &exprengine,
143 CoreEngine(const CoreEngine &) = delete;
144 CoreEngine &operator=(const CoreEngine &) = delete;
166 /// Inform the CoreEngine tha
[all...]
H A DExplodedGraph.h68 friend class CoreEngine; variable
305 friend class CoreEngine;
H A DExprEngine.h10 // is built on CoreEngine, but provides the boilerplate to execute transfer
28 #include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
145 CoreEngine Engine;
293 /// processCFGElement - Called by CoreEngine. Used to generate new successor
319 /// Called by CoreEngine when processing the entrance of a CFGBlock.
324 /// ProcessBranch - Called by CoreEngine. Used to generate successor nodes by
333 /// Called by CoreEngine.
342 /// Called by CoreEngine. Used to processing branching behavior
351 /// processIndirectGoto - Called by CoreEngine. Used to generate successor
355 /// ProcessSwitch - Called by CoreEngine
[all...]
/llvm-project/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/
H A DBUILD.gn33 "CoreEngine.cpp",
/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DAnalyzerStatsChecker.cpp118 const CoreEngine &CE = Eng.getCoreEngine(); in checkEndAnalysis()
/llvm-project/clang/docs/analyzer/developer-docs/
H A DIPA.rst136 1. The CoreEngine realizes we're at the end of an inlined call and generates a