13-static-slicing.pdf