Registered as a slicing request function:
Add selections that will be applied to all the slices of the function
(already existing or created later)
Note: the function begins by applying the remaining internal requests., the requests added for the last kernel function are not applied.
Registered as a slicing request function:
Add selections that will be applied to all the slices of the function
(already existing or created later)
Note: the function begins by applying the remaining internal requests., the requests added for the last kernel function are not applied.
Registered as a slicing request function:
Add selections to all concerned slices, as slicing requests and apply them,
kernel function by kernel function.
Build a description to tell that the associated nodes have to be marked
with the given mark, and than the same one will be propagated through
their dependencies.
Apply the actions still waiting in the project
and transform the program (CIL AST) using slicing results
Can optionally specify how to name the sliced functions using f_slice_names.