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 =