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