A sample algorithm for inter-procedural analysis using context-independent summary function 


Build PCG, initialize p.CISF

Repeat 
        loop for each p of PCG
	   assume unknown initial alias, 
 	   do intraprocedural analysis,
	   update p.CISF
        end loop
Until, for each p of PCG, p.CISF converges

Repeat 
        propagate concrete value from
        caller to callee, and get
       final alias set for each p.
Until all final alias sets converge