OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:ExplodedGraph
(Results
1 - 18
of
18
) 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
...]
Android.mk
29
ExplodedGraph
.cpp \
BugReporter.cpp
52
// Helper routines for walking the
ExplodedGraph
and fetching statements.
[
all
...]
CoreEngine.cpp
276
for (
ExplodedGraph
::eop_iterator I = G->eop_begin(),
BugReporterVisitors.cpp
20
#include "clang/StaticAnalyzer/Core/PathSensitive/
ExplodedGraph
.h"
160
/// This will search back through the
ExplodedGraph
, starting from the given
807
if (
ExplodedGraph
::isInterestingLValueExpr(Ex) || CallEvent::isCallStmt(Ex))
838
if (Inner &&
ExplodedGraph
::isInterestingLValueExpr(Inner)) {
[
all
...]
CheckerManager.cpp
346
void CheckerManager::runCheckersForEndAnalysis(
ExplodedGraph
&G,
ExprEngine.cpp
12
// functions and build the
ExplodedGraph
at the expression level.
78
// Enable eager node reclaimation when constructing the
ExplodedGraph
.
380
// Reclaim any unnecessary nodes in the
ExplodedGraph
.
[
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
...]
CoreEngine.h
21
#include "clang/StaticAnalyzer/Core/PathSensitive/
ExplodedGraph
.h"
36
/// analysis. It traverses the CFG and generates the
ExplodedGraph
.
63
OwningPtr<
ExplodedGraph
> G;
71
/// These are used to record for key nodes in the
ExplodedGraph
the
109
: SubEng(subengine), G(new
ExplodedGraph
()),
115
ExplodedGraph
& getGraph() { return *G.get(); }
119
ExplodedGraph
* takeGraph() { return G.take(); }
201
///
ExplodedGraph
.
260
/// \brief Generates a node in the
ExplodedGraph
.
267
/// \brief Generates a sink in the
ExplodedGraph
[
all
...]
ExprEngine.h
12
// functions and build the
ExplodedGraph
at the expression level.
67
ExplodedGraph
& G;
149
/// Visualize the
ExplodedGraph
created by executing the simulation.
152
/// Visualize a trimmed
ExplodedGraph
that only contains paths to the given
157
/// in the
ExplodedGraph
.
160
ExplodedGraph
& getGraph() { return G; }
161
const
ExplodedGraph
& getGraph() const { return G; }
ProgramState.h
81
friend class
ExplodedGraph
;
/external/clang/lib/StaticAnalyzer/Checkers/
AnalyzerStatsChecker.cpp
19
#include "clang/StaticAnalyzer/Core/PathSensitive/
ExplodedGraph
.h"
37
void checkEndAnalysis(
ExplodedGraph
&G, BugReporter &B,ExprEngine &Eng) const;
41
void AnalyzerStatsChecker::checkEndAnalysis(
ExplodedGraph
&G,
55
for (
ExplodedGraph
::node_iterator I = G.nodes_begin();
UnreachableCodeChecker.cpp
25
#include "clang/StaticAnalyzer/Core/PathSensitive/
ExplodedGraph
.h"
39
void checkEndAnalysis(
ExplodedGraph
&G, BugReporter &B,
53
void UnreachableCodeChecker::checkEndAnalysis(
ExplodedGraph
&G,
65
// Iterate over
ExplodedGraph
66
for (
ExplodedGraph
::node_iterator I = G.nodes_begin(), E = G.nodes_end();
CheckerDocumentation.cpp
162
/// \brief Called after all the paths in the
ExplodedGraph
reach end of path
171
void checkEndAnalysis(
ExplodedGraph
&G,
IdempotentOperationChecker.cpp
76
void checkEndAnalysis(
ExplodedGraph
&G, BugReporter &B,ExprEngine &Eng) const;
345
void IdempotentOperationChecker::checkEndAnalysis(
ExplodedGraph
&G,
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
BugReporter.h
40
class
ExplodedGraph
;
512
ExplodedGraph
&getGraph();
546
ExplodedGraph
&getGraph() { return BR.getGraph(); }
/external/clang/include/clang/StaticAnalyzer/Core/
CheckerManager.h
41
class
ExplodedGraph
;
284
void runCheckersForEndAnalysis(
ExplodedGraph
&G, BugReporter &BR,
419
typedef CheckerFn<void (
ExplodedGraph
&, BugReporter &, ExprEngine &)>
Checker.h
217
static void _checkEndAnalysis(void *checker,
ExplodedGraph
&G,
Completed in 2339 milliseconds