tmalecova
Results
1
issues of
tmalecova
This pull request contains an implementation of the static backward slicer. It is able to remove semantically equal instructions of compared functions that are not equal. The program slices of...