HomeSort by relevance Sort by last modified time
    Searched full:svals (Results 1 - 21 of 21) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
CMakeLists.txt 36 SVals.cpp
Android.mk 45 SVals.cpp \
SValBuilder.cpp 21 #include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
RegionStore.cpp 548 /// 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"
BasicValueFactory.h 21 #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.
ProgramState.h 301 /// \brief Visits the symbols reachable from the SVals in the given range
456 /// Object that manages the data for all created SVals.
ExprEngine.h 74 /// 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:__anon16536
    [all...]
  /external/clang/www/analyzer/
checker_dev_manual.html 143 capabilities. <tt>SVals</tt> are value objects and their values can be viewed
186 we evaluate <tt>x*2</tt>, we take the two <tt>SVals</tt> of the subexpressions,
194 dance, and create an <tt>SVal</tt> that references the symbol <tt>$0</tt>. Note, two <tt>SVals</tt>
200 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 217 // FIXME: Cumbersome! Maybe add hook at construction of SVals at start of
UnreachableCodeChecker.cpp 26 #include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
  /external/clang/include/clang/StaticAnalyzer/Core/
Checker.h 19 #include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
  /external/clang/patches/
0004-Add-Android-build-system.patch     [all...]

Completed in 1675 milliseconds