OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
full:svals
(Results
1 - 21
of
21
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
CMakeLists.txt
35
SVals
.cpp
Android.mk
44
SVals
.cpp \
SValBuilder.cpp
21
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
RegionStore.cpp
513
/// Returns the cached set of interesting
SVals
contained within a lazy
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Environment.h
18
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
54
/// An immutable map from EnvironemntEntries to
SVals
.
SValBuilder.h
1
// SValBuilder.h - Construction of
SVals
from evaluating expressions -*- C++ -*-
23
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
ConstraintManager.h
17
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
SubEngine.h
17
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
SVals.h
1
//==
SVals
.h - Abstract Values for Static Analysis ---------*- C++ -*--==//
95
/// BufferTy - A temporary buffer to hold a set of
SVals
.
BasicValueFactory.h
21
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
ProgramState.h
300
/// \brief Visits the symbols reachable from the
SVals
in the given range
452
/// Object that manages the data for all created
SVals
.
ExprEngine.h
75
/// svalBuilder - SValBuilder object that creates
SVals
from expressions.
CallEvent.h
25
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
[
all
...]
MemRegion.h
24
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
[
all
...]
/external/valgrind/main/helgrind/
libhb_core.c
387
allow the user to do reference counting on the
SVals
stored herein.
431
SVal
svals
[N_LINE_ARANGE]; // == N_LINE_TREES * 8
member in struct:__anon17074
[
all
...]
/external/clang/www/analyzer/
checker_dev_manual.html
132
capabilities. <tt>
SVals
</tt> are value objects and their values can be viewed
175
we evaluate <tt>x*2</tt>, we take the two <tt>
SVals
</tt> of the subexpressions,
183
dance, and create an <tt>SVal</tt> that references the symbol <tt>$0</tt>. Note, two <tt>
SVals
</tt>
189
symbolic chunks of memory, and thus are also based on symbols.
SVals
are just
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
BugReporterVisitor.h
18
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
/external/clang/lib/StaticAnalyzer/Checkers/
NSErrorChecker.cpp
215
// FIXME: Cumbersome! Maybe add hook at construction of
SVals
at start of
UnreachableCodeChecker.cpp
26
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
IdempotentOperationChecker.cpp
57
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
/external/clang/include/clang/StaticAnalyzer/Core/
Checker.h
19
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
Completed in 368 milliseconds