dg icon indicating copy to clipboard operation
dg copied to clipboard

Add class for SystemDependenceGraph

Open mchalupa opened this issue 7 years ago • 2 comments

We still can build just dependence graphs without any hierarchy, but this class will make easier building of the whole-program graphs

mchalupa avatar Nov 05 '18 10:11 mchalupa

Fix together with #248 .

mchalupa avatar Jan 28 '19 16:01 mchalupa

So we've got the representation, but there are still some features missing:

  • [x] SDG representation
  • [ ] building SDG for LLVM
    • [x] intraprocedural
    • [x] interprocedural with interprocedural edges
    • [ ] interprocedural with parameter edges
  • [ ] slicing SDG
    • [ ] one-phase slicing
    • [ ] two-phase slicing
      • [ ] summary edges
      • [ ] slicing itself
    • [ ] slice LLVM according the the sliced SDG
  • [ ] generate multiple slices of the same SDG

mchalupa avatar Oct 16 '20 04:10 mchalupa