Abstract: In order to refine alias relations and reduce alias set, a new alias analysis method is introduced by combining partial evaluation and alias analysis technique. Furthermore,its formal specification is also given. It is showed that under situations with partial input this new method is not only superior to the traditional alias analysis method, but superior to the alias analysis method combined with partial evaluation serially.

Key words: alias analysis, partial evaluation, residual program, pointer problem