DECAF1.8-XTAINT: log load memory, 1) now it log virtual addr instead of physical addr; 2) use stack instead of register to save arguments