Searched refs:addTaint (Results 1 – 3 of 3) sorted by relevance
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Taint.cpp | 45 ProgramStateRef taint::addTaint(ProgramStateRef State, const Stmt *S, in addTaint() function in taint 48 return addTaint(State, State->getSVal(S, LCtx), Kind); in addTaint() 51 ProgramStateRef taint::addTaint(ProgramStateRef State, SVal V, in addTaint() function in taint 55 return addTaint(State, Sym, Kind); in addTaint() 76 return addTaint(State, R, Kind); in addTaint() 79 ProgramStateRef taint::addTaint(ProgramStateRef State, const MemRegion *R, in addTaint() function in taint 82 return addTaint(State, SR->getSymbol(), Kind); in addTaint() 86 ProgramStateRef taint::addTaint(ProgramStateRef State, SymbolRef Sym, in addTaint() function in taint 135 return addTaint(State, ParentSym, Kind); in addPartialTaint()
|
| H A D | GenericTaintChecker.cpp | 869 State = addTaint(State, Call.getReturnValue()); in checkPostCall() 881 State = addTaint(State, *V); in checkPostCall() 920 State = addTaint(State, C.getSVal(E)); in process()
|
| /freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | Taint.h | 30 [[nodiscard]] ProgramStateRef addTaint(ProgramStateRef State, const Stmt *S, 35 [[nodiscard]] ProgramStateRef addTaint(ProgramStateRef State, SVal V, 39 [[nodiscard]] ProgramStateRef addTaint(ProgramStateRef State, SymbolRef Sym, 44 [[nodiscard]] ProgramStateRef addTaint(ProgramStateRef State,
|