Enabling Static Program Analysis Using A Graph Database