Home
last modified time | relevance | path

Searched defs:BVF (Results 1 – 5 of 5) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.cpp100 BasicValueFactory &BVF = getBasicVals(); in assumeAuxForSymbol() local
254 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local
308 BasicValueFactory &BVF = getBasicVals(); in assumeSymWithinInclusiveRange() local
DSValBuilder.cpp443 BasicValueFactory &BVF = getBasicValueFactory(); in evalCast() local
DProgramState.cpp319 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound() local
/external/clang/lib/StaticAnalyzer/Checkers/
DBuiltinFunctionChecker.cpp89 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall() local
DCStringChecker.cpp567 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow() local
690 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion() local