Fixing address computation in BTOR2 model of read and write syscalls
Fixing address computation in BTOR2 model of read and write syscalls

cksystemsteaching/selfie,ChristianMoesl/selfie,ChristianMoesl/selfie,cksystemsteaching/selfie,cksystemsteaching/selfie