OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:ExplodedGraph
(Results
1 - 10
of
10
) 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) {
164
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
,
44
class
ExplodedGraph
;
47
//
ExplodedGraph
"implementation" classes. These classes are not typed to
56
friend class
ExplodedGraph
;
68
/// common case in an
ExplodedGraph
, where most nodes have only one
96
void addNode(ExplodedNode *N,
ExplodedGraph
&G);
176
void addPredecessor(ExplodedNode *V,
ExplodedGraph
&G);
247
class
ExplodedGraph
{
301
///
ExplodedGraph
for further processing
[
all
...]
/prebuilts/clang/host/darwin-x86/clang-3957855/prebuilt_include/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);
175
void addPredecessor(ExplodedNode *V,
ExplodedGraph
&G);
246
class
ExplodedGraph
{
300
///
ExplodedGraph
for further processing
[
all
...]
/prebuilts/clang/host/darwin-x86/clang-3960126/prebuilt_include/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);
175
void addPredecessor(ExplodedNode *V,
ExplodedGraph
&G);
246
class
ExplodedGraph
{
300
///
ExplodedGraph
for further processing
[
all
...]
/prebuilts/clang/host/darwin-x86/clang-3977809/prebuilt_include/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);
175
void addPredecessor(ExplodedNode *V,
ExplodedGraph
&G);
246
class
ExplodedGraph
{
300
///
ExplodedGraph
for further processing
[
all
...]
/prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/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);
175
void addPredecessor(ExplodedNode *V,
ExplodedGraph
&G);
246
class
ExplodedGraph
{
300
///
ExplodedGraph
for further processing
[
all
...]
/prebuilts/clang/host/linux-x86/clang-3957855/prebuilt_include/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);
175
void addPredecessor(ExplodedNode *V,
ExplodedGraph
&G);
246
class
ExplodedGraph
{
300
///
ExplodedGraph
for further processing
[
all
...]
/prebuilts/clang/host/linux-x86/clang-3960126/prebuilt_include/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);
175
void addPredecessor(ExplodedNode *V,
ExplodedGraph
&G);
246
class
ExplodedGraph
{
300
///
ExplodedGraph
for further processing
[
all
...]
/prebuilts/clang/host/linux-x86/clang-3977809/prebuilt_include/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);
175
void addPredecessor(ExplodedNode *V,
ExplodedGraph
&G);
246
class
ExplodedGraph
{
300
///
ExplodedGraph
for further processing
[
all
...]
/prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/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);
175
void addPredecessor(ExplodedNode *V,
ExplodedGraph
&G);
246
class
ExplodedGraph
{
300
///
ExplodedGraph
for further processing
[
all
...]
Completed in 50 milliseconds