Search results for static analysis program slicing