HomeSort by relevance Sort by last modified time
    Searched refs:ArgSVal (Results 1 - 3 of 3) sorted by null

  /external/clang/lib/StaticAnalyzer/Checkers/
MacOSKeychainAPIChecker.cpp 336 SVal ArgSVal = State->getSVal(ArgExpr, C.getLocationContext());
339 if (ArgSVal.isUndef())
342 SymbolRef ArgSM = ArgSVal.getAsLocSymbol();
348 if (!isBadDeallocationArgument(ArgSVal.getAsRegion()))
431 if (State->assume(ArgSVal.castAs<DefinedSVal>(), false) &&
NullabilityChecker.cpp 557 auto ArgSVal = Call.getArgSVal(Idx++).getAs<DefinedOrUnknownSVal>();
558 if (!ArgSVal)
565 NullConstraint Nullness = getNullConstraint(*ArgSVal, State);
582 const MemRegion *Region = getTrackRegion(*ArgSVal);
    [all...]
DynamicTypePropagation.cpp 731 SVal ArgSVal = M.getArgSVal(i);
732 SymbolRef ArgSym = ArgSVal.getAsSymbol();
    [all...]

Completed in 187 milliseconds