Searched refs:addTaint (Results 1 – 3 of 3) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ProgramState.cpp | 651 ProgramStateRef ProgramState::addTaint(const Stmt *S, in addTaint() function in ProgramState
659 return addTaint(Sym, Kind); in addTaint()
662 addTaint(R, Kind); in addTaint()
668 ProgramStateRef ProgramState::addTaint(const MemRegion *R, in addTaint() function in ProgramState
671 return addTaint(SR->getSymbol(), Kind); in addTaint()
675 ProgramStateRef ProgramState::addTaint(SymbolRef Sym, in addTaint() function in ProgramState
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | GenericTaintChecker.cpp | 344 State = State->addTaint(CE, C.getLocationContext()); in propagateFromPre()
355 State = State->addTaint(Sym); in propagateFromPre()
546 State = State->addTaint(CE, C.getLocationContext()); in postSocket()
563 State = State->addTaint(Sym); in postScanf()
570 return C.getState()->addTaint(CE, C.getLocationContext()); in postRetTaint()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 343 ProgramStateRef addTaint(const Stmt *S, const LocationContext *LCtx,
347 ProgramStateRef addTaint(SymbolRef S,
351 ProgramStateRef addTaint(const MemRegion *R,
|