non pointer analyzis demo