OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:ExplodedGraph
(Results
1 - 2
of
2
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
ExplodedGraph.cpp
1
//=--
ExplodedGraph
.cpp - Local, Path-Sens. "Exploded Graph" -*- C++ -*------=//
10
// This file defines the template classes ExplodedNode and
ExplodedGraph
,
15
#include "clang/StaticAnalyzer/Core/PathSensitive/
ExplodedGraph
.h"
50
ExplodedGraph
::
ExplodedGraph
()
53
ExplodedGraph
::~
ExplodedGraph
() {}
59
bool
ExplodedGraph
::isInterestingLValueExpr(const Expr *Ex) {
67
bool
ExplodedGraph
::shouldCollect(const ExplodedNode *node) {
159
void
ExplodedGraph
::collectNode(ExplodedNode *node)
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExplodedGraph.h
1
//=--
ExplodedGraph
.h - Local, Path-Sens. "Exploded Graph" -*- C++ -*-------==//
10
// This file defines the template classes ExplodedNode and
ExplodedGraph
,
43
class
ExplodedGraph
;
46
//
ExplodedGraph
"implementation" classes. These classes are not typed to
55
friend class
ExplodedGraph
;
67
/// common case in an
ExplodedGraph
, where most nodes have only one
95
void addNode(ExplodedNode *N,
ExplodedGraph
&G);
178
void addPredecessor(ExplodedNode *V,
ExplodedGraph
&G);
245
class
ExplodedGraph
{
296
ExplodedGraph
* MakeEmptyGraph() const
[
all
...]
Completed in 23 milliseconds