a simple analysys which determines which pointer arguments are read/write