reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Definitions

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
   24 REGISTER_TRAIT_WITH_PROGRAMSTATE(ConstraintSMT, ConstraintSMTType)
tools/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
   64 REGISTER_SET_WITH_PROGRAMSTATE(MarkedSymbols, SymbolRef)
tools/clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp
  301 REGISTER_SET_WITH_PROGRAMSTATE(TaintArgsOnPostVisit, unsigned)
tools/clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp
  115 REGISTER_SET_WITH_PROGRAMSTATE(RefCountedParameters, const ParmVarDecl *)
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
  220 REGISTER_SET_WITH_PROGRAMSTATE(ReallocSizeZeroSymbols, SymbolRef)
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSuperDeallocChecker.cpp
   61 REGISTER_SET_WITH_PROGRAMSTATE(CalledSuperDealloc, SymbolRef)
tools/clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp
  101 REGISTER_LIST_WITH_PROGRAMSTATE(LockSet, const MemRegion *)
tools/clang/lib/StaticAnalyzer/Checkers/TestAfterDivZeroChecker.cpp
   93 REGISTER_SET_WITH_PROGRAMSTATE(DivZeroMap, ZeroState)
tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp
   35 REGISTER_SET_WITH_PROGRAMSTATE(AnalyzedRegions, const MemRegion *)
tools/clang/lib/StaticAnalyzer/Checkers/ValistChecker.cpp
   24 REGISTER_SET_WITH_PROGRAMSTATE(InitializedVALists, const MemRegion *)
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
 2182 REGISTER_TRAIT_WITH_PROGRAMSTATE(InitializedGlobalsSet,
tools/clang/lib/StaticAnalyzer/Core/LoopUnrolling.cpp
   66 REGISTER_LIST_WITH_PROGRAMSTATE(LoopStack, LoopState)