Searched refs:getBVF (Results 1 – 1 of 1) sorted by relevance
905 static BasicValueFactory &getBVF(ProgramStateRef State) { in getBVF() function1061 BasicValueFactory &BVF = getBVF(State); in describe()