complete-cycle.json

{"codeAttributes":[{"clazz":"PartialEvaluatorDummy","method":"test()I","instructions":[{"offset":0,"instruction":"invokestatic #10","finalVariablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"finalStackBefore":[]},{"offset":3,"instruction":"dup","finalVariablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"finalStackBefore":["i"],"finalOriginInstructions":[10]},{"offset":4,"instruction":"iconst_5","finalVariablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"finalStackBefore":["i","i"]},{"offset":5,"instruction":"if_icmple +8","finalVariablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"finalStackBefore":["i","i","5"],"finalTargetInstructions":[8,13]},{"offset":8,"instruction":"iconst_5","finalVariablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"finalStackBefore":["i"],"finalOriginInstructions":[5]},{"offset":9,"instruction":"isub","finalVariablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"finalStackBefore":["i","5"]},{"offset":10,"instruction":"goto -7","finalVariablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"finalStackBefore":["i"],"finalTargetInstructions":[3]},{"offset":13,"instruction":"jsr +4","finalVariablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"finalStackBefore":["i"],"finalTargetInstructions":[17],"finalOriginInstructions":[5]},{"offset":16,"instruction":"athrow","finalVariablesBefore":["LPartialEvaluatorDummy;!#0","16:"],"finalStackBefore":["i","LPartialEvaluatorDummy;!#0"],"finalTargetInstructions":[],"finalOriginInstructions":[19]},{"offset":17,"instruction":"astore_1 v1","finalVariablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"finalStackBefore":["i","16:"],"finalOriginInstructions":[13]},{"offset":18,"instruction":"aload_0 v0","finalVariablesBefore":["LPartialEvaluatorDummy;!#0","16:"],"finalStackBefore":["i"]},{"offset":19,"instruction":"ret v1","finalVariablesBefore":["LPartialEvaluatorDummy;!#0","16:"],"finalStackBefore":["i","LPartialEvaluatorDummy;!#0"],"finalTargetInstructions":[16]},{"offset":21,"instruction":"iconst_5","finalVariablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"finalStackBefore":["Ljava/lang/Throwable;?!"]},{"offset":22,"instruction":"ireturn","finalVariablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"finalStackBefore":["Ljava/lang/Throwable;?!","5"],"finalTargetInstructions":[]},{"offset":23,"instruction":"iconst_1"},{"offset":24,"instruction":"ireturn"}],"parameters":["LPartialEvaluatorDummy;!#0","empty"],"blockEvaluations":[{"startOffset":0,"evaluations":[{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":0,"instruction":"invokestatic #10","instructionOffset":0,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":[]},{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":0,"instruction":"dup","instructionOffset":3,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["i"]},{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":0,"instruction":"iconst_5","instructionOffset":4,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["i","i"]},{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":0,"instruction":"if_icmple +8","instructionOffset":5,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["i","i","5"],"updatedEvaluationStack":[{"startOffset":8,"startStack":["i"],"startVariables":["LPartialEvaluatorDummy;!#0","empty"]},{"startOffset":13,"startStack":["i"],"startVariables":["LPartialEvaluatorDummy;!#0","empty"]}]}],"branchEvaluationStack":[],"startVariables":["LPartialEvaluatorDummy;!#0","empty"],"startStack":[]},{"startOffset":13,"evaluations":[{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":0,"instruction":"jsr +4","instructionOffset":13,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["i"],"updatedEvaluationStack":[{"startOffset":8,"startStack":["i"],"startVariables":["LPartialEvaluatorDummy;!#0","empty"]},{"startOffset":16,"startStack":["i","LPartialEvaluatorDummy;!#0"],"startVariables":["LPartialEvaluatorDummy;!#0","16:"]}],"jsrBlockEvaluations":[{"startOffset":17,"evaluations":[{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":0,"instruction":"astore_1 v1","instructionOffset":17,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["i","16:"]},{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":0,"instruction":"aload_0 v0","instructionOffset":18,"variablesBefore":["LPartialEvaluatorDummy;!#0","16:"],"stackBefore":["i"]},{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":0,"instruction":"ret v1","instructionOffset":19,"variablesBefore":["LPartialEvaluatorDummy;!#0","16:"],"stackBefore":["i","LPartialEvaluatorDummy;!#0"]}],"branchEvaluationStack":[],"startVariables":["LPartialEvaluatorDummy;!#0","empty"],"startStack":["i","16:"]}]}],"branchEvaluationStack":[{"startOffset":8,"startStack":["i"],"startVariables":["LPartialEvaluatorDummy;!#0","empty"]}],"startVariables":["LPartialEvaluatorDummy;!#0","empty"],"startStack":["i"]},{"startOffset":16,"evaluations":[{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":0,"instruction":"athrow","instructionOffset":16,"variablesBefore":["LPartialEvaluatorDummy;!#0","16:"],"stackBefore":["i","LPartialEvaluatorDummy;!#0"]}],"branchEvaluationStack":[{"startOffset":8,"startStack":["i"],"startVariables":["LPartialEvaluatorDummy;!#0","empty"]}],"startVariables":["LPartialEvaluatorDummy;!#0","16:"],"startStack":["i","LPartialEvaluatorDummy;!#0"]},{"startOffset":8,"evaluations":[{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":0,"instruction":"iconst_5","instructionOffset":8,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["i"]},{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":0,"instruction":"isub","instructionOffset":9,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["i","5"]},{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":0,"instruction":"goto -7","instructionOffset":10,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["i"]},{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":1,"instruction":"dup","instructionOffset":3,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["i"]},{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":1,"instruction":"iconst_5","instructionOffset":4,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["i","i"]},{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":1,"instruction":"if_icmple +8","instructionOffset":5,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["i","i","5"],"updatedEvaluationStack":[{"startOffset":8,"startStack":["i"],"startVariables":["LPartialEvaluatorDummy;!#0","empty"]},{"startOffset":13,"startStack":["i"],"startVariables":["LPartialEvaluatorDummy;!#0","empty"]}]}],"branchEvaluationStack":[],"startVariables":["LPartialEvaluatorDummy;!#0","empty"],"startStack":["i"]},{"startOffset":13,"evaluations":[{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":1,"instruction":"jsr +4","instructionOffset":13,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["i"],"updatedEvaluationStack":[{"startOffset":8,"startStack":["i"],"startVariables":["LPartialEvaluatorDummy;!#0","empty"]},{"startOffset":16,"startStack":["i","LPartialEvaluatorDummy;!#0"],"startVariables":["LPartialEvaluatorDummy;!#0","16:"]}],"jsrBlockEvaluations":[{"startOffset":17,"evaluations":[{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":0,"instruction":"astore_1 v1","instructionOffset":17,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["i","16:"]},{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":0,"instruction":"aload_0 v0","instructionOffset":18,"variablesBefore":["LPartialEvaluatorDummy;!#0","16:"],"stackBefore":["i"]},{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":0,"instruction":"ret v1","instructionOffset":19,"variablesBefore":["LPartialEvaluatorDummy;!#0","16:"],"stackBefore":["i","LPartialEvaluatorDummy;!#0"]}],"branchEvaluationStack":[],"startVariables":["LPartialEvaluatorDummy;!#0","empty"],"startStack":["i","16:"]}]}],"branchEvaluationStack":[{"startOffset":8,"startStack":["i"],"startVariables":["LPartialEvaluatorDummy;!#0","empty"]}],"startVariables":["LPartialEvaluatorDummy;!#0","empty"],"startStack":["i"]},{"startOffset":16,"evaluations":[{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":1,"instruction":"athrow","instructionOffset":16,"variablesBefore":["LPartialEvaluatorDummy;!#0","16:"],"stackBefore":["i","LPartialEvaluatorDummy;!#0"]}],"branchEvaluationStack":[{"startOffset":8,"startStack":["i"],"startVariables":["LPartialEvaluatorDummy;!#0","empty"]}],"startVariables":["LPartialEvaluatorDummy;!#0","16:"],"startStack":["i","LPartialEvaluatorDummy;!#0"]},{"startOffset":8,"evaluations":[{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":1,"instruction":"iconst_5","instructionOffset":8,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["i"]},{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":1,"instruction":"isub","instructionOffset":9,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["i","5"]},{"skipEvaluation":true,"isGeneralization":false,"evaluationCount":1,"instruction":"goto -7","instructionOffset":10,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["i"]}],"branchEvaluationStack":[],"startVariables":["LPartialEvaluatorDummy;!#0","empty"],"startStack":["i"]},{"startOffset":21,"evaluations":[{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":0,"instruction":"iconst_5","instructionOffset":21,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["Ljava/lang/Throwable;?!#1"]},{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":0,"instruction":"ireturn","instructionOffset":22,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["Ljava/lang/Throwable;?!#1","5"]}],"branchEvaluationStack":[],"exceptionHandlerInfo":{"catchStartOffset":3,"catchEndOffset":21,"handlerStartOffset":21,"catchType":"java/lang/Throwable"},"startVariables":["LPartialEvaluatorDummy;!#0","empty"],"startStack":["Ljava/lang/Throwable;?!#1"]},{"startOffset":21,"evaluations":[{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":1,"instruction":"iconst_5","instructionOffset":21,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["Ljava/lang/Throwable;?!#2"]},{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":1,"instruction":"ireturn","instructionOffset":22,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["Ljava/lang/Throwable;?!#2","5"]}],"branchEvaluationStack":[],"exceptionHandlerInfo":{"catchStartOffset":3,"catchEndOffset":21,"handlerStartOffset":21,"catchType":"java/lang/Throwable"},"startVariables":["LPartialEvaluatorDummy;!#0","empty"],"startStack":["Ljava/lang/Throwable;?!#2"]},{"startOffset":21,"evaluations":[{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":2,"instruction":"iconst_5","instructionOffset":21,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["Ljava/lang/Throwable;?!#3"]},{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":2,"instruction":"ireturn","instructionOffset":22,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["Ljava/lang/Throwable;?!#3","5"]}],"branchEvaluationStack":[],"exceptionHandlerInfo":{"catchStartOffset":3,"catchEndOffset":21,"handlerStartOffset":21,"catchType":"java/lang/Throwable"},"startVariables":["LPartialEvaluatorDummy;!#0","empty"],"startStack":["Ljava/lang/Throwable;?!#3"]},{"startOffset":21,"evaluations":[{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":3,"instruction":"iconst_5","instructionOffset":21,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["Ljava/lang/Throwable;?!#4"]},{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":3,"instruction":"ireturn","instructionOffset":22,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["Ljava/lang/Throwable;?!#4","5"]}],"branchEvaluationStack":[],"exceptionHandlerInfo":{"catchStartOffset":3,"catchEndOffset":21,"handlerStartOffset":21,"catchType":"java/lang/Throwable"},"startVariables":["LPartialEvaluatorDummy;!#0","empty"],"startStack":["Ljava/lang/Throwable;?!#4"]},{"startOffset":21,"evaluations":[{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":4,"instruction":"iconst_5","instructionOffset":21,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["Ljava/lang/Throwable;?!#5"]},{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":4,"instruction":"ireturn","instructionOffset":22,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["Ljava/lang/Throwable;?!#5","5"]}],"branchEvaluationStack":[],"exceptionHandlerInfo":{"catchStartOffset":3,"catchEndOffset":21,"handlerStartOffset":21,"catchType":"java/lang/Throwable"},"startVariables":["LPartialEvaluatorDummy;!#0","empty"],"startStack":["Ljava/lang/Throwable;?!#5"]},{"startOffset":21,"evaluations":[{"skipEvaluation":false,"isGeneralization":true,"evaluationCount":5,"instruction":"iconst_5","instructionOffset":21,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["Ljava/lang/Throwable;?!#6"]},{"skipEvaluation":false,"isGeneralization":true,"evaluationCount":5,"instruction":"ireturn","instructionOffset":22,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["Ljava/lang/Throwable;?!","5"]}],"branchEvaluationStack":[],"exceptionHandlerInfo":{"catchStartOffset":3,"catchEndOffset":21,"handlerStartOffset":21,"catchType":"java/lang/Throwable"},"startVariables":["LPartialEvaluatorDummy;!#0","empty"],"startStack":["Ljava/lang/Throwable;?!#6"]},{"startOffset":21,"evaluations":[{"skipEvaluation":true,"isGeneralization":false,"evaluationCount":6,"instruction":"iconst_5","instructionOffset":21,"variablesBefore":["LPartialEvaluatorDummy;!#0","empty"],"stackBefore":["Ljava/lang/Throwable;?!"]}],"branchEvaluationStack":[],"exceptionHandlerInfo":{"catchStartOffset":3,"catchEndOffset":21,"handlerStartOffset":21,"catchType":"java/lang/Throwable"},"startVariables":["LPartialEvaluatorDummy;!#0","empty"],"startStack":["Ljava/lang/Throwable;?!#7"]}]}]}