Home
last modified time | relevance | path

Searched refs:addTaint (Results 1 – 3 of 3) sorted by relevance

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DTaint.cpp45 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 DGenericTaintChecker.cpp869 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 DTaint.h30 [[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,