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