|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
Definitions
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h 607 template <typename T>
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)