Lines Matching defs:Kind

48                                 TaintTagType Kind) {
49   return addTaint(State, State->getSVal(S, LCtx), Kind);
53                                 TaintTagType Kind) {
56     return addTaint(State, Sym, Kind);
72         return addPartialTaint(State, Sym, LCV->getRegion(), Kind);
77   return addTaint(State, R, Kind);
81                                 TaintTagType Kind) {
83     return addTaint(State, SR->getSymbol(), Kind);
88                                 TaintTagType Kind) {
94   ProgramStateRef NewState = State->set<TaintMap>(Sym, Kind);
128                                        TaintTagType Kind) {
131     if (*T == Kind)
136     return addTaint(State, ParentSym, Kind);
142   Regs = F.add(Regs, SubRegion, Kind);
149                       const LocationContext *LCtx, TaintTagType Kind) {
150   return !getTaintedSymbolsImpl(State, S, LCtx, Kind, /*ReturnFirstOnly=*/true)
154 bool taint::isTainted(ProgramStateRef State, SVal V, TaintTagType Kind) {
155   return !getTaintedSymbolsImpl(State, V, Kind, /*ReturnFirstOnly=*/true)
165 bool taint::isTainted(ProgramStateRef State, SymbolRef Sym, TaintTagType Kind) {
166   return !getTaintedSymbolsImpl(State, Sym, Kind, /*ReturnFirstOnly=*/true)
173                                                 TaintTagType Kind) {
174   return getTaintedSymbolsImpl(State, S, LCtx, Kind, /*ReturnFirstOnly=*/false);
178                                                 TaintTagType Kind) {
179   return getTaintedSymbolsImpl(State, V, Kind, /*ReturnFirstOnly=*/false);
184                                                 TaintTagType Kind) {
185   return getTaintedSymbolsImpl(State, Sym, Kind, /*ReturnFirstOnly=*/false);
190                                                 TaintTagType Kind) {
191   return getTaintedSymbolsImpl(State, Reg, Kind, /*ReturnFirstOnly=*/false);
197                                                     TaintTagType Kind,
200   return getTaintedSymbolsImpl(State, val, Kind, returnFirstOnly);
204                                                     SVal V, TaintTagType Kind,
207     return getTaintedSymbolsImpl(State, Sym, Kind, returnFirstOnly);
209     return getTaintedSymbolsImpl(State, Reg, Kind, returnFirstOnly);
214       return getTaintedSymbolsImpl(State, *DefaultVal, Kind, returnFirstOnly);
262                                                     TaintTagType Kind,
280       if (*Tag == Kind) {
290           State, SD->getParentSymbol(), Kind, returnFirstOnly);
306           if (Kind == I.second && R->isSubRegionOf(I.first)) {
318           getTaintedSymbolsImpl(State, SRV->getRegion(), Kind, returnFirstOnly);
327           getTaintedSymbolsImpl(State, SC->getOperand(), Kind, returnFirstOnly);