OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
full:svals
(Results
1 - 22
of
22
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
CMakeLists.txt
35
SVals
.cpp
Android.mk
40
SVals
.cpp \
Environment.cpp
166
// In addition to mapping from EnvironmentEntry - >
SVals
in the Environment,
167
// we also maintain a mapping from EnvironmentEntry ->
SVals
(locations)
SValBuilder.cpp
17
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Environment.h
18
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
56
/// An immutable map from EnvironemntEntries to
SVals
.
ConstraintManager.h
18
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
SValBuilder.h
1
// SValBuilder.h - Construction of
SVals
from evaluating expressions -*- C++ -*-
21
#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++ -*--==//
73
/// BufferTy - A temporary buffer to hold a set of
SVals
.
BasicValueFactory.h
20
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
ObjCMessage.h
18
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
ExprEngine.h
63
/// svalBuilder - SValBuilder object that creates
SVals
from expressions.
ProgramState.h
275
/// \brief Visits the symbols reachable from the
SVals
in the given range
412
/// Object that manages the data for all created
SVals
.
MemRegion.h
23
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
[
all
...]
/external/valgrind/main/helgrind/
libhb_core.c
386
allow the user to do reference counting on the
SVals
stored herein.
430
SVal
svals
[N_LINE_ARANGE]; // == N_LINE_TREES * 8
member in struct:__anon14135
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
BugReporterVisitor.h
18
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
/external/clang/www/analyzer/
checker_dev_manual.html
159
we evaluate <tt>x*2</tt>, we take the two <tt>
SVals
</tt> of the subexpressions,
167
dance, and create an <tt>SVal</tt> that references the symbol <tt>$0</tt>. Note, two <tt>
SVals
</tt>
173
symbolic chunks of memory, and thus are also based on symbols.
SVals
are just
/external/clang/include/clang/StaticAnalyzer/Core/
Checker.h
19
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
/external/clang/lib/StaticAnalyzer/Checkers/
NSErrorChecker.cpp
228
// FIXME: Cumbersome! Maybe add hook at construction of
SVals
at start of
UnreachableCodeChecker.cpp
21
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
IdempotentOperationChecker.cpp
56
#include "clang/StaticAnalyzer/Core/PathSensitive/
SVals
.h"
/external/valgrind/tsan/
thread_sanitizer.cc
[
all
...]
Completed in 728 milliseconds