197 static void addCastTransition(const CallEvent &Call, DefinedOrUnknownSVal DV,  in addCastTransition()
258 static void addInstanceOfTransition(const CallEvent &Call,  in addInstanceOfTransition()
340 static void evalNonNullParamNonNullReturn(const CallEvent &Call,  in evalNonNullParamNonNullReturn()
348 static void evalNonNullParamNullReturn(const CallEvent &Call,  in evalNonNullParamNullReturn()
355 static void evalNullParamNullReturn(const CallEvent &Call,  in evalNullParamNullReturn()
366 void CastValueChecker::evalCast(const CallEvent &Call, DefinedOrUnknownSVal DV,  in evalCast()
371 void CastValueChecker::evalDynCast(const CallEvent &Call,  in evalDynCast()
378 void CastValueChecker::evalCastOrNull(const CallEvent &Call,  in evalCastOrNull()
385 void CastValueChecker::evalDynCastOrNull(const CallEvent &Call,  in evalDynCastOrNull()
397 static void evalZeroParamNonNullReturn(const CallEvent &Call,  in evalZeroParamNonNullReturn()
405 static void evalZeroParamNullReturn(const CallEvent &Call,  in evalZeroParamNullReturn()
412 void CastValueChecker::evalCastAs(const CallEvent &Call,  in evalCastAs()
418 void CastValueChecker::evalGetAs(const CallEvent &Call, DefinedOrUnknownSVal DV,  in evalGetAs()
428 void CastValueChecker::evalIsa(const CallEvent &Call, DefinedOrUnknownSVal DV,  in evalIsa()
443 void CastValueChecker::evalIsaAndNonNull(const CallEvent &Call,  in evalIsaAndNonNull()
463 bool CastValueChecker::evalCall(const CallEvent &Call,  in evalCall()