Static slicing in Unix process environment