marionette-sarka

Document need for NormalReturnCaller statement to do a backward slice from return value of a call

6

I tried to do a backward slice, but I didn't get the results I expected. The configuration is as follows. - Slicer.DataDependenceOptions.FULL - Slicer.ControlDependenceOptions.NO_EXCEPTIONAL_EDGES - CallGraphBuilder: makeZeroOneContainerCFABuilder - slice seed:...