4.0.0 SootUp Intraprocedural Analysis sootup.analysis.intraprocedural jar org.soot-oss sootup 2.0.0 org.soot-oss sootup.core org.soot-oss sootup.java.sourcecode.frontend test org.junit.jupiter junit-jupiter-api test org.slf4j slf4j-simple test