basic form of shadow memory and taint analysis