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