David A Weiser wrote: > How do I use SOOT to distinguish function parameters from local variables? The parameters will have IdentityStmts defining them at the beginning of the methods. pat