diff --git a/README.md b/README.md index e3d9c8a..2486cde 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,4 @@ +[![Review Assignment Due Date](https://classroom.github.com/assets/deadline-readme-button-22041afd0340ce965d47ae6ef1cefeee28c7c493a6346c4f15d667ab976d596c.svg)](https://classroom.github.com/a/9A22t-SS) Разработать standalone приложение, которое имеет следующие возможности: Принимает на вход проект в виде .jar файла diff --git a/build.gradle.kts b/build.gradle.kts index 2b92afd..9d6c485 100644 --- a/build.gradle.kts +++ b/build.gradle.kts @@ -14,6 +14,7 @@ dependencies { implementation("org.ow2.asm:asm-tree:9.5") implementation("org.ow2.asm:asm-analysis:9.5") implementation("org.ow2.asm:asm-util:9.5") + implementation("com.fasterxml.jackson.core:jackson-databind:2.20.1") testImplementation(platform("org.junit:junit-bom:5.10.0")) testImplementation("org.junit.jupiter:junit-jupiter") diff --git a/results/metrics.json b/results/metrics.json new file mode 100644 index 0000000..47dc968 --- /dev/null +++ b/results/metrics.json @@ -0,0 +1 @@ +{"classCount":1852,"maxInheritanceDepth":6,"averageInheritanceDepth":1.1981641468682505,"abcAssignmentCount":9100,"abcAverageAssignmentsPerMethod":0.823231409444545,"averageOverriddenMethodsPerClass":1.82451403887689,"averageFieldCountPerClass":1.9989200863930885} \ No newline at end of file diff --git a/src/main/java/org/example/Example.java b/src/main/java/org/example/Example.java deleted file mode 100644 index 52d0abe..0000000 --- a/src/main/java/org/example/Example.java +++ /dev/null @@ -1,29 +0,0 @@ -package org.example; - -import org.example.visitor.ClassPrinter; -import org.objectweb.asm.ClassReader; - -import java.io.IOException; -import java.util.Enumeration; -import java.util.jar.JarEntry; -import java.util.jar.JarFile; - -public class Example { - - public static void main(String[] args) throws IOException { -// var printer = new ByteCodePrinter(); -// printer.printBubbleSortBytecode(); - try (JarFile sampleJar = new JarFile("src/main/resources/sample.jar")) { - Enumeration enumeration = sampleJar.entries(); - - while (enumeration.hasMoreElements()) { - JarEntry entry = enumeration.nextElement(); - if (entry.getName().endsWith(".class")) { - ClassPrinter cp = new ClassPrinter(); - ClassReader cr = new ClassReader(sampleJar.getInputStream(entry)); - cr.accept(cp, 0); - } - } - } - } -} diff --git a/src/main/java/org/example/MetricsApp.java b/src/main/java/org/example/MetricsApp.java new file mode 100644 index 0000000..6489d39 --- /dev/null +++ b/src/main/java/org/example/MetricsApp.java @@ -0,0 +1,36 @@ +package org.example; + +import org.example.calculator.JarMetricsCalculator; +import org.example.dto.ProjectMetrics; + +import java.io.IOException; +import java.nio.charset.StandardCharsets; +import java.nio.file.Files; +import java.nio.file.Path; + +public final class MetricsApp { + + private static final String INPUT_JAR_PATH = "src/main/resources/guava.jar"; + + private static final String OUTPUT_JSON_PATH = "results/metrics.json"; + + private MetricsApp() { + } + + public static void main(String[] args) throws IOException { + Path jarPath = Path.of(INPUT_JAR_PATH); + Path outputPath = Path.of(OUTPUT_JSON_PATH); + + JarMetricsCalculator calculator = new JarMetricsCalculator(jarPath); + ProjectMetrics metrics = calculator.analyze(); + + System.out.println(metrics.toPrettyJson()); + + String json = metrics.toJson(); + if (outputPath.getParent() != null) { + Files.createDirectories(outputPath.getParent()); + } + Files.writeString(outputPath, json, StandardCharsets.UTF_8); + + } +} diff --git a/src/main/java/org/example/calculator/JarMetricsCalculator.java b/src/main/java/org/example/calculator/JarMetricsCalculator.java new file mode 100644 index 0000000..2604c6f --- /dev/null +++ b/src/main/java/org/example/calculator/JarMetricsCalculator.java @@ -0,0 +1,251 @@ +package org.example.calculator; + +import org.example.dto.ProjectMetrics; +import org.objectweb.asm.ClassReader; +import org.objectweb.asm.Opcodes; +import org.objectweb.asm.tree.AbstractInsnNode; +import org.objectweb.asm.tree.ClassNode; +import org.objectweb.asm.tree.MethodNode; + +import java.io.IOException; +import java.io.InputStream; +import java.nio.file.Path; +import java.util.*; +import java.util.jar.JarEntry; +import java.util.jar.JarFile; + +public final class JarMetricsCalculator { + + private final Path jarPath; + + public JarMetricsCalculator(Path jarPath) { + this.jarPath = Objects.requireNonNull(jarPath); + } + + public ProjectMetrics analyze() throws IOException { + Map classes = loadClasses(); + + if (classes.isEmpty()) { + return new ProjectMetrics( + 0, + 0, + 0.0, + 0, + 0.0, + 0.0, + 0.0 + ); + } + + Map depthCache = new HashMap<>(); + + int classCount = 0; + double inheritanceDepthSum = 0.0; + int maxInheritanceDepth = 0; + + int totalFields = 0; + int totalOverriddenMethods = 0; + + int totalMethodsForAbc = 0; + int totalAssignmentsForAbc = 0; + + for (ClassInfo classInfo : classes.values()) { + if (classInfo.isInterface) { + continue; + } + + classCount++; + + int depth = computeInheritanceDepth(classInfo.name, classes, depthCache); + inheritanceDepthSum += depth; + if (depth > maxInheritanceDepth) { + maxInheritanceDepth = depth; + } + + totalFields += classInfo.fieldCount; + + int overriddenHere = countOverriddenMethods(classInfo, classes); + totalOverriddenMethods += overriddenHere; + + for (MethodNode methodNode : classInfo.methods) { + if (isMethodForAbc(methodNode)) { + int assignments = countAssignmentsInMethod(methodNode); + totalAssignmentsForAbc += assignments; + totalMethodsForAbc++; + } + } + } + + double averageInheritanceDepth = classCount == 0 ? 0.0 : inheritanceDepthSum / classCount; + double averageFieldCountPerClass = classCount == 0 ? 0.0 : (double) totalFields / classCount; + double averageOverriddenMethodsPerClass = classCount == 0 ? 0.0 : (double) totalOverriddenMethods / classCount; + double abcAverageAssignmentsPerMethod = totalMethodsForAbc == 0 ? 0.0 : (double) totalAssignmentsForAbc / totalMethodsForAbc; + + return new ProjectMetrics( + classCount, + maxInheritanceDepth, + averageInheritanceDepth, + totalAssignmentsForAbc, + abcAverageAssignmentsPerMethod, + averageOverriddenMethodsPerClass, + averageFieldCountPerClass + ); + } + + // Все классы в ClassInfo + private Map loadClasses() throws IOException { + Map result = new HashMap<>(); + + try (JarFile jarFile = new JarFile(jarPath.toFile())) { + Enumeration entries = jarFile.entries(); + while (entries.hasMoreElements()) { + JarEntry entry = entries.nextElement(); + if (!entry.getName().endsWith(".class")) { + continue; + } + + try (InputStream is = jarFile.getInputStream(entry)) { + ClassReader classReader = new ClassReader(is); + ClassNode classNode = new ClassNode(); + classReader.accept(classNode, ClassReader.SKIP_DEBUG | ClassReader.SKIP_FRAMES); + + boolean isInterface = (classNode.access & Opcodes.ACC_INTERFACE) != 0; + + List methods = new ArrayList<>(); + if (classNode.methods != null) { + for (Object m : classNode.methods) { + methods.add((MethodNode) m); + } + } + + int fieldCount = classNode.fields == null ? 0 : classNode.fields.size(); + + ClassInfo info = new ClassInfo( + classNode.name, + classNode.superName, + isInterface, + fieldCount, + methods + ); + result.put(classNode.name, info); + } + } + } + + return result; + } + + private int computeInheritanceDepth( + String className, + Map classes, + Map depthCache + ) { + if (className == null) { + return 0; + } + Integer cached = depthCache.get(className); + if (cached != null) { + return cached; + } + + ClassInfo info = classes.get(className); + if (info == null) { + depthCache.put(className, 0); + return 0; + } + + if (info.superName == null || "java/lang/Object".equals(info.superName)) { + depthCache.put(className, 0); + return 0; + } + + int depth = 1 + computeInheritanceDepth(info.superName, classes, depthCache); + depthCache.put(className, depth); + return depth; + } + + private int countOverriddenMethods(ClassInfo classInfo, Map classes) { + Set superMethodSignatures = new HashSet<>(); + + String superName = classInfo.superName; + while (superName != null) { + ClassInfo superInfo = classes.get(superName); + if (superInfo == null) { + break; + } + + for (MethodNode m : superInfo.methods) { + if (isConstructorOrClassInitializer(m)) { + continue; + } + String signature = m.name + m.desc; + superMethodSignatures.add(signature); + } + + superName = superInfo.superName; + } + + int overridden = 0; + for (MethodNode m : classInfo.methods) { + if (isConstructorOrClassInitializer(m)) { + continue; + } + String signature = m.name + m.desc; + if (superMethodSignatures.contains(signature)) { + overridden++; + } + } + + return overridden; + } + + private boolean isMethodForAbc(MethodNode methodNode) { + if ((methodNode.access & Opcodes.ACC_ABSTRACT) != 0) { + return false; + } + if ((methodNode.access & Opcodes.ACC_SYNTHETIC) != 0) { + return false; + } + return !isConstructorOrClassInitializer(methodNode); + } + + private boolean isConstructorOrClassInitializer(MethodNode methodNode) { + String name = methodNode.name; + return "".equals(name) || "".equals(name); + } + + private int countAssignmentsInMethod(MethodNode methodNode) { + int count = 0; + for (AbstractInsnNode insn = methodNode.instructions.getFirst(); + insn != null; + insn = insn.getNext()) { + + int opcode = insn.getOpcode(); + if (opcode < 0) { + continue; + } + + if (isStoreOpcode(opcode) || opcode == Opcodes.IINC) { + count++; + } + } + return count; + } + + private boolean isStoreOpcode(int opcode) { + return opcode == Opcodes.ISTORE + || opcode == Opcodes.LSTORE + || opcode == Opcodes.FSTORE + || opcode == Opcodes.DSTORE + || opcode == Opcodes.ASTORE; + } + + private record ClassInfo( + String name, + String superName, + boolean isInterface, + int fieldCount, + List methods + ) { + } +} diff --git a/src/main/java/org/example/dto/ClassMetrics.java b/src/main/java/org/example/dto/ClassMetrics.java new file mode 100644 index 0000000..37e8e85 --- /dev/null +++ b/src/main/java/org/example/dto/ClassMetrics.java @@ -0,0 +1,77 @@ +package org.example.dto; + +import java.util.ArrayList; +import java.util.HashSet; +import java.util.List; +import java.util.Set; + +public final class ClassMetrics { + + private String name; + private String superName; + private final List interfaces = new ArrayList<>(); + + private int fieldCount; + private final List methods = new ArrayList<>(); + private final Set methodSignatures = new HashSet<>(); + + private int overriddenMethodsCount; + private int inheritanceDepth; + + public String getName() { + return name; + } + + public void setName(String name) { + this.name = name; + } + + public String getSuperName() { + return superName; + } + + public void setSuperName(String superName) { + this.superName = superName; + } + + public List getInterfaces() { + return interfaces; + } + + public int getFieldCount() { + return fieldCount; + } + + public void incrementFieldCount() { + fieldCount++; + } + + public List getMethods() { + return methods; + } + + public void addMethod(MethodMetrics methodMetrics) { + methods.add(methodMetrics); + methodSignatures.add(methodMetrics.getSignature()); + } + + public Set getMethodSignatures() { + return methodSignatures; + } + + public int getOverriddenMethodsCount() { + return overriddenMethodsCount; + } + + public void setOverriddenMethodsCount(int overriddenMethodsCount) { + this.overriddenMethodsCount = overriddenMethodsCount; + } + + public int getInheritanceDepth() { + return inheritanceDepth; + } + + public void setInheritanceDepth(int inheritanceDepth) { + this.inheritanceDepth = inheritanceDepth; + } +} diff --git a/src/main/java/org/example/dto/MethodMetrics.java b/src/main/java/org/example/dto/MethodMetrics.java new file mode 100644 index 0000000..37e62fe --- /dev/null +++ b/src/main/java/org/example/dto/MethodMetrics.java @@ -0,0 +1,56 @@ +package org.example.dto; + +public final class MethodMetrics { + + private final String name; + private final String descriptor; + + private int abcAssignments; + private int abcBranches; + private int abcConditions; + + public MethodMetrics(String name, String descriptor) { + this.name = name; + this.descriptor = descriptor; + } + + public String getName() { + return name; + } + + public String getDescriptor() { + return descriptor; + } + + public String getSignature() { + return name + descriptor; + } + + public int getAbcAssignments() { + return abcAssignments; + } + + public int getAbcBranches() { + return abcBranches; + } + + public int getAbcConditions() { + return abcConditions; + } + + public void incrementAbcAssignments() { + abcAssignments++; + } + + public void incrementAbcBranches() { + abcBranches++; + } + + public void incrementAbcConditions() { + abcConditions++; + } + + public void addAbcConditions(int delta) { + abcConditions += delta; + } +} diff --git a/src/main/java/org/example/dto/ProjectMetrics.java b/src/main/java/org/example/dto/ProjectMetrics.java new file mode 100644 index 0000000..a83bd3e --- /dev/null +++ b/src/main/java/org/example/dto/ProjectMetrics.java @@ -0,0 +1,38 @@ +package org.example.dto; + +import com.fasterxml.jackson.core.JsonProcessingException; +import com.fasterxml.jackson.databind.ObjectMapper; +import com.fasterxml.jackson.databind.ObjectWriter; + + +public record ProjectMetrics( + int classCount, + int maxInheritanceDepth, + double averageInheritanceDepth, + int abcAssignmentCount, + double abcAverageAssignmentsPerMethod, + double averageOverriddenMethodsPerClass, + double averageFieldCountPerClass +) { + + private static final ObjectMapper OBJECT_MAPPER = new ObjectMapper(); + private static final ObjectWriter PRETTY_WRITER = OBJECT_MAPPER.writerWithDefaultPrettyPrinter(); + + public String toJson() throws JsonProcessingException { + return OBJECT_MAPPER.writeValueAsString(this); + + } + + public String toPrettyJson() throws JsonProcessingException { + return PRETTY_WRITER.writeValueAsString(this); + } + + @Override + public String toString() { + try { + return toPrettyJson(); + } catch (JsonProcessingException e) { + throw new RuntimeException(e); + } + } +} diff --git a/src/main/java/org/example/example/BubbleSort.java b/src/main/java/org/example/example/BubbleSort.java deleted file mode 100644 index 8a21c95..0000000 --- a/src/main/java/org/example/example/BubbleSort.java +++ /dev/null @@ -1,29 +0,0 @@ -package org.example.example; - -public class BubbleSort { - - static void bubbleSort(int[] arr, int n) - { - int i, j, temp; - boolean swapped; - for (i = 0; i < n - 1; i++) { - swapped = false; - for (j = 0; j < n - i - 1; j++) { - if (arr[j] > arr[j + 1]) { - - // Swap arr[j] and arr[j+1] - temp = arr[j]; - arr[j] = arr[j + 1]; - arr[j + 1] = temp; - swapped = true; - } - } - - // If no two elements were - // swapped by inner loop, then break - if (!swapped) - break; - } - } - -} diff --git a/src/main/java/org/example/util/ByteCodePrinter.java b/src/main/java/org/example/util/ByteCodePrinter.java deleted file mode 100644 index 3d1ca38..0000000 --- a/src/main/java/org/example/util/ByteCodePrinter.java +++ /dev/null @@ -1,90 +0,0 @@ -package org.example.util; - -import org.objectweb.asm.ClassReader; -import org.objectweb.asm.tree.ClassNode; -import org.objectweb.asm.tree.MethodNode; -import org.objectweb.asm.tree.TryCatchBlockNode; -import org.objectweb.asm.tree.analysis.*; -import org.objectweb.asm.util.Textifier; -import org.objectweb.asm.util.TraceMethodVisitor; - -import java.io.IOException; -import java.io.PrintWriter; -import java.nio.file.Files; -import java.nio.file.Path; - -public class ByteCodePrinter { - - private static String getUnqualifiedName(final String name) { - var lastSlashIndex = name.lastIndexOf('/'); - if (lastSlashIndex == -1) { - return name; - } else { - int endIndex = name.length(); - if (name.charAt(endIndex - 1) == ';') { - endIndex--; - } - int lastBracketIndex = name.lastIndexOf('['); - if (lastBracketIndex == -1) { - return name.substring(lastSlashIndex + 1, endIndex); - } - return name.substring(0, lastBracketIndex + 1) + name.substring(lastSlashIndex + 1, endIndex); - } - } - private static void analyzeMethod( - final MethodNode method, final Analyzer analyzer, final PrintWriter printWriter) { - var textifier = new Textifier(); - var traceMethodVisitor = new TraceMethodVisitor(textifier); - - printWriter.println(method.name + method.desc); - for (int i = 0; i < method.instructions.size(); ++i) { - method.instructions.get(i).accept(traceMethodVisitor); - - var stringBuilder = new StringBuilder(); - var frame = analyzer.getFrames()[i]; - if (frame == null) { - stringBuilder.append('?'); - } else { - for (int j = 0; j < frame.getLocals(); ++j) { - stringBuilder.append(getUnqualifiedName(frame.getLocal(j).toString())).append(' '); - } - stringBuilder.append(" : "); - for (int j = 0; j < frame.getStackSize(); ++j) { - stringBuilder.append(getUnqualifiedName(frame.getStack(j).toString())).append(' '); - } - } - while (stringBuilder.length() < method.maxStack + method.maxLocals + 1) { - stringBuilder.append(' '); - } - printWriter.print(Integer.toString(i + 100000).substring(1)); - printWriter.print( - " " + stringBuilder + " : " + textifier.text.get(textifier.text.size() - 1)); - } - for (TryCatchBlockNode tryCatchBlock : method.tryCatchBlocks) { - tryCatchBlock.accept(traceMethodVisitor); - printWriter.print(" " + textifier.text.get(textifier.text.size() - 1)); - } - printWriter.println(); - } - - public void printBytecode(ClassNode cn) { - var sortMethod = cn.methods.get(1); - var analyzer = new CheckFrameAnalyzer<>(new BasicVerifier()); - try { - analyzer.analyze("dummy", sortMethod); - } catch (AnalyzerException e) { - throw new RuntimeException(e); - } - var pw = new PrintWriter(System.out); - analyzeMethod(sortMethod, analyzer, pw); - pw.flush(); - } - - public void printBubbleSortBytecode() throws IOException { - var cn = new ClassNode(); - var classFileBytes = Files.readAllBytes(Path.of("build/classes/java/main/org/itmo/lab1/example/BubbleSort.class")); - var classReader = new ClassReader(classFileBytes); - classReader.accept(cn, ClassReader.EXPAND_FRAMES); - printBytecode(cn); - } -} diff --git a/src/main/java/org/example/util/CheckFrameAnalyzer.java b/src/main/java/org/example/util/CheckFrameAnalyzer.java deleted file mode 100644 index 5231ca7..0000000 --- a/src/main/java/org/example/util/CheckFrameAnalyzer.java +++ /dev/null @@ -1,475 +0,0 @@ -package org.example.util; - -// ASM: a very small and fast Java bytecode manipulation framework -// Copyright (c) 2000-2011 INRIA, France Telecom -// All rights reserved. -// -// Redistribution and use in source and binary forms, with or without -// modification, are permitted provided that the following conditions -// are met: -// 1. Redistributions of source code must retain the above copyright -// notice, this list of conditions and the following disclaimer. -// 2. Redistributions in binary form must reproduce the above copyright -// notice, this list of conditions and the following disclaimer in the -// documentation and/or other materials provided with the distribution. -// 3. Neither the name of the copyright holders nor the names of its -// contributors may be used to endorse or promote products derived from -// this software without specific prior written permission. -// -// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" -// AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE -// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE -// ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE -// LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR -// CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF -// SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS -// INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN -// CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) -// ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF -// THE POSSIBILITY OF SUCH DAMAGE. - -import java.util.Collections; -import java.util.List; -import org.objectweb.asm.Opcodes; -import org.objectweb.asm.Type; -import org.objectweb.asm.tree.AbstractInsnNode; -import org.objectweb.asm.tree.FrameNode; -import org.objectweb.asm.tree.InsnList; -import org.objectweb.asm.tree.InsnNode; -import org.objectweb.asm.tree.JumpInsnNode; -import org.objectweb.asm.tree.LabelNode; -import org.objectweb.asm.tree.LookupSwitchInsnNode; -import org.objectweb.asm.tree.MethodNode; -import org.objectweb.asm.tree.TableSwitchInsnNode; -import org.objectweb.asm.tree.TryCatchBlockNode; -import org.objectweb.asm.tree.TypeInsnNode; -import org.objectweb.asm.tree.analysis.Analyzer; -import org.objectweb.asm.tree.analysis.AnalyzerException; -import org.objectweb.asm.tree.analysis.Frame; -import org.objectweb.asm.tree.analysis.Interpreter; -import org.objectweb.asm.tree.analysis.Value; - -/** - * An {@link Analyzer} subclass which checks that methods provide stack map frames where expected - * (i.e. at jump target and after instructions without immediate successor), and that these stack - * map frames are valid (for the provided interpreter; they may still be invalid for the JVM, if the - * {@link Interpreter} uses a simplified type system compared to the JVM verifier). This is done in - * two steps: - * - *
    - *
  • First, the stack map frames in {@link FrameNode}s are expanded, and stored at their - * respective instruction offsets. The expansion process uncompresses the APPEND, CHOP and - * SAME frames to FULL frames. It also converts the stack map frame verification types to - * {@link Value}s, via the provided {@link Interpreter}. The expansion is done in {@link - * #expandFrames}, by looking at each {@link FrameNode} in sequence (compressed frames are - * defined relatively to the previous {@link FrameNode}, or the implicit first frame). The - * actual decompression is done in {@link #expandFrame}, and the type conversion in {@link - * #newFrameValue}. - *
  • Next, the method instructions are checked in sequence. Starting from the implicit initial - * frame, the execution of each instruction i is simulated on the current stack map - * frame, with the {@link Frame#execute} method. This gives a new stack map frame f, - * representing the stack map frame state after the execution of i. Then: - *
      - *
    • If there is a next instruction and if the control flow cannot continue to it (e.g. if - * i is a RETURN or an ATHROW, for instance): an existing stack map frame - * f0 (coming from the first step) is expected after i. - *
    • If there is a next instruction and if the control flow can continue to it (e.g. if - * i is a ALOAD, for instance): either there an existing stack map frame - * f0 (coming from the first step) after i, or there is none. In the - * first case f and f0 must be compatible: the types in - * f must be sub types of the corresponding types in the existing frame - * f0 (otherwise an exception is thrown). In the second case, f0 is - * simply set to the value of f. - *
    • If the control flow can continue to some instruction j (e.g. if i - * is an IF_EQ, for instance): an existing stack map frame f0 (coming from the - * first step) is expected at j, which must be compatible with f (as - * defined previously). - *
    - * The sequential loop over the instructions is done in {@link #init}, which is called from - * the {@link Analyzer#analyze} method. Cases where the control flow cannot continue to the - * next instruction are handled in {@link #endControlFlow}. Cases where the control flow can - * continue to the next instruction, or jump to another instruction, are handled in {@link - * #checkFrame}. This method checks that an existing stack map frame is present when required, - * and checks the stack map frames compatibility with {@link #checkMerge}. - *
- * - * @author Eric Bruneton - * @param type of the {@link Value} used for the analysis. - */ -class CheckFrameAnalyzer extends Analyzer { - - /** The interpreter to use to symbolically interpret the bytecode instructions. */ - private final Interpreter interpreter; - - /** The instructions of the currently analyzed method. */ - private InsnList insnList; - - /** - * double values are represented with two elements. - */ - private int currentLocals; - - CheckFrameAnalyzer(final Interpreter interpreter) { - super(interpreter); - this.interpreter = interpreter; - } - - @Override - protected void init(final String owner, final MethodNode method) throws AnalyzerException { - insnList = method.instructions; - currentLocals = Type.getArgumentsAndReturnSizes(method.desc) >> 2; - - Frame[] frames = getFrames(); - Frame currentFrame = frames[0]; - expandFrames(owner, method, currentFrame); - for (int insnIndex = 0; insnIndex < insnList.size(); ++insnIndex) { - Frame oldFrame = frames[insnIndex]; - - // Simulate the execution of this instruction. - AbstractInsnNode insnNode = null; - try { - insnNode = method.instructions.get(insnIndex); - int insnOpcode = insnNode.getOpcode(); - int insnType = insnNode.getType(); - - if (insnType == AbstractInsnNode.LABEL - || insnType == AbstractInsnNode.LINE - || insnType == AbstractInsnNode.FRAME) { - checkFrame(insnIndex + 1, oldFrame, /* requireFrame = */ false); - } else { - currentFrame.init(oldFrame).execute(insnNode, interpreter); - - if (insnNode instanceof JumpInsnNode) { - if (insnOpcode == JSR) { - throw new AnalyzerException(insnNode, "JSR instructions are unsupported"); - } - JumpInsnNode jumpInsn = (JumpInsnNode) insnNode; - int targetInsnIndex = insnList.indexOf(jumpInsn.label); - checkFrame(targetInsnIndex, currentFrame, /* requireFrame = */ true); - if (insnOpcode == GOTO) { - endControlFlow(insnIndex); - } else { - checkFrame(insnIndex + 1, currentFrame, /* requireFrame = */ false); - } - } else if (insnNode instanceof LookupSwitchInsnNode) { - LookupSwitchInsnNode lookupSwitchInsn = (LookupSwitchInsnNode) insnNode; - int targetInsnIndex = insnList.indexOf(lookupSwitchInsn.dflt); - checkFrame(targetInsnIndex, currentFrame, /* requireFrame = */ true); - for (int i = 0; i < lookupSwitchInsn.labels.size(); ++i) { - LabelNode label = lookupSwitchInsn.labels.get(i); - targetInsnIndex = insnList.indexOf(label); - currentFrame.initJumpTarget(insnOpcode, label); - checkFrame(targetInsnIndex, currentFrame, /* requireFrame = */ true); - } - endControlFlow(insnIndex); - } else if (insnNode instanceof TableSwitchInsnNode) { - TableSwitchInsnNode tableSwitchInsn = (TableSwitchInsnNode) insnNode; - int targetInsnIndex = insnList.indexOf(tableSwitchInsn.dflt); - currentFrame.initJumpTarget(insnOpcode, tableSwitchInsn.dflt); - checkFrame(targetInsnIndex, currentFrame, /* requireFrame = */ true); - newControlFlowEdge(insnIndex, targetInsnIndex); - for (int i = 0; i < tableSwitchInsn.labels.size(); ++i) { - LabelNode label = tableSwitchInsn.labels.get(i); - currentFrame.initJumpTarget(insnOpcode, label); - targetInsnIndex = insnList.indexOf(label); - checkFrame(targetInsnIndex, currentFrame, /* requireFrame = */ true); - } - endControlFlow(insnIndex); - } else if (insnOpcode == RET) { - throw new AnalyzerException(insnNode, "RET instructions are unsupported"); - } else if (insnOpcode != ATHROW && (insnOpcode < IRETURN || insnOpcode > RETURN)) { - checkFrame(insnIndex + 1, currentFrame, /* requireFrame = */ false); - } else { - endControlFlow(insnIndex); - } - } - - List insnHandlers = getHandlers(insnIndex); - if (insnHandlers != null) { - for (TryCatchBlockNode tryCatchBlock : insnHandlers) { - Type catchType; - if (tryCatchBlock.type == null) { - catchType = Type.getObjectType("java/lang/Throwable"); - } else { - catchType = Type.getObjectType(tryCatchBlock.type); - } - Frame handler = newFrame(oldFrame); - handler.clearStack(); - handler.push(interpreter.newExceptionValue(tryCatchBlock, handler, catchType)); - checkFrame(insnList.indexOf(tryCatchBlock.handler), handler, /* requireFrame = */ true); - } - } - - if (!hasNextJvmInsnOrFrame(insnIndex)) { - break; - } - } catch (AnalyzerException e) { - throw new AnalyzerException( - e.node, "Error at instruction " + insnIndex + ": " + e.getMessage(), e); - } catch (RuntimeException e) { - // DontCheck(IllegalCatch): can't be fixed, for backward compatibility. - throw new AnalyzerException( - insnNode, "Error at instruction " + insnIndex + ": " + e.getMessage(), e); - } - } - } - - /** - * Expands the {@link FrameNode} "instructions" of the given method into {@link Frame} objects and - * also associated with the label and line number nodes immediately preceding each frame node. - * - * @param owner the internal name of the class to which 'method' belongs. - * @param method the method whose frames must be expanded. - * @param initialFrame the implicit initial frame of 'method'. - * @throws AnalyzerException if the stack map frames of 'method', i.e. its FrameNode - * "instructions", are invalid. - */ - private void expandFrames( - final String owner, final MethodNode method, final Frame initialFrame) - throws AnalyzerException { - int lastJvmOrFrameInsnIndex = -1; - Frame currentFrame = initialFrame; - int currentInsnIndex = 0; - for (AbstractInsnNode insnNode : method.instructions) { - if (insnNode instanceof FrameNode) { - try { - currentFrame = expandFrame(owner, currentFrame, (FrameNode) insnNode); - } catch (AnalyzerException e) { - throw new AnalyzerException( - e.node, "Error at instruction " + currentInsnIndex + ": " + e.getMessage(), e); - } - for (int index = lastJvmOrFrameInsnIndex + 1; index <= currentInsnIndex; ++index) { - getFrames()[index] = currentFrame; - } - } - if (isJvmInsnNode(insnNode) || insnNode instanceof FrameNode) { - lastJvmOrFrameInsnIndex = currentInsnIndex; - } - currentInsnIndex += 1; - } - } - - /** - * Returns the expanded representation of the given {@link FrameNode}. - * - * @param owner the internal name of the class to which 'frameNode' belongs. - * @param previousFrame the frame before 'frameNode', in expanded form. - * @param frameNode a possibly compressed stack map frame. - * @return the expanded version of 'frameNode'. - * @throws AnalyzerException if 'frameNode' is invalid. - */ - private Frame expandFrame( - final String owner, final Frame previousFrame, final FrameNode frameNode) - throws AnalyzerException { - Frame frame = newFrame(previousFrame); - List locals = frameNode.local == null ? Collections.emptyList() : frameNode.local; - int currentLocal = currentLocals; - switch (frameNode.type) { - case Opcodes.F_NEW: - case Opcodes.F_FULL: - currentLocal = 0; - // fall through - case Opcodes.F_APPEND: - for (Object type : locals) { - V value = newFrameValue(owner, frameNode, type); - if (currentLocal + value.getSize() > frame.getLocals()) { - throw new AnalyzerException(frameNode, "Cannot append more locals than maxLocals"); - } - frame.setLocal(currentLocal++, value); - if (value.getSize() == 2) { - frame.setLocal(currentLocal++, interpreter.newValue(null)); - } - } - break; - case Opcodes.F_CHOP: - for (Object unusedType : locals) { - if (currentLocal <= 0) { - throw new AnalyzerException(frameNode, "Cannot chop more locals than defined"); - } - if (currentLocal > 1 && frame.getLocal(currentLocal - 2).getSize() == 2) { - currentLocal -= 2; - } else { - currentLocal -= 1; - } - } - break; - case Opcodes.F_SAME: - case Opcodes.F_SAME1: - break; - default: - throw new AnalyzerException(frameNode, "Illegal frame type " + frameNode.type); - } - currentLocals = currentLocal; - while (currentLocal < frame.getLocals()) { - frame.setLocal(currentLocal++, interpreter.newValue(null)); - } - - List stack = frameNode.stack == null ? Collections.emptyList() : frameNode.stack; - frame.clearStack(); - for (Object type : stack) { - frame.push(newFrameValue(owner, frameNode, type)); - } - return frame; - } - - /** - * Creates a new {@link Value} that represents the given stack map frame type. - * - * @param owner the internal name of the class to which 'frameNode' belongs. - * @param frameNode the stack map frame to which 'type' belongs. - * @param type an Integer, String or LabelNode object representing a primitive, reference or - * uninitialized a stack map frame type, respectively. See {@link FrameNode}. - * @return a value that represents the given type. - * @throws AnalyzerException if 'type' is an invalid stack map frame type. - */ - private V newFrameValue(final String owner, final FrameNode frameNode, final Object type) - throws AnalyzerException { - if (type == Opcodes.TOP) { - return interpreter.newValue(null); - } else if (type == Opcodes.INTEGER) { - return interpreter.newValue(Type.INT_TYPE); - } else if (type == Opcodes.FLOAT) { - return interpreter.newValue(Type.FLOAT_TYPE); - } else if (type == Opcodes.LONG) { - return interpreter.newValue(Type.LONG_TYPE); - } else if (type == Opcodes.DOUBLE) { - return interpreter.newValue(Type.DOUBLE_TYPE); - } else if (type == Opcodes.NULL) { - return interpreter.newOperation(new InsnNode(Opcodes.ACONST_NULL)); - } else if (type == Opcodes.UNINITIALIZED_THIS) { - return interpreter.newValue(Type.getObjectType(owner)); - } else if (type instanceof String) { - return interpreter.newValue(Type.getObjectType((String) type)); - } else if (type instanceof LabelNode) { - AbstractInsnNode referencedNode = (LabelNode) type; - while (referencedNode != null && !isJvmInsnNode(referencedNode)) { - referencedNode = referencedNode.getNext(); - } - if (referencedNode == null || referencedNode.getOpcode() != Opcodes.NEW) { - throw new AnalyzerException(frameNode, "LabelNode does not designate a NEW instruction"); - } - return interpreter.newValue(Type.getObjectType(((TypeInsnNode) referencedNode).desc)); - } - throw new AnalyzerException(frameNode, "Illegal stack map frame value " + type); - } - - /** - * Checks that the given frame is compatible with the frame at the given instruction index, if - * any. If there is no frame at this instruction index and none is required, the frame at - * 'insnIndex' is set to the given frame. Otherwise, if the merge of the two frames is not equal - * to the current frame at 'insnIndex', an exception is thrown. - * - * @param insnIndex an instruction index. - * @param frame a frame. This frame is left unchanged by this method. - * 'insnIndex'. - * @throws AnalyzerException if the frames have incompatible sizes or if the frame at 'insnIndex' - * is missing (if required) or not compatible with 'frame'. - */ - private void checkFrame(final int insnIndex, final Frame frame, final boolean requireFrame) - throws AnalyzerException { - Frame oldFrame = getFrames()[insnIndex]; - if (oldFrame == null) { - if (requireFrame) { - throw new AnalyzerException(null, "Expected stack map frame at instruction " + insnIndex); - } - getFrames()[insnIndex] = newFrame(frame); - } else { - String error = checkMerge(frame, oldFrame); - if (error != null) { - throw new AnalyzerException( - null, - "Stack map frame incompatible with frame at instruction " - + insnIndex - + " (" - + error - + ")"); - } - } - } - - /** - * Checks that merging the two given frames would not produce any change, i.e. that the types in - * the source frame are sub types of the corresponding types in the destination frame. - * - * @param srcFrame a source frame. This frame is left unchanged by this method. - * @param dstFrame a destination frame. This frame is left unchanged by this method. - * @return an error message if the frames have incompatible sizes, or if a type in the source - * frame is not a sub type of the corresponding type in the destination frame. Returns - * {@literal null} otherwise. - */ - private String checkMerge(final Frame srcFrame, final Frame dstFrame) { - int numLocals = srcFrame.getLocals(); - if (numLocals != dstFrame.getLocals()) { - throw new AssertionError(); - } - for (int i = 0; i < numLocals; ++i) { - V v = interpreter.merge(srcFrame.getLocal(i), dstFrame.getLocal(i)); - if (!v.equals(dstFrame.getLocal(i))) { - return "incompatible types at local " - + i - + ": " - + srcFrame.getLocal(i) - + " and " - + dstFrame.getLocal(i); - } - } - int numStack = srcFrame.getStackSize(); - if (numStack != dstFrame.getStackSize()) { - return "incompatible stack heights"; - } - for (int i = 0; i < numStack; ++i) { - V v = interpreter.merge(srcFrame.getStack(i), dstFrame.getStack(i)); - if (!v.equals(dstFrame.getStack(i))) { - return "incompatible types at stack item " - + i - + ": " - + srcFrame.getStack(i) - + " and " - + dstFrame.getStack(i); - } - } - return null; - } - - /** - * Ends the control flow graph at the given instruction. This method checks that there is an - * existing frame for the next instruction, if any. - * - * @param insnIndex an instruction index. - * @throws AnalyzerException if 'insnIndex' is not the last instruction and there is no frame at - * 'insnIndex' + 1 in {@link #getFrames}. - */ - private void endControlFlow(final int insnIndex) throws AnalyzerException { - if (hasNextJvmInsnOrFrame(insnIndex) && getFrames()[insnIndex + 1] == null) { - throw new AnalyzerException( - null, "Expected stack map frame at instruction " + (insnIndex + 1)); - } - } - - /** - * Returns true if the given instruction is followed by a JVM instruction or a by stack map frame. - * - * @param insnIndex an instruction index. - * @return true if 'insnIndex' is followed by a JVM instruction or a by stack map frame. - */ - private boolean hasNextJvmInsnOrFrame(final int insnIndex) { - AbstractInsnNode insn = insnList.get(insnIndex).getNext(); - while (insn != null) { - if (isJvmInsnNode(insn) || insn instanceof FrameNode) { - return true; - } - insn = insn.getNext(); - } - return false; - } - - /** - * Returns true if the given instruction node corresponds to a real JVM instruction. - * - * @param insnNode an instruction node. - * @return true except for label, line number and stack map frame nodes. - */ - private static boolean isJvmInsnNode(final AbstractInsnNode insnNode) { - return insnNode.getOpcode() >= 0; - } -} diff --git a/src/main/java/org/example/visitor/AbcMethodVisitor.java b/src/main/java/org/example/visitor/AbcMethodVisitor.java new file mode 100644 index 0000000..5113a06 --- /dev/null +++ b/src/main/java/org/example/visitor/AbcMethodVisitor.java @@ -0,0 +1,108 @@ +package org.example.visitor; + +import org.example.dto.MethodMetrics; +import org.objectweb.asm.Label; +import org.objectweb.asm.MethodVisitor; +import org.objectweb.asm.Opcodes; + +public final class AbcMethodVisitor extends MethodVisitor implements Opcodes { + + private final MethodMetrics methodMetrics; + + public AbcMethodVisitor(int api, MethodVisitor methodVisitor, MethodMetrics methodMetrics) { + super(api, methodVisitor); + this.methodMetrics = methodMetrics; + } + + @Override + public void visitVarInsn(int opcode, int varIndex) { + if (opcode == ISTORE + || opcode == LSTORE + || opcode == FSTORE + || opcode == DSTORE + || opcode == ASTORE) { + methodMetrics.incrementAbcAssignments(); + } + super.visitVarInsn(opcode, varIndex); + } + + @Override + public void visitIincInsn(int varIndex, int increment) { + methodMetrics.incrementAbcAssignments(); + super.visitIincInsn(varIndex, increment); + } + + @Override + public void visitJumpInsn(int opcode, Label label) { + switch (opcode) { + case IFEQ: + case IFNE: + case IFLT: + case IFGE: + case IFGT: + case IFLE: + case IF_ICMPEQ: + case IF_ICMPNE: + case IF_ICMPLT: + case IF_ICMPGE: + case IF_ICMPGT: + case IF_ICMPLE: + case IF_ACMPEQ: + case IF_ACMPNE: + case IFNULL: + case IFNONNULL: + methodMetrics.incrementAbcConditions(); + break; + case GOTO: + case JSR: + methodMetrics.incrementAbcBranches(); + break; + default: + break; + } + super.visitJumpInsn(opcode, label); + } + + @Override + public void visitTableSwitchInsn(int min, int max, Label dflt, Label... labels) { + methodMetrics.incrementAbcBranches(); + methodMetrics.addAbcConditions(labels.length + 1); + super.visitTableSwitchInsn(min, max, dflt, labels); + } + + @Override + public void visitLookupSwitchInsn(Label dflt, int[] keys, Label[] labels) { + methodMetrics.incrementAbcBranches(); + methodMetrics.addAbcConditions(labels.length + 1); + super.visitLookupSwitchInsn(dflt, keys, labels); + } + + @Override + public void visitInsn(int opcode) { + switch (opcode) { + case RETURN: + case IRETURN: + case FRETURN: + case ARETURN: + case LRETURN: + case DRETURN: + methodMetrics.incrementAbcBranches(); + break; + default: + break; + } + super.visitInsn(opcode); + } + + @Override + public void visitMethodInsn( + int opcode, + String owner, + String name, + String descriptor, + boolean isInterface + ) { + methodMetrics.incrementAbcBranches(); + super.visitMethodInsn(opcode, owner, name, descriptor, isInterface); + } +} diff --git a/src/main/java/org/example/visitor/ClassPrinter.java b/src/main/java/org/example/visitor/ClassPrinter.java deleted file mode 100644 index ba1ab9f..0000000 --- a/src/main/java/org/example/visitor/ClassPrinter.java +++ /dev/null @@ -1,46 +0,0 @@ -package org.example.visitor; - -import org.objectweb.asm.*; - -import static org.objectweb.asm.Opcodes.ASM8; - -public class ClassPrinter extends ClassVisitor { - public ClassPrinter() { - super(ASM8); - } - - public void visit(int version, int access, String name, String signature, String superName, String[] interfaces) { - System.out.println("\n" + name + " extends " + superName + " {"); - } - - public void visitSource(String source, String debug) { - } - - public void visitOuterClass(String owner, String name, String desc) { - } - - public AnnotationVisitor visitAnnotation(String desc, boolean visible) { - return null; - } - - public void visitAttribute(Attribute attr) { - } - - public void visitInnerClass(String name, String outerName, String innerName, int access) { - } - - public FieldVisitor visitField(int access, String name, String desc, String signature, Object value) { - System.out.println(" " + desc + " " + name); - return null; - } - - public MethodVisitor visitMethod(int access, String name, String desc, String signature, String[] exceptions) { - System.out.println(" " + name + desc); - return null; - } - - public void visitEnd() { - System.out.println("}"); - } -} - diff --git a/src/main/resources/fescar.zip b/src/main/resources/fescar.zip deleted file mode 100644 index 4be5b7d..0000000 Binary files a/src/main/resources/fescar.zip and /dev/null differ diff --git a/src/main/resources/guava.jar b/src/main/resources/guava.jar new file mode 100644 index 0000000..d8f08a0 Binary files /dev/null and b/src/main/resources/guava.jar differ diff --git a/src/main/resources/guava.zip b/src/main/resources/guava.zip deleted file mode 100644 index ac665ab..0000000 Binary files a/src/main/resources/guava.zip and /dev/null differ