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 328 SVal ArgSVal = State->getSVal(ArgExpr, C.getLocationContext());
331 if (ArgSVal.isUndef())
334 SymbolRef ArgSM = ArgSVal.getAsLocSymbol();
340 if (!isBadDeallocationArgument(ArgSVal.getAsRegion()))
423 if (State->assume(ArgSVal.castAs<DefinedSVal>(), false) &&
NullabilityChecker.cpp 688 auto ArgSVal = Call.getArgSVal(Idx++).getAs<DefinedOrUnknownSVal>();
689 if (!ArgSVal)
696 NullConstraint Nullness = getNullConstraint(*ArgSVal, State);
722 const MemRegion *Region = getTrackRegion(*ArgSVal);
    [all...]
DynamicTypePropagation.cpp 756 SVal ArgSVal = M.getArgSVal(i);
757 SymbolRef ArgSym = ArgSVal.getAsSymbol();
    [all...]

Completed in 510 milliseconds