Home
last modified time | relevance | path

Searched refs:getTaintedSymbols (Results 1 – 6 of 6) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DTaint.h83 std::vector<SymbolRef> getTaintedSymbols(ProgramStateRef State, const Stmt *S,
88 std::vector<SymbolRef> getTaintedSymbols(ProgramStateRef State, SVal V,
92 std::vector<SymbolRef> getTaintedSymbols(ProgramStateRef State, SymbolRef Sym,
97 std::vector<SymbolRef> getTaintedSymbols(ProgramStateRef State,
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DTaint.cpp170 std::vector<SymbolRef> taint::getTaintedSymbols(ProgramStateRef State, in getTaintedSymbols() function in taint
177 std::vector<SymbolRef> taint::getTaintedSymbols(ProgramStateRef State, SVal V, in getTaintedSymbols() function in taint
182 std::vector<SymbolRef> taint::getTaintedSymbols(ProgramStateRef State, in getTaintedSymbols() function in taint
188 std::vector<SymbolRef> taint::getTaintedSymbols(ProgramStateRef State, in getTaintedSymbols() function in taint
H A DGenericTaintChecker.cpp887 getTaintedSymbols(State, Call.getReturnValue()); in checkPostCall()
898 std::vector<SymbolRef> TaintedSyms = getTaintedSymbols(State, *V); in checkPostCall()
969 getTaintedSymbols(State, *TaintedSVal); in process()
1052 for (auto TaintedSym : getTaintedSymbols(C.getState(), *TaintedSVal)) { in generateReportIfTainted()
H A DVLASizeChecker.cpp228 for (auto Sym : getTaintedSymbols(State, TaintedSVal)) in reportTaintBug()
H A DArrayBoundCheckerV2.cpp691 for (SymbolRef Sym : getTaintedSymbols(ErrorState, Val)) in markPartsInteresting()
H A DMallocChecker.cpp1719 taint::getTaintedSymbols(State, SizeSVal); in checkTaintedness()