work toward pointer analysis based on the flowgraph from field-based
call graph builder