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