Static value flow analysis into slice generation input data

[roachspray]

I attempted to use SVF (in the summer) to see about generically using it for some value flow analysis to improve the slicing (not using their slice generation). I was unable to make it really work for me unless the functions were of a certain kind or data in a certain parameter location (i.e., generalizability was what made it not work for me).