Taint.cpp - OpenGrok cross reference for /llvm-project/clang/lib/StaticAnalyzer/Checkers/Taint.cpp

Lines Matching defs:SymbolRef
24 REGISTER_MAP_WITH_PROGRAMSTATE(TaintMap, SymbolRef, TaintTagType)
29 REGISTER_MAP_WITH_PROGRAMSTATE(DerivedSymTaint, SymbolRef, TaintedSubRegions)
54   SymbolRef Sym = V.getAsSymbol();
71       if (SymbolRef Sym = binding->getAsSymbol())
87 ProgramStateRef taint::addTaint(ProgramStateRef State, SymbolRef Sym,
100   SymbolRef Sym = V.getAsSymbol();
114 ProgramStateRef taint::removeTaint(ProgramStateRef State, SymbolRef Sym) {
126                                        SymbolRef ParentSym,
165 bool taint::isTainted(ProgramStateRef State, SymbolRef Sym, TaintTagType Kind) {
170 std::vector<SymbolRef> taint::getTaintedSymbols(ProgramStateRef State,
177 std::vector<SymbolRef> taint::getTaintedSymbols(ProgramStateRef State, SVal V,
182 std::vector<SymbolRef> taint::getTaintedSymbols(ProgramStateRef State,
183                                                 SymbolRef Sym,
188 std::vector<SymbolRef> taint::getTaintedSymbols(ProgramStateRef State,
194 std::vector<SymbolRef> taint::getTaintedSymbolsImpl(ProgramStateRef State,
203 std::vector<SymbolRef> taint::getTaintedSymbolsImpl(ProgramStateRef State,
206   if (SymbolRef Sym = V.getAsSymbol())
221 std::vector<SymbolRef> taint::getTaintedSymbolsImpl(ProgramStateRef State,
225   std::vector<SymbolRef> TaintedSymbols;
231     std::vector<SymbolRef> TaintedIndex =
240     std::vector<SymbolRef> TaintedRegions =
250     std::vector<SymbolRef> TaintedSubRegions =
260 std::vector<SymbolRef> taint::getTaintedSymbolsImpl(ProgramStateRef State,
261                                                     SymbolRef Sym,
264   std::vector<SymbolRef> TaintedSymbols;
275   for (SymbolRef SubSym : Sym->symbols()) {
289       std::vector<SymbolRef> TaintedParents = getTaintedSymbolsImpl(
317       std::vector<SymbolRef> TaintedRegions =
326       std::vector<SymbolRef> TaintedCasts =