Searched refs:addTaint (Results 1 – 3 of 3) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Taint.cpp | 46 ProgramStateRef taint::addTaint(ProgramStateRef State, const Stmt *S, in addTaint() function in taint
49 return addTaint(State, State->getSVal(S, LCtx), Kind); in addTaint()
52 ProgramStateRef taint::addTaint(ProgramStateRef State, SVal V, in addTaint() function in taint
56 return addTaint(State, Sym, Kind); in addTaint()
77 return addTaint(State, R, Kind); in addTaint()
80 ProgramStateRef taint::addTaint(ProgramStateRef State, const MemRegion *R, in addTaint() function in taint
83 return addTaint(State, SR->getSymbol(), Kind); in addTaint()
87 ProgramStateRef taint::addTaint(ProgramStateRef State, SymbolRef Sym, in addTaint() function in taint
136 return addTaint(State, ParentSym, Kind); in addPartialTaint()
|
| H A D | GenericTaintChecker.cpp | 885 State = addTaint(State, Call.getReturnValue()); in checkPostCall()
897 State = addTaint(State, *V); in checkPostCall()
936 State = addTaint(State, C.getSVal(E)); in process()
|
| /freebsd/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,
|