Searched defs:BVF (Results 1 – 5 of 5) sorted by relevance
100 BasicValueFactory &BVF = getBasicVals(); in assumeAuxForSymbol() local218 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local
415 BasicValueFactory &BVF = getBasicValueFactory(); in evalCast() local
319 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound() local
88 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall() local
559 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow() local682 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion() local