Implemented points-to analysis at every program point in multi-procedural static Java programs.

Used the bounded call-strings approach for inter-procedural analysis.

Handled complex cases involving reachable and unreachable infinite recursions.