OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
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