HomeSort by relevance Sort by last modified time
    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