Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects

Abstract
No abstract available