A library for building intraprocedural PDGs for Java programs