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
{
104
CoreEngine
(const
CoreEngine
&); // Do not implement.
105
CoreEngine
& operator=(const
CoreEngine
&);
110
/// Construct a
CoreEngine
object to analyze the provided CFG usin
[
all
...]
ExplodedGraph.h
56
friend class
CoreEngine
;
246
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"
52
CoreEngine
Engine;
154
/// processCFGElement - Called by
CoreEngine
. Used to generate new successor
174
/// Called by
CoreEngine
when processing the entrance of a CFGBlock.
178
/// ProcessBranch - Called by
CoreEngine
. Used to generate successor
187
/// processIndirectGoto - Called by
CoreEngine
. Used to generate successor
191
/// ProcessSwitch - Called by
CoreEngine
. Used to generate successor
195
/// ProcessEndPath - Called by
CoreEngine
. Used to generate end-of-path
205
/// 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
"
18
#include "clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine
.h"
162
bool
CoreEngine
::ExecuteWorkList(const LocationContext *L, unsigned Steps,
224
void
CoreEngine
::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
270
bool
CoreEngine
::ExecuteWorkListWithInitialState(const LocationContext *L,
282
void
CoreEngine
::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) {
321
void
CoreEngine
::HandleBlockEntrance(const BlockEntrance &L,
341
void
CoreEngine
::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) {
447
void
CoreEngine
::HandleBranch(const Stmt *Cond, const Stmt *Term,
[
all
...]
Android.mk
22
CoreEngine
.cpp \
/external/clang/lib/StaticAnalyzer/Checkers/
AnalyzerStatsChecker.cpp
119
typedef
CoreEngine
::BlocksExhausted::const_iterator ExhaustedIterator;
120
const
CoreEngine
&CE = Eng.getCoreEngine();
IdempotentOperationChecker.cpp
55
#include "clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine
.h"
91
const
CoreEngine
&CE);
537
const
CoreEngine
&CE) {
542
typedef
CoreEngine
::BlocksExhausted::const_iterator ExhaustedIterator;
560
typedef
CoreEngine
::BlocksAborted::const_iterator AbortedIterator;
Completed in 214 milliseconds