update implementation for BackwardsStmtGraph and add PostDominanceFinder utility

[shenjunjiekoda]

update the implementation for BackwardsStmtGraph in sootup.core.graph

before in DominanceFinder.java:

List<BasicBlock<?>> preds = new ArrayList<>(block.getPredecessors());

after in DominanceFinder.java:

List<BasicBlock<?>> preds = new ArrayList<>(blockGraph.predecessors(block));

Apply this change , we can create PostDominaceFinder as a wrapper of DominanceFinder directly through use backwardStmtGraph as internal backingGraph. To implement this, I add successors/predecessors api in StmtGraph and its subclasses which use block as param instead of dependending on the BasicBlock api: getPredecessors/getSuccessors.

public class PostDominanceFinder extends DominanceFinder {

  public PostDominanceFinder(StmtGraph<?> blockGraph) {
    super(new BackwardsStmtGraph(blockGraph));
  }
}

Thank you for considering this update!

[swissiety]

Thanks for your contribution!
We are trying to introduce only what is really necessary to the API to not run into Soot problems with SootUp - I think adding all those successor/predecessor methods pollutes the API a bit. How about adding a method inside the Post- and DominanceFinder to initialize the predecessors they way they are needed by the respective *DominanceFinder - i think that would be a simpler & cleaner approach :)

[swissiety]

looks good 👍

[swissiety]

good job!