A GPU Implementation of Inclusion-based Points-to Analysis