Slithice：system dependence graph based program slicing tool for Java