- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.classx files (18): src/test/resources/issue303/example/A.classx src/test/resources/issue310/Hello.classx src/test/resources/issue311/Hello.classx src/test/resources/issue308/Hello.classx src/test/resources/issue337/example/A.classx src/test/resources/issue309/Hello.classx src/test/resources/issue307/example/A.classx src/test/resources/ossfuzz/issue53620/Test.classx src/test/resources/ossfuzz/issue51980/Test.classx src/test/resources/ossfuzz/issue54254/Test.classx src/test/resources/ossfuzz/issue52168/Test.classx src/test/resources/ossfuzz/issue51989/Test.classx src/test/resources/ossfuzz/issue53543/Test.classx src/test/resources/ossfuzz/issue53676/Test.classx src/test/resources/ossfuzz/issue53544a/Test.classx src/test/resources/ossfuzz/issue54119/Test.classx src/test/resources/issue313/Hello.classx src/test/resources/issue312/Hello.classx - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.class files (13): src/test/resources/jpms/java17/commons-io/module-info.class src/test/resources/jpms/java11/commons-io/module-info.class src/test/resources/jpms/java18/commons-io/module-info.class src/test/resources/jpms/java19-ea/commons-io/module-info.class src/test/resources/issue369/Test.class src/test/resources/Java4Example.class src/test/resources/StackMapExample.class src/test/resources/jira368/Test.class src/test/resources/Java8Example.class src/test/resources/kotlin/test$method name with () in it$1.class src/test/resources/StackMapExample2.class src/test/resources/issue362/Bcel362.class src/test/resources/Java8Example2.class - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.fig files (9): docs/eps/il.fig docs/eps/classgen.fig docs/eps/javaclass.fig docs/eps/classloader.fig docs/eps/instructions.fig docs/eps/jvm.fig docs/eps/constantpool.fig docs/eps/classfile.fig docs/eps/diagram.fig - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.bmp files (5): docs/verifier/chap1.bmp docs/verifier/justicecfg.bmp docs/verifier/conventcfg.bmp docs/verifier/VerificationAPI.bmp docs/verifier/exframe.bmp - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *. files (3): docs/verifier/GNUmakefile src/examples/Mini/README src/examples/Mini/MiniParser$JJCalls - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.mini files (3): src/examples/Mini/fib.mini src/examples/Mini/max.mini src/examples/Mini/fac.mini - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.mdl files (2): docs/classfile.mdl docs/generic.mdl - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.jj files (1): src/examples/Mini/Mini.jj - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.jacoco files (1): src/site/resources/profile.jacoco - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.lyx files (1): docs/verifier/JustIce.lyx - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.jjt files (1): src/examples/Mini/Mini.jjt - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.vm files (1): src/changes/release-notes.vm - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.justice files (1): TODO.JustIce - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.bnf files (1): src/examples/Mini/Mini.bnf - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -