Data Structures for Points-To Analysis