Searched refs:getMetadataSymbolVal (Results 1 – 3 of 3) sorted by relevance
238 DefinedSVal getMetadataSymbolVal(const void *symbolTag,
242 DefinedSVal SValBuilder::getMetadataSymbolVal(const void *symbolTag, in getMetadataSymbolVal() function in SValBuilder
867 SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(), in getCStringLengthForRegion()1265 SVal NewStrLen = svalBuilder.getMetadataSymbolVal( in memsetAux()