Lines Matching defs:SVal

83 bool isStdin(SVal Val, const ASTContext &ACtx) {
112 SVal getPointeeOf(ProgramStateRef State, Loc LValue) {
123 std::optional<SVal> getPointeeOf(ProgramStateRef State, SVal Arg) {
129 /// Given a pointer, return the SVal of its pointee or if it is tainted,
130 /// otherwise return the pointer's SVal if tainted.
132 std::optional<SVal> getTaintedPointeeOrPointer(ProgramStateRef State,
133                                                SVal Arg) {
143 bool isTaintedOrPointsToTainted(ProgramStateRef State, SVal ExprSVal) {
924   /// Iterate every call argument, and get their corresponding Expr and SVal.
933   ForEachCallArg([this, &Checker, &C, &State](ArgIdxTy I, const Expr *E, SVal) {
943   ForEachCallArg([this, &State](ArgIdxTy I, const Expr *E, SVal S) {
960                   &TaintedIndexes](ArgIdxTy I, const Expr *E, SVal) {
961     std::optional<SVal> TaintedSVal =
982   const auto WouldEscape = [](SVal V, QualType Ty) -> bool {
997       [&](ArgIdxTy I, const Expr *E, SVal V) {
1040   std::optional<SVal> TaintedSVal =