Module Slicing.Fct_sliceSource

Return true if the source function is called * (even indirectly via transitivity) from a Slice.t.

Return true if the source function is visible * (even indirectly via transitivity) from a Slice.t.

• raises SlicingTypes.ExternalFunction

  if the function has no source code, because there cannot be any slice for it.

• raises SlicingTypes.NoPdg

  when there is no PDG for the function.