repair ssa

[wangzun66]

• check and arrange classes for blocks order
• repair and dominance finder
• check and repair dominance tree
• check ssa
• fix ssa test_1
• fix ssa test_2
• fix with specified cases

closes #489

[github-actions]

Documentation Preview.

[wangzun66]

@Liyw979 SSA should work on your provided test cases. Thanks for your information. If you find any errors in SSA, please feel free to point them out. Thank you!

[Liyw979]

@wangzun66 Thank you! I will do some tests tomorrow.

[Liyw979]

I found some failing cases like

import java.io.*;
class Main {
    public static void main(String[] args) throws IOException {
        byte[] data;
        try (ByteArrayOutputStream output = new ByteArrayOutputStream()) {
            output.write(args[0].getBytes("UTF-8"));
            data = output.toByteArray();
        }
        System.out.println(new String(data, "UTF-8"));
    }
}

Caused by: java.lang.RuntimeException: The given block: Block [$stack11 := @caughtexception, l3 = $stack11] is not in BlockGraph!

[Liyw979]

I would recommend collecting some oss package like log4j and run ssa through all methods to see if any method goes wrong.

[Liyw979]

Also, I notice that some tests runs well with

      PathBasedAnalysisInputLocation.create(
        dir.toJava.toPath,
        SourceType.Application,
        java.util.List.of(StaticSingleAssignmentFormer())
      )

but failed with

      PathBasedAnalysisInputLocation.create(
        dir.toJava.toPath,
        SourceType.Application,
         (BytecodeBodyInterceptors.Default.getBodyInterceptors.asScala :+ StaticSingleAssignmentFormer()).asJava
      )