This is the distribution of the Daikon invariant detector, Daikon version 5.8.11, released November 2, 2021. If you are working with a Daikon distribution downloaded from the Daikon website, then most everything is setup and ready to go. See the 'doc' subdirectory for additional information, including installation instructions. You should start out with the file: doc/index.html The documentation also appears on the Daikon homepage: http://plse.cs.washington.edu/daikon/ If you are working with source cloned from the source code repository https://github.com/codespecs/daikon, then please review the file README.source.
Dynamic detection of likely invariants
Overview
Comments
-
Instrumenting Junit
opened by poosomooso 16Hi, I'm trying to run Daikon on Junit tests. The tests run fine when I run them independently, but when I run them with Daikon, I get:
JUnit version 4.11 .E Time: 0.033 There was 1 failure: 1) initializationError(op.OperationsTest) java.lang.IllegalArgumentException: Test class can only have one constructor at org.junit.runners.model.TestClass.<init>(TestClass.java:40) at org.junit.runners.ParentRunner.<init>(ParentRunner.java:75) at org.junit.runners.BlockJUnit4ClassRunner.<init>(BlockJUnit4ClassRunner.java:57) at org.junit.internal.builders.JUnit4Builder.runnerForClass(JUnit4Builder.java:10) at org.junit.runners.model.RunnerBuilder.safeRunnerForClass(RunnerBuilder.java:59) at org.junit.internal.builders.AllDefaultPossibilitiesBuilder.runnerForClass(AllDefaultPossibilitiesBuilder.java:26) at org.junit.runner.Computer.getRunner(Computer.java:40) at org.junit.runner.Computer$1.runnerForClass(Computer.java:31) at org.junit.runners.model.RunnerBuilder.safeRunnerForClass(RunnerBuilder.java:59) at org.junit.runners.model.RunnerBuilder.runners(RunnerBuilder.java:101) at org.junit.runners.model.RunnerBuilder.runners(RunnerBuilder.java:87) at org.junit.runners.Suite.<init>(Suite.java:80) at org.junit.runner.Computer.getSuite(Computer.java:28) at org.junit.runner.Request.classes(Request.java:75) at org.junit.runner.JUnitCore.run(JUnitCore.java:117) at org.junit.runner.JUnitCore.runMain(JUnitCore.java:96) at org.junit.runner.JUnitCore.runMainAndExit(JUnitCore.java:47) at org.junit.runner.JUnitCore.main(JUnitCore.java:40) FAILURES!!! Tests run: 1, Failures: 1Is this a problem with Daikon's instrumentation or am I missing something?
Setup
Java: openjdk 1.8.0_222 OS: Ubuntu 18.04 Daikon: 5.7.4 (cloned from this repo) as well as 5.7.2 (downloaded from the website).
Steps to replicate
git clone https://github.com/poosomooso/daikon-junit-test.git cd daikon-junit-test java -cp out/production/untitled:out/test/untitled:lib/*:$DAIKONDIR/daikon.jar daikon.DynComp org.junit.runner.JUnitCore op.OperationsTest -
@CallerSensitive annotation expected
opened by comentator 9I have a problem with Daikon, where it tells me that it expects a @CallerSensitive annotation. I have one case where i try to Instrument Junit Tests using org.junit.runner.JUnitCore so i cannot add the missing Annotation. Is there a way to circumvent this?
Setup
uname -a
Linux *********** 5.4.44-1-MANJARO #1 SMP PREEMPT Wed Jun 3 14:48:07 UTC 2020 x86_64 GNU/Linuxjava -version
openjdk version "1.8.0_252" OpenJDK Runtime Environment (build 1.8.0_252-b09) OpenJDK 64-Bit Server VM (build 25.252-b09, mixed mode)Daikon: 5.8.2 (downloaded from the website).
mvn -version
Apache Maven 3.6.3 (NON-CANONICAL_2019-11-27T20:26:29Z_root) Maven home: /opt/maven Java version: 1.8.0_252, vendor: Oracle Corporation, runtime: /usr/lib/jvm/java-8-openjdk/jre Default locale: en_US, platform encoding: UTF-8 OS name: "linux", version: "5.4.44-1-manjaro", arch: "amd64", family: "unix"Steps to reproduce
For this i just chose a random Junit project from Github
rm -rf example mkdir example cd example git clone [email protected]:ThomasJaspers/java-junit-sample.git cd java-junit-sample mvn install java -cp ./target/junitsample-0.0.1-SNAPSHOT.jar:$DAIKONDIR/daikon.jar daikon.DynComp org.junit.runner.JUnitCore com.codecentric.sample.store.service.CustomerServiceMy Output
JUnit version 4.13 Exception in thread "main" java.lang.InternalError: CallerSensitive annotation expected at frame 1 at sun.reflect.Reflection.getCallerClass(Native Method) at sun.reflect.Reflection.getCallerClass(Reflection.java) at java.lang.Class.forName(Class.java:263) at com.sun.proxy.$Proxy3.<clinit>(Unknown Source) at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) at java.lang.reflect.Constructor.newInstance(Constructor.java:423) at java.lang.reflect.Proxy.newProxyInstance(Proxy.java:739) at sun.reflect.annotation.AnnotationParser$1.run(AnnotationParser.java:305) at sun.reflect.annotation.AnnotationParser$1.run(AnnotationParser.java:303) at java.security.AccessController.doPrivileged(Native Method) at java.security.AccessController.doPrivileged(AccessController.java) at sun.reflect.annotation.AnnotationParser.annotationForMap(AnnotationParser.java:303) at sun.reflect.annotation.AnnotationParser.parseAnnotation2(AnnotationParser.java:293) at sun.reflect.annotation.AnnotationParser.parseAnnotations2(AnnotationParser.java:120) at sun.reflect.annotation.AnnotationParser.parseAnnotations(AnnotationParser.java:72) at java.lang.Class.createAnnotationData(Class.java:3521) at java.lang.Class.annotationData(Class.java:3510) at java.lang.Class.getAnnotation(Class.java:3415) at java.lang.reflect.AnnotatedElement.isAnnotationPresent(AnnotatedElement.java:258) at java.lang.Class.isAnnotationPresent(Class.java:3425) at org.junit.runner.notification.RunNotifier.wrapIfNotThreadSafe(RunNotifier.java:50) at org.junit.runner.notification.RunNotifier.addFirstListener(RunNotifier.java:247) at org.junit.runner.JUnitCore.run(JUnitCore.java:134) at org.junit.runner.JUnitCore.run(JUnitCore.java:115) at org.junit.runner.JUnitCore.runMain(JUnitCore.java:77) at org.junit.runner.JUnitCore.main(JUnitCore.java:36) -
ksavir compile error on redhat linux
opened by mernst 8Originally reported on Google Code with ID 25
What steps will reproduce the problem? 1. cd daikon_root_folder 2. make 3. What is the expected output? What do you see instead? make[4]: Entering directory `/dcs/pg11/fatimah/DAIKON/daikon/kvasir/valgrind/coregrind' Makefile:114: *** missing separator. Stop. make[4]: Leaving directory `/dcs/pg11/fatimah/DAIKON/daikon/kvasir/valgrind/coregrind' make[3]: *** [all-recursive] Error 1 make[3]: Leaving directory `/dcs/pg11/fatimah/DAIKON/daikon/kvasir/valgrind' make[2]: *** [all] Error 2 make[2]: Leaving directory `/dcs/pg11/fatimah/DAIKON/daikon/kvasir/valgrind' make[1]: *** [kvasir] Error 2 make[1]: Leaving directory `/dcs/pg11/fatimah/DAIKON/daikon' make: *** [all] Error 2 What version of the product are you using? On what operating system? Red Hat Enterprise Linux Workstation release 6.1 (Santiago) Linux version 2.6.32-358.6.2.el6.x86_64.debug ([email protected]) (gcc version 4.4.7 20120313 (Red Hat 4.4.7-3) (GCC) ) #1 SMP Tue May 14 15:56:58 EDT 2013 Please provide any additional information below.Reported by
faateemahfikaon 2013-12-28 06:21:10
- _Attachment: [daikon_kvasir_compile_failure.txt](https://storage.googleapis.com/google-code-attachments/daikon/issue-25/comment-0/daikon_kvasir_compile_failure.txt)_ Type-Defect Priority-Medium -
Unexpected exception encountered: java.lang.RuntimeException: Invalid StackMap offset 3: Invalid StackMap offset 3
opened by boyang9602 7Hi, I met
Unexpected exception encountered: java.lang.RuntimeException: Invalid StackMap offset 3: Invalid StackMap offset 3when I use daikon to generate invariants for Closure project from defects4j.Daikon 5.7.2 Java:
openjdk version "1.8.0_222" OpenJDK Runtime Environment (build 1.8.0_222-8u222-b10-1ubuntu1~18.04.1-b10) OpenJDK 64-Bit Server VM (build 25.222-b10, mixed mode)
How to reproduce:
- compile defects4j: https://github.com/rjust/defects4j
- issue command
defects4j checkout -p Closure -v 10f -w your_work_path - go to your_work_path and issue command
defects4j compile - issue command
java -Xmx10240M -cp lib/*:build/test/:build/classes/:build/lib/rhino.jar:build/lib/rhino1_7R4pre/js.jar:$DAIKONDIR/daikon.jar daikon.DynComp junit.textui.TestRunner com.google.javascript.jscomp.PeepholeFoldConstantsTest - issue command
java -Xmx10240M -cp lib/*:build/test/:build/classes/:build/lib/rhino.jar:build/lib/rhino1_7R4pre/js.jar:$DAIKONDIR/daikon.jar daikon.Chicory --comparability-file=TestRunner.decls-DynComp --daikon junit.textui.TestRunner com.google.javascript.jscomp.PeepholeFoldConstantsTestThen you will see the exception which occurs multiple times.
Thank you!
Unexpected exception encountered: java.lang.RuntimeException: Invalid StackMap offset 3: Invalid StackMap offset 3 at org.plumelib.bcelutil.StackMapUtils.modify_stack_maps_for_switches(StackMapUtils.java:363) at daikon.chicory.Instrument.instrument_all_methods(Instrument.java:517) at daikon.chicory.Instrument.transform(Instrument.java:204) at sun.instrument.TransformerManager.transform(TransformerManager.java:188) at sun.instrument.InstrumentationImpl.transform(InstrumentationImpl.java:428) at java.lang.ClassLoader.defineClass1(Native Method) at java.lang.ClassLoader.defineClass(ClassLoader.java:763) at java.security.SecureClassLoader.defineClass(SecureClassLoader.java:142) at java.net.URLClassLoader.defineClass(URLClassLoader.java:468) at java.net.URLClassLoader.access$100(URLClassLoader.java:74) at java.net.URLClassLoader$1.run(URLClassLoader.java:369) at java.net.URLClassLoader$1.run(URLClassLoader.java:363) at java.security.AccessController.doPrivileged(Native Method) at java.net.URLClassLoader.findClass(URLClassLoader.java:362) at java.lang.ClassLoader.loadClass(ClassLoader.java:424) at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:349) at java.lang.ClassLoader.loadClass(ClassLoader.java:357) at java.lang.Class.getDeclaringClass0(Native Method) at java.lang.Class.getDeclaringClass(Class.java:1235) at java.lang.Class.getEnclosingClass(Class.java:1277) at java.lang.Class.getSimpleBinaryName(Class.java:1443) at java.lang.Class.getSimpleName(Class.java:1309) at daikon.chicory.DaikonWriter.methodName(DaikonWriter.java:169) at daikon.chicory.DaikonWriter.methodEntryName(DaikonWriter.java:46) at daikon.chicory.DeclWriter.print_decl_class(DeclWriter.java:273) at daikon.chicory.DeclWriter.printDeclClass(DeclWriter.java:120) at daikon.chicory.Runtime.process_new_classes(Runtime.java:460) at daikon.chicory.Runtime.exit(Runtime.java:332) at com.google.javascript.rhino.head.Kit.classOrNull(Kit.java:74) at com.google.javascript.rhino.head.Context.<clinit>(Context.java:2439) at java.lang.Class.forName0(Native Method) at java.lang.Class.forName(Class.java:264) at com.google.javascript.rhino.head.Kit.classOrNull(Kit.java:74) at com.google.javascript.rhino.head.ScriptRuntime.<clinit>(ScriptRuntime.java:157) at com.google.javascript.jscomp.RhinoErrorReporter.<init>(RhinoErrorReporter.java:72) at com.google.javascript.jscomp.RhinoErrorReporter.<init>(RhinoErrorReporter.java:32) at com.google.javascript.jscomp.RhinoErrorReporter$OldRhinoErrorReporter.<init>(RhinoErrorReporter.java:135) at com.google.javascript.jscomp.RhinoErrorReporter$OldRhinoErrorReporter.<init>(RhinoErrorReporter.java:131) at com.google.javascript.jscomp.RhinoErrorReporter.forOldRhino(RhinoErrorReporter.java:100) at com.google.javascript.jscomp.Compiler.<init>(Compiler.java:168) at com.google.javascript.jscomp.Compiler.<init>(Compiler.java:230) at com.google.javascript.jscomp.CompilerTestCase.createCompiler(CompilerTestCase.java:1058) at com.google.javascript.jscomp.CompilerTestCase.test(CompilerTestCase.java:429) at com.google.javascript.jscomp.CompilerTestCase.test(CompilerTestCase.java:371) at com.google.javascript.jscomp.CompilerTestCase.test(CompilerTestCase.java:340) at com.google.javascript.jscomp.CompilerTestCase.test(CompilerTestCase.java:328) at com.google.javascript.jscomp.CompilerTestCase.testSame(CompilerTestCase.java:560) at com.google.javascript.jscomp.PeepholeFoldConstantsTest.foldSame(PeepholeFoldConstantsTest.java:66) at com.google.javascript.jscomp.PeepholeFoldConstantsTest.testIssue821(PeepholeFoldConstantsTest.java:73) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at junit.framework.TestCase.runTest(TestCase.java:168) at junit.framework.TestCase.runBare(TestCase.java:134) at junit.framework.TestResult$1.protect(TestResult.java:110) at junit.framework.TestResult.runProtected(TestResult.java:128) at junit.framework.TestResult.run(TestResult.java:113) at junit.framework.TestCase.run(TestCase.java:124) at junit.framework.TestSuite.runTest(TestSuite.java:243) at junit.framework.TestSuite.run(TestSuite.java:238) at junit.textui.TestRunner.doRun(TestRunner.java:116) at junit.textui.TestRunner.start(TestRunner.java:180) at junit.textui.TestRunner.main(TestRunner.java:138) -
compiling daikon failed on ubuntu 18.04.3
opened by boyang9602 7Thanks for submitting an issue. As noted in the instructions for submitting an issue at https://plse.cs.washington.edu/daikon/download/doc/daikon.html#Reporting-problems, please include at least the following with your report:
The version of Daikon, the output of
java -version, and the operating system version.daikon-5.7.2openjdk version "1.8.0_222" OpenJDK Runtime Environment (build 1.8.0_222-8u222-b10-1ubuntu1~18.04.1-b10) OpenJDK 64-Bit Server VM (build 25.222-b10, mixed mode)No LSB modules are available. Distributor ID: Ubuntu Description: Ubuntu 18.04.3 LTS Release: 18.04 Codename: bionicThe commands you ran, so that we can paste them into a command terminal. Please don't omit any steps, including installing software or setting environment varibales. env params in .bashrc:
# The absolute pathname of the directory that contains Daikon export DAIKONDIR=~/projects/daikon-5.7.2 # The absolute pathname of the directory that contains the Java JDK export JAVA_HOME=/usr/lib/jvm/java-8-openjdk-amd64 # source $DAIKONDIR/scripts/daikon.bashrcI installed required dependencies first,
sudo apt-get install openjdk-8-jdk gcc ctags graphviz netpbm texlive texinfo,sudo apt-get install m4 automake autoconf binutils-devthen run:make -C $DAIKONDIR rebuild-everythingA transcript of all the output (as text, not a screenshot).make: Entering directory '/home/bo/projects/daikon-5.7.2' make -C /home/bo/projects/daikon-5.7.2 rebuild-everything-but-kvasir make[1]: Entering directory '/home/bo/projects/daikon-5.7.2' make -C /home/bo/projects/daikon-5.7.2/java compile make[2]: Entering directory '/home/bo/projects/daikon-5.7.2/java' make --stop all_directly junit make[3]: Entering directory '/home/bo/projects/daikon-5.7.2/java' rm -f `find daikon -name "*.class" -print` echo "CLASSPATH = " CLASSPATH = echo "DAIKON_CLASSPATH = /home/bo/projects/daikon-5.7.2/java/lib/*:/home/bo/projects/daikon-5.7.2/java:/usr/lib/jvm/java-8-openjdk-amd64/lib/tools.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/rt.jar" DAIKON_CLASSPATH = /home/bo/projects/daikon-5.7.2/java/lib/*:/home/bo/projects/daikon-5.7.2/java:/usr/lib/jvm/java-8-openjdk-amd64/lib/tools.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/rt.jar javac -cp /home/bo/projects/daikon-5.7.2/java/lib/*:/home/bo/projects/daikon-5.7.2/java:/usr/lib/jvm/java-8-openjdk-amd64/lib/tools.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/rt.jar -Xlint -J-Xmx1024m -g -XDignore.symbol.file -Xmaxerrs 100000 -Xmaxwarns 100000 -source 8 -target 8 -Werror -Xlint:-path -Xlint:-options -Xlint:-classfile @java_files.txt rm -f java_files.txt make all_pass2 make[4]: Entering directory '/home/bo/projects/daikon-5.7.2/java' javac -cp /home/bo/projects/daikon-5.7.2/java/lib/*:/home/bo/projects/daikon-5.7.2/java:/usr/lib/jvm/java-8-openjdk-amd64/lib/tools.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/rt.jar -Xlint -J-Xmx1024m -g -XDignore.symbol.file -Xmaxerrs 100000 -Xmaxwarns 100000 -source 8 -target 8 -Werror -Xlint:-path -Xlint:-options -Xlint:-classfile daikon/test/split/SplitterFactoryTest.java make[4]: Leaving directory '/home/bo/projects/daikon-5.7.2/java' make chicory make[4]: Entering directory '/home/bo/projects/daikon-5.7.2/java' make[4]: Nothing to be done for 'chicory'. make[4]: Leaving directory '/home/bo/projects/daikon-5.7.2/java' make dyncomp make[4]: Entering directory '/home/bo/projects/daikon-5.7.2/java' Checking that imports of plume and daikon.util are correct...done make[4]: Leaving directory '/home/bo/projects/daikon-5.7.2/java' Running unit (not system) tests... LC_ALL=en_US.UTF-8 java -ea -cp /home/bo/projects/daikon-5.7.2/java/lib/*:/home/bo/projects/daikon-5.7.2/java:/usr/lib/jvm/java-8-openjdk-amd64/lib/tools.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/rt.jar daikon.test.MasterUnitTester ..................................................... ......................................... ..................................... Time: 0.721 OK (119 tests) make[3]: Leaving directory '/home/bo/projects/daikon-5.7.2/java' make[2]: Leaving directory '/home/bo/projects/daikon-5.7.2/java' make -C /home/bo/projects/daikon-5.7.2 daikon.jar make[2]: Entering directory '/home/bo/projects/daikon-5.7.2' make[2]: 'daikon.jar' is up to date. make[2]: Leaving directory '/home/bo/projects/daikon-5.7.2' make -C /home/bo/projects/daikon-5.7.2/java dcomp_rt.jar make[2]: Entering directory '/home/bo/projects/daikon-5.7.2/java' make[2]: 'dcomp_rt.jar' is up to date. make[2]: Leaving directory '/home/bo/projects/daikon-5.7.2/java' make -C /home/bo/projects/daikon-5.7.2/java javadoc make[2]: Entering directory '/home/bo/projects/daikon-5.7.2/java' mkdir -p api make[3]: Entering directory '/home/bo/projects/daikon-5.7.2/java' find . \( -name 'PrototypeChecker.java' -o -name 'VIndexChecker.java' -o -name 'VIndexAnnotatedTypeFactory.java' \) -prune -o -name "*.java" -print | /home/bo/projects/daikon-5.7.2/utils/plume-scripts/sort-directory-order > javadoc-files.txt make[3]: Leaving directory '/home/bo/projects/daikon-5.7.2/java' javadoc -cp /home/bo/projects/daikon-5.7.2/java/lib/*:/home/bo/projects/daikon-5.7.2/java:/usr/lib/jvm/java-8-openjdk-amd64/lib/tools.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/rt.jar -J-Xmx1000m -J-ea -breakiterator -quiet -linksource -noqualifier all -d api -linkoffline https://docs.oracle.com/javase/8/docs/api/ https://docs.oracle.com/javase/8/docs/api/ -classpath "/home/bo/projects/daikon-5.7.2/java/lib/*:/usr/lib/jvm/java-8-openjdk-amd64/lib/tools.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/rt.jar" -docletpath "/home/bo/projects/daikon-5.7.2/java/lib/*:/home/bo/projects/daikon-5.7.2/java:/usr/lib/jvm/java-8-openjdk-amd64/lib/tools.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/rt.jar" \ @javadoc-files.txt cd api && /home/bo/projects/daikon-5.7.2/utils/plume-scripts/preplace '^ *@cindex.*' '' cp -pf ../doc/daikon-favicon.png api cd api && /home/bo/projects/daikon-5.7.2/utils/html-tools/html-add-favicon . daikon-favicon.png make[2]: Leaving directory '/home/bo/projects/daikon-5.7.2/java' make -C /home/bo/projects/daikon-5.7.2 doc-all make[2]: Entering directory '/home/bo/projects/daikon-5.7.2' cd doc && make all make[3]: Entering directory '/home/bo/projects/daikon-5.7.2/doc' cd ../java && make ../doc/config-options.texinfo make[4]: Entering directory '/home/bo/projects/daikon-5.7.2/java' javadoc -cp /home/bo/projects/daikon-5.7.2/java/lib/*:/home/bo/projects/daikon-5.7.2/java:/usr/lib/jvm/java-8-openjdk-amd64/lib/tools.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/rt.jar -J-Xmx1000m -J-ea -docletpath "/home/bo/projects/daikon-5.7.2/java/lib/plume-util-1.0.5.jar:/home/bo/projects/daikon-5.7.2/java/lib/bcel-util-1.1.4.jar:/home/bo/projects/daikon-5.7.2/java/lib/reflection-util-0.0.1.jar:/home/bo/projects/daikon-5.7.2/java/lib/*:/home/bo/projects/daikon-5.7.2/java:/usr/lib/jvm/java-8-openjdk-amd64/lib/tools.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/rt.jar" -classpath "/home/bo/projects/daikon-5.7.2/java/lib/*:/home/bo/projects/daikon-5.7.2/java:/usr/lib/jvm/java-8-openjdk-amd64/lib/tools.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/rt.jar" -doclet daikon.config.ParameterDoclet \ --texinfo ../doc/config-options.texinfo \ ./daikon/AnnotateNullable.java ./daikon/Chicory.java ./daikon/Daikon.java ./daikon/DaikonSimple.java ./daikon/Debug.java ./daikon/DiscReasonMap.java ./daikon/DynComp.java ./daikon/DynamicConstants.java ./daikon/FileIO.java ./daikon/Global.java ./daikon/LogHelper.java ./daikon/MemMonitor.java ./daikon/MergeInvariants.java ./daikon/ModBitTracker.java ./daikon/Ppt.java ./daikon/PptConditional.java ./daikon/PptMap.java ./daikon/PptName.java ./daikon/PptRelation.java ./daikon/PptSlice.java ./daikon/PptSlice0.java ./daikon/PptSlice1.java ./daikon/PptSlice2.java ./daikon/PptSlice3.java ./daikon/PptSliceEquality.java ./daikon/PptTopLevel.java ./daikon/PrintInvariants.java ./daikon/ProglangType.java ./daikon/Quant.java ./daikon/Quantify.java ./daikon/Runtime.java ./daikon/UnionInvariants.java ./daikon/ValueTuple.java ./daikon/VarComparability.java ./daikon/VarComparabilityImplicit.java ./daikon/VarComparabilityNone.java ./daikon/VarInfo.java ./daikon/VarInfoAux.java ./daikon/VarInfoName.java ./daikon/VarParent.java ./daikon/asm/DSForest.java ./daikon/asm/IInstruction.java ./daikon/asm/InstructionUtils.java ./daikon/asm/KillerInstruction.java ./daikon/asm/Operand.java ./daikon/asm/PptFile.java ./daikon/asm/X86Instruction.java ./daikon/chicory/ArrayInfo.java ./daikon/chicory/ChicoryPremain.java ./daikon/chicory/ClassInfo.java ./daikon/chicory/DTraceReader.java ./daikon/chicory/DTraceWriter.java ./daikon/chicory/DaikonClassInfo.java ./daikon/chicory/DaikonVariableInfo.java ./daikon/chicory/DaikonWriter.java ./daikon/chicory/DeclReader.java ./daikon/chicory/DeclWriter.java ./daikon/chicory/FieldInfo.java ./daikon/chicory/Instrument.java ./daikon/chicory/ListInfo.java ./daikon/chicory/MethodInfo.java ./daikon/chicory/NonsensicalList.java ./daikon/chicory/NonsensicalObject.java ./daikon/chicory/ParameterInfo.java ./daikon/chicory/PureMethodInfo.java ./daikon/chicory/ReturnInfo.java ./daikon/chicory/RootInfo.java ./daikon/chicory/Runtime.java ./daikon/chicory/SharedData.java ./daikon/chicory/StaticObjInfo.java ./daikon/chicory/StreamRedirectThread.java ./daikon/chicory/StringInfo.java ./daikon/chicory/Test.java ./daikon/chicory/ThisObjInfo.java ./daikon/chicory/VarFlags.java ./daikon/chicory/VarKind.java ./daikon/chicory/package-info.java ./daikon/config/Configuration.java ./daikon/config/HtmlToTexinfo.java ./daikon/config/InvariantDoclet.java ./daikon/config/ParameterDoclet.java ./daikon/dcomp/BuildJDK.java ./daikon/dcomp/DCInstrument.java ./daikon/dcomp/DCRuntime.java ./daikon/dcomp/DCompClone.java ./daikon/dcomp/DCompInstrumented.java ./daikon/dcomp/DCompMarker.java ./daikon/dcomp/DCompToString.java ./daikon/dcomp/Instrument.java ./daikon/dcomp/Premain.java ./daikon/dcomp/TagEntry.java ./daikon/dcomp/Test.java ./daikon/dcomp/package-info.java ./daikon/derive/Derivation.java ./daikon/derive/DerivationFactory.java ./daikon/derive/ValueAndModified.java ./daikon/derive/binary/BinaryDerivation.java ./daikon/derive/binary/BinaryDerivationFactory.java ./daikon/derive/binary/SequenceFloatIntersection.java ./daikon/derive/binary/SequenceFloatIntersectionFactory.java ./daikon/derive/binary/SequenceFloatSubscript.java ./daikon/derive/binary/SequenceFloatSubscriptFactory.java ./daikon/derive/binary/SequenceFloatSubsequence.java ./daikon/derive/binary/SequenceFloatUnion.java ./daikon/derive/binary/SequenceFloatUnionFactory.java ./daikon/derive/binary/SequenceScalarIntersection.java ./daikon/derive/binary/SequenceScalarIntersectionFactory.java ./daikon/derive/binary/SequenceScalarSubscript.java ./daikon/derive/binary/SequenceScalarSubscriptFactory.java ./daikon/derive/binary/SequenceScalarSubsequence.java ./daikon/derive/binary/SequenceScalarUnion.java ./daikon/derive/binary/SequenceScalarUnionFactory.java ./daikon/derive/binary/SequenceStringIntersection.java ./daikon/derive/binary/SequenceStringIntersectionFactory.java ./daikon/derive/binary/SequenceStringSubscript.java ./daikon/derive/binary/SequenceStringSubscriptFactory.java ./daikon/derive/binary/SequenceStringSubsequence.java ./daikon/derive/binary/SequenceStringUnion.java ./daikon/derive/binary/SequenceStringUnionFactory.java ./daikon/derive/binary/SequenceSubsequence.java ./daikon/derive/binary/SequencesConcat.java ./daikon/derive/binary/SequencesConcatFactory.java ./daikon/derive/binary/SequencesJoin.java ./daikon/derive/binary/SequencesJoinFactory.java ./daikon/derive/binary/SequencesJoinFactoryFloat.java ./daikon/derive/binary/SequencesJoinFloat.java ./daikon/derive/binary/SequencesPredicate.java ./daikon/derive/binary/SequencesPredicateFactory.java ./daikon/derive/binary/SequencesPredicateFactoryFloat.java ./daikon/derive/binary/SequencesPredicateFloat.java ./daikon/derive/ternary/SequenceFloatArbitrarySubsequence.java ./daikon/derive/ternary/SequenceFloatArbitrarySubsequenceFactory.java ./daikon/derive/ternary/SequenceScalarArbitrarySubsequence.java ./daikon/derive/ternary/SequenceScalarArbitrarySubsequenceFactory.java ./daikon/derive/ternary/SequenceStringArbitrarySubsequence.java ./daikon/derive/ternary/SequenceStringArbitrarySubsequenceFactory.java ./daikon/derive/ternary/TernaryDerivation.java ./daikon/derive/ternary/TernaryDerivationFactory.java ./daikon/derive/unary/SequenceInitial.java ./daikon/derive/unary/SequenceInitialFactory.java ./daikon/derive/unary/SequenceInitialFactoryFloat.java ./daikon/derive/unary/SequenceInitialFloat.java ./daikon/derive/unary/SequenceLength.java ./daikon/derive/unary/SequenceLengthFactory.java ./daikon/derive/unary/SequenceMax.java ./daikon/derive/unary/SequenceMin.java ./daikon/derive/unary/SequenceMinMaxSumFactory.java ./daikon/derive/unary/SequenceSum.java ./daikon/derive/unary/StringLength.java ./daikon/derive/unary/StringLengthFactory.java ./daikon/derive/unary/UnaryDerivation.java ./daikon/derive/unary/UnaryDerivationFactory.java ./daikon/diff/ConsequentCVFPairComparator.java ./daikon/diff/ConsequentCVFSortComparator.java ./daikon/diff/ConsequentExtractorVisitor.java ./daikon/diff/ConsequentPairComparator.java ./daikon/diff/ConsequentSortComparator.java ./daikon/diff/DepthFirstVisitor.java ./daikon/diff/DetailedStatisticsVisitor.java ./daikon/diff/Diff.java ./daikon/diff/InvMap.java ./daikon/diff/InvNode.java ./daikon/diff/MatchCountVisitor.java ./daikon/diff/MatchCountVisitor2.java ./daikon/diff/MinusVisitor.java ./daikon/diff/MultiDiff.java ./daikon/diff/MultiDiffVisitor.java ./daikon/diff/Node.java ./daikon/diff/PptCountVisitor.java ./daikon/diff/PptNode.java ./daikon/diff/PrintAllVisitor.java ./daikon/diff/PrintDifferingInvariantsVisitor.java ./daikon/diff/PrintNullDiffVisitor.java ./daikon/diff/RootNode.java ./daikon/diff/UnionVisitor.java ./daikon/diff/Visitor.java ./daikon/diff/XorInvariantsVisitor.java ./daikon/diff/XorVisitor.java ./daikon/inv/AndJoiner.java ./daikon/inv/DiscardCode.java ./daikon/inv/DiscardInfo.java ./daikon/inv/DummyInvariant.java ./daikon/inv/Equality.java ./daikon/inv/EqualityComparison.java ./daikon/inv/FeatureExtractor.java ./daikon/inv/GuardingImplication.java ./daikon/inv/Implication.java ./daikon/inv/InvDef.java ./daikon/inv/Invariant.java ./daikon/inv/InvariantInfo.java ./daikon/inv/InvariantStatus.java ./daikon/inv/Joiner.java ./daikon/inv/OutputFormat.java ./daikon/inv/ValueSet.java ./daikon/inv/binary/BinaryInvariant.java ./daikon/inv/binary/sequenceScalar/Member.java ./daikon/inv/binary/sequenceScalar/MemberFloat.java ./daikon/inv/binary/sequenceScalar/SeqFloatEqual.java ./daikon/inv/binary/sequenceScalar/SeqFloatGreaterEqual.java ./daikon/inv/binary/sequenceScalar/SeqFloatGreaterThan.java ./daikon/inv/binary/sequenceScalar/SeqFloatLessEqual.java ./daikon/inv/binary/sequenceScalar/SeqFloatLessThan.java ./daikon/inv/binary/sequenceScalar/SeqIntEqual.java ./daikon/inv/binary/sequenceScalar/SeqIntGreaterEqual.java ./daikon/inv/binary/sequenceScalar/SeqIntGreaterThan.java ./daikon/inv/binary/sequenceScalar/SeqIntLessEqual.java ./daikon/inv/binary/sequenceScalar/SeqIntLessThan.java ./daikon/inv/binary/sequenceScalar/SequenceFloat.java ./daikon/inv/binary/sequenceScalar/SequenceScalar.java ./daikon/inv/binary/sequenceString/MemberString.java ./daikon/inv/binary/sequenceString/SequenceString.java ./daikon/inv/binary/twoScalar/FloatEqual.java ./daikon/inv/binary/twoScalar/FloatGreaterEqual.java ./daikon/inv/binary/twoScalar/FloatGreaterThan.java ./daikon/inv/binary/twoScalar/FloatLessEqual.java ./daikon/inv/binary/twoScalar/FloatLessThan.java ./daikon/inv/binary/twoScalar/FloatNonEqual.java ./daikon/inv/binary/twoScalar/IntEqual.java ./daikon/inv/binary/twoScalar/IntGreaterEqual.java ./daikon/inv/binary/twoScalar/IntGreaterThan.java ./daikon/inv/binary/twoScalar/IntLessEqual.java ./daikon/inv/binary/twoScalar/IntLessThan.java ./daikon/inv/binary/twoScalar/IntNonEqual.java ./daikon/inv/binary/twoScalar/LinearBinary.java ./daikon/inv/binary/twoScalar/LinearBinaryCore.java ./daikon/inv/binary/twoScalar/LinearBinaryCoreFloat.java ./daikon/inv/binary/twoScalar/LinearBinaryFloat.java ./daikon/inv/binary/twoScalar/NumericFloat.java ./daikon/inv/binary/twoScalar/NumericInt.java ./daikon/inv/binary/twoScalar/TwoFloat.java ./daikon/inv/binary/twoScalar/TwoScalar.java ./daikon/inv/binary/twoSequence/PairwiseFloatEqual.java ./daikon/inv/binary/twoSequence/PairwiseFloatGreaterEqual.java ./daikon/inv/binary/twoSequence/PairwiseFloatGreaterThan.java ./daikon/inv/binary/twoSequence/PairwiseFloatLessEqual.java ./daikon/inv/binary/twoSequence/PairwiseFloatLessThan.java ./daikon/inv/binary/twoSequence/PairwiseIntEqual.java ./daikon/inv/binary/twoSequence/PairwiseIntGreaterEqual.java ./daikon/inv/binary/twoSequence/PairwiseIntGreaterThan.java ./daikon/inv/binary/twoSequence/PairwiseIntLessEqual.java ./daikon/inv/binary/twoSequence/PairwiseIntLessThan.java ./daikon/inv/binary/twoSequence/PairwiseLinearBinary.java ./daikon/inv/binary/twoSequence/PairwiseLinearBinaryFloat.java ./daikon/inv/binary/twoSequence/PairwiseNumericFloat.java ./daikon/inv/binary/twoSequence/PairwiseNumericInt.java ./daikon/inv/binary/twoSequence/PairwiseString.java ./daikon/inv/binary/twoSequence/PairwiseStringEqual.java ./daikon/inv/binary/twoSequence/PairwiseStringGreaterEqual.java ./daikon/inv/binary/twoSequence/PairwiseStringGreaterThan.java ./daikon/inv/binary/twoSequence/PairwiseStringLessEqual.java ./daikon/inv/binary/twoSequence/PairwiseStringLessThan.java ./daikon/inv/binary/twoSequence/Reverse.java ./daikon/inv/binary/twoSequence/ReverseFloat.java ./daikon/inv/binary/twoSequence/SeqSeqFloatEqual.java ./daikon/inv/binary/twoSequence/SeqSeqFloatGreaterEqual.java ./daikon/inv/binary/twoSequence/SeqSeqFloatGreaterThan.java ./daikon/inv/binary/twoSequence/SeqSeqFloatLessEqual.java ./daikon/inv/binary/twoSequence/SeqSeqFloatLessThan.java ./daikon/inv/binary/twoSequence/SeqSeqIntEqual.java ./daikon/inv/binary/twoSequence/SeqSeqIntGreaterEqual.java ./daikon/inv/binary/twoSequence/SeqSeqIntGreaterThan.java ./daikon/inv/binary/twoSequence/SeqSeqIntLessEqual.java ./daikon/inv/binary/twoSequence/SeqSeqIntLessThan.java ./daikon/inv/binary/twoSequence/SeqSeqStringEqual.java ./daikon/inv/binary/twoSequence/SeqSeqStringGreaterEqual.java ./daikon/inv/binary/twoSequence/SeqSeqStringGreaterThan.java ./daikon/inv/binary/twoSequence/SeqSeqStringLessEqual.java ./daikon/inv/binary/twoSequence/SeqSeqStringLessThan.java ./daikon/inv/binary/twoSequence/SubSequence.java ./daikon/inv/binary/twoSequence/SubSequenceFloat.java ./daikon/inv/binary/twoSequence/SubSet.java ./daikon/inv/binary/twoSequence/SubSetFloat.java ./daikon/inv/binary/twoSequence/SuperSequence.java ./daikon/inv/binary/twoSequence/SuperSequenceFloat.java ./daikon/inv/binary/twoSequence/SuperSet.java ./daikon/inv/binary/twoSequence/SuperSetFloat.java ./daikon/inv/binary/twoSequence/TwoSequence.java ./daikon/inv/binary/twoSequence/TwoSequenceFloat.java ./daikon/inv/binary/twoSequence/TwoSequenceString.java ./daikon/inv/binary/twoString/StdString.java ./daikon/inv/binary/twoString/StringEqual.java ./daikon/inv/binary/twoString/StringGreaterEqual.java ./daikon/inv/binary/twoString/StringGreaterThan.java ./daikon/inv/binary/twoString/StringLessEqual.java ./daikon/inv/binary/twoString/StringLessThan.java ./daikon/inv/binary/twoString/StringNonEqual.java ./daikon/inv/binary/twoString/TwoString.java ./daikon/inv/filter/DerivedParameterFilter.java ./daikon/inv/filter/DerivedVariableFilter.java ./daikon/inv/filter/DotNetStringFilter.java ./daikon/inv/filter/InvariantFilter.java ./daikon/inv/filter/InvariantFilters.java ./daikon/inv/filter/ObviousFilter.java ./daikon/inv/filter/OnlyConstantVariablesFilter.java ./daikon/inv/filter/ParentFilter.java ./daikon/inv/filter/ReadonlyPrestateFilter.java ./daikon/inv/filter/SimplifyFilter.java ./daikon/inv/filter/UnjustifiedFilter.java ./daikon/inv/filter/UnmodifiedVariableEqualityFilter.java ./daikon/inv/filter/VariableFilter.java ./daikon/inv/ternary/TernaryInvariant.java ./daikon/inv/ternary/threeScalar/FunctionBinary.java ./daikon/inv/ternary/threeScalar/FunctionBinaryFloat.java ./daikon/inv/ternary/threeScalar/LinearTernary.java ./daikon/inv/ternary/threeScalar/LinearTernaryCore.java ./daikon/inv/ternary/threeScalar/LinearTernaryCoreFloat.java ./daikon/inv/ternary/threeScalar/LinearTernaryFloat.java ./daikon/inv/ternary/threeScalar/ThreeFloat.java ./daikon/inv/ternary/threeScalar/ThreeScalar.java ./daikon/inv/unary/LowerBoundCore.java ./daikon/inv/unary/LowerBoundCoreFloat.java ./daikon/inv/unary/OneOf.java ./daikon/inv/unary/UnaryInvariant.java ./daikon/inv/unary/UpperBoundCore.java ./daikon/inv/unary/UpperBoundCoreFloat.java ./daikon/inv/unary/scalar/CompleteOneOfScalar.java ./daikon/inv/unary/scalar/IsPointer.java ./daikon/inv/unary/scalar/LowerBound.java ./daikon/inv/unary/scalar/LowerBoundFloat.java ./daikon/inv/unary/scalar/Modulus.java ./daikon/inv/unary/scalar/NonModulus.java ./daikon/inv/unary/scalar/NonZero.java ./daikon/inv/unary/scalar/NonZeroFloat.java ./daikon/inv/unary/scalar/OneOfFloat.java ./daikon/inv/unary/scalar/OneOfScalar.java ./daikon/inv/unary/scalar/Positive.java ./daikon/inv/unary/scalar/RangeFloat.java ./daikon/inv/unary/scalar/RangeInt.java ./daikon/inv/unary/scalar/SingleFloat.java ./daikon/inv/unary/scalar/SingleScalar.java ./daikon/inv/unary/scalar/UpperBound.java ./daikon/inv/unary/scalar/UpperBoundFloat.java ./daikon/inv/unary/sequence/CommonFloatSequence.java ./daikon/inv/unary/sequence/CommonSequence.java ./daikon/inv/unary/sequence/EltLowerBound.java ./daikon/inv/unary/sequence/EltLowerBoundFloat.java ./daikon/inv/unary/sequence/EltNonZero.java ./daikon/inv/unary/sequence/EltNonZeroFloat.java ./daikon/inv/unary/sequence/EltOneOf.java ./daikon/inv/unary/sequence/EltOneOfFloat.java ./daikon/inv/unary/sequence/EltRangeFloat.java ./daikon/inv/unary/sequence/EltRangeInt.java ./daikon/inv/unary/sequence/EltUpperBound.java ./daikon/inv/unary/sequence/EltUpperBoundFloat.java ./daikon/inv/unary/sequence/EltwiseFloatComparison.java ./daikon/inv/unary/sequence/EltwiseFloatEqual.java ./daikon/inv/unary/sequence/EltwiseFloatGreaterEqual.java ./daikon/inv/unary/sequence/EltwiseFloatGreaterThan.java ./daikon/inv/unary/sequence/EltwiseFloatLessEqual.java ./daikon/inv/unary/sequence/EltwiseFloatLessThan.java ./daikon/inv/unary/sequence/EltwiseIntComparison.java ./daikon/inv/unary/sequence/EltwiseIntEqual.java ./daikon/inv/unary/sequence/EltwiseIntGreaterEqual.java ./daikon/inv/unary/sequence/EltwiseIntGreaterThan.java ./daikon/inv/unary/sequence/EltwiseIntLessEqual.java ./daikon/inv/unary/sequence/EltwiseIntLessThan.java ./daikon/inv/unary/sequence/NoDuplicates.java ./daikon/inv/unary/sequence/NoDuplicatesFloat.java ./daikon/inv/unary/sequence/OneOfFloatSequence.java ./daikon/inv/unary/sequence/OneOfSequence.java ./daikon/inv/unary/sequence/SeqIndexFloatEqual.java ./daikon/inv/unary/sequence/SeqIndexFloatGreaterEqual.java ./daikon/inv/unary/sequence/SeqIndexFloatGreaterThan.java ./daikon/inv/unary/sequence/SeqIndexFloatLessEqual.java ./daikon/inv/unary/sequence/SeqIndexFloatLessThan.java ./daikon/inv/unary/sequence/SeqIndexFloatNonEqual.java ./daikon/inv/unary/sequence/SeqIndexIntEqual.java ./daikon/inv/unary/sequence/SeqIndexIntGreaterEqual.java ./daikon/inv/unary/sequence/SeqIndexIntGreaterThan.java ./daikon/inv/unary/sequence/SeqIndexIntLessEqual.java ./daikon/inv/unary/sequence/SeqIndexIntLessThan.java ./daikon/inv/unary/sequence/SeqIndexIntNonEqual.java ./daikon/inv/unary/sequence/SingleFloatSequence.java ./daikon/inv/unary/sequence/SingleScalarSequence.java ./daikon/inv/unary/sequence/SingleSequence.java ./daikon/inv/unary/string/CompleteOneOfString.java ./daikon/inv/unary/string/OneOfString.java ./daikon/inv/unary/string/PrintableString.java ./daikon/inv/unary/string/SingleString.java ./daikon/inv/unary/stringsequence/CommonStringSequence.java ./daikon/inv/unary/stringsequence/EltOneOfString.java ./daikon/inv/unary/stringsequence/OneOfStringSequence.java ./daikon/inv/unary/stringsequence/SingleStringSequence.java ./daikon/simplify/Cmd.java ./daikon/simplify/CmdAssume.java ./daikon/simplify/CmdCheck.java ./daikon/simplify/CmdRaw.java ./daikon/simplify/CmdUndoAssume.java ./daikon/simplify/InvariantLemma.java ./daikon/simplify/Lemma.java ./daikon/simplify/LemmaStack.java ./daikon/simplify/Session.java ./daikon/simplify/SessionManager.java ./daikon/simplify/SimpUtil.java ./daikon/simplify/SimplifyError.java ./daikon/simplify/SimplifyException.java ./daikon/simplify/TimeoutException.java ./daikon/split/ArrayFixer.java ./daikon/split/ContextSplitterFactory.java ./daikon/split/FileCompiler.java ./daikon/split/NameFixer.java ./daikon/split/NullReplacer.java ./daikon/split/OrigFixer.java ./daikon/split/PptSplitter.java ./daikon/split/PrefixFixer.java ./daikon/split/PrefixRemover.java ./daikon/split/ReplaceStatement.java ./daikon/split/ReplaceStatementMap.java ./daikon/split/SpinfoFile.java ./daikon/split/Splitter.java ./daikon/split/SplitterExample.java ./daikon/split/SplitterFactory.java ./daikon/split/SplitterJavaSource.java ./daikon/split/SplitterList.java ./daikon/split/SplitterObject.java ./daikon/split/StatementReplacer.java ./daikon/split/ThisFixer.java ./daikon/split/TokenExtractor.java ./daikon/split/TokenReplacer.java ./daikon/split/Visitors.java ./daikon/split/misc/CallerContextSplitter.java ./daikon/split/misc/MiscSplitters.java ./daikon/split/misc/ReturnTrueSplitter.java ./daikon/suppress/NIS.java ./daikon/suppress/NISuppressee.java ./daikon/suppress/NISuppression.java ./daikon/suppress/NISuppressionSet.java ./daikon/suppress/NISuppressor.java ./daikon/test/Common.java ./daikon/test/DSForestTest.java ./daikon/test/DtraceDiffTester.java ./daikon/test/FormatTestCase.java ./daikon/test/GenericTestClass.java ./daikon/test/InstructionUtilsTest.java ./daikon/test/InvariantFormatTester.java ./daikon/test/KillerInstructionTests.java ./daikon/test/LinearTernaryCoreTest.java ./daikon/test/MasterUnitTester.java ./daikon/test/ModBitTrackerTest.java ./daikon/test/ProglangTypeTest.java ./daikon/test/SampleTester.java ./daikon/test/TestAnnotate.java ./daikon/test/TestAst.java ./daikon/test/TestClassOrInterfaceTypeDecorateVisitor.java ./daikon/test/TestQuant.java ./daikon/test/VarComparabilityTest.java ./daikon/test/VarInfoNameDriver.java ./daikon/test/VarInfoNameTest.java ./daikon/test/package-info.java ./daikon/test/config/ConfigurationTest.java ./daikon/test/config/HtmlToTexinfoTest.java ./daikon/test/diff/ConsequentCVFPairComparatorTester.java ./daikon/test/diff/ConsequentCVFSortComparatorTester.java ./daikon/test/diff/DetailedStatisticsVisitorTester.java ./daikon/test/diff/DiffDummyInvariant.java ./daikon/test/diff/DiffTester.java ./daikon/test/diff/InvMapTester.java ./daikon/test/diff/MinusVisitorTester.java ./daikon/test/diff/PrintDifferingInvariantsVisitorTester.java ./daikon/test/diff/UnionVisitorTester.java ./daikon/test/diff/XorVisitorTester.java ./daikon/test/diff/package-info.java ./daikon/test/inv/InvariantAddAndCheckTester.java ./daikon/test/inv/InvariantTester.java ./daikon/test/inv/package-info.java ./daikon/test/inv/unary/scalar/OneOfScalarTester.java ./daikon/test/inv/unary/sequence/OneOfSequenceTester.java ./daikon/test/split/SplitterFactoryTest.java ./daikon/test/split/SplitterFactoryTestUpdater.java ./daikon/tools/DtraceDiff.java ./daikon/tools/DtraceNonceFixer.java ./daikon/tools/DtracePartitioner.java ./daikon/tools/ExtractConsequent.java ./daikon/tools/InvMatch.java ./daikon/tools/InvTranslate.java ./daikon/tools/InvariantChecker.java ./daikon/tools/ReadTrace.java ./daikon/tools/TraceSelect.java ./daikon/tools/compare/LogicalCompare.java ./daikon/tools/jtb/Annotate.java ./daikon/tools/jtb/AnnotateVisitor.java ./daikon/tools/jtb/Annotation.java ./daikon/tools/jtb/Ast.java ./daikon/tools/jtb/ClassOrInterfaceTypeDecorateVisitor.java ./daikon/tools/jtb/CollectFieldsVisitor.java ./daikon/tools/jtb/ConditionExtractor.java ./daikon/tools/jtb/CreateSpinfo.java ./daikon/tools/jtb/CreateSpinfoC.java ./daikon/tools/jtb/InsertCommentFormatter.java ./daikon/tools/jtb/OrigModifier.java ./daikon/tools/jtb/ParseResults.java ./daikon/tools/jtb/PptNameMatcher.java ./daikon/tools/nullness/NullnessUtil.java ./daikon/tools/runtimechecker/CheckerClass.java ./daikon/tools/runtimechecker/CheckerClasses.java ./daikon/tools/runtimechecker/CommandHandler.java ./daikon/tools/runtimechecker/InstrumentHandler.java ./daikon/tools/runtimechecker/InstrumentVisitor.java ./daikon/tools/runtimechecker/Main.java ./daikon/tools/runtimechecker/MalformedPropertyException.java ./daikon/tools/runtimechecker/Property.java ./daikon/tools/runtimechecker/Runtime.java ./daikon/tools/runtimechecker/Violation.java ./daikon/tools/runtimechecker/WriteViolationFile.java ./jtb/JavaCharStream.java ./jtb/JavaParser.java ./jtb/JavaParserConstants.java ./jtb/JavaParserTest.java ./jtb/JavaParserTokenManager.java ./jtb/ParseException.java ./jtb/Token.java ./jtb/TokenMgrError.java ./jtb/cparser/ASCII_CharStream.java ./jtb/cparser/CParser.java ./jtb/cparser/CParserConstants.java ./jtb/cparser/CParserTokenManager.java ./jtb/cparser/ParseException.java ./jtb/cparser/Token.java ./jtb/cparser/TokenMgrError.java ./jtb/cparser/customvisitor/ConditionPrinter.java ./jtb/cparser/customvisitor/Converter.java ./jtb/cparser/customvisitor/Printer.java ./jtb/cparser/customvisitor/StringFinder.java ./jtb/cparser/syntaxtree/ANDExpression.java ./jtb/cparser/syntaxtree/AbstractDeclarator.java ./jtb/cparser/syntaxtree/AdditiveExpression.java ./jtb/cparser/syntaxtree/ArgumentExpressionList.java ./jtb/cparser/syntaxtree/AssignmentExpression.java ./jtb/cparser/syntaxtree/AssignmentOperator.java ./jtb/cparser/syntaxtree/CastExpression.java ./jtb/cparser/syntaxtree/CompoundStatement.java ./jtb/cparser/syntaxtree/ConditionalExpression.java ./jtb/cparser/syntaxtree/Constant.java ./jtb/cparser/syntaxtree/ConstantExpression.java ./jtb/cparser/syntaxtree/Declaration.java ./jtb/cparser/syntaxtree/DeclarationList.java ./jtb/cparser/syntaxtree/DeclarationSpecifiers.java ./jtb/cparser/syntaxtree/Declarator.java ./jtb/cparser/syntaxtree/DirectAbstractDeclarator.java ./jtb/cparser/syntaxtree/DirectDeclarator.java ./jtb/cparser/syntaxtree/EnumSpecifier.java ./jtb/cparser/syntaxtree/Enumerator.java ./jtb/cparser/syntaxtree/EnumeratorList.java ./jtb/cparser/syntaxtree/EqualityExpression.java ./jtb/cparser/syntaxtree/ExclusiveORExpression.java ./jtb/cparser/syntaxtree/Expression.java ./jtb/cparser/syntaxtree/ExpressionStatement.java ./jtb/cparser/syntaxtree/ExternalDeclaration.java ./jtb/cparser/syntaxtree/FunctionDefinition.java ./jtb/cparser/syntaxtree/IdentifierList.java ./jtb/cparser/syntaxtree/InclusiveORExpression.java ./jtb/cparser/syntaxtree/InitDeclarator.java ./jtb/cparser/syntaxtree/InitDeclaratorList.java ./jtb/cparser/syntaxtree/Initializer.java ./jtb/cparser/syntaxtree/InitializerList.java ./jtb/cparser/syntaxtree/IterationStatement.java ./jtb/cparser/syntaxtree/JumpStatement.java ./jtb/cparser/syntaxtree/LabeledStatement.java ./jtb/cparser/syntaxtree/LogicalANDExpression.java ./jtb/cparser/syntaxtree/LogicalORExpression.java ./jtb/cparser/syntaxtree/MultiplicativeExpression.java ./jtb/cparser/syntaxtree/Node.java ./jtb/cparser/syntaxtree/NodeChoice.java ./jtb/cparser/syntaxtree/NodeList.java ./jtb/cparser/syntaxtree/NodeListInterface.java ./jtb/cparser/syntaxtree/NodeListOptional.java ./jtb/cparser/syntaxtree/NodeOptional.java ./jtb/cparser/syntaxtree/NodeSequence.java ./jtb/cparser/syntaxtree/NodeToken.java ./jtb/cparser/syntaxtree/ParameterDeclaration.java ./jtb/cparser/syntaxtree/ParameterList.java ./jtb/cparser/syntaxtree/ParameterTypeList.java ./jtb/cparser/syntaxtree/Pointer.java ./jtb/cparser/syntaxtree/PostfixExpression.java ./jtb/cparser/syntaxtree/PrimaryExpression.java ./jtb/cparser/syntaxtree/RelationalExpression.java ./jtb/cparser/syntaxtree/SelectionStatement.java ./jtb/cparser/syntaxtree/ShiftExpression.java ./jtb/cparser/syntaxtree/SpecifierQualifierList.java ./jtb/cparser/syntaxtree/Statement.java ./jtb/cparser/syntaxtree/StatementList.java ./jtb/cparser/syntaxtree/StorageClassSpecifier.java ./jtb/cparser/syntaxtree/StructDeclaration.java ./jtb/cparser/syntaxtree/StructDeclarationList.java ./jtb/cparser/syntaxtree/StructDeclarator.java ./jtb/cparser/syntaxtree/StructDeclaratorList.java ./jtb/cparser/syntaxtree/StructOrUnion.java ./jtb/cparser/syntaxtree/StructOrUnionSpecifier.java ./jtb/cparser/syntaxtree/TranslationUnit.java ./jtb/cparser/syntaxtree/TypeName.java ./jtb/cparser/syntaxtree/TypeQualifier.java ./jtb/cparser/syntaxtree/TypeQualifierList.java ./jtb/cparser/syntaxtree/TypeSpecifier.java ./jtb/cparser/syntaxtree/TypedefName.java ./jtb/cparser/syntaxtree/UnaryExpression.java ./jtb/cparser/syntaxtree/UnaryOperator.java ./jtb/cparser/visitor/DepthFirstVisitor.java ./jtb/cparser/visitor/Visitor.java ./jtb/syntaxtree/AdditiveExpression.java ./jtb/syntaxtree/AllocationExpression.java ./jtb/syntaxtree/AndExpression.java ./jtb/syntaxtree/Annotation.java ./jtb/syntaxtree/AnnotationTypeBody.java ./jtb/syntaxtree/AnnotationTypeDeclaration.java ./jtb/syntaxtree/AnnotationTypeMemberDeclaration.java ./jtb/syntaxtree/ArgumentList.java ./jtb/syntaxtree/Arguments.java ./jtb/syntaxtree/ArrayDimsAndInits.java ./jtb/syntaxtree/ArrayInitializer.java ./jtb/syntaxtree/AssertStatement.java ./jtb/syntaxtree/AssignmentOperator.java ./jtb/syntaxtree/Block.java ./jtb/syntaxtree/BlockStatement.java ./jtb/syntaxtree/BooleanLiteral.java ./jtb/syntaxtree/BreakStatement.java ./jtb/syntaxtree/CastExpression.java ./jtb/syntaxtree/CastLookahead.java ./jtb/syntaxtree/ClassOrInterfaceBody.java ./jtb/syntaxtree/ClassOrInterfaceBodyDeclaration.java ./jtb/syntaxtree/ClassOrInterfaceDeclaration.java ./jtb/syntaxtree/ClassOrInterfaceType.java ./jtb/syntaxtree/CompilationUnit.java ./jtb/syntaxtree/ConditionalAndExpression.java ./jtb/syntaxtree/ConditionalExpression.java ./jtb/syntaxtree/ConditionalOrExpression.java ./jtb/syntaxtree/ConstructorDeclaration.java ./jtb/syntaxtree/ContinueStatement.java ./jtb/syntaxtree/DefaultValue.java ./jtb/syntaxtree/DoStatement.java ./jtb/syntaxtree/EmptyStatement.java ./jtb/syntaxtree/EnumBody.java ./jtb/syntaxtree/EnumConstant.java ./jtb/syntaxtree/EnumDeclaration.java ./jtb/syntaxtree/EqualityExpression.java ./jtb/syntaxtree/ExclusiveOrExpression.java ./jtb/syntaxtree/ExplicitConstructorInvocation.java ./jtb/syntaxtree/Expression.java ./jtb/syntaxtree/ExtendsList.java ./jtb/syntaxtree/FieldDeclaration.java ./jtb/syntaxtree/ForInit.java ./jtb/syntaxtree/ForStatement.java ./jtb/syntaxtree/ForUpdate.java ./jtb/syntaxtree/FormalParameter.java ./jtb/syntaxtree/FormalParameters.java ./jtb/syntaxtree/IfStatement.java ./jtb/syntaxtree/ImplementsList.java ./jtb/syntaxtree/ImportDeclaration.java ./jtb/syntaxtree/InclusiveOrExpression.java ./jtb/syntaxtree/Initializer.java ./jtb/syntaxtree/InstanceOfExpression.java ./jtb/syntaxtree/LabeledStatement.java ./jtb/syntaxtree/Literal.java ./jtb/syntaxtree/LocalVariableDeclaration.java ./jtb/syntaxtree/MarkerAnnotation.java ./jtb/syntaxtree/MemberSelector.java ./jtb/syntaxtree/MemberValue.java ./jtb/syntaxtree/MemberValueArrayInitializer.java ./jtb/syntaxtree/MemberValuePair.java ./jtb/syntaxtree/MemberValuePairs.java ./jtb/syntaxtree/MethodDeclaration.java ./jtb/syntaxtree/MethodDeclarator.java ./jtb/syntaxtree/Modifiers.java ./jtb/syntaxtree/MultiplicativeExpression.java ./jtb/syntaxtree/Name.java ./jtb/syntaxtree/NameList.java ./jtb/syntaxtree/Node.java ./jtb/syntaxtree/NodeChoice.java ./jtb/syntaxtree/NodeList.java ./jtb/syntaxtree/NodeListInterface.java ./jtb/syntaxtree/NodeListOptional.java ./jtb/syntaxtree/NodeOptional.java ./jtb/syntaxtree/NodeSequence.java ./jtb/syntaxtree/NodeToken.java ./jtb/syntaxtree/NormalAnnotation.java ./jtb/syntaxtree/NullLiteral.java ./jtb/syntaxtree/PackageDeclaration.java ./jtb/syntaxtree/PostfixExpression.java ./jtb/syntaxtree/PreDecrementExpression.java ./jtb/syntaxtree/PreIncrementExpression.java ./jtb/syntaxtree/PrimaryExpression.java ./jtb/syntaxtree/PrimaryPrefix.java ./jtb/syntaxtree/PrimarySuffix.java ./jtb/syntaxtree/PrimitiveType.java ./jtb/syntaxtree/RSIGNEDSHIFT.java ./jtb/syntaxtree/RUNSIGNEDSHIFT.java ./jtb/syntaxtree/ReferenceType.java ./jtb/syntaxtree/RelationalExpression.java ./jtb/syntaxtree/ResultType.java ./jtb/syntaxtree/ReturnStatement.java ./jtb/syntaxtree/ShiftExpression.java ./jtb/syntaxtree/SingleMemberAnnotation.java ./jtb/syntaxtree/Statement.java ./jtb/syntaxtree/StatementExpression.java ./jtb/syntaxtree/StatementExpressionList.java ./jtb/syntaxtree/SwitchLabel.java ./jtb/syntaxtree/SwitchStatement.java ./jtb/syntaxtree/SynchronizedStatement.java ./jtb/syntaxtree/ThrowStatement.java ./jtb/syntaxtree/TryStatement.java ./jtb/syntaxtree/Type.java ./jtb/syntaxtree/TypeArgument.java ./jtb/syntaxtree/TypeArguments.java ./jtb/syntaxtree/TypeBound.java ./jtb/syntaxtree/TypeDeclaration.java ./jtb/syntaxtree/TypeParameter.java ./jtb/syntaxtree/TypeParameters.java ./jtb/syntaxtree/UnaryExpression.java ./jtb/syntaxtree/UnaryExpressionNotPlusMinus.java ./jtb/syntaxtree/VariableDeclarator.java ./jtb/syntaxtree/VariableDeclaratorId.java ./jtb/syntaxtree/VariableInitializer.java ./jtb/syntaxtree/WhileStatement.java ./jtb/syntaxtree/WildcardBounds.java ./jtb/visitor/DepthFirstVisitor.java ./jtb/visitor/GJDepthFirst.java ./jtb/visitor/GJNoArguDepthFirst.java ./jtb/visitor/GJNoArguVisitor.java ./jtb/visitor/GJVisitor.java ./jtb/visitor/GJVoidDepthFirst.java ./jtb/visitor/GJVoidVisitor.java ./jtb/visitor/TreeDumper.java ./jtb/visitor/TreeFormatter.java ./jtb/visitor/Visitor.java ./typequals/prototype/qual/NonPrototype.java ./typequals/prototype/qual/Prototype.java ./typequals/vindex/qual/VIndexBottom.java ./typequals/vindex/qual/VIndexTop.java ./typequals/vindex/qual/VIndexUnqualified.java ./typequals/vindex/qual/ValueIndex.java ./typequals/vindex/qual/VarIndex.java Loading source file ./daikon/AnnotateNullable.java... Loading source file ./daikon/Chicory.java... Loading source file ./daikon/Daikon.java... Loading source file ./daikon/DaikonSimple.java... Loading source file ./daikon/Debug.java... Loading source file ./daikon/DiscReasonMap.java... Loading source file ./daikon/DynComp.java... Loading source file ./daikon/DynamicConstants.java... Loading source file ./daikon/FileIO.java... Loading source file ./daikon/Global.java... Loading source file ./daikon/LogHelper.java... Loading source file ./daikon/MemMonitor.java... Loading source file ./daikon/MergeInvariants.java... Loading source file ./daikon/ModBitTracker.java... Loading source file ./daikon/Ppt.java... Loading source file ./daikon/PptConditional.java... Loading source file ./daikon/PptMap.java... Loading source file ./daikon/PptName.java... Loading source file ./daikon/PptRelation.java... Loading source file ./daikon/PptSlice.java... Loading source file ./daikon/PptSlice0.java... Loading source file ./daikon/PptSlice1.java... Loading source file ./daikon/PptSlice2.java... Loading source file ./daikon/PptSlice3.java... Loading source file ./daikon/PptSliceEquality.java... Loading source file ./daikon/PptTopLevel.java... Loading source file ./daikon/PrintInvariants.java... Loading source file ./daikon/ProglangType.java... Loading source file ./daikon/Quant.java... Loading source file ./daikon/Quantify.java... Loading source file ./daikon/Runtime.java... Loading source file ./daikon/UnionInvariants.java... Loading source file ./daikon/ValueTuple.java... Loading source file ./daikon/VarComparability.java... Loading source file ./daikon/VarComparabilityImplicit.java... Loading source file ./daikon/VarComparabilityNone.java... Loading source file ./daikon/VarInfo.java... Loading source file ./daikon/VarInfoAux.java... Loading source file ./daikon/VarInfoName.java... Loading source file ./daikon/VarParent.java... Loading source file ./daikon/asm/DSForest.java... Loading source file ./daikon/asm/IInstruction.java... Loading source file ./daikon/asm/InstructionUtils.java... Loading source file ./daikon/asm/KillerInstruction.java... Loading source file ./daikon/asm/Operand.java... Loading source file ./daikon/asm/PptFile.java... Loading source file ./daikon/asm/X86Instruction.java... Loading source file ./daikon/chicory/ArrayInfo.java... Loading source file ./daikon/chicory/ChicoryPremain.java... Loading source file ./daikon/chicory/ClassInfo.java... Loading source file ./daikon/chicory/DTraceReader.java... Loading source file ./daikon/chicory/DTraceWriter.java... Loading source file ./daikon/chicory/DaikonClassInfo.java... Loading source file ./daikon/chicory/DaikonVariableInfo.java... Loading source file ./daikon/chicory/DaikonWriter.java... Loading source file ./daikon/chicory/DeclReader.java... Loading source file ./daikon/chicory/DeclWriter.java... Loading source file ./daikon/chicory/FieldInfo.java... Loading source file ./daikon/chicory/Instrument.java... Loading source file ./daikon/chicory/ListInfo.java... Loading source file ./daikon/chicory/MethodInfo.java... Loading source file ./daikon/chicory/NonsensicalList.java... Loading source file ./daikon/chicory/NonsensicalObject.java... Loading source file ./daikon/chicory/ParameterInfo.java... Loading source file ./daikon/chicory/PureMethodInfo.java... Loading source file ./daikon/chicory/ReturnInfo.java... Loading source file ./daikon/chicory/RootInfo.java... Loading source file ./daikon/chicory/Runtime.java... Loading source file ./daikon/chicory/SharedData.java... Loading source file ./daikon/chicory/StaticObjInfo.java... Loading source file ./daikon/chicory/StreamRedirectThread.java... Loading source file ./daikon/chicory/StringInfo.java... Loading source file ./daikon/chicory/Test.java... Loading source file ./daikon/chicory/ThisObjInfo.java... Loading source file ./daikon/chicory/VarFlags.java... Loading source file ./daikon/chicory/VarKind.java... Loading source file ./daikon/chicory/package-info.java... Loading source file ./daikon/config/Configuration.java... Loading source file ./daikon/config/HtmlToTexinfo.java... Loading source file ./daikon/config/InvariantDoclet.java... Loading source file ./daikon/config/ParameterDoclet.java... Loading source file ./daikon/dcomp/BuildJDK.java... Loading source file ./daikon/dcomp/DCInstrument.java... Loading source file ./daikon/dcomp/DCRuntime.java... Loading source file ./daikon/dcomp/DCompClone.java... Loading source file ./daikon/dcomp/DCompInstrumented.java... Loading source file ./daikon/dcomp/DCompMarker.java... Loading source file ./daikon/dcomp/DCompToString.java... Loading source file ./daikon/dcomp/Instrument.java... Loading source file ./daikon/dcomp/Premain.java... Loading source file ./daikon/dcomp/TagEntry.java... Loading source file ./daikon/dcomp/Test.java... Loading source file ./daikon/dcomp/package-info.java... Loading source file ./daikon/derive/Derivation.java... Loading source file ./daikon/derive/DerivationFactory.java... Loading source file ./daikon/derive/ValueAndModified.java... Loading source file ./daikon/derive/binary/BinaryDerivation.java... Loading source file ./daikon/derive/binary/BinaryDerivationFactory.java... Loading source file ./daikon/derive/binary/SequenceFloatIntersection.java... Loading source file ./daikon/derive/binary/SequenceFloatIntersectionFactory.java... Loading source file ./daikon/derive/binary/SequenceFloatSubscript.java... Loading source file ./daikon/derive/binary/SequenceFloatSubscriptFactory.java... Loading source file ./daikon/derive/binary/SequenceFloatSubsequence.java... Loading source file ./daikon/derive/binary/SequenceFloatUnion.java... Loading source file ./daikon/derive/binary/SequenceFloatUnionFactory.java... Loading source file ./daikon/derive/binary/SequenceScalarIntersection.java... Loading source file ./daikon/derive/binary/SequenceScalarIntersectionFactory.java... Loading source file ./daikon/derive/binary/SequenceScalarSubscript.java... Loading source file ./daikon/derive/binary/SequenceScalarSubscriptFactory.java... Loading source file ./daikon/derive/binary/SequenceScalarSubsequence.java... Loading source file ./daikon/derive/binary/SequenceScalarUnion.java... Loading source file ./daikon/derive/binary/SequenceScalarUnionFactory.java... Loading source file ./daikon/derive/binary/SequenceStringIntersection.java... Loading source file ./daikon/derive/binary/SequenceStringIntersectionFactory.java... Loading source file ./daikon/derive/binary/SequenceStringSubscript.java... Loading source file ./daikon/derive/binary/SequenceStringSubscriptFactory.java... Loading source file ./daikon/derive/binary/SequenceStringSubsequence.java... Loading source file ./daikon/derive/binary/SequenceStringUnion.java... Loading source file ./daikon/derive/binary/SequenceStringUnionFactory.java... Loading source file ./daikon/derive/binary/SequenceSubsequence.java... Loading source file ./daikon/derive/binary/SequencesConcat.java... Loading source file ./daikon/derive/binary/SequencesConcatFactory.java... Loading source file ./daikon/derive/binary/SequencesJoin.java... Loading source file ./daikon/derive/binary/SequencesJoinFactory.java... Loading source file ./daikon/derive/binary/SequencesJoinFactoryFloat.java... Loading source file ./daikon/derive/binary/SequencesJoinFloat.java... Loading source file ./daikon/derive/binary/SequencesPredicate.java... Loading source file ./daikon/derive/binary/SequencesPredicateFactory.java... Loading source file ./daikon/derive/binary/SequencesPredicateFactoryFloat.java... Loading source file ./daikon/derive/binary/SequencesPredicateFloat.java... Loading source file ./daikon/derive/ternary/SequenceFloatArbitrarySubsequence.java... Loading source file ./daikon/derive/ternary/SequenceFloatArbitrarySubsequenceFactory.java... Loading source file ./daikon/derive/ternary/SequenceScalarArbitrarySubsequence.java... Loading source file ./daikon/derive/ternary/SequenceScalarArbitrarySubsequenceFactory.java... Loading source file ./daikon/derive/ternary/SequenceStringArbitrarySubsequence.java... Loading source file ./daikon/derive/ternary/SequenceStringArbitrarySubsequenceFactory.java... Loading source file ./daikon/derive/ternary/TernaryDerivation.java... Loading source file ./daikon/derive/ternary/TernaryDerivationFactory.java... Loading source file ./daikon/derive/unary/SequenceInitial.java... Loading source file ./daikon/derive/unary/SequenceInitialFactory.java... Loading source file ./daikon/derive/unary/SequenceInitialFactoryFloat.java... Loading source file ./daikon/derive/unary/SequenceInitialFloat.java... Loading source file ./daikon/derive/unary/SequenceLength.java... Loading source file ./daikon/derive/unary/SequenceLengthFactory.java... Loading source file ./daikon/derive/unary/SequenceMax.java... Loading source file ./daikon/derive/unary/SequenceMin.java... Loading source file ./daikon/derive/unary/SequenceMinMaxSumFactory.java... Loading source file ./daikon/derive/unary/SequenceSum.java... Loading source file ./daikon/derive/unary/StringLength.java... Loading source file ./daikon/derive/unary/StringLengthFactory.java... Loading source file ./daikon/derive/unary/UnaryDerivation.java... Loading source file ./daikon/derive/unary/UnaryDerivationFactory.java... Loading source file ./daikon/diff/ConsequentCVFPairComparator.java... Loading source file ./daikon/diff/ConsequentCVFSortComparator.java... Loading source file ./daikon/diff/ConsequentExtractorVisitor.java... Loading source file ./daikon/diff/ConsequentPairComparator.java... Loading source file ./daikon/diff/ConsequentSortComparator.java... Loading source file ./daikon/diff/DepthFirstVisitor.java... Loading source file ./daikon/diff/DetailedStatisticsVisitor.java... Loading source file ./daikon/diff/Diff.java... Loading source file ./daikon/diff/InvMap.java... Loading source file ./daikon/diff/InvNode.java... Loading source file ./daikon/diff/MatchCountVisitor.java... Loading source file ./daikon/diff/MatchCountVisitor2.java... Loading source file ./daikon/diff/MinusVisitor.java... Loading source file ./daikon/diff/MultiDiff.java... Loading source file ./daikon/diff/MultiDiffVisitor.java... Loading source file ./daikon/diff/Node.java... Loading source file ./daikon/diff/PptCountVisitor.java... Loading source file ./daikon/diff/PptNode.java... Loading source file ./daikon/diff/PrintAllVisitor.java... Loading source file ./daikon/diff/PrintDifferingInvariantsVisitor.java... Loading source file ./daikon/diff/PrintNullDiffVisitor.java... Loading source file ./daikon/diff/RootNode.java... Loading source file ./daikon/diff/UnionVisitor.java... Loading source file ./daikon/diff/Visitor.java... Loading source file ./daikon/diff/XorInvariantsVisitor.java... Loading source file ./daikon/diff/XorVisitor.java... Loading source file ./daikon/inv/AndJoiner.java... Loading source file ./daikon/inv/DiscardCode.java... Loading source file ./daikon/inv/DiscardInfo.java... Loading source file ./daikon/inv/DummyInvariant.java... Loading source file ./daikon/inv/Equality.java... Loading source file ./daikon/inv/EqualityComparison.java... Loading source file ./daikon/inv/FeatureExtractor.java... Loading source file ./daikon/inv/GuardingImplication.java... Loading source file ./daikon/inv/Implication.java... Loading source file ./daikon/inv/InvDef.java... Loading source file ./daikon/inv/Invariant.java... Loading source file ./daikon/inv/InvariantInfo.java... Loading source file ./daikon/inv/InvariantStatus.java... Loading source file ./daikon/inv/Joiner.java... Loading source file ./daikon/inv/OutputFormat.java... Loading source file ./daikon/inv/ValueSet.java... Loading source file ./daikon/inv/binary/BinaryInvariant.java... Loading source file ./daikon/inv/binary/sequenceScalar/Member.java... Loading source file ./daikon/inv/binary/sequenceScalar/MemberFloat.java... Loading source file ./daikon/inv/binary/sequenceScalar/SeqFloatEqual.java... Loading source file ./daikon/inv/binary/sequenceScalar/SeqFloatGreaterEqual.java... Loading source file ./daikon/inv/binary/sequenceScalar/SeqFloatGreaterThan.java... Loading source file ./daikon/inv/binary/sequenceScalar/SeqFloatLessEqual.java... Loading source file ./daikon/inv/binary/sequenceScalar/SeqFloatLessThan.java... Loading source file ./daikon/inv/binary/sequenceScalar/SeqIntEqual.java... Loading source file ./daikon/inv/binary/sequenceScalar/SeqIntGreaterEqual.java... Loading source file ./daikon/inv/binary/sequenceScalar/SeqIntGreaterThan.java... Loading source file ./daikon/inv/binary/sequenceScalar/SeqIntLessEqual.java... Loading source file ./daikon/inv/binary/sequenceScalar/SeqIntLessThan.java... Loading source file ./daikon/inv/binary/sequenceScalar/SequenceFloat.java... Loading source file ./daikon/inv/binary/sequenceScalar/SequenceScalar.java... Loading source file ./daikon/inv/binary/sequenceString/MemberString.java... Loading source file ./daikon/inv/binary/sequenceString/SequenceString.java... Loading source file ./daikon/inv/binary/twoScalar/FloatEqual.java... Loading source file ./daikon/inv/binary/twoScalar/FloatGreaterEqual.java... Loading source file ./daikon/inv/binary/twoScalar/FloatGreaterThan.java... Loading source file ./daikon/inv/binary/twoScalar/FloatLessEqual.java... Loading source file ./daikon/inv/binary/twoScalar/FloatLessThan.java... Loading source file ./daikon/inv/binary/twoScalar/FloatNonEqual.java... Loading source file ./daikon/inv/binary/twoScalar/IntEqual.java... Loading source file ./daikon/inv/binary/twoScalar/IntGreaterEqual.java... Loading source file ./daikon/inv/binary/twoScalar/IntGreaterThan.java... Loading source file ./daikon/inv/binary/twoScalar/IntLessEqual.java... Loading source file ./daikon/inv/binary/twoScalar/IntLessThan.java... Loading source file ./daikon/inv/binary/twoScalar/IntNonEqual.java... Loading source file ./daikon/inv/binary/twoScalar/LinearBinary.java... Loading source file ./daikon/inv/binary/twoScalar/LinearBinaryCore.java... Loading source file ./daikon/inv/binary/twoScalar/LinearBinaryCoreFloat.java... Loading source file ./daikon/inv/binary/twoScalar/LinearBinaryFloat.java... Loading source file ./daikon/inv/binary/twoScalar/NumericFloat.java... Loading source file ./daikon/inv/binary/twoScalar/NumericInt.java... Loading source file ./daikon/inv/binary/twoScalar/TwoFloat.java... Loading source file ./daikon/inv/binary/twoScalar/TwoScalar.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseFloatEqual.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseFloatGreaterEqual.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseFloatGreaterThan.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseFloatLessEqual.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseFloatLessThan.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseIntEqual.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseIntGreaterEqual.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseIntGreaterThan.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseIntLessEqual.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseIntLessThan.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseLinearBinary.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseLinearBinaryFloat.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseNumericFloat.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseNumericInt.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseString.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseStringEqual.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseStringGreaterEqual.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseStringGreaterThan.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseStringLessEqual.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseStringLessThan.java... Loading source file ./daikon/inv/binary/twoSequence/Reverse.java... Loading source file ./daikon/inv/binary/twoSequence/ReverseFloat.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqFloatEqual.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqFloatGreaterEqual.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqFloatGreaterThan.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqFloatLessEqual.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqFloatLessThan.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqIntEqual.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqIntGreaterEqual.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqIntGreaterThan.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqIntLessEqual.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqIntLessThan.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqStringEqual.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqStringGreaterEqual.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqStringGreaterThan.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqStringLessEqual.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqStringLessThan.java... Loading source file ./daikon/inv/binary/twoSequence/SubSequence.java... Loading source file ./daikon/inv/binary/twoSequence/SubSequenceFloat.java... Loading source file ./daikon/inv/binary/twoSequence/SubSet.java... Loading source file ./daikon/inv/binary/twoSequence/SubSetFloat.java... Loading source file ./daikon/inv/binary/twoSequence/SuperSequence.java... Loading source file ./daikon/inv/binary/twoSequence/SuperSequenceFloat.java... Loading source file ./daikon/inv/binary/twoSequence/SuperSet.java... Loading source file ./daikon/inv/binary/twoSequence/SuperSetFloat.java... Loading source file ./daikon/inv/binary/twoSequence/TwoSequence.java... Loading source file ./daikon/inv/binary/twoSequence/TwoSequenceFloat.java... Loading source file ./daikon/inv/binary/twoSequence/TwoSequenceString.java... Loading source file ./daikon/inv/binary/twoString/StdString.java... Loading source file ./daikon/inv/binary/twoString/StringEqual.java... Loading source file ./daikon/inv/binary/twoString/StringGreaterEqual.java... Loading source file ./daikon/inv/binary/twoString/StringGreaterThan.java... Loading source file ./daikon/inv/binary/twoString/StringLessEqual.java... Loading source file ./daikon/inv/binary/twoString/StringLessThan.java... Loading source file ./daikon/inv/binary/twoString/StringNonEqual.java... Loading source file ./daikon/inv/binary/twoString/TwoString.java... Loading source file ./daikon/inv/filter/DerivedParameterFilter.java... Loading source file ./daikon/inv/filter/DerivedVariableFilter.java... Loading source file ./daikon/inv/filter/DotNetStringFilter.java... Loading source file ./daikon/inv/filter/InvariantFilter.java... Loading source file ./daikon/inv/filter/InvariantFilters.java... Loading source file ./daikon/inv/filter/ObviousFilter.java... Loading source file ./daikon/inv/filter/OnlyConstantVariablesFilter.java... Loading source file ./daikon/inv/filter/ParentFilter.java... Loading source file ./daikon/inv/filter/ReadonlyPrestateFilter.java... Loading source file ./daikon/inv/filter/SimplifyFilter.java... Loading source file ./daikon/inv/filter/UnjustifiedFilter.java... Loading source file ./daikon/inv/filter/UnmodifiedVariableEqualityFilter.java... Loading source file ./daikon/inv/filter/VariableFilter.java... Loading source file ./daikon/inv/ternary/TernaryInvariant.java... Loading source file ./daikon/inv/ternary/threeScalar/FunctionBinary.java... Loading source file ./daikon/inv/ternary/threeScalar/FunctionBinaryFloat.java... Loading source file ./daikon/inv/ternary/threeScalar/LinearTernary.java... Loading source file ./daikon/inv/ternary/threeScalar/LinearTernaryCore.java... Loading source file ./daikon/inv/ternary/threeScalar/LinearTernaryCoreFloat.java... Loading source file ./daikon/inv/ternary/threeScalar/LinearTernaryFloat.java... Loading source file ./daikon/inv/ternary/threeScalar/ThreeFloat.java... Loading source file ./daikon/inv/ternary/threeScalar/ThreeScalar.java... Loading source file ./daikon/inv/unary/LowerBoundCore.java... Loading source file ./daikon/inv/unary/LowerBoundCoreFloat.java... Loading source file ./daikon/inv/unary/OneOf.java... Loading source file ./daikon/inv/unary/UnaryInvariant.java... Loading source file ./daikon/inv/unary/UpperBoundCore.java... Loading source file ./daikon/inv/unary/UpperBoundCoreFloat.java... Loading source file ./daikon/inv/unary/scalar/CompleteOneOfScalar.java... Loading source file ./daikon/inv/unary/scalar/IsPointer.java... Loading source file ./daikon/inv/unary/scalar/LowerBound.java... Loading source file ./daikon/inv/unary/scalar/LowerBoundFloat.java... Loading source file ./daikon/inv/unary/scalar/Modulus.java... Loading source file ./daikon/inv/unary/scalar/NonModulus.java... Loading source file ./daikon/inv/unary/scalar/NonZero.java... Loading source file ./daikon/inv/unary/scalar/NonZeroFloat.java... Loading source file ./daikon/inv/unary/scalar/OneOfFloat.java... Loading source file ./daikon/inv/unary/scalar/OneOfScalar.java... Loading source file ./daikon/inv/unary/scalar/Positive.java... Loading source file ./daikon/inv/unary/scalar/RangeFloat.java... Loading source file ./daikon/inv/unary/scalar/RangeInt.java... Loading source file ./daikon/inv/unary/scalar/SingleFloat.java... Loading source file ./daikon/inv/unary/scalar/SingleScalar.java... Loading source file ./daikon/inv/unary/scalar/UpperBound.java... Loading source file ./daikon/inv/unary/scalar/UpperBoundFloat.java... Loading source file ./daikon/inv/unary/sequence/CommonFloatSequence.java... Loading source file ./daikon/inv/unary/sequence/CommonSequence.java... Loading source file ./daikon/inv/unary/sequence/EltLowerBound.java... Loading source file ./daikon/inv/unary/sequence/EltLowerBoundFloat.java... Loading source file ./daikon/inv/unary/sequence/EltNonZero.java... Loading source file ./daikon/inv/unary/sequence/EltNonZeroFloat.java... Loading source file ./daikon/inv/unary/sequence/EltOneOf.java... Loading source file ./daikon/inv/unary/sequence/EltOneOfFloat.java... Loading source file ./daikon/inv/unary/sequence/EltRangeFloat.java... Loading source file ./daikon/inv/unary/sequence/EltRangeInt.java... Loading source file ./daikon/inv/unary/sequence/EltUpperBound.java... Loading source file ./daikon/inv/unary/sequence/EltUpperBoundFloat.java... Loading source file ./daikon/inv/unary/sequence/EltwiseFloatComparison.java... Loading source file ./daikon/inv/unary/sequence/EltwiseFloatEqual.java... Loading source file ./daikon/inv/unary/sequence/EltwiseFloatGreaterEqual.java... Loading source file ./daikon/inv/unary/sequence/EltwiseFloatGreaterThan.java... Loading source file ./daikon/inv/unary/sequence/EltwiseFloatLessEqual.java... Loading source file ./daikon/inv/unary/sequence/EltwiseFloatLessThan.java... Loading source file ./daikon/inv/unary/sequence/EltwiseIntComparison.java... Loading source file ./daikon/inv/unary/sequence/EltwiseIntEqual.java... Loading source file ./daikon/inv/unary/sequence/EltwiseIntGreaterEqual.java... Loading source file ./daikon/inv/unary/sequence/EltwiseIntGreaterThan.java... Loading source file ./daikon/inv/unary/sequence/EltwiseIntLessEqual.java... Loading source file ./daikon/inv/unary/sequence/EltwiseIntLessThan.java... Loading source file ./daikon/inv/unary/sequence/NoDuplicates.java... Loading source file ./daikon/inv/unary/sequence/NoDuplicatesFloat.java... Loading source file ./daikon/inv/unary/sequence/OneOfFloatSequence.java... Loading source file ./daikon/inv/unary/sequence/OneOfSequence.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexFloatEqual.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexFloatGreaterEqual.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexFloatGreaterThan.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexFloatLessEqual.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexFloatLessThan.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexFloatNonEqual.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexIntEqual.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexIntGreaterEqual.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexIntGreaterThan.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexIntLessEqual.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexIntLessThan.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexIntNonEqual.java... Loading source file ./daikon/inv/unary/sequence/SingleFloatSequence.java... Loading source file ./daikon/inv/unary/sequence/SingleScalarSequence.java... Loading source file ./daikon/inv/unary/sequence/SingleSequence.java... Loading source file ./daikon/inv/unary/string/CompleteOneOfString.java... Loading source file ./daikon/inv/unary/string/OneOfString.java... Loading source file ./daikon/inv/unary/string/PrintableString.java... Loading source file ./daikon/inv/unary/string/SingleString.java... Loading source file ./daikon/inv/unary/stringsequence/CommonStringSequence.java... Loading source file ./daikon/inv/unary/stringsequence/EltOneOfString.java... Loading source file ./daikon/inv/unary/stringsequence/OneOfStringSequence.java... Loading source file ./daikon/inv/unary/stringsequence/SingleStringSequence.java... Loading source file ./daikon/simplify/Cmd.java... Loading source file ./daikon/simplify/CmdAssume.java... Loading source file ./daikon/simplify/CmdCheck.java... Loading source file ./daikon/simplify/CmdRaw.java... Loading source file ./daikon/simplify/CmdUndoAssume.java... Loading source file ./daikon/simplify/InvariantLemma.java... Loading source file ./daikon/simplify/Lemma.java... Loading source file ./daikon/simplify/LemmaStack.java... Loading source file ./daikon/simplify/Session.java... Loading source file ./daikon/simplify/SessionManager.java... Loading source file ./daikon/simplify/SimpUtil.java... Loading source file ./daikon/simplify/SimplifyError.java... Loading source file ./daikon/simplify/SimplifyException.java... Loading source file ./daikon/simplify/TimeoutException.java... Loading source file ./daikon/split/ArrayFixer.java... Loading source file ./daikon/split/ContextSplitterFactory.java... Loading source file ./daikon/split/FileCompiler.java... Loading source file ./daikon/split/NameFixer.java... Loading source file ./daikon/split/NullReplacer.java... Loading source file ./daikon/split/OrigFixer.java... Loading source file ./daikon/split/PptSplitter.java... Loading source file ./daikon/split/PrefixFixer.java... Loading source file ./daikon/split/PrefixRemover.java... Loading source file ./daikon/split/ReplaceStatement.java... Loading source file ./daikon/split/ReplaceStatementMap.java... Loading source file ./daikon/split/SpinfoFile.java... Loading source file ./daikon/split/Splitter.java... Loading source file ./daikon/split/SplitterExample.java... Loading source file ./daikon/split/SplitterFactory.java... Loading source file ./daikon/split/SplitterJavaSource.java... Loading source file ./daikon/split/SplitterList.java... Loading source file ./daikon/split/SplitterObject.java... Loading source file ./daikon/split/StatementReplacer.java... Loading source file ./daikon/split/ThisFixer.java... Loading source file ./daikon/split/TokenExtractor.java... Loading source file ./daikon/split/TokenReplacer.java... Loading source file ./daikon/split/Visitors.java... Loading source file ./daikon/split/misc/CallerContextSplitter.java... Loading source file ./daikon/split/misc/MiscSplitters.java... Loading source file ./daikon/split/misc/ReturnTrueSplitter.java... Loading source file ./daikon/suppress/NIS.java... Loading source file ./daikon/suppress/NISuppressee.java... Loading source file ./daikon/suppress/NISuppression.java... Loading source file ./daikon/suppress/NISuppressionSet.java... Loading source file ./daikon/suppress/NISuppressor.java... Loading source file ./daikon/test/Common.java... Loading source file ./daikon/test/DSForestTest.java... Loading source file ./daikon/test/DtraceDiffTester.java... Loading source file ./daikon/test/FormatTestCase.java... Loading source file ./daikon/test/GenericTestClass.java... Loading source file ./daikon/test/InstructionUtilsTest.java... Loading source file ./daikon/test/InvariantFormatTester.java... Loading source file ./daikon/test/KillerInstructionTests.java... Loading source file ./daikon/test/LinearTernaryCoreTest.java... Loading source file ./daikon/test/MasterUnitTester.java... Loading source file ./daikon/test/ModBitTrackerTest.java... Loading source file ./daikon/test/ProglangTypeTest.java... Loading source file ./daikon/test/SampleTester.java... Loading source file ./daikon/test/TestAnnotate.java... Loading source file ./daikon/test/TestAst.java... Loading source file ./daikon/test/TestClassOrInterfaceTypeDecorateVisitor.java... Loading source file ./daikon/test/TestQuant.java... Loading source file ./daikon/test/VarComparabilityTest.java... Loading source file ./daikon/test/VarInfoNameDriver.java... Loading source file ./daikon/test/VarInfoNameTest.java... Loading source file ./daikon/test/package-info.java... Loading source file ./daikon/test/config/ConfigurationTest.java... Loading source file ./daikon/test/config/HtmlToTexinfoTest.java... Loading source file ./daikon/test/diff/ConsequentCVFPairComparatorTester.java... Loading source file ./daikon/test/diff/ConsequentCVFSortComparatorTester.java... Loading source file ./daikon/test/diff/DetailedStatisticsVisitorTester.java... Loading source file ./daikon/test/diff/DiffDummyInvariant.java... Loading source file ./daikon/test/diff/DiffTester.java... Loading source file ./daikon/test/diff/InvMapTester.java... Loading source file ./daikon/test/diff/MinusVisitorTester.java... Loading source file ./daikon/test/diff/PrintDifferingInvariantsVisitorTester.java... Loading source file ./daikon/test/diff/UnionVisitorTester.java... Loading source file ./daikon/test/diff/XorVisitorTester.java... Loading source file ./daikon/test/diff/package-info.java... Loading source file ./daikon/test/inv/InvariantAddAndCheckTester.java... Loading source file ./daikon/test/inv/InvariantTester.java... Loading source file ./daikon/test/inv/package-info.java... Loading source file ./daikon/test/inv/unary/scalar/OneOfScalarTester.java... Loading source file ./daikon/test/inv/unary/sequence/OneOfSequenceTester.java... Loading source file ./daikon/test/split/SplitterFactoryTest.java... Loading source file ./daikon/test/split/SplitterFactoryTestUpdater.java... Loading source file ./daikon/tools/DtraceDiff.java... Loading source file ./daikon/tools/DtraceNonceFixer.java... Loading source file ./daikon/tools/DtracePartitioner.java... Loading source file ./daikon/tools/ExtractConsequent.java... Loading source file ./daikon/tools/InvMatch.java... Loading source file ./daikon/tools/InvTranslate.java... Loading source file ./daikon/tools/InvariantChecker.java... Loading source file ./daikon/tools/ReadTrace.java... Loading source file ./daikon/tools/TraceSelect.java... Loading source file ./daikon/tools/compare/LogicalCompare.java... Loading source file ./daikon/tools/jtb/Annotate.java... Loading source file ./daikon/tools/jtb/AnnotateVisitor.java... Loading source file ./daikon/tools/jtb/Annotation.java... Loading source file ./daikon/tools/jtb/Ast.java... Loading source file ./daikon/tools/jtb/ClassOrInterfaceTypeDecorateVisitor.java... Loading source file ./daikon/tools/jtb/CollectFieldsVisitor.java... Loading source file ./daikon/tools/jtb/ConditionExtractor.java... Loading source file ./daikon/tools/jtb/CreateSpinfo.java... Loading source file ./daikon/tools/jtb/CreateSpinfoC.java... Loading source file ./daikon/tools/jtb/InsertCommentFormatter.java... Loading source file ./daikon/tools/jtb/OrigModifier.java... Loading source file ./daikon/tools/jtb/ParseResults.java... Loading source file ./daikon/tools/jtb/PptNameMatcher.java... Loading source file ./daikon/tools/nullness/NullnessUtil.java... Loading source file ./daikon/tools/runtimechecker/CheckerClass.java... Loading source file ./daikon/tools/runtimechecker/CheckerClasses.java... Loading source file ./daikon/tools/runtimechecker/CommandHandler.java... Loading source file ./daikon/tools/runtimechecker/InstrumentHandler.java... Loading source file ./daikon/tools/runtimechecker/InstrumentVisitor.java... Loading source file ./daikon/tools/runtimechecker/Main.java... Loading source file ./daikon/tools/runtimechecker/MalformedPropertyException.java... Loading source file ./daikon/tools/runtimechecker/Property.java... Loading source file ./daikon/tools/runtimechecker/Runtime.java... Loading source file ./daikon/tools/runtimechecker/Violation.java... Loading source file ./daikon/tools/runtimechecker/WriteViolationFile.java... Loading source file ./jtb/JavaCharStream.java... Loading source file ./jtb/JavaParser.java... Loading source file ./jtb/JavaParserConstants.java... Loading source file ./jtb/JavaParserTest.java... Loading source file ./jtb/JavaParserTokenManager.java... Loading source file ./jtb/ParseException.java... Loading source file ./jtb/Token.java... Loading source file ./jtb/TokenMgrError.java... Loading source file ./jtb/cparser/ASCII_CharStream.java... Loading source file ./jtb/cparser/CParser.java... Loading source file ./jtb/cparser/CParserConstants.java... Loading source file ./jtb/cparser/CParserTokenManager.java... Loading source file ./jtb/cparser/ParseException.java... Loading source file ./jtb/cparser/Token.java... Loading source file ./jtb/cparser/TokenMgrError.java... Loading source file ./jtb/cparser/customvisitor/ConditionPrinter.java... Loading source file ./jtb/cparser/customvisitor/Converter.java... Loading source file ./jtb/cparser/customvisitor/Printer.java... Loading source file ./jtb/cparser/customvisitor/StringFinder.java... Loading source file ./jtb/cparser/syntaxtree/ANDExpression.java... Loading source file ./jtb/cparser/syntaxtree/AbstractDeclarator.java... Loading source file ./jtb/cparser/syntaxtree/AdditiveExpression.java... Loading source file ./jtb/cparser/syntaxtree/ArgumentExpressionList.java... Loading source file ./jtb/cparser/syntaxtree/AssignmentExpression.java... Loading source file ./jtb/cparser/syntaxtree/AssignmentOperator.java... Loading source file ./jtb/cparser/syntaxtree/CastExpression.java... Loading source file ./jtb/cparser/syntaxtree/CompoundStatement.java... Loading source file ./jtb/cparser/syntaxtree/ConditionalExpression.java... Loading source file ./jtb/cparser/syntaxtree/Constant.java... Loading source file ./jtb/cparser/syntaxtree/ConstantExpression.java... Loading source file ./jtb/cparser/syntaxtree/Declaration.java... Loading source file ./jtb/cparser/syntaxtree/DeclarationList.java... Loading source file ./jtb/cparser/syntaxtree/DeclarationSpecifiers.java... Loading source file ./jtb/cparser/syntaxtree/Declarator.java... Loading source file ./jtb/cparser/syntaxtree/DirectAbstractDeclarator.java... Loading source file ./jtb/cparser/syntaxtree/DirectDeclarator.java... Loading source file ./jtb/cparser/syntaxtree/EnumSpecifier.java... Loading source file ./jtb/cparser/syntaxtree/Enumerator.java... Loading source file ./jtb/cparser/syntaxtree/EnumeratorList.java... Loading source file ./jtb/cparser/syntaxtree/EqualityExpression.java... Loading source file ./jtb/cparser/syntaxtree/ExclusiveORExpression.java... Loading source file ./jtb/cparser/syntaxtree/Expression.java... Loading source file ./jtb/cparser/syntaxtree/ExpressionStatement.java... Loading source file ./jtb/cparser/syntaxtree/ExternalDeclaration.java... Loading source file ./jtb/cparser/syntaxtree/FunctionDefinition.java... Loading source file ./jtb/cparser/syntaxtree/IdentifierList.java... Loading source file ./jtb/cparser/syntaxtree/InclusiveORExpression.java... Loading source file ./jtb/cparser/syntaxtree/InitDeclarator.java... Loading source file ./jtb/cparser/syntaxtree/InitDeclaratorList.java... Loading source file ./jtb/cparser/syntaxtree/Initializer.java... Loading source file ./jtb/cparser/syntaxtree/InitializerList.java... Loading source file ./jtb/cparser/syntaxtree/IterationStatement.java... Loading source file ./jtb/cparser/syntaxtree/JumpStatement.java... Loading source file ./jtb/cparser/syntaxtree/LabeledStatement.java... Loading source file ./jtb/cparser/syntaxtree/LogicalANDExpression.java... Loading source file ./jtb/cparser/syntaxtree/LogicalORExpression.java... Loading source file ./jtb/cparser/syntaxtree/MultiplicativeExpression.java... Loading source file ./jtb/cparser/syntaxtree/Node.java... Loading source file ./jtb/cparser/syntaxtree/NodeChoice.java... Loading source file ./jtb/cparser/syntaxtree/NodeList.java... Loading source file ./jtb/cparser/syntaxtree/NodeListInterface.java... Loading source file ./jtb/cparser/syntaxtree/NodeListOptional.java... Loading source file ./jtb/cparser/syntaxtree/NodeOptional.java... Loading source file ./jtb/cparser/syntaxtree/NodeSequence.java... Loading source file ./jtb/cparser/syntaxtree/NodeToken.java... Loading source file ./jtb/cparser/syntaxtree/ParameterDeclaration.java... Loading source file ./jtb/cparser/syntaxtree/ParameterList.java... Loading source file ./jtb/cparser/syntaxtree/ParameterTypeList.java... Loading source file ./jtb/cparser/syntaxtree/Pointer.java... Loading source file ./jtb/cparser/syntaxtree/PostfixExpression.java... Loading source file ./jtb/cparser/syntaxtree/PrimaryExpression.java... Loading source file ./jtb/cparser/syntaxtree/RelationalExpression.java... Loading source file ./jtb/cparser/syntaxtree/SelectionStatement.java... Loading source file ./jtb/cparser/syntaxtree/ShiftExpression.java... Loading source file ./jtb/cparser/syntaxtree/SpecifierQualifierList.java... Loading source file ./jtb/cparser/syntaxtree/Statement.java... Loading source file ./jtb/cparser/syntaxtree/StatementList.java... Loading source file ./jtb/cparser/syntaxtree/StorageClassSpecifier.java... Loading source file ./jtb/cparser/syntaxtree/StructDeclaration.java... Loading source file ./jtb/cparser/syntaxtree/StructDeclarationList.java... Loading source file ./jtb/cparser/syntaxtree/StructDeclarator.java... Loading source file ./jtb/cparser/syntaxtree/StructDeclaratorList.java... Loading source file ./jtb/cparser/syntaxtree/StructOrUnion.java... Loading source file ./jtb/cparser/syntaxtree/StructOrUnionSpecifier.java... Loading source file ./jtb/cparser/syntaxtree/TranslationUnit.java... Loading source file ./jtb/cparser/syntaxtree/TypeName.java... Loading source file ./jtb/cparser/syntaxtree/TypeQualifier.java... Loading source file ./jtb/cparser/syntaxtree/TypeQualifierList.java... Loading source file ./jtb/cparser/syntaxtree/TypeSpecifier.java... Loading source file ./jtb/cparser/syntaxtree/TypedefName.java... Loading source file ./jtb/cparser/syntaxtree/UnaryExpression.java... Loading source file ./jtb/cparser/syntaxtree/UnaryOperator.java... Loading source file ./jtb/cparser/visitor/DepthFirstVisitor.java... Loading source file ./jtb/cparser/visitor/Visitor.java... Loading source file ./jtb/syntaxtree/AdditiveExpression.java... Loading source file ./jtb/syntaxtree/AllocationExpression.java... Loading source file ./jtb/syntaxtree/AndExpression.java... Loading source file ./jtb/syntaxtree/Annotation.java... Loading source file ./jtb/syntaxtree/AnnotationTypeBody.java... Loading source file ./jtb/syntaxtree/AnnotationTypeDeclaration.java... Loading source file ./jtb/syntaxtree/AnnotationTypeMemberDeclaration.java... Loading source file ./jtb/syntaxtree/ArgumentList.java... Loading source file ./jtb/syntaxtree/Arguments.java... Loading source file ./jtb/syntaxtree/ArrayDimsAndInits.java... Loading source file ./jtb/syntaxtree/ArrayInitializer.java... Loading source file ./jtb/syntaxtree/AssertStatement.java... Loading source file ./jtb/syntaxtree/AssignmentOperator.java... Loading source file ./jtb/syntaxtree/Block.java... Loading source file ./jtb/syntaxtree/BlockStatement.java... Loading source file ./jtb/syntaxtree/BooleanLiteral.java... Loading source file ./jtb/syntaxtree/BreakStatement.java... Loading source file ./jtb/syntaxtree/CastExpression.java... Loading source file ./jtb/syntaxtree/CastLookahead.java... Loading source file ./jtb/syntaxtree/ClassOrInterfaceBody.java... Loading source file ./jtb/syntaxtree/ClassOrInterfaceBodyDeclaration.java... Loading source file ./jtb/syntaxtree/ClassOrInterfaceDeclaration.java... Loading source file ./jtb/syntaxtree/ClassOrInterfaceType.java... Loading source file ./jtb/syntaxtree/CompilationUnit.java... Loading source file ./jtb/syntaxtree/ConditionalAndExpression.java... Loading source file ./jtb/syntaxtree/ConditionalExpression.java... Loading source file ./jtb/syntaxtree/ConditionalOrExpression.java... Loading source file ./jtb/syntaxtree/ConstructorDeclaration.java... Loading source file ./jtb/syntaxtree/ContinueStatement.java... Loading source file ./jtb/syntaxtree/DefaultValue.java... Loading source file ./jtb/syntaxtree/DoStatement.java... Loading source file ./jtb/syntaxtree/EmptyStatement.java... Loading source file ./jtb/syntaxtree/EnumBody.java... Loading source file ./jtb/syntaxtree/EnumConstant.java... Loading source file ./jtb/syntaxtree/EnumDeclaration.java... Loading source file ./jtb/syntaxtree/EqualityExpression.java... Loading source file ./jtb/syntaxtree/ExclusiveOrExpression.java... Loading source file ./jtb/syntaxtree/ExplicitConstructorInvocation.java... Loading source file ./jtb/syntaxtree/Expression.java... Loading source file ./jtb/syntaxtree/ExtendsList.java... Loading source file ./jtb/syntaxtree/FieldDeclaration.java... Loading source file ./jtb/syntaxtree/ForInit.java... Loading source file ./jtb/syntaxtree/ForStatement.java... Loading source file ./jtb/syntaxtree/ForUpdate.java... Loading source file ./jtb/syntaxtree/FormalParameter.java... Loading source file ./jtb/syntaxtree/FormalParameters.java... Loading source file ./jtb/syntaxtree/IfStatement.java... Loading source file ./jtb/syntaxtree/ImplementsList.java... Loading source file ./jtb/syntaxtree/ImportDeclaration.java... Loading source file ./jtb/syntaxtree/InclusiveOrExpression.java... Loading source file ./jtb/syntaxtree/Initializer.java... Loading source file ./jtb/syntaxtree/InstanceOfExpression.java... Loading source file ./jtb/syntaxtree/LabeledStatement.java... Loading source file ./jtb/syntaxtree/Literal.java... Loading source file ./jtb/syntaxtree/LocalVariableDeclaration.java... Loading source file ./jtb/syntaxtree/MarkerAnnotation.java... Loading source file ./jtb/syntaxtree/MemberSelector.java... Loading source file ./jtb/syntaxtree/MemberValue.java... Loading source file ./jtb/syntaxtree/MemberValueArrayInitializer.java... Loading source file ./jtb/syntaxtree/MemberValuePair.java... Loading source file ./jtb/syntaxtree/MemberValuePairs.java... Loading source file ./jtb/syntaxtree/MethodDeclaration.java... Loading source file ./jtb/syntaxtree/MethodDeclarator.java... Loading source file ./jtb/syntaxtree/Modifiers.java... Loading source file ./jtb/syntaxtree/MultiplicativeExpression.java... Loading source file ./jtb/syntaxtree/Name.java... Loading source file ./jtb/syntaxtree/NameList.java... Loading source file ./jtb/syntaxtree/Node.java... Loading source file ./jtb/syntaxtree/NodeChoice.java... Loading source file ./jtb/syntaxtree/NodeList.java... Loading source file ./jtb/syntaxtree/NodeListInterface.java... Loading source file ./jtb/syntaxtree/NodeListOptional.java... Loading source file ./jtb/syntaxtree/NodeOptional.java... Loading source file ./jtb/syntaxtree/NodeSequence.java... Loading source file ./jtb/syntaxtree/NodeToken.java... Loading source file ./jtb/syntaxtree/NormalAnnotation.java... Loading source file ./jtb/syntaxtree/NullLiteral.java... Loading source file ./jtb/syntaxtree/PackageDeclaration.java... Loading source file ./jtb/syntaxtree/PostfixExpression.java... Loading source file ./jtb/syntaxtree/PreDecrementExpression.java... Loading source file ./jtb/syntaxtree/PreIncrementExpression.java... Loading source file ./jtb/syntaxtree/PrimaryExpression.java... Loading source file ./jtb/syntaxtree/PrimaryPrefix.java... Loading source file ./jtb/syntaxtree/PrimarySuffix.java... Loading source file ./jtb/syntaxtree/PrimitiveType.java... Loading source file ./jtb/syntaxtree/RSIGNEDSHIFT.java... Loading source file ./jtb/syntaxtree/RUNSIGNEDSHIFT.java... Loading source file ./jtb/syntaxtree/ReferenceType.java... Loading source file ./jtb/syntaxtree/RelationalExpression.java... Loading source file ./jtb/syntaxtree/ResultType.java... Loading source file ./jtb/syntaxtree/ReturnStatement.java... Loading source file ./jtb/syntaxtree/ShiftExpression.java... Loading source file ./jtb/syntaxtree/SingleMemberAnnotation.java... Loading source file ./jtb/syntaxtree/Statement.java... Loading source file ./jtb/syntaxtree/StatementExpression.java... Loading source file ./jtb/syntaxtree/StatementExpressionList.java... Loading source file ./jtb/syntaxtree/SwitchLabel.java... Loading source file ./jtb/syntaxtree/SwitchStatement.java... Loading source file ./jtb/syntaxtree/SynchronizedStatement.java... Loading source file ./jtb/syntaxtree/ThrowStatement.java... Loading source file ./jtb/syntaxtree/TryStatement.java... Loading source file ./jtb/syntaxtree/Type.java... Loading source file ./jtb/syntaxtree/TypeArgument.java... Loading source file ./jtb/syntaxtree/TypeArguments.java... Loading source file ./jtb/syntaxtree/TypeBound.java... Loading source file ./jtb/syntaxtree/TypeDeclaration.java... Loading source file ./jtb/syntaxtree/TypeParameter.java... Loading source file ./jtb/syntaxtree/TypeParameters.java... Loading source file ./jtb/syntaxtree/UnaryExpression.java... Loading source file ./jtb/syntaxtree/UnaryExpressionNotPlusMinus.java... Loading source file ./jtb/syntaxtree/VariableDeclarator.java... Loading source file ./jtb/syntaxtree/VariableDeclaratorId.java... Loading source file ./jtb/syntaxtree/VariableInitializer.java... Loading source file ./jtb/syntaxtree/WhileStatement.java... Loading source file ./jtb/syntaxtree/WildcardBounds.java... Loading source file ./jtb/visitor/DepthFirstVisitor.java... Loading source file ./jtb/visitor/GJDepthFirst.java... Loading source file ./jtb/visitor/GJNoArguDepthFirst.java... Loading source file ./jtb/visitor/GJNoArguVisitor.java... Loading source file ./jtb/visitor/GJVisitor.java... Loading source file ./jtb/visitor/GJVoidDepthFirst.java... Loading source file ./jtb/visitor/GJVoidVisitor.java... Loading source file ./jtb/visitor/TreeDumper.java... Loading source file ./jtb/visitor/TreeFormatter.java... Loading source file ./jtb/visitor/Visitor.java... Loading source file ./typequals/prototype/qual/NonPrototype.java... Loading source file ./typequals/prototype/qual/Prototype.java... Loading source file ./typequals/vindex/qual/VIndexBottom.java... Loading source file ./typequals/vindex/qual/VIndexTop.java... Loading source file ./typequals/vindex/qual/VIndexUnqualified.java... Loading source file ./typequals/vindex/qual/ValueIndex.java... Loading source file ./typequals/vindex/qual/VarIndex.java... Constructing Javadoc information... Opening ../doc/config-options.texinfo for output... perl -pi -e 's/@cindex/\@cindex/g' ../doc/config-options.texinfo make[4]: Leaving directory '/home/bo/projects/daikon-5.7.2/java' cd ../java && make ../doc/invariants-doc.texinfo make[4]: Entering directory '/home/bo/projects/daikon-5.7.2/java' javadoc -cp /home/bo/projects/daikon-5.7.2/java/lib/*:/home/bo/projects/daikon-5.7.2/java:/usr/lib/jvm/java-8-openjdk-amd64/lib/tools.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/rt.jar -J-Xmx1000m -J-ea -docletpath "/home/bo/projects/daikon-5.7.2/java/lib/plume-util-1.0.5.jar:/home/bo/projects/daikon-5.7.2/java/lib/bcel-util-1.1.4.jar:/home/bo/projects/daikon-5.7.2/java/lib/reflection-util-0.0.1.jar:/home/bo/projects/daikon-5.7.2/java/lib/*:/home/bo/projects/daikon-5.7.2/java:/usr/lib/jvm/java-8-openjdk-amd64/lib/tools.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/rt.jar" -classpath "/home/bo/projects/daikon-5.7.2/java/lib/*:/home/bo/projects/daikon-5.7.2/java:/usr/lib/jvm/java-8-openjdk-amd64/lib/tools.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/rt.jar" -doclet daikon.config.InvariantDoclet \ --texinfo ../doc/invariants-doc.texinfo \ ./daikon/AnnotateNullable.java ./daikon/Chicory.java ./daikon/Daikon.java ./daikon/DaikonSimple.java ./daikon/Debug.java ./daikon/DiscReasonMap.java ./daikon/DynComp.java ./daikon/DynamicConstants.java ./daikon/FileIO.java ./daikon/Global.java ./daikon/LogHelper.java ./daikon/MemMonitor.java ./daikon/MergeInvariants.java ./daikon/ModBitTracker.java ./daikon/Ppt.java ./daikon/PptConditional.java ./daikon/PptMap.java ./daikon/PptName.java ./daikon/PptRelation.java ./daikon/PptSlice.java ./daikon/PptSlice0.java ./daikon/PptSlice1.java ./daikon/PptSlice2.java ./daikon/PptSlice3.java ./daikon/PptSliceEquality.java ./daikon/PptTopLevel.java ./daikon/PrintInvariants.java ./daikon/ProglangType.java ./daikon/Quant.java ./daikon/Quantify.java ./daikon/Runtime.java ./daikon/UnionInvariants.java ./daikon/ValueTuple.java ./daikon/VarComparability.java ./daikon/VarComparabilityImplicit.java ./daikon/VarComparabilityNone.java ./daikon/VarInfo.java ./daikon/VarInfoAux.java ./daikon/VarInfoName.java ./daikon/VarParent.java ./daikon/asm/DSForest.java ./daikon/asm/IInstruction.java ./daikon/asm/InstructionUtils.java ./daikon/asm/KillerInstruction.java ./daikon/asm/Operand.java ./daikon/asm/PptFile.java ./daikon/asm/X86Instruction.java ./daikon/chicory/ArrayInfo.java ./daikon/chicory/ChicoryPremain.java ./daikon/chicory/ClassInfo.java ./daikon/chicory/DTraceReader.java ./daikon/chicory/DTraceWriter.java ./daikon/chicory/DaikonClassInfo.java ./daikon/chicory/DaikonVariableInfo.java ./daikon/chicory/DaikonWriter.java ./daikon/chicory/DeclReader.java ./daikon/chicory/DeclWriter.java ./daikon/chicory/FieldInfo.java ./daikon/chicory/Instrument.java ./daikon/chicory/ListInfo.java ./daikon/chicory/MethodInfo.java ./daikon/chicory/NonsensicalList.java ./daikon/chicory/NonsensicalObject.java ./daikon/chicory/ParameterInfo.java ./daikon/chicory/PureMethodInfo.java ./daikon/chicory/ReturnInfo.java ./daikon/chicory/RootInfo.java ./daikon/chicory/Runtime.java ./daikon/chicory/SharedData.java ./daikon/chicory/StaticObjInfo.java ./daikon/chicory/StreamRedirectThread.java ./daikon/chicory/StringInfo.java ./daikon/chicory/Test.java ./daikon/chicory/ThisObjInfo.java ./daikon/chicory/VarFlags.java ./daikon/chicory/VarKind.java ./daikon/chicory/package-info.java ./daikon/config/Configuration.java ./daikon/config/HtmlToTexinfo.java ./daikon/config/InvariantDoclet.java ./daikon/config/ParameterDoclet.java ./daikon/dcomp/BuildJDK.java ./daikon/dcomp/DCInstrument.java ./daikon/dcomp/DCRuntime.java ./daikon/dcomp/DCompClone.java ./daikon/dcomp/DCompInstrumented.java ./daikon/dcomp/DCompMarker.java ./daikon/dcomp/DCompToString.java ./daikon/dcomp/Instrument.java ./daikon/dcomp/Premain.java ./daikon/dcomp/TagEntry.java ./daikon/dcomp/Test.java ./daikon/dcomp/package-info.java ./daikon/derive/Derivation.java ./daikon/derive/DerivationFactory.java ./daikon/derive/ValueAndModified.java ./daikon/derive/binary/BinaryDerivation.java ./daikon/derive/binary/BinaryDerivationFactory.java ./daikon/derive/binary/SequenceFloatIntersection.java ./daikon/derive/binary/SequenceFloatIntersectionFactory.java ./daikon/derive/binary/SequenceFloatSubscript.java ./daikon/derive/binary/SequenceFloatSubscriptFactory.java ./daikon/derive/binary/SequenceFloatSubsequence.java ./daikon/derive/binary/SequenceFloatUnion.java ./daikon/derive/binary/SequenceFloatUnionFactory.java ./daikon/derive/binary/SequenceScalarIntersection.java ./daikon/derive/binary/SequenceScalarIntersectionFactory.java ./daikon/derive/binary/SequenceScalarSubscript.java ./daikon/derive/binary/SequenceScalarSubscriptFactory.java ./daikon/derive/binary/SequenceScalarSubsequence.java ./daikon/derive/binary/SequenceScalarUnion.java ./daikon/derive/binary/SequenceScalarUnionFactory.java ./daikon/derive/binary/SequenceStringIntersection.java ./daikon/derive/binary/SequenceStringIntersectionFactory.java ./daikon/derive/binary/SequenceStringSubscript.java ./daikon/derive/binary/SequenceStringSubscriptFactory.java ./daikon/derive/binary/SequenceStringSubsequence.java ./daikon/derive/binary/SequenceStringUnion.java ./daikon/derive/binary/SequenceStringUnionFactory.java ./daikon/derive/binary/SequenceSubsequence.java ./daikon/derive/binary/SequencesConcat.java ./daikon/derive/binary/SequencesConcatFactory.java ./daikon/derive/binary/SequencesJoin.java ./daikon/derive/binary/SequencesJoinFactory.java ./daikon/derive/binary/SequencesJoinFactoryFloat.java ./daikon/derive/binary/SequencesJoinFloat.java ./daikon/derive/binary/SequencesPredicate.java ./daikon/derive/binary/SequencesPredicateFactory.java ./daikon/derive/binary/SequencesPredicateFactoryFloat.java ./daikon/derive/binary/SequencesPredicateFloat.java ./daikon/derive/ternary/SequenceFloatArbitrarySubsequence.java ./daikon/derive/ternary/SequenceFloatArbitrarySubsequenceFactory.java ./daikon/derive/ternary/SequenceScalarArbitrarySubsequence.java ./daikon/derive/ternary/SequenceScalarArbitrarySubsequenceFactory.java ./daikon/derive/ternary/SequenceStringArbitrarySubsequence.java ./daikon/derive/ternary/SequenceStringArbitrarySubsequenceFactory.java ./daikon/derive/ternary/TernaryDerivation.java ./daikon/derive/ternary/TernaryDerivationFactory.java ./daikon/derive/unary/SequenceInitial.java ./daikon/derive/unary/SequenceInitialFactory.java ./daikon/derive/unary/SequenceInitialFactoryFloat.java ./daikon/derive/unary/SequenceInitialFloat.java ./daikon/derive/unary/SequenceLength.java ./daikon/derive/unary/SequenceLengthFactory.java ./daikon/derive/unary/SequenceMax.java ./daikon/derive/unary/SequenceMin.java ./daikon/derive/unary/SequenceMinMaxSumFactory.java ./daikon/derive/unary/SequenceSum.java ./daikon/derive/unary/StringLength.java ./daikon/derive/unary/StringLengthFactory.java ./daikon/derive/unary/UnaryDerivation.java ./daikon/derive/unary/UnaryDerivationFactory.java ./daikon/diff/ConsequentCVFPairComparator.java ./daikon/diff/ConsequentCVFSortComparator.java ./daikon/diff/ConsequentExtractorVisitor.java ./daikon/diff/ConsequentPairComparator.java ./daikon/diff/ConsequentSortComparator.java ./daikon/diff/DepthFirstVisitor.java ./daikon/diff/DetailedStatisticsVisitor.java ./daikon/diff/Diff.java ./daikon/diff/InvMap.java ./daikon/diff/InvNode.java ./daikon/diff/MatchCountVisitor.java ./daikon/diff/MatchCountVisitor2.java ./daikon/diff/MinusVisitor.java ./daikon/diff/MultiDiff.java ./daikon/diff/MultiDiffVisitor.java ./daikon/diff/Node.java ./daikon/diff/PptCountVisitor.java ./daikon/diff/PptNode.java ./daikon/diff/PrintAllVisitor.java ./daikon/diff/PrintDifferingInvariantsVisitor.java ./daikon/diff/PrintNullDiffVisitor.java ./daikon/diff/RootNode.java ./daikon/diff/UnionVisitor.java ./daikon/diff/Visitor.java ./daikon/diff/XorInvariantsVisitor.java ./daikon/diff/XorVisitor.java ./daikon/inv/AndJoiner.java ./daikon/inv/DiscardCode.java ./daikon/inv/DiscardInfo.java ./daikon/inv/DummyInvariant.java ./daikon/inv/Equality.java ./daikon/inv/EqualityComparison.java ./daikon/inv/FeatureExtractor.java ./daikon/inv/GuardingImplication.java ./daikon/inv/Implication.java ./daikon/inv/InvDef.java ./daikon/inv/Invariant.java ./daikon/inv/InvariantInfo.java ./daikon/inv/InvariantStatus.java ./daikon/inv/Joiner.java ./daikon/inv/OutputFormat.java ./daikon/inv/ValueSet.java ./daikon/inv/binary/BinaryInvariant.java ./daikon/inv/binary/sequenceScalar/Member.java ./daikon/inv/binary/sequenceScalar/MemberFloat.java ./daikon/inv/binary/sequenceScalar/SeqFloatEqual.java ./daikon/inv/binary/sequenceScalar/SeqFloatGreaterEqual.java ./daikon/inv/binary/sequenceScalar/SeqFloatGreaterThan.java ./daikon/inv/binary/sequenceScalar/SeqFloatLessEqual.java ./daikon/inv/binary/sequenceScalar/SeqFloatLessThan.java ./daikon/inv/binary/sequenceScalar/SeqIntEqual.java ./daikon/inv/binary/sequenceScalar/SeqIntGreaterEqual.java ./daikon/inv/binary/sequenceScalar/SeqIntGreaterThan.java ./daikon/inv/binary/sequenceScalar/SeqIntLessEqual.java ./daikon/inv/binary/sequenceScalar/SeqIntLessThan.java ./daikon/inv/binary/sequenceScalar/SequenceFloat.java ./daikon/inv/binary/sequenceScalar/SequenceScalar.java ./daikon/inv/binary/sequenceString/MemberString.java ./daikon/inv/binary/sequenceString/SequenceString.java ./daikon/inv/binary/twoScalar/FloatEqual.java ./daikon/inv/binary/twoScalar/FloatGreaterEqual.java ./daikon/inv/binary/twoScalar/FloatGreaterThan.java ./daikon/inv/binary/twoScalar/FloatLessEqual.java ./daikon/inv/binary/twoScalar/FloatLessThan.java ./daikon/inv/binary/twoScalar/FloatNonEqual.java ./daikon/inv/binary/twoScalar/IntEqual.java ./daikon/inv/binary/twoScalar/IntGreaterEqual.java ./daikon/inv/binary/twoScalar/IntGreaterThan.java ./daikon/inv/binary/twoScalar/IntLessEqual.java ./daikon/inv/binary/twoScalar/IntLessThan.java ./daikon/inv/binary/twoScalar/IntNonEqual.java ./daikon/inv/binary/twoScalar/LinearBinary.java ./daikon/inv/binary/twoScalar/LinearBinaryCore.java ./daikon/inv/binary/twoScalar/LinearBinaryCoreFloat.java ./daikon/inv/binary/twoScalar/LinearBinaryFloat.java ./daikon/inv/binary/twoScalar/NumericFloat.java ./daikon/inv/binary/twoScalar/NumericInt.java ./daikon/inv/binary/twoScalar/TwoFloat.java ./daikon/inv/binary/twoScalar/TwoScalar.java ./daikon/inv/binary/twoSequence/PairwiseFloatEqual.java ./daikon/inv/binary/twoSequence/PairwiseFloatGreaterEqual.java ./daikon/inv/binary/twoSequence/PairwiseFloatGreaterThan.java ./daikon/inv/binary/twoSequence/PairwiseFloatLessEqual.java ./daikon/inv/binary/twoSequence/PairwiseFloatLessThan.java ./daikon/inv/binary/twoSequence/PairwiseIntEqual.java ./daikon/inv/binary/twoSequence/PairwiseIntGreaterEqual.java ./daikon/inv/binary/twoSequence/PairwiseIntGreaterThan.java ./daikon/inv/binary/twoSequence/PairwiseIntLessEqual.java ./daikon/inv/binary/twoSequence/PairwiseIntLessThan.java ./daikon/inv/binary/twoSequence/PairwiseLinearBinary.java ./daikon/inv/binary/twoSequence/PairwiseLinearBinaryFloat.java ./daikon/inv/binary/twoSequence/PairwiseNumericFloat.java ./daikon/inv/binary/twoSequence/PairwiseNumericInt.java ./daikon/inv/binary/twoSequence/PairwiseString.java ./daikon/inv/binary/twoSequence/PairwiseStringEqual.java ./daikon/inv/binary/twoSequence/PairwiseStringGreaterEqual.java ./daikon/inv/binary/twoSequence/PairwiseStringGreaterThan.java ./daikon/inv/binary/twoSequence/PairwiseStringLessEqual.java ./daikon/inv/binary/twoSequence/PairwiseStringLessThan.java ./daikon/inv/binary/twoSequence/Reverse.java ./daikon/inv/binary/twoSequence/ReverseFloat.java ./daikon/inv/binary/twoSequence/SeqSeqFloatEqual.java ./daikon/inv/binary/twoSequence/SeqSeqFloatGreaterEqual.java ./daikon/inv/binary/twoSequence/SeqSeqFloatGreaterThan.java ./daikon/inv/binary/twoSequence/SeqSeqFloatLessEqual.java ./daikon/inv/binary/twoSequence/SeqSeqFloatLessThan.java ./daikon/inv/binary/twoSequence/SeqSeqIntEqual.java ./daikon/inv/binary/twoSequence/SeqSeqIntGreaterEqual.java ./daikon/inv/binary/twoSequence/SeqSeqIntGreaterThan.java ./daikon/inv/binary/twoSequence/SeqSeqIntLessEqual.java ./daikon/inv/binary/twoSequence/SeqSeqIntLessThan.java ./daikon/inv/binary/twoSequence/SeqSeqStringEqual.java ./daikon/inv/binary/twoSequence/SeqSeqStringGreaterEqual.java ./daikon/inv/binary/twoSequence/SeqSeqStringGreaterThan.java ./daikon/inv/binary/twoSequence/SeqSeqStringLessEqual.java ./daikon/inv/binary/twoSequence/SeqSeqStringLessThan.java ./daikon/inv/binary/twoSequence/SubSequence.java ./daikon/inv/binary/twoSequence/SubSequenceFloat.java ./daikon/inv/binary/twoSequence/SubSet.java ./daikon/inv/binary/twoSequence/SubSetFloat.java ./daikon/inv/binary/twoSequence/SuperSequence.java ./daikon/inv/binary/twoSequence/SuperSequenceFloat.java ./daikon/inv/binary/twoSequence/SuperSet.java ./daikon/inv/binary/twoSequence/SuperSetFloat.java ./daikon/inv/binary/twoSequence/TwoSequence.java ./daikon/inv/binary/twoSequence/TwoSequenceFloat.java ./daikon/inv/binary/twoSequence/TwoSequenceString.java ./daikon/inv/binary/twoString/StdString.java ./daikon/inv/binary/twoString/StringEqual.java ./daikon/inv/binary/twoString/StringGreaterEqual.java ./daikon/inv/binary/twoString/StringGreaterThan.java ./daikon/inv/binary/twoString/StringLessEqual.java ./daikon/inv/binary/twoString/StringLessThan.java ./daikon/inv/binary/twoString/StringNonEqual.java ./daikon/inv/binary/twoString/TwoString.java ./daikon/inv/filter/DerivedParameterFilter.java ./daikon/inv/filter/DerivedVariableFilter.java ./daikon/inv/filter/DotNetStringFilter.java ./daikon/inv/filter/InvariantFilter.java ./daikon/inv/filter/InvariantFilters.java ./daikon/inv/filter/ObviousFilter.java ./daikon/inv/filter/OnlyConstantVariablesFilter.java ./daikon/inv/filter/ParentFilter.java ./daikon/inv/filter/ReadonlyPrestateFilter.java ./daikon/inv/filter/SimplifyFilter.java ./daikon/inv/filter/UnjustifiedFilter.java ./daikon/inv/filter/UnmodifiedVariableEqualityFilter.java ./daikon/inv/filter/VariableFilter.java ./daikon/inv/ternary/TernaryInvariant.java ./daikon/inv/ternary/threeScalar/FunctionBinary.java ./daikon/inv/ternary/threeScalar/FunctionBinaryFloat.java ./daikon/inv/ternary/threeScalar/LinearTernary.java ./daikon/inv/ternary/threeScalar/LinearTernaryCore.java ./daikon/inv/ternary/threeScalar/LinearTernaryCoreFloat.java ./daikon/inv/ternary/threeScalar/LinearTernaryFloat.java ./daikon/inv/ternary/threeScalar/ThreeFloat.java ./daikon/inv/ternary/threeScalar/ThreeScalar.java ./daikon/inv/unary/LowerBoundCore.java ./daikon/inv/unary/LowerBoundCoreFloat.java ./daikon/inv/unary/OneOf.java ./daikon/inv/unary/UnaryInvariant.java ./daikon/inv/unary/UpperBoundCore.java ./daikon/inv/unary/UpperBoundCoreFloat.java ./daikon/inv/unary/scalar/CompleteOneOfScalar.java ./daikon/inv/unary/scalar/IsPointer.java ./daikon/inv/unary/scalar/LowerBound.java ./daikon/inv/unary/scalar/LowerBoundFloat.java ./daikon/inv/unary/scalar/Modulus.java ./daikon/inv/unary/scalar/NonModulus.java ./daikon/inv/unary/scalar/NonZero.java ./daikon/inv/unary/scalar/NonZeroFloat.java ./daikon/inv/unary/scalar/OneOfFloat.java ./daikon/inv/unary/scalar/OneOfScalar.java ./daikon/inv/unary/scalar/Positive.java ./daikon/inv/unary/scalar/RangeFloat.java ./daikon/inv/unary/scalar/RangeInt.java ./daikon/inv/unary/scalar/SingleFloat.java ./daikon/inv/unary/scalar/SingleScalar.java ./daikon/inv/unary/scalar/UpperBound.java ./daikon/inv/unary/scalar/UpperBoundFloat.java ./daikon/inv/unary/sequence/CommonFloatSequence.java ./daikon/inv/unary/sequence/CommonSequence.java ./daikon/inv/unary/sequence/EltLowerBound.java ./daikon/inv/unary/sequence/EltLowerBoundFloat.java ./daikon/inv/unary/sequence/EltNonZero.java ./daikon/inv/unary/sequence/EltNonZeroFloat.java ./daikon/inv/unary/sequence/EltOneOf.java ./daikon/inv/unary/sequence/EltOneOfFloat.java ./daikon/inv/unary/sequence/EltRangeFloat.java ./daikon/inv/unary/sequence/EltRangeInt.java ./daikon/inv/unary/sequence/EltUpperBound.java ./daikon/inv/unary/sequence/EltUpperBoundFloat.java ./daikon/inv/unary/sequence/EltwiseFloatComparison.java ./daikon/inv/unary/sequence/EltwiseFloatEqual.java ./daikon/inv/unary/sequence/EltwiseFloatGreaterEqual.java ./daikon/inv/unary/sequence/EltwiseFloatGreaterThan.java ./daikon/inv/unary/sequence/EltwiseFloatLessEqual.java ./daikon/inv/unary/sequence/EltwiseFloatLessThan.java ./daikon/inv/unary/sequence/EltwiseIntComparison.java ./daikon/inv/unary/sequence/EltwiseIntEqual.java ./daikon/inv/unary/sequence/EltwiseIntGreaterEqual.java ./daikon/inv/unary/sequence/EltwiseIntGreaterThan.java ./daikon/inv/unary/sequence/EltwiseIntLessEqual.java ./daikon/inv/unary/sequence/EltwiseIntLessThan.java ./daikon/inv/unary/sequence/NoDuplicates.java ./daikon/inv/unary/sequence/NoDuplicatesFloat.java ./daikon/inv/unary/sequence/OneOfFloatSequence.java ./daikon/inv/unary/sequence/OneOfSequence.java ./daikon/inv/unary/sequence/SeqIndexFloatEqual.java ./daikon/inv/unary/sequence/SeqIndexFloatGreaterEqual.java ./daikon/inv/unary/sequence/SeqIndexFloatGreaterThan.java ./daikon/inv/unary/sequence/SeqIndexFloatLessEqual.java ./daikon/inv/unary/sequence/SeqIndexFloatLessThan.java ./daikon/inv/unary/sequence/SeqIndexFloatNonEqual.java ./daikon/inv/unary/sequence/SeqIndexIntEqual.java ./daikon/inv/unary/sequence/SeqIndexIntGreaterEqual.java ./daikon/inv/unary/sequence/SeqIndexIntGreaterThan.java ./daikon/inv/unary/sequence/SeqIndexIntLessEqual.java ./daikon/inv/unary/sequence/SeqIndexIntLessThan.java ./daikon/inv/unary/sequence/SeqIndexIntNonEqual.java ./daikon/inv/unary/sequence/SingleFloatSequence.java ./daikon/inv/unary/sequence/SingleScalarSequence.java ./daikon/inv/unary/sequence/SingleSequence.java ./daikon/inv/unary/string/CompleteOneOfString.java ./daikon/inv/unary/string/OneOfString.java ./daikon/inv/unary/string/PrintableString.java ./daikon/inv/unary/string/SingleString.java ./daikon/inv/unary/stringsequence/CommonStringSequence.java ./daikon/inv/unary/stringsequence/EltOneOfString.java ./daikon/inv/unary/stringsequence/OneOfStringSequence.java ./daikon/inv/unary/stringsequence/SingleStringSequence.java ./daikon/simplify/Cmd.java ./daikon/simplify/CmdAssume.java ./daikon/simplify/CmdCheck.java ./daikon/simplify/CmdRaw.java ./daikon/simplify/CmdUndoAssume.java ./daikon/simplify/InvariantLemma.java ./daikon/simplify/Lemma.java ./daikon/simplify/LemmaStack.java ./daikon/simplify/Session.java ./daikon/simplify/SessionManager.java ./daikon/simplify/SimpUtil.java ./daikon/simplify/SimplifyError.java ./daikon/simplify/SimplifyException.java ./daikon/simplify/TimeoutException.java ./daikon/split/ArrayFixer.java ./daikon/split/ContextSplitterFactory.java ./daikon/split/FileCompiler.java ./daikon/split/NameFixer.java ./daikon/split/NullReplacer.java ./daikon/split/OrigFixer.java ./daikon/split/PptSplitter.java ./daikon/split/PrefixFixer.java ./daikon/split/PrefixRemover.java ./daikon/split/ReplaceStatement.java ./daikon/split/ReplaceStatementMap.java ./daikon/split/SpinfoFile.java ./daikon/split/Splitter.java ./daikon/split/SplitterExample.java ./daikon/split/SplitterFactory.java ./daikon/split/SplitterJavaSource.java ./daikon/split/SplitterList.java ./daikon/split/SplitterObject.java ./daikon/split/StatementReplacer.java ./daikon/split/ThisFixer.java ./daikon/split/TokenExtractor.java ./daikon/split/TokenReplacer.java ./daikon/split/Visitors.java ./daikon/split/misc/CallerContextSplitter.java ./daikon/split/misc/MiscSplitters.java ./daikon/split/misc/ReturnTrueSplitter.java ./daikon/suppress/NIS.java ./daikon/suppress/NISuppressee.java ./daikon/suppress/NISuppression.java ./daikon/suppress/NISuppressionSet.java ./daikon/suppress/NISuppressor.java ./daikon/test/Common.java ./daikon/test/DSForestTest.java ./daikon/test/DtraceDiffTester.java ./daikon/test/FormatTestCase.java ./daikon/test/GenericTestClass.java ./daikon/test/InstructionUtilsTest.java ./daikon/test/InvariantFormatTester.java ./daikon/test/KillerInstructionTests.java ./daikon/test/LinearTernaryCoreTest.java ./daikon/test/MasterUnitTester.java ./daikon/test/ModBitTrackerTest.java ./daikon/test/ProglangTypeTest.java ./daikon/test/SampleTester.java ./daikon/test/TestAnnotate.java ./daikon/test/TestAst.java ./daikon/test/TestClassOrInterfaceTypeDecorateVisitor.java ./daikon/test/TestQuant.java ./daikon/test/VarComparabilityTest.java ./daikon/test/VarInfoNameDriver.java ./daikon/test/VarInfoNameTest.java ./daikon/test/package-info.java ./daikon/test/config/ConfigurationTest.java ./daikon/test/config/HtmlToTexinfoTest.java ./daikon/test/diff/ConsequentCVFPairComparatorTester.java ./daikon/test/diff/ConsequentCVFSortComparatorTester.java ./daikon/test/diff/DetailedStatisticsVisitorTester.java ./daikon/test/diff/DiffDummyInvariant.java ./daikon/test/diff/DiffTester.java ./daikon/test/diff/InvMapTester.java ./daikon/test/diff/MinusVisitorTester.java ./daikon/test/diff/PrintDifferingInvariantsVisitorTester.java ./daikon/test/diff/UnionVisitorTester.java ./daikon/test/diff/XorVisitorTester.java ./daikon/test/diff/package-info.java ./daikon/test/inv/InvariantAddAndCheckTester.java ./daikon/test/inv/InvariantTester.java ./daikon/test/inv/package-info.java ./daikon/test/inv/unary/scalar/OneOfScalarTester.java ./daikon/test/inv/unary/sequence/OneOfSequenceTester.java ./daikon/test/split/SplitterFactoryTest.java ./daikon/test/split/SplitterFactoryTestUpdater.java ./daikon/tools/DtraceDiff.java ./daikon/tools/DtraceNonceFixer.java ./daikon/tools/DtracePartitioner.java ./daikon/tools/ExtractConsequent.java ./daikon/tools/InvMatch.java ./daikon/tools/InvTranslate.java ./daikon/tools/InvariantChecker.java ./daikon/tools/ReadTrace.java ./daikon/tools/TraceSelect.java ./daikon/tools/compare/LogicalCompare.java ./daikon/tools/jtb/Annotate.java ./daikon/tools/jtb/AnnotateVisitor.java ./daikon/tools/jtb/Annotation.java ./daikon/tools/jtb/Ast.java ./daikon/tools/jtb/ClassOrInterfaceTypeDecorateVisitor.java ./daikon/tools/jtb/CollectFieldsVisitor.java ./daikon/tools/jtb/ConditionExtractor.java ./daikon/tools/jtb/CreateSpinfo.java ./daikon/tools/jtb/CreateSpinfoC.java ./daikon/tools/jtb/InsertCommentFormatter.java ./daikon/tools/jtb/OrigModifier.java ./daikon/tools/jtb/ParseResults.java ./daikon/tools/jtb/PptNameMatcher.java ./daikon/tools/nullness/NullnessUtil.java ./daikon/tools/runtimechecker/CheckerClass.java ./daikon/tools/runtimechecker/CheckerClasses.java ./daikon/tools/runtimechecker/CommandHandler.java ./daikon/tools/runtimechecker/InstrumentHandler.java ./daikon/tools/runtimechecker/InstrumentVisitor.java ./daikon/tools/runtimechecker/Main.java ./daikon/tools/runtimechecker/MalformedPropertyException.java ./daikon/tools/runtimechecker/Property.java ./daikon/tools/runtimechecker/Runtime.java ./daikon/tools/runtimechecker/Violation.java ./daikon/tools/runtimechecker/WriteViolationFile.java ./jtb/JavaCharStream.java ./jtb/JavaParser.java ./jtb/JavaParserConstants.java ./jtb/JavaParserTest.java ./jtb/JavaParserTokenManager.java ./jtb/ParseException.java ./jtb/Token.java ./jtb/TokenMgrError.java ./jtb/cparser/ASCII_CharStream.java ./jtb/cparser/CParser.java ./jtb/cparser/CParserConstants.java ./jtb/cparser/CParserTokenManager.java ./jtb/cparser/ParseException.java ./jtb/cparser/Token.java ./jtb/cparser/TokenMgrError.java ./jtb/cparser/customvisitor/ConditionPrinter.java ./jtb/cparser/customvisitor/Converter.java ./jtb/cparser/customvisitor/Printer.java ./jtb/cparser/customvisitor/StringFinder.java ./jtb/cparser/syntaxtree/ANDExpression.java ./jtb/cparser/syntaxtree/AbstractDeclarator.java ./jtb/cparser/syntaxtree/AdditiveExpression.java ./jtb/cparser/syntaxtree/ArgumentExpressionList.java ./jtb/cparser/syntaxtree/AssignmentExpression.java ./jtb/cparser/syntaxtree/AssignmentOperator.java ./jtb/cparser/syntaxtree/CastExpression.java ./jtb/cparser/syntaxtree/CompoundStatement.java ./jtb/cparser/syntaxtree/ConditionalExpression.java ./jtb/cparser/syntaxtree/Constant.java ./jtb/cparser/syntaxtree/ConstantExpression.java ./jtb/cparser/syntaxtree/Declaration.java ./jtb/cparser/syntaxtree/DeclarationList.java ./jtb/cparser/syntaxtree/DeclarationSpecifiers.java ./jtb/cparser/syntaxtree/Declarator.java ./jtb/cparser/syntaxtree/DirectAbstractDeclarator.java ./jtb/cparser/syntaxtree/DirectDeclarator.java ./jtb/cparser/syntaxtree/EnumSpecifier.java ./jtb/cparser/syntaxtree/Enumerator.java ./jtb/cparser/syntaxtree/EnumeratorList.java ./jtb/cparser/syntaxtree/EqualityExpression.java ./jtb/cparser/syntaxtree/ExclusiveORExpression.java ./jtb/cparser/syntaxtree/Expression.java ./jtb/cparser/syntaxtree/ExpressionStatement.java ./jtb/cparser/syntaxtree/ExternalDeclaration.java ./jtb/cparser/syntaxtree/FunctionDefinition.java ./jtb/cparser/syntaxtree/IdentifierList.java ./jtb/cparser/syntaxtree/InclusiveORExpression.java ./jtb/cparser/syntaxtree/InitDeclarator.java ./jtb/cparser/syntaxtree/InitDeclaratorList.java ./jtb/cparser/syntaxtree/Initializer.java ./jtb/cparser/syntaxtree/InitializerList.java ./jtb/cparser/syntaxtree/IterationStatement.java ./jtb/cparser/syntaxtree/JumpStatement.java ./jtb/cparser/syntaxtree/LabeledStatement.java ./jtb/cparser/syntaxtree/LogicalANDExpression.java ./jtb/cparser/syntaxtree/LogicalORExpression.java ./jtb/cparser/syntaxtree/MultiplicativeExpression.java ./jtb/cparser/syntaxtree/Node.java ./jtb/cparser/syntaxtree/NodeChoice.java ./jtb/cparser/syntaxtree/NodeList.java ./jtb/cparser/syntaxtree/NodeListInterface.java ./jtb/cparser/syntaxtree/NodeListOptional.java ./jtb/cparser/syntaxtree/NodeOptional.java ./jtb/cparser/syntaxtree/NodeSequence.java ./jtb/cparser/syntaxtree/NodeToken.java ./jtb/cparser/syntaxtree/ParameterDeclaration.java ./jtb/cparser/syntaxtree/ParameterList.java ./jtb/cparser/syntaxtree/ParameterTypeList.java ./jtb/cparser/syntaxtree/Pointer.java ./jtb/cparser/syntaxtree/PostfixExpression.java ./jtb/cparser/syntaxtree/PrimaryExpression.java ./jtb/cparser/syntaxtree/RelationalExpression.java ./jtb/cparser/syntaxtree/SelectionStatement.java ./jtb/cparser/syntaxtree/ShiftExpression.java ./jtb/cparser/syntaxtree/SpecifierQualifierList.java ./jtb/cparser/syntaxtree/Statement.java ./jtb/cparser/syntaxtree/StatementList.java ./jtb/cparser/syntaxtree/StorageClassSpecifier.java ./jtb/cparser/syntaxtree/StructDeclaration.java ./jtb/cparser/syntaxtree/StructDeclarationList.java ./jtb/cparser/syntaxtree/StructDeclarator.java ./jtb/cparser/syntaxtree/StructDeclaratorList.java ./jtb/cparser/syntaxtree/StructOrUnion.java ./jtb/cparser/syntaxtree/StructOrUnionSpecifier.java ./jtb/cparser/syntaxtree/TranslationUnit.java ./jtb/cparser/syntaxtree/TypeName.java ./jtb/cparser/syntaxtree/TypeQualifier.java ./jtb/cparser/syntaxtree/TypeQualifierList.java ./jtb/cparser/syntaxtree/TypeSpecifier.java ./jtb/cparser/syntaxtree/TypedefName.java ./jtb/cparser/syntaxtree/UnaryExpression.java ./jtb/cparser/syntaxtree/UnaryOperator.java ./jtb/cparser/visitor/DepthFirstVisitor.java ./jtb/cparser/visitor/Visitor.java ./jtb/syntaxtree/AdditiveExpression.java ./jtb/syntaxtree/AllocationExpression.java ./jtb/syntaxtree/AndExpression.java ./jtb/syntaxtree/Annotation.java ./jtb/syntaxtree/AnnotationTypeBody.java ./jtb/syntaxtree/AnnotationTypeDeclaration.java ./jtb/syntaxtree/AnnotationTypeMemberDeclaration.java ./jtb/syntaxtree/ArgumentList.java ./jtb/syntaxtree/Arguments.java ./jtb/syntaxtree/ArrayDimsAndInits.java ./jtb/syntaxtree/ArrayInitializer.java ./jtb/syntaxtree/AssertStatement.java ./jtb/syntaxtree/AssignmentOperator.java ./jtb/syntaxtree/Block.java ./jtb/syntaxtree/BlockStatement.java ./jtb/syntaxtree/BooleanLiteral.java ./jtb/syntaxtree/BreakStatement.java ./jtb/syntaxtree/CastExpression.java ./jtb/syntaxtree/CastLookahead.java ./jtb/syntaxtree/ClassOrInterfaceBody.java ./jtb/syntaxtree/ClassOrInterfaceBodyDeclaration.java ./jtb/syntaxtree/ClassOrInterfaceDeclaration.java ./jtb/syntaxtree/ClassOrInterfaceType.java ./jtb/syntaxtree/CompilationUnit.java ./jtb/syntaxtree/ConditionalAndExpression.java ./jtb/syntaxtree/ConditionalExpression.java ./jtb/syntaxtree/ConditionalOrExpression.java ./jtb/syntaxtree/ConstructorDeclaration.java ./jtb/syntaxtree/ContinueStatement.java ./jtb/syntaxtree/DefaultValue.java ./jtb/syntaxtree/DoStatement.java ./jtb/syntaxtree/EmptyStatement.java ./jtb/syntaxtree/EnumBody.java ./jtb/syntaxtree/EnumConstant.java ./jtb/syntaxtree/EnumDeclaration.java ./jtb/syntaxtree/EqualityExpression.java ./jtb/syntaxtree/ExclusiveOrExpression.java ./jtb/syntaxtree/ExplicitConstructorInvocation.java ./jtb/syntaxtree/Expression.java ./jtb/syntaxtree/ExtendsList.java ./jtb/syntaxtree/FieldDeclaration.java ./jtb/syntaxtree/ForInit.java ./jtb/syntaxtree/ForStatement.java ./jtb/syntaxtree/ForUpdate.java ./jtb/syntaxtree/FormalParameter.java ./jtb/syntaxtree/FormalParameters.java ./jtb/syntaxtree/IfStatement.java ./jtb/syntaxtree/ImplementsList.java ./jtb/syntaxtree/ImportDeclaration.java ./jtb/syntaxtree/InclusiveOrExpression.java ./jtb/syntaxtree/Initializer.java ./jtb/syntaxtree/InstanceOfExpression.java ./jtb/syntaxtree/LabeledStatement.java ./jtb/syntaxtree/Literal.java ./jtb/syntaxtree/LocalVariableDeclaration.java ./jtb/syntaxtree/MarkerAnnotation.java ./jtb/syntaxtree/MemberSelector.java ./jtb/syntaxtree/MemberValue.java ./jtb/syntaxtree/MemberValueArrayInitializer.java ./jtb/syntaxtree/MemberValuePair.java ./jtb/syntaxtree/MemberValuePairs.java ./jtb/syntaxtree/MethodDeclaration.java ./jtb/syntaxtree/MethodDeclarator.java ./jtb/syntaxtree/Modifiers.java ./jtb/syntaxtree/MultiplicativeExpression.java ./jtb/syntaxtree/Name.java ./jtb/syntaxtree/NameList.java ./jtb/syntaxtree/Node.java ./jtb/syntaxtree/NodeChoice.java ./jtb/syntaxtree/NodeList.java ./jtb/syntaxtree/NodeListInterface.java ./jtb/syntaxtree/NodeListOptional.java ./jtb/syntaxtree/NodeOptional.java ./jtb/syntaxtree/NodeSequence.java ./jtb/syntaxtree/NodeToken.java ./jtb/syntaxtree/NormalAnnotation.java ./jtb/syntaxtree/NullLiteral.java ./jtb/syntaxtree/PackageDeclaration.java ./jtb/syntaxtree/PostfixExpression.java ./jtb/syntaxtree/PreDecrementExpression.java ./jtb/syntaxtree/PreIncrementExpression.java ./jtb/syntaxtree/PrimaryExpression.java ./jtb/syntaxtree/PrimaryPrefix.java ./jtb/syntaxtree/PrimarySuffix.java ./jtb/syntaxtree/PrimitiveType.java ./jtb/syntaxtree/RSIGNEDSHIFT.java ./jtb/syntaxtree/RUNSIGNEDSHIFT.java ./jtb/syntaxtree/ReferenceType.java ./jtb/syntaxtree/RelationalExpression.java ./jtb/syntaxtree/ResultType.java ./jtb/syntaxtree/ReturnStatement.java ./jtb/syntaxtree/ShiftExpression.java ./jtb/syntaxtree/SingleMemberAnnotation.java ./jtb/syntaxtree/Statement.java ./jtb/syntaxtree/StatementExpression.java ./jtb/syntaxtree/StatementExpressionList.java ./jtb/syntaxtree/SwitchLabel.java ./jtb/syntaxtree/SwitchStatement.java ./jtb/syntaxtree/SynchronizedStatement.java ./jtb/syntaxtree/ThrowStatement.java ./jtb/syntaxtree/TryStatement.java ./jtb/syntaxtree/Type.java ./jtb/syntaxtree/TypeArgument.java ./jtb/syntaxtree/TypeArguments.java ./jtb/syntaxtree/TypeBound.java ./jtb/syntaxtree/TypeDeclaration.java ./jtb/syntaxtree/TypeParameter.java ./jtb/syntaxtree/TypeParameters.java ./jtb/syntaxtree/UnaryExpression.java ./jtb/syntaxtree/UnaryExpressionNotPlusMinus.java ./jtb/syntaxtree/VariableDeclarator.java ./jtb/syntaxtree/VariableDeclaratorId.java ./jtb/syntaxtree/VariableInitializer.java ./jtb/syntaxtree/WhileStatement.java ./jtb/syntaxtree/WildcardBounds.java ./jtb/visitor/DepthFirstVisitor.java ./jtb/visitor/GJDepthFirst.java ./jtb/visitor/GJNoArguDepthFirst.java ./jtb/visitor/GJNoArguVisitor.java ./jtb/visitor/GJVisitor.java ./jtb/visitor/GJVoidDepthFirst.java ./jtb/visitor/GJVoidVisitor.java ./jtb/visitor/TreeDumper.java ./jtb/visitor/TreeFormatter.java ./jtb/visitor/Visitor.java ./typequals/prototype/qual/NonPrototype.java ./typequals/prototype/qual/Prototype.java ./typequals/vindex/qual/VIndexBottom.java ./typequals/vindex/qual/VIndexTop.java ./typequals/vindex/qual/VIndexUnqualified.java ./typequals/vindex/qual/ValueIndex.java ./typequals/vindex/qual/VarIndex.java Loading source file ./daikon/AnnotateNullable.java... Loading source file ./daikon/Chicory.java... Loading source file ./daikon/Daikon.java... Loading source file ./daikon/DaikonSimple.java... Loading source file ./daikon/Debug.java... Loading source file ./daikon/DiscReasonMap.java... Loading source file ./daikon/DynComp.java... Loading source file ./daikon/DynamicConstants.java... Loading source file ./daikon/FileIO.java... Loading source file ./daikon/Global.java... Loading source file ./daikon/LogHelper.java... Loading source file ./daikon/MemMonitor.java... Loading source file ./daikon/MergeInvariants.java... Loading source file ./daikon/ModBitTracker.java... Loading source file ./daikon/Ppt.java... Loading source file ./daikon/PptConditional.java... Loading source file ./daikon/PptMap.java... Loading source file ./daikon/PptName.java... Loading source file ./daikon/PptRelation.java... Loading source file ./daikon/PptSlice.java... Loading source file ./daikon/PptSlice0.java... Loading source file ./daikon/PptSlice1.java... Loading source file ./daikon/PptSlice2.java... Loading source file ./daikon/PptSlice3.java... Loading source file ./daikon/PptSliceEquality.java... Loading source file ./daikon/PptTopLevel.java... Loading source file ./daikon/PrintInvariants.java... Loading source file ./daikon/ProglangType.java... Loading source file ./daikon/Quant.java... Loading source file ./daikon/Quantify.java... Loading source file ./daikon/Runtime.java... Loading source file ./daikon/UnionInvariants.java... Loading source file ./daikon/ValueTuple.java... Loading source file ./daikon/VarComparability.java... Loading source file ./daikon/VarComparabilityImplicit.java... Loading source file ./daikon/VarComparabilityNone.java... Loading source file ./daikon/VarInfo.java... Loading source file ./daikon/VarInfoAux.java... Loading source file ./daikon/VarInfoName.java... Loading source file ./daikon/VarParent.java... Loading source file ./daikon/asm/DSForest.java... Loading source file ./daikon/asm/IInstruction.java... Loading source file ./daikon/asm/InstructionUtils.java... Loading source file ./daikon/asm/KillerInstruction.java... Loading source file ./daikon/asm/Operand.java... Loading source file ./daikon/asm/PptFile.java... Loading source file ./daikon/asm/X86Instruction.java... Loading source file ./daikon/chicory/ArrayInfo.java... Loading source file ./daikon/chicory/ChicoryPremain.java... Loading source file ./daikon/chicory/ClassInfo.java... Loading source file ./daikon/chicory/DTraceReader.java... Loading source file ./daikon/chicory/DTraceWriter.java... Loading source file ./daikon/chicory/DaikonClassInfo.java... Loading source file ./daikon/chicory/DaikonVariableInfo.java... Loading source file ./daikon/chicory/DaikonWriter.java... Loading source file ./daikon/chicory/DeclReader.java... Loading source file ./daikon/chicory/DeclWriter.java... Loading source file ./daikon/chicory/FieldInfo.java... Loading source file ./daikon/chicory/Instrument.java... Loading source file ./daikon/chicory/ListInfo.java... Loading source file ./daikon/chicory/MethodInfo.java... Loading source file ./daikon/chicory/NonsensicalList.java... Loading source file ./daikon/chicory/NonsensicalObject.java... Loading source file ./daikon/chicory/ParameterInfo.java... Loading source file ./daikon/chicory/PureMethodInfo.java... Loading source file ./daikon/chicory/ReturnInfo.java... Loading source file ./daikon/chicory/RootInfo.java... Loading source file ./daikon/chicory/Runtime.java... Loading source file ./daikon/chicory/SharedData.java... Loading source file ./daikon/chicory/StaticObjInfo.java... Loading source file ./daikon/chicory/StreamRedirectThread.java... Loading source file ./daikon/chicory/StringInfo.java... Loading source file ./daikon/chicory/Test.java... Loading source file ./daikon/chicory/ThisObjInfo.java... Loading source file ./daikon/chicory/VarFlags.java... Loading source file ./daikon/chicory/VarKind.java... Loading source file ./daikon/chicory/package-info.java... Loading source file ./daikon/config/Configuration.java... Loading source file ./daikon/config/HtmlToTexinfo.java... Loading source file ./daikon/config/InvariantDoclet.java... Loading source file ./daikon/config/ParameterDoclet.java... Loading source file ./daikon/dcomp/BuildJDK.java... Loading source file ./daikon/dcomp/DCInstrument.java... Loading source file ./daikon/dcomp/DCRuntime.java... Loading source file ./daikon/dcomp/DCompClone.java... Loading source file ./daikon/dcomp/DCompInstrumented.java... Loading source file ./daikon/dcomp/DCompMarker.java... Loading source file ./daikon/dcomp/DCompToString.java... Loading source file ./daikon/dcomp/Instrument.java... Loading source file ./daikon/dcomp/Premain.java... Loading source file ./daikon/dcomp/TagEntry.java... Loading source file ./daikon/dcomp/Test.java... Loading source file ./daikon/dcomp/package-info.java... Loading source file ./daikon/derive/Derivation.java... Loading source file ./daikon/derive/DerivationFactory.java... Loading source file ./daikon/derive/ValueAndModified.java... Loading source file ./daikon/derive/binary/BinaryDerivation.java... Loading source file ./daikon/derive/binary/BinaryDerivationFactory.java... Loading source file ./daikon/derive/binary/SequenceFloatIntersection.java... Loading source file ./daikon/derive/binary/SequenceFloatIntersectionFactory.java... Loading source file ./daikon/derive/binary/SequenceFloatSubscript.java... Loading source file ./daikon/derive/binary/SequenceFloatSubscriptFactory.java... Loading source file ./daikon/derive/binary/SequenceFloatSubsequence.java... Loading source file ./daikon/derive/binary/SequenceFloatUnion.java... Loading source file ./daikon/derive/binary/SequenceFloatUnionFactory.java... Loading source file ./daikon/derive/binary/SequenceScalarIntersection.java... Loading source file ./daikon/derive/binary/SequenceScalarIntersectionFactory.java... Loading source file ./daikon/derive/binary/SequenceScalarSubscript.java... Loading source file ./daikon/derive/binary/SequenceScalarSubscriptFactory.java... Loading source file ./daikon/derive/binary/SequenceScalarSubsequence.java... Loading source file ./daikon/derive/binary/SequenceScalarUnion.java... Loading source file ./daikon/derive/binary/SequenceScalarUnionFactory.java... Loading source file ./daikon/derive/binary/SequenceStringIntersection.java... Loading source file ./daikon/derive/binary/SequenceStringIntersectionFactory.java... Loading source file ./daikon/derive/binary/SequenceStringSubscript.java... Loading source file ./daikon/derive/binary/SequenceStringSubscriptFactory.java... Loading source file ./daikon/derive/binary/SequenceStringSubsequence.java... Loading source file ./daikon/derive/binary/SequenceStringUnion.java... Loading source file ./daikon/derive/binary/SequenceStringUnionFactory.java... Loading source file ./daikon/derive/binary/SequenceSubsequence.java... Loading source file ./daikon/derive/binary/SequencesConcat.java... Loading source file ./daikon/derive/binary/SequencesConcatFactory.java... Loading source file ./daikon/derive/binary/SequencesJoin.java... Loading source file ./daikon/derive/binary/SequencesJoinFactory.java... Loading source file ./daikon/derive/binary/SequencesJoinFactoryFloat.java... Loading source file ./daikon/derive/binary/SequencesJoinFloat.java... Loading source file ./daikon/derive/binary/SequencesPredicate.java... Loading source file ./daikon/derive/binary/SequencesPredicateFactory.java... Loading source file ./daikon/derive/binary/SequencesPredicateFactoryFloat.java... Loading source file ./daikon/derive/binary/SequencesPredicateFloat.java... Loading source file ./daikon/derive/ternary/SequenceFloatArbitrarySubsequence.java... Loading source file ./daikon/derive/ternary/SequenceFloatArbitrarySubsequenceFactory.java... Loading source file ./daikon/derive/ternary/SequenceScalarArbitrarySubsequence.java... Loading source file ./daikon/derive/ternary/SequenceScalarArbitrarySubsequenceFactory.java... Loading source file ./daikon/derive/ternary/SequenceStringArbitrarySubsequence.java... Loading source file ./daikon/derive/ternary/SequenceStringArbitrarySubsequenceFactory.java... Loading source file ./daikon/derive/ternary/TernaryDerivation.java... Loading source file ./daikon/derive/ternary/TernaryDerivationFactory.java... Loading source file ./daikon/derive/unary/SequenceInitial.java... Loading source file ./daikon/derive/unary/SequenceInitialFactory.java... Loading source file ./daikon/derive/unary/SequenceInitialFactoryFloat.java... Loading source file ./daikon/derive/unary/SequenceInitialFloat.java... Loading source file ./daikon/derive/unary/SequenceLength.java... Loading source file ./daikon/derive/unary/SequenceLengthFactory.java... Loading source file ./daikon/derive/unary/SequenceMax.java... Loading source file ./daikon/derive/unary/SequenceMin.java... Loading source file ./daikon/derive/unary/SequenceMinMaxSumFactory.java... Loading source file ./daikon/derive/unary/SequenceSum.java... Loading source file ./daikon/derive/unary/StringLength.java... Loading source file ./daikon/derive/unary/StringLengthFactory.java... Loading source file ./daikon/derive/unary/UnaryDerivation.java... Loading source file ./daikon/derive/unary/UnaryDerivationFactory.java... Loading source file ./daikon/diff/ConsequentCVFPairComparator.java... Loading source file ./daikon/diff/ConsequentCVFSortComparator.java... Loading source file ./daikon/diff/ConsequentExtractorVisitor.java... Loading source file ./daikon/diff/ConsequentPairComparator.java... Loading source file ./daikon/diff/ConsequentSortComparator.java... Loading source file ./daikon/diff/DepthFirstVisitor.java... Loading source file ./daikon/diff/DetailedStatisticsVisitor.java... Loading source file ./daikon/diff/Diff.java... Loading source file ./daikon/diff/InvMap.java... Loading source file ./daikon/diff/InvNode.java... Loading source file ./daikon/diff/MatchCountVisitor.java... Loading source file ./daikon/diff/MatchCountVisitor2.java... Loading source file ./daikon/diff/MinusVisitor.java... Loading source file ./daikon/diff/MultiDiff.java... Loading source file ./daikon/diff/MultiDiffVisitor.java... Loading source file ./daikon/diff/Node.java... Loading source file ./daikon/diff/PptCountVisitor.java... Loading source file ./daikon/diff/PptNode.java... Loading source file ./daikon/diff/PrintAllVisitor.java... Loading source file ./daikon/diff/PrintDifferingInvariantsVisitor.java... Loading source file ./daikon/diff/PrintNullDiffVisitor.java... Loading source file ./daikon/diff/RootNode.java... Loading source file ./daikon/diff/UnionVisitor.java... Loading source file ./daikon/diff/Visitor.java... Loading source file ./daikon/diff/XorInvariantsVisitor.java... Loading source file ./daikon/diff/XorVisitor.java... Loading source file ./daikon/inv/AndJoiner.java... Loading source file ./daikon/inv/DiscardCode.java... Loading source file ./daikon/inv/DiscardInfo.java... Loading source file ./daikon/inv/DummyInvariant.java... Loading source file ./daikon/inv/Equality.java... Loading source file ./daikon/inv/EqualityComparison.java... Loading source file ./daikon/inv/FeatureExtractor.java... Loading source file ./daikon/inv/GuardingImplication.java... Loading source file ./daikon/inv/Implication.java... Loading source file ./daikon/inv/InvDef.java... Loading source file ./daikon/inv/Invariant.java... Loading source file ./daikon/inv/InvariantInfo.java... Loading source file ./daikon/inv/InvariantStatus.java... Loading source file ./daikon/inv/Joiner.java... Loading source file ./daikon/inv/OutputFormat.java... Loading source file ./daikon/inv/ValueSet.java... Loading source file ./daikon/inv/binary/BinaryInvariant.java... Loading source file ./daikon/inv/binary/sequenceScalar/Member.java... Loading source file ./daikon/inv/binary/sequenceScalar/MemberFloat.java... Loading source file ./daikon/inv/binary/sequenceScalar/SeqFloatEqual.java... Loading source file ./daikon/inv/binary/sequenceScalar/SeqFloatGreaterEqual.java... Loading source file ./daikon/inv/binary/sequenceScalar/SeqFloatGreaterThan.java... Loading source file ./daikon/inv/binary/sequenceScalar/SeqFloatLessEqual.java... Loading source file ./daikon/inv/binary/sequenceScalar/SeqFloatLessThan.java... Loading source file ./daikon/inv/binary/sequenceScalar/SeqIntEqual.java... Loading source file ./daikon/inv/binary/sequenceScalar/SeqIntGreaterEqual.java... Loading source file ./daikon/inv/binary/sequenceScalar/SeqIntGreaterThan.java... Loading source file ./daikon/inv/binary/sequenceScalar/SeqIntLessEqual.java... Loading source file ./daikon/inv/binary/sequenceScalar/SeqIntLessThan.java... Loading source file ./daikon/inv/binary/sequenceScalar/SequenceFloat.java... Loading source file ./daikon/inv/binary/sequenceScalar/SequenceScalar.java... Loading source file ./daikon/inv/binary/sequenceString/MemberString.java... Loading source file ./daikon/inv/binary/sequenceString/SequenceString.java... Loading source file ./daikon/inv/binary/twoScalar/FloatEqual.java... Loading source file ./daikon/inv/binary/twoScalar/FloatGreaterEqual.java... Loading source file ./daikon/inv/binary/twoScalar/FloatGreaterThan.java... Loading source file ./daikon/inv/binary/twoScalar/FloatLessEqual.java... Loading source file ./daikon/inv/binary/twoScalar/FloatLessThan.java... Loading source file ./daikon/inv/binary/twoScalar/FloatNonEqual.java... Loading source file ./daikon/inv/binary/twoScalar/IntEqual.java... Loading source file ./daikon/inv/binary/twoScalar/IntGreaterEqual.java... Loading source file ./daikon/inv/binary/twoScalar/IntGreaterThan.java... Loading source file ./daikon/inv/binary/twoScalar/IntLessEqual.java... Loading source file ./daikon/inv/binary/twoScalar/IntLessThan.java... Loading source file ./daikon/inv/binary/twoScalar/IntNonEqual.java... Loading source file ./daikon/inv/binary/twoScalar/LinearBinary.java... Loading source file ./daikon/inv/binary/twoScalar/LinearBinaryCore.java... Loading source file ./daikon/inv/binary/twoScalar/LinearBinaryCoreFloat.java... Loading source file ./daikon/inv/binary/twoScalar/LinearBinaryFloat.java... Loading source file ./daikon/inv/binary/twoScalar/NumericFloat.java... Loading source file ./daikon/inv/binary/twoScalar/NumericInt.java... Loading source file ./daikon/inv/binary/twoScalar/TwoFloat.java... Loading source file ./daikon/inv/binary/twoScalar/TwoScalar.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseFloatEqual.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseFloatGreaterEqual.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseFloatGreaterThan.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseFloatLessEqual.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseFloatLessThan.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseIntEqual.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseIntGreaterEqual.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseIntGreaterThan.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseIntLessEqual.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseIntLessThan.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseLinearBinary.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseLinearBinaryFloat.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseNumericFloat.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseNumericInt.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseString.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseStringEqual.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseStringGreaterEqual.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseStringGreaterThan.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseStringLessEqual.java... Loading source file ./daikon/inv/binary/twoSequence/PairwiseStringLessThan.java... Loading source file ./daikon/inv/binary/twoSequence/Reverse.java... Loading source file ./daikon/inv/binary/twoSequence/ReverseFloat.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqFloatEqual.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqFloatGreaterEqual.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqFloatGreaterThan.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqFloatLessEqual.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqFloatLessThan.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqIntEqual.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqIntGreaterEqual.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqIntGreaterThan.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqIntLessEqual.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqIntLessThan.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqStringEqual.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqStringGreaterEqual.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqStringGreaterThan.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqStringLessEqual.java... Loading source file ./daikon/inv/binary/twoSequence/SeqSeqStringLessThan.java... Loading source file ./daikon/inv/binary/twoSequence/SubSequence.java... Loading source file ./daikon/inv/binary/twoSequence/SubSequenceFloat.java... Loading source file ./daikon/inv/binary/twoSequence/SubSet.java... Loading source file ./daikon/inv/binary/twoSequence/SubSetFloat.java... Loading source file ./daikon/inv/binary/twoSequence/SuperSequence.java... Loading source file ./daikon/inv/binary/twoSequence/SuperSequenceFloat.java... Loading source file ./daikon/inv/binary/twoSequence/SuperSet.java... Loading source file ./daikon/inv/binary/twoSequence/SuperSetFloat.java... Loading source file ./daikon/inv/binary/twoSequence/TwoSequence.java... Loading source file ./daikon/inv/binary/twoSequence/TwoSequenceFloat.java... Loading source file ./daikon/inv/binary/twoSequence/TwoSequenceString.java... Loading source file ./daikon/inv/binary/twoString/StdString.java... Loading source file ./daikon/inv/binary/twoString/StringEqual.java... Loading source file ./daikon/inv/binary/twoString/StringGreaterEqual.java... Loading source file ./daikon/inv/binary/twoString/StringGreaterThan.java... Loading source file ./daikon/inv/binary/twoString/StringLessEqual.java... Loading source file ./daikon/inv/binary/twoString/StringLessThan.java... Loading source file ./daikon/inv/binary/twoString/StringNonEqual.java... Loading source file ./daikon/inv/binary/twoString/TwoString.java... Loading source file ./daikon/inv/filter/DerivedParameterFilter.java... Loading source file ./daikon/inv/filter/DerivedVariableFilter.java... Loading source file ./daikon/inv/filter/DotNetStringFilter.java... Loading source file ./daikon/inv/filter/InvariantFilter.java... Loading source file ./daikon/inv/filter/InvariantFilters.java... Loading source file ./daikon/inv/filter/ObviousFilter.java... Loading source file ./daikon/inv/filter/OnlyConstantVariablesFilter.java... Loading source file ./daikon/inv/filter/ParentFilter.java... Loading source file ./daikon/inv/filter/ReadonlyPrestateFilter.java... Loading source file ./daikon/inv/filter/SimplifyFilter.java... Loading source file ./daikon/inv/filter/UnjustifiedFilter.java... Loading source file ./daikon/inv/filter/UnmodifiedVariableEqualityFilter.java... Loading source file ./daikon/inv/filter/VariableFilter.java... Loading source file ./daikon/inv/ternary/TernaryInvariant.java... Loading source file ./daikon/inv/ternary/threeScalar/FunctionBinary.java... Loading source file ./daikon/inv/ternary/threeScalar/FunctionBinaryFloat.java... Loading source file ./daikon/inv/ternary/threeScalar/LinearTernary.java... Loading source file ./daikon/inv/ternary/threeScalar/LinearTernaryCore.java... Loading source file ./daikon/inv/ternary/threeScalar/LinearTernaryCoreFloat.java... Loading source file ./daikon/inv/ternary/threeScalar/LinearTernaryFloat.java... Loading source file ./daikon/inv/ternary/threeScalar/ThreeFloat.java... Loading source file ./daikon/inv/ternary/threeScalar/ThreeScalar.java... Loading source file ./daikon/inv/unary/LowerBoundCore.java... Loading source file ./daikon/inv/unary/LowerBoundCoreFloat.java... Loading source file ./daikon/inv/unary/OneOf.java... Loading source file ./daikon/inv/unary/UnaryInvariant.java... Loading source file ./daikon/inv/unary/UpperBoundCore.java... Loading source file ./daikon/inv/unary/UpperBoundCoreFloat.java... Loading source file ./daikon/inv/unary/scalar/CompleteOneOfScalar.java... Loading source file ./daikon/inv/unary/scalar/IsPointer.java... Loading source file ./daikon/inv/unary/scalar/LowerBound.java... Loading source file ./daikon/inv/unary/scalar/LowerBoundFloat.java... Loading source file ./daikon/inv/unary/scalar/Modulus.java... Loading source file ./daikon/inv/unary/scalar/NonModulus.java... Loading source file ./daikon/inv/unary/scalar/NonZero.java... Loading source file ./daikon/inv/unary/scalar/NonZeroFloat.java... Loading source file ./daikon/inv/unary/scalar/OneOfFloat.java... Loading source file ./daikon/inv/unary/scalar/OneOfScalar.java... Loading source file ./daikon/inv/unary/scalar/Positive.java... Loading source file ./daikon/inv/unary/scalar/RangeFloat.java... Loading source file ./daikon/inv/unary/scalar/RangeInt.java... Loading source file ./daikon/inv/unary/scalar/SingleFloat.java... Loading source file ./daikon/inv/unary/scalar/SingleScalar.java... Loading source file ./daikon/inv/unary/scalar/UpperBound.java... Loading source file ./daikon/inv/unary/scalar/UpperBoundFloat.java... Loading source file ./daikon/inv/unary/sequence/CommonFloatSequence.java... Loading source file ./daikon/inv/unary/sequence/CommonSequence.java... Loading source file ./daikon/inv/unary/sequence/EltLowerBound.java... Loading source file ./daikon/inv/unary/sequence/EltLowerBoundFloat.java... Loading source file ./daikon/inv/unary/sequence/EltNonZero.java... Loading source file ./daikon/inv/unary/sequence/EltNonZeroFloat.java... Loading source file ./daikon/inv/unary/sequence/EltOneOf.java... Loading source file ./daikon/inv/unary/sequence/EltOneOfFloat.java... Loading source file ./daikon/inv/unary/sequence/EltRangeFloat.java... Loading source file ./daikon/inv/unary/sequence/EltRangeInt.java... Loading source file ./daikon/inv/unary/sequence/EltUpperBound.java... Loading source file ./daikon/inv/unary/sequence/EltUpperBoundFloat.java... Loading source file ./daikon/inv/unary/sequence/EltwiseFloatComparison.java... Loading source file ./daikon/inv/unary/sequence/EltwiseFloatEqual.java... Loading source file ./daikon/inv/unary/sequence/EltwiseFloatGreaterEqual.java... Loading source file ./daikon/inv/unary/sequence/EltwiseFloatGreaterThan.java... Loading source file ./daikon/inv/unary/sequence/EltwiseFloatLessEqual.java... Loading source file ./daikon/inv/unary/sequence/EltwiseFloatLessThan.java... Loading source file ./daikon/inv/unary/sequence/EltwiseIntComparison.java... Loading source file ./daikon/inv/unary/sequence/EltwiseIntEqual.java... Loading source file ./daikon/inv/unary/sequence/EltwiseIntGreaterEqual.java... Loading source file ./daikon/inv/unary/sequence/EltwiseIntGreaterThan.java... Loading source file ./daikon/inv/unary/sequence/EltwiseIntLessEqual.java... Loading source file ./daikon/inv/unary/sequence/EltwiseIntLessThan.java... Loading source file ./daikon/inv/unary/sequence/NoDuplicates.java... Loading source file ./daikon/inv/unary/sequence/NoDuplicatesFloat.java... Loading source file ./daikon/inv/unary/sequence/OneOfFloatSequence.java... Loading source file ./daikon/inv/unary/sequence/OneOfSequence.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexFloatEqual.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexFloatGreaterEqual.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexFloatGreaterThan.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexFloatLessEqual.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexFloatLessThan.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexFloatNonEqual.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexIntEqual.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexIntGreaterEqual.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexIntGreaterThan.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexIntLessEqual.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexIntLessThan.java... Loading source file ./daikon/inv/unary/sequence/SeqIndexIntNonEqual.java... Loading source file ./daikon/inv/unary/sequence/SingleFloatSequence.java... Loading source file ./daikon/inv/unary/sequence/SingleScalarSequence.java... Loading source file ./daikon/inv/unary/sequence/SingleSequence.java... Loading source file ./daikon/inv/unary/string/CompleteOneOfString.java... Loading source file ./daikon/inv/unary/string/OneOfString.java... Loading source file ./daikon/inv/unary/string/PrintableString.java... Loading source file ./daikon/inv/unary/string/SingleString.java... Loading source file ./daikon/inv/unary/stringsequence/CommonStringSequence.java... Loading source file ./daikon/inv/unary/stringsequence/EltOneOfString.java... Loading source file ./daikon/inv/unary/stringsequence/OneOfStringSequence.java... Loading source file ./daikon/inv/unary/stringsequence/SingleStringSequence.java... Loading source file ./daikon/simplify/Cmd.java... Loading source file ./daikon/simplify/CmdAssume.java... Loading source file ./daikon/simplify/CmdCheck.java... Loading source file ./daikon/simplify/CmdRaw.java... Loading source file ./daikon/simplify/CmdUndoAssume.java... Loading source file ./daikon/simplify/InvariantLemma.java... Loading source file ./daikon/simplify/Lemma.java... Loading source file ./daikon/simplify/LemmaStack.java... Loading source file ./daikon/simplify/Session.java... Loading source file ./daikon/simplify/SessionManager.java... Loading source file ./daikon/simplify/SimpUtil.java... Loading source file ./daikon/simplify/SimplifyError.java... Loading source file ./daikon/simplify/SimplifyException.java... Loading source file ./daikon/simplify/TimeoutException.java... Loading source file ./daikon/split/ArrayFixer.java... Loading source file ./daikon/split/ContextSplitterFactory.java... Loading source file ./daikon/split/FileCompiler.java... Loading source file ./daikon/split/NameFixer.java... Loading source file ./daikon/split/NullReplacer.java... Loading source file ./daikon/split/OrigFixer.java... Loading source file ./daikon/split/PptSplitter.java... Loading source file ./daikon/split/PrefixFixer.java... Loading source file ./daikon/split/PrefixRemover.java... Loading source file ./daikon/split/ReplaceStatement.java... Loading source file ./daikon/split/ReplaceStatementMap.java... Loading source file ./daikon/split/SpinfoFile.java... Loading source file ./daikon/split/Splitter.java... Loading source file ./daikon/split/SplitterExample.java... Loading source file ./daikon/split/SplitterFactory.java... Loading source file ./daikon/split/SplitterJavaSource.java... Loading source file ./daikon/split/SplitterList.java... Loading source file ./daikon/split/SplitterObject.java... Loading source file ./daikon/split/StatementReplacer.java... Loading source file ./daikon/split/ThisFixer.java... Loading source file ./daikon/split/TokenExtractor.java... Loading source file ./daikon/split/TokenReplacer.java... Loading source file ./daikon/split/Visitors.java... Loading source file ./daikon/split/misc/CallerContextSplitter.java... Loading source file ./daikon/split/misc/MiscSplitters.java... Loading source file ./daikon/split/misc/ReturnTrueSplitter.java... Loading source file ./daikon/suppress/NIS.java... Loading source file ./daikon/suppress/NISuppressee.java... Loading source file ./daikon/suppress/NISuppression.java... Loading source file ./daikon/suppress/NISuppressionSet.java... Loading source file ./daikon/suppress/NISuppressor.java... Loading source file ./daikon/test/Common.java... Loading source file ./daikon/test/DSForestTest.java... Loading source file ./daikon/test/DtraceDiffTester.java... Loading source file ./daikon/test/FormatTestCase.java... Loading source file ./daikon/test/GenericTestClass.java... Loading source file ./daikon/test/InstructionUtilsTest.java... Loading source file ./daikon/test/InvariantFormatTester.java... Loading source file ./daikon/test/KillerInstructionTests.java... Loading source file ./daikon/test/LinearTernaryCoreTest.java... Loading source file ./daikon/test/MasterUnitTester.java... Loading source file ./daikon/test/ModBitTrackerTest.java... Loading source file ./daikon/test/ProglangTypeTest.java... Loading source file ./daikon/test/SampleTester.java... Loading source file ./daikon/test/TestAnnotate.java... Loading source file ./daikon/test/TestAst.java... Loading source file ./daikon/test/TestClassOrInterfaceTypeDecorateVisitor.java... Loading source file ./daikon/test/TestQuant.java... Loading source file ./daikon/test/VarComparabilityTest.java... Loading source file ./daikon/test/VarInfoNameDriver.java... Loading source file ./daikon/test/VarInfoNameTest.java... Loading source file ./daikon/test/package-info.java... Loading source file ./daikon/test/config/ConfigurationTest.java... Loading source file ./daikon/test/config/HtmlToTexinfoTest.java... Loading source file ./daikon/test/diff/ConsequentCVFPairComparatorTester.java... Loading source file ./daikon/test/diff/ConsequentCVFSortComparatorTester.java... Loading source file ./daikon/test/diff/DetailedStatisticsVisitorTester.java... Loading source file ./daikon/test/diff/DiffDummyInvariant.java... Loading source file ./daikon/test/diff/DiffTester.java... Loading source file ./daikon/test/diff/InvMapTester.java... Loading source file ./daikon/test/diff/MinusVisitorTester.java... Loading source file ./daikon/test/diff/PrintDifferingInvariantsVisitorTester.java... Loading source file ./daikon/test/diff/UnionVisitorTester.java... Loading source file ./daikon/test/diff/XorVisitorTester.java... Loading source file ./daikon/test/diff/package-info.java... Loading source file ./daikon/test/inv/InvariantAddAndCheckTester.java... Loading source file ./daikon/test/inv/InvariantTester.java... Loading source file ./daikon/test/inv/package-info.java... Loading source file ./daikon/test/inv/unary/scalar/OneOfScalarTester.java... Loading source file ./daikon/test/inv/unary/sequence/OneOfSequenceTester.java... Loading source file ./daikon/test/split/SplitterFactoryTest.java... Loading source file ./daikon/test/split/SplitterFactoryTestUpdater.java... Loading source file ./daikon/tools/DtraceDiff.java... Loading source file ./daikon/tools/DtraceNonceFixer.java... Loading source file ./daikon/tools/DtracePartitioner.java... Loading source file ./daikon/tools/ExtractConsequent.java... Loading source file ./daikon/tools/InvMatch.java... Loading source file ./daikon/tools/InvTranslate.java... Loading source file ./daikon/tools/InvariantChecker.java... Loading source file ./daikon/tools/ReadTrace.java... Loading source file ./daikon/tools/TraceSelect.java... Loading source file ./daikon/tools/compare/LogicalCompare.java... Loading source file ./daikon/tools/jtb/Annotate.java... Loading source file ./daikon/tools/jtb/AnnotateVisitor.java... Loading source file ./daikon/tools/jtb/Annotation.java... Loading source file ./daikon/tools/jtb/Ast.java... Loading source file ./daikon/tools/jtb/ClassOrInterfaceTypeDecorateVisitor.java... Loading source file ./daikon/tools/jtb/CollectFieldsVisitor.java... Loading source file ./daikon/tools/jtb/ConditionExtractor.java... Loading source file ./daikon/tools/jtb/CreateSpinfo.java... Loading source file ./daikon/tools/jtb/CreateSpinfoC.java... Loading source file ./daikon/tools/jtb/InsertCommentFormatter.java... Loading source file ./daikon/tools/jtb/OrigModifier.java... Loading source file ./daikon/tools/jtb/ParseResults.java... Loading source file ./daikon/tools/jtb/PptNameMatcher.java... Loading source file ./daikon/tools/nullness/NullnessUtil.java... Loading source file ./daikon/tools/runtimechecker/CheckerClass.java... Loading source file ./daikon/tools/runtimechecker/CheckerClasses.java... Loading source file ./daikon/tools/runtimechecker/CommandHandler.java... Loading source file ./daikon/tools/runtimechecker/InstrumentHandler.java... Loading source file ./daikon/tools/runtimechecker/InstrumentVisitor.java... Loading source file ./daikon/tools/runtimechecker/Main.java... Loading source file ./daikon/tools/runtimechecker/MalformedPropertyException.java... Loading source file ./daikon/tools/runtimechecker/Property.java... Loading source file ./daikon/tools/runtimechecker/Runtime.java... Loading source file ./daikon/tools/runtimechecker/Violation.java... Loading source file ./daikon/tools/runtimechecker/WriteViolationFile.java... Loading source file ./jtb/JavaCharStream.java... Loading source file ./jtb/JavaParser.java... Loading source file ./jtb/JavaParserConstants.java... Loading source file ./jtb/JavaParserTest.java... Loading source file ./jtb/JavaParserTokenManager.java... Loading source file ./jtb/ParseException.java... Loading source file ./jtb/Token.java... Loading source file ./jtb/TokenMgrError.java... Loading source file ./jtb/cparser/ASCII_CharStream.java... Loading source file ./jtb/cparser/CParser.java... Loading source file ./jtb/cparser/CParserConstants.java... Loading source file ./jtb/cparser/CParserTokenManager.java... Loading source file ./jtb/cparser/ParseException.java... Loading source file ./jtb/cparser/Token.java... Loading source file ./jtb/cparser/TokenMgrError.java... Loading source file ./jtb/cparser/customvisitor/ConditionPrinter.java... Loading source file ./jtb/cparser/customvisitor/Converter.java... Loading source file ./jtb/cparser/customvisitor/Printer.java... Loading source file ./jtb/cparser/customvisitor/StringFinder.java... Loading source file ./jtb/cparser/syntaxtree/ANDExpression.java... Loading source file ./jtb/cparser/syntaxtree/AbstractDeclarator.java... Loading source file ./jtb/cparser/syntaxtree/AdditiveExpression.java... Loading source file ./jtb/cparser/syntaxtree/ArgumentExpressionList.java... Loading source file ./jtb/cparser/syntaxtree/AssignmentExpression.java... Loading source file ./jtb/cparser/syntaxtree/AssignmentOperator.java... Loading source file ./jtb/cparser/syntaxtree/CastExpression.java... Loading source file ./jtb/cparser/syntaxtree/CompoundStatement.java... Loading source file ./jtb/cparser/syntaxtree/ConditionalExpression.java... Loading source file ./jtb/cparser/syntaxtree/Constant.java... Loading source file ./jtb/cparser/syntaxtree/ConstantExpression.java... Loading source file ./jtb/cparser/syntaxtree/Declaration.java... Loading source file ./jtb/cparser/syntaxtree/DeclarationList.java... Loading source file ./jtb/cparser/syntaxtree/DeclarationSpecifiers.java... Loading source file ./jtb/cparser/syntaxtree/Declarator.java... Loading source file ./jtb/cparser/syntaxtree/DirectAbstractDeclarator.java... Loading source file ./jtb/cparser/syntaxtree/DirectDeclarator.java... Loading source file ./jtb/cparser/syntaxtree/EnumSpecifier.java... Loading source file ./jtb/cparser/syntaxtree/Enumerator.java... Loading source file ./jtb/cparser/syntaxtree/EnumeratorList.java... Loading source file ./jtb/cparser/syntaxtree/EqualityExpression.java... Loading source file ./jtb/cparser/syntaxtree/ExclusiveORExpression.java... Loading source file ./jtb/cparser/syntaxtree/Expression.java... Loading source file ./jtb/cparser/syntaxtree/ExpressionStatement.java... Loading source file ./jtb/cparser/syntaxtree/ExternalDeclaration.java... Loading source file ./jtb/cparser/syntaxtree/FunctionDefinition.java... Loading source file ./jtb/cparser/syntaxtree/IdentifierList.java... Loading source file ./jtb/cparser/syntaxtree/InclusiveORExpression.java... Loading source file ./jtb/cparser/syntaxtree/InitDeclarator.java... Loading source file ./jtb/cparser/syntaxtree/InitDeclaratorList.java... Loading source file ./jtb/cparser/syntaxtree/Initializer.java... Loading source file ./jtb/cparser/syntaxtree/InitializerList.java... Loading source file ./jtb/cparser/syntaxtree/IterationStatement.java... Loading source file ./jtb/cparser/syntaxtree/JumpStatement.java... Loading source file ./jtb/cparser/syntaxtree/LabeledStatement.java... Loading source file ./jtb/cparser/syntaxtree/LogicalANDExpression.java... Loading source file ./jtb/cparser/syntaxtree/LogicalORExpression.java... Loading source file ./jtb/cparser/syntaxtree/MultiplicativeExpression.java... Loading source file ./jtb/cparser/syntaxtree/Node.java... Loading source file ./jtb/cparser/syntaxtree/NodeChoice.java... Loading source file ./jtb/cparser/syntaxtree/NodeList.java... Loading source file ./jtb/cparser/syntaxtree/NodeListInterface.java... Loading source file ./jtb/cparser/syntaxtree/NodeListOptional.java... Loading source file ./jtb/cparser/syntaxtree/NodeOptional.java... Loading source file ./jtb/cparser/syntaxtree/NodeSequence.java... Loading source file ./jtb/cparser/syntaxtree/NodeToken.java... Loading source file ./jtb/cparser/syntaxtree/ParameterDeclaration.java... Loading source file ./jtb/cparser/syntaxtree/ParameterList.java... Loading source file ./jtb/cparser/syntaxtree/ParameterTypeList.java... Loading source file ./jtb/cparser/syntaxtree/Pointer.java... Loading source file ./jtb/cparser/syntaxtree/PostfixExpression.java... Loading source file ./jtb/cparser/syntaxtree/PrimaryExpression.java... Loading source file ./jtb/cparser/syntaxtree/RelationalExpression.java... Loading source file ./jtb/cparser/syntaxtree/SelectionStatement.java... Loading source file ./jtb/cparser/syntaxtree/ShiftExpression.java... Loading source file ./jtb/cparser/syntaxtree/SpecifierQualifierList.java... Loading source file ./jtb/cparser/syntaxtree/Statement.java... Loading source file ./jtb/cparser/syntaxtree/StatementList.java... Loading source file ./jtb/cparser/syntaxtree/StorageClassSpecifier.java... Loading source file ./jtb/cparser/syntaxtree/StructDeclaration.java... Loading source file ./jtb/cparser/syntaxtree/StructDeclarationList.java... Loading source file ./jtb/cparser/syntaxtree/StructDeclarator.java... Loading source file ./jtb/cparser/syntaxtree/StructDeclaratorList.java... Loading source file ./jtb/cparser/syntaxtree/StructOrUnion.java... Loading source file ./jtb/cparser/syntaxtree/StructOrUnionSpecifier.java... Loading source file ./jtb/cparser/syntaxtree/TranslationUnit.java... Loading source file ./jtb/cparser/syntaxtree/TypeName.java... Loading source file ./jtb/cparser/syntaxtree/TypeQualifier.java... Loading source file ./jtb/cparser/syntaxtree/TypeQualifierList.java... Loading source file ./jtb/cparser/syntaxtree/TypeSpecifier.java... Loading source file ./jtb/cparser/syntaxtree/TypedefName.java... Loading source file ./jtb/cparser/syntaxtree/UnaryExpression.java... Loading source file ./jtb/cparser/syntaxtree/UnaryOperator.java... Loading source file ./jtb/cparser/visitor/DepthFirstVisitor.java... Loading source file ./jtb/cparser/visitor/Visitor.java... Loading source file ./jtb/syntaxtree/AdditiveExpression.java... Loading source file ./jtb/syntaxtree/AllocationExpression.java... Loading source file ./jtb/syntaxtree/AndExpression.java... Loading source file ./jtb/syntaxtree/Annotation.java... Loading source file ./jtb/syntaxtree/AnnotationTypeBody.java... Loading source file ./jtb/syntaxtree/AnnotationTypeDeclaration.java... Loading source file ./jtb/syntaxtree/AnnotationTypeMemberDeclaration.java... Loading source file ./jtb/syntaxtree/ArgumentList.java... Loading source file ./jtb/syntaxtree/Arguments.java... Loading source file ./jtb/syntaxtree/ArrayDimsAndInits.java... Loading source file ./jtb/syntaxtree/ArrayInitializer.java... Loading source file ./jtb/syntaxtree/AssertStatement.java... Loading source file ./jtb/syntaxtree/AssignmentOperator.java... Loading source file ./jtb/syntaxtree/Block.java... Loading source file ./jtb/syntaxtree/BlockStatement.java... Loading source file ./jtb/syntaxtree/BooleanLiteral.java... Loading source file ./jtb/syntaxtree/BreakStatement.java... Loading source file ./jtb/syntaxtree/CastExpression.java... Loading source file ./jtb/syntaxtree/CastLookahead.java... Loading source file ./jtb/syntaxtree/ClassOrInterfaceBody.java... Loading source file ./jtb/syntaxtree/ClassOrInterfaceBodyDeclaration.java... Loading source file ./jtb/syntaxtree/ClassOrInterfaceDeclaration.java... Loading source file ./jtb/syntaxtree/ClassOrInterfaceType.java... Loading source file ./jtb/syntaxtree/CompilationUnit.java... Loading source file ./jtb/syntaxtree/ConditionalAndExpression.java... Loading source file ./jtb/syntaxtree/ConditionalExpression.java... Loading source file ./jtb/syntaxtree/ConditionalOrExpression.java... Loading source file ./jtb/syntaxtree/ConstructorDeclaration.java... Loading source file ./jtb/syntaxtree/ContinueStatement.java... Loading source file ./jtb/syntaxtree/DefaultValue.java... Loading source file ./jtb/syntaxtree/DoStatement.java... Loading source file ./jtb/syntaxtree/EmptyStatement.java... Loading source file ./jtb/syntaxtree/EnumBody.java... Loading source file ./jtb/syntaxtree/EnumConstant.java... Loading source file ./jtb/syntaxtree/EnumDeclaration.java... Loading source file ./jtb/syntaxtree/EqualityExpression.java... Loading source file ./jtb/syntaxtree/ExclusiveOrExpression.java... Loading source file ./jtb/syntaxtree/ExplicitConstructorInvocation.java... Loading source file ./jtb/syntaxtree/Expression.java... Loading source file ./jtb/syntaxtree/ExtendsList.java... Loading source file ./jtb/syntaxtree/FieldDeclaration.java... Loading source file ./jtb/syntaxtree/ForInit.java... Loading source file ./jtb/syntaxtree/ForStatement.java... Loading source file ./jtb/syntaxtree/ForUpdate.java... Loading source file ./jtb/syntaxtree/FormalParameter.java... Loading source file ./jtb/syntaxtree/FormalParameters.java... Loading source file ./jtb/syntaxtree/IfStatement.java... Loading source file ./jtb/syntaxtree/ImplementsList.java... Loading source file ./jtb/syntaxtree/ImportDeclaration.java... Loading source file ./jtb/syntaxtree/InclusiveOrExpression.java... Loading source file ./jtb/syntaxtree/Initializer.java... Loading source file ./jtb/syntaxtree/InstanceOfExpression.java... Loading source file ./jtb/syntaxtree/LabeledStatement.java... Loading source file ./jtb/syntaxtree/Literal.java... Loading source file ./jtb/syntaxtree/LocalVariableDeclaration.java... Loading source file ./jtb/syntaxtree/MarkerAnnotation.java... Loading source file ./jtb/syntaxtree/MemberSelector.java... Loading source file ./jtb/syntaxtree/MemberValue.java... Loading source file ./jtb/syntaxtree/MemberValueArrayInitializer.java... Loading source file ./jtb/syntaxtree/MemberValuePair.java... Loading source file ./jtb/syntaxtree/MemberValuePairs.java... Loading source file ./jtb/syntaxtree/MethodDeclaration.java... Loading source file ./jtb/syntaxtree/MethodDeclarator.java... Loading source file ./jtb/syntaxtree/Modifiers.java... Loading source file ./jtb/syntaxtree/MultiplicativeExpression.java... Loading source file ./jtb/syntaxtree/Name.java... Loading source file ./jtb/syntaxtree/NameList.java... Loading source file ./jtb/syntaxtree/Node.java... Loading source file ./jtb/syntaxtree/NodeChoice.java... Loading source file ./jtb/syntaxtree/NodeList.java... Loading source file ./jtb/syntaxtree/NodeListInterface.java... Loading source file ./jtb/syntaxtree/NodeListOptional.java... Loading source file ./jtb/syntaxtree/NodeOptional.java... Loading source file ./jtb/syntaxtree/NodeSequence.java... Loading source file ./jtb/syntaxtree/NodeToken.java... Loading source file ./jtb/syntaxtree/NormalAnnotation.java... Loading source file ./jtb/syntaxtree/NullLiteral.java... Loading source file ./jtb/syntaxtree/PackageDeclaration.java... Loading source file ./jtb/syntaxtree/PostfixExpression.java... Loading source file ./jtb/syntaxtree/PreDecrementExpression.java... Loading source file ./jtb/syntaxtree/PreIncrementExpression.java... Loading source file ./jtb/syntaxtree/PrimaryExpression.java... Loading source file ./jtb/syntaxtree/PrimaryPrefix.java... Loading source file ./jtb/syntaxtree/PrimarySuffix.java... Loading source file ./jtb/syntaxtree/PrimitiveType.java... Loading source file ./jtb/syntaxtree/RSIGNEDSHIFT.java... Loading source file ./jtb/syntaxtree/RUNSIGNEDSHIFT.java... Loading source file ./jtb/syntaxtree/ReferenceType.java... Loading source file ./jtb/syntaxtree/RelationalExpression.java... Loading source file ./jtb/syntaxtree/ResultType.java... Loading source file ./jtb/syntaxtree/ReturnStatement.java... Loading source file ./jtb/syntaxtree/ShiftExpression.java... Loading source file ./jtb/syntaxtree/SingleMemberAnnotation.java... Loading source file ./jtb/syntaxtree/Statement.java... Loading source file ./jtb/syntaxtree/StatementExpression.java... Loading source file ./jtb/syntaxtree/StatementExpressionList.java... Loading source file ./jtb/syntaxtree/SwitchLabel.java... Loading source file ./jtb/syntaxtree/SwitchStatement.java... Loading source file ./jtb/syntaxtree/SynchronizedStatement.java... Loading source file ./jtb/syntaxtree/ThrowStatement.java... Loading source file ./jtb/syntaxtree/TryStatement.java... Loading source file ./jtb/syntaxtree/Type.java... Loading source file ./jtb/syntaxtree/TypeArgument.java... Loading source file ./jtb/syntaxtree/TypeArguments.java... Loading source file ./jtb/syntaxtree/TypeBound.java... Loading source file ./jtb/syntaxtree/TypeDeclaration.java... Loading source file ./jtb/syntaxtree/TypeParameter.java... Loading source file ./jtb/syntaxtree/TypeParameters.java... Loading source file ./jtb/syntaxtree/UnaryExpression.java... Loading source file ./jtb/syntaxtree/UnaryExpressionNotPlusMinus.java... Loading source file ./jtb/syntaxtree/VariableDeclarator.java... Loading source file ./jtb/syntaxtree/VariableDeclaratorId.java... Loading source file ./jtb/syntaxtree/VariableInitializer.java... Loading source file ./jtb/syntaxtree/WhileStatement.java... Loading source file ./jtb/syntaxtree/WildcardBounds.java... Loading source file ./jtb/visitor/DepthFirstVisitor.java... Loading source file ./jtb/visitor/GJDepthFirst.java... Loading source file ./jtb/visitor/GJNoArguDepthFirst.java... Loading source file ./jtb/visitor/GJNoArguVisitor.java... Loading source file ./jtb/visitor/GJVisitor.java... Loading source file ./jtb/visitor/GJVoidDepthFirst.java... Loading source file ./jtb/visitor/GJVoidVisitor.java... Loading source file ./jtb/visitor/TreeDumper.java... Loading source file ./jtb/visitor/TreeFormatter.java... Loading source file ./jtb/visitor/Visitor.java... Loading source file ./typequals/prototype/qual/NonPrototype.java... Loading source file ./typequals/prototype/qual/Prototype.java... Loading source file ./typequals/vindex/qual/VIndexBottom.java... Loading source file ./typequals/vindex/qual/VIndexTop.java... Loading source file ./typequals/vindex/qual/VIndexUnqualified.java... Loading source file ./typequals/vindex/qual/ValueIndex.java... Loading source file ./typequals/vindex/qual/VarIndex.java... Constructing Javadoc information... Opening ../doc/invariants-doc.texinfo for output... make[4]: Leaving directory '/home/bo/projects/daikon-5.7.2/java' rm -rf daikon/* makeinfo --html --split=chapter -o daikon daikon.texinfo # Fixup 'bad' href(s) inserted by makeinfo. perl -pi -e 's|../dir/index.html|../index.html|;' daikon/index.html perl -pi -e 's|href="CHANGES"|href="../CHANGES"|;' daikon/*.html mkdir daikon/images cp images/*.png daikon/images cp images/*.jpg daikon/images ../utils/html-tools/html-add-favicon daikon ../daikon-favicon.png make daikon-html make[4]: Entering directory '/home/bo/projects/daikon-5.7.2/doc' makeinfo --html --no-split daikon.texinfo # Fixup 'bad' href inserted by makeinfo. perl -pi -e 's|dir.html#Top|index.html|;' daikon.html ../utils/html-tools/html-add-favicon . daikon-favicon.png make[4]: Leaving directory '/home/bo/projects/daikon-5.7.2/doc' makeinfo --pdf daikon.texinfo This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) (preloaded format=pdfetex) restricted \write18 enabled. entering extended mode (./daikon.texinfo (/usr/share/texmf/tex/texinfo/texinfo.tex Loading texinfo [version 2018-01-09.11]: pdf, fonts, markup, glyphs, page headings, tables, conditionals, indexing, sectioning, toc, environments, defuns, macros, cross references, insertions, localization, formatting, and turning on texinfo input format.) ./daikon.texinfo:77: epsf.tex not found, images will be ignored. @image ...f.tex not found, images will be ignored} @global @warnednoepsftrue ... l.77 @image{images/daikon-logo,4in,} ? [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] (/home/bo/projects/daikon-5.7.2/doc/daikon.toc [-1] [-2] [-3] [-4]) [-5] (/home/bo/projects/daikon-5.7.2/doc/daikon.toc) (/home/bo/projects/daikon-5.7.2/doc/daikon.toc) Chapter 1 (/home/bo/projects/daikon-5.7.2/doc/daikon.aux) Writing index file daikon.cp Chapter 2 [1] Overfull \hbox (65.28067pt too wide) in paragraph at lines 324--324 []@smalltt export JAVA_HOME=${JAVA_HOME:-$(dirname $(dirname $(dirname $(read- link -f $(/usr/bin/which java)))))}[] [2] [3] [4] [5] Chapter 3 [6] Overfull \hbox (94.71193pt too wide) in paragraph at lines 703--703 []@texttt java -cp myclasspath:$DAIKONDIR/daikon.jar daikon.DynComp mypackage. MyClass arg1 arg2 arg3[] Overfull \hbox (35.91151pt too wide) in paragraph at lines 771--771 []@texttt java -cp .:$DAIKONDIR/daikon.jar daikon.DynComp DataStructures.Stack ArTester[] [7] Overfull \hbox (46.09535pt too wide) in paragraph at lines 865--865 []@texttt java -cp $DAIKONDIR/daikon.jar daikon.PrintInvariants StackArTester. inv.gz[] Overfull \hbox (74.83879pt too wide) in paragraph at lines 877--877 []@texttt java -cp $DAIKONDIR/daikon.jar daikon.tools.jtb.Annotate StackArTest er.inv.gz \[] [8] Overfull \hbox (14.2303pt too wide) in paragraph at lines 911--911 []@texttt java -cp myclasspath:$DAIKONDIR/daikon.jar daikon.DynComp <MyMain> a rguments[] [9] Overfull \hbox (35.91151pt too wide) in paragraph at lines 990--990 []@texttt java -cp .:$DAIKONDIR/daikon.jar daikon.DynComp DataStructures.Queue ArTester[] Overfull \hbox (22.7721pt too wide) in paragraph at lines 1011--1011 []@texttt java -cp $DAIKONDIR/daikon.jar daikon.Daikon QueueArTester.dtrace.gz [] [10] Overfull \hbox (18.66545pt too wide) in paragraph at lines 1104--1104 []@texttt kvasir-dtrace ./wordplay -f words.txt 'Daikon Dynamic Invariant Dete ctor'[] [11] Overfull \hbox (24.2563pt too wide) in paragraph at lines 1173--1173 []@smalltt java -Xmx256m daikon.Daikon daikon-output/wordplay-all.dtrace daiko n-output/wordplay.decls[] [12] [13] [14] Overfull \hbox (87.6497pt too wide) in paragraph at lines 1394--1394 []@texttt java -cp $DAIKONDIR/daikon.jar daikon.Daikon Birthday.decls test_bda y-combined.dtrace[] [15] Overfull \hbox (71.71718pt too wide) in paragraph at lines 1426--1426 []@texttt java -cp $DAIKONDIR/daikon.jar daikon.Daikon -o standalone.inv stand alone-main.decls \[] Chapter 4 [16] [17] [18] Overfull \hbox (117.87079pt too wide) in paragraph at lines 1683--1683 []@texttt java -cp $DAIKONDIR/daikon.jar daikon.PrintInvariants --dbg daikon.P rintInvariants.repr \[] [19] [20] [21] Chapter 5 [22] [23] [24] [25] [26] [27] [28] [29] (/home/bo/projects/daikon-5.7.2/doc/invariants-doc.texinfo [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50]) [51] [52] Chapter 6 [53] (/home/bo/projects/daikon-5.7.2/doc/config-options.texinfo [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80]) Overfull \hbox (35.91151pt too wide) in paragraph at lines 2788--2788 []@texttt java -cp $DAIKONDIR/daikon.jar daikon.Daikon Foo.decls Foo.spinfo Fo o.dtrace[] [81] Underfull \hbox (badness 10000) in paragraph at lines 2822--2842 @texttt daikon.split.PptSplitter.dummy_invariant_level[] @textrm to a non-zero value (see [82] [83] [84] Overfull \hbox (58.57776pt too wide) in paragraph at lines 3107--3107 []@texttt java -cp $DAIKONDIR/daikon.jar daikon.tools.jtb.CreateSpinfo Foo.jav a Bar.java[] [85] [86] [87] [88] Chapter 7 [89] [90] [91] [92] [93] [94] [95] [96] Overfull \hbox (127.56201pt too wide) in paragraph at lines 4011--4011 []@texttt java -cp myclasspath:$DAIKONDIR/daikon.jar daikon.DynComp mypackage. MyClass arg1 arg2 arg3[] [97] [98] [99] [100] Overfull \hbox (52.82907pt too wide) in paragraph at lines 4246--4246 []@texttt java -cp @textttsl my-class-path@texttt :$DAIKONDIR/daikon.jar daiko n.DynComp @textttsl dyncomp-args class- [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] Overfull \hbox (81.57251pt too wide) in paragraph at lines 5938--5938 [] @texttt ./foo | java -cp $DAIKONDIR/daikon.jar daikon.Daikon daikon-outp ut/foo.decls -[] [124] [125] [126] [127] [128] [129] [130] [131] [132] Overfull \hbox (98.81857pt too wide) in paragraph at lines 6594--6594 []@texttt java -cp $DAIKONDIR/daikon.jar daikon.Daikon --nohierarchy myfile.de cls myfile.dtrace[] [133] Chapter 8 [134] Overfull \hbox (12.58826pt too wide) in paragraph at lines 6725--6725 []@texttt java -cp $DAIKONDIR/daikon.jar daikon.PrintInvariants @textttsl [fla gs] inv-file[] Underfull \hbox (badness 10000) in paragraph at lines 6732--6734 []@textrm In par-tic-u-lar, see the con-fig-u-ra-tion op-tions whose names star t with Underfull \hbox (badness 10000) in paragraph at lines 6732--6734 @texttt daikon.PrintInvariants[]@textrm ; see [][]Section 6.1.1.8 [Gen-eral con -fig-u-ra-tion op-tions], [135] Overfull \hbox (64.32645pt too wide) in paragraph at lines 6792--6792 []@texttt java -cp $DAIKONDIR/daikon.jar daikon.MergeInvariants @textttsl [fla gs]... file1 file2@texttt ...[] Overfull \hbox (24.08563pt too wide) in paragraph at lines 6843--6843 []@texttt java -cp $DAIKONDIR/daikon.jar daikon.diff.Diff @textttsl [flags]... file1 @texttt [@textttsl file2@texttt ][] [136] [137] Overfull \hbox (129.20406pt too wide) in paragraph at lines 6966--6966 []@texttt java -cp $DAIKONDIR/daikon.jar daikon.tools.jtb.Annotate Myprog.inv Myprog.java Myprog2.java ...[] [138] [139] Overfull \hbox (66.55627pt too wide) in paragraph at lines 7123--7123 []@smalltt java -cp $DAIKONDIR/daikon.jar daikon.AnnotateNullable an.inv.gz > nullable-annotations.jaif[] Underfull \hbox (badness 10000) in paragraph at lines 7126--7132 []@textrm Use the [][]Annotation File Util-i-ties (@texttt https: / / checkerf ramework . org / [140] Overfull \hbox (219.54102pt too wide) in paragraph at lines 7262--7262 []@texttt java -cp myclasspath:$DAIKONDIR/daikon.jar daikon.tools.runtimecheck er.WriteViolationFile MyProg arg1 arg2[] [141] Overfull \hbox (42.97374pt too wide) in paragraph at lines 7368--7368 []@texttt java -cp $DAIKONDIR/daikon.jar daikon.tools.InvariantChecker [@textt tsl op-tions@texttt ] @textttsl invariant- [142] Overfull \hbox (18.33694pt too wide) in paragraph at lines 7433--7433 []@texttt java -cp $DAIKONDIR/daikon.jar daikon.tools.compare.LogicalCompare [ @textttsl op- [143] [144] [145] [146] Chapter 9 [147] Overfull \hbox (14.2303pt too wide) in paragraph at lines 7761--7761 []@texttt Exception in thread "main" java.lang.NoClassDefFoundError: mypackage /MyClass[] Underfull \hbox (badness 10000) in paragraph at lines 7772--7779 @texttt myclasspath:$DAIKONDIR/daikon.jar daikon.Chicory mypackage.MyClass arg1 arg2 Underfull \hbox (badness 10000) in paragraph at lines 7772--7779 @textrm case @texttt java -cp myclasspath:$DAIKONDIR/daikon.jar mypackage.MyCla ss arg1 arg2 [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] Overfull \hbox (31.47636pt too wide) in paragraph at lines 8617--8617 []@texttt java -cp myclasspath:$DAIKONDIR/daikon.jar DataStructures.StackArTes ter args...[] [158] [159] [160] Chapter 10 [161] [162] [163] [164] [165] (General Index) [166] No file daikon.cps. [167] )</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmb10.pfb> </usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/ share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/ texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi12.pfb></usr/share/texliv e/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf -dist/fonts/type1/public/amsfonts/cm/cmr9.pfb></usr/share/texlive/texmf-dist/fo nts/type1/public/amsfonts/cm/cmsl10.pfb></usr/share/texlive/texmf-dist/fonts/ty pe1/public/amsfonts/cm/cmsltt10.pfb></usr/share/texlive/texmf-dist/fonts/type1/ public/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public /amsfonts/cm/cmti10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfo nts/cm/cmtt10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm /cmtt12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt9 .pfb> Output written on daikon.pdf (174 pages, 641708 bytes). Transcript written on daikon.log. /usr/bin/texi2dvi: pdfetex exited with bad status, quitting. Makefile:114: recipe for target 'daikon.pdf' failed make[3]: *** [daikon.pdf] Error 1 make[3]: Leaving directory '/home/bo/projects/daikon-5.7.2/doc' Makefile:513: recipe for target 'doc-all' failed make[2]: *** [doc-all] Error 2 make[2]: Leaving directory '/home/bo/projects/daikon-5.7.2' Makefile:271: recipe for target 'rebuild-everything-but-kvasir' failed make[1]: *** [rebuild-everything-but-kvasir] Error 2 make[1]: Leaving directory '/home/bo/projects/daikon-5.7.2' Makefile:267: recipe for target 'rebuild-everything' failed make: *** [rebuild-everything] Error 2 make: Leaving directory '/home/bo/projects/daikon-5.7.2'I think it's some problem about generating pdf. It also happens on ubuntu 18.04.2. but it succeed on ubuntu 16.04.6
-
DynComp failures with tests/daikon-tests/RatPoly
opened by mernst 7Originally reported on Google Code with ID 26
If you cd to tests/daikon-tests/RatPoly; then do: make clean make dyndomp-diff The four output files: RatPoly.txt-cset RatPoly.txt-cset.diff RatPoly.decls-DynComp RatPoly.decls-DynComp.diff show many differences. We looked at one in particular from RatPoly.txt-cset.diff: Variable sets for PolyCalc.RatPoly.findTermIndex(PolyCalc.RatTermVec ts, I expt) exit - [1] [Parameter expt] - [1] [return] + [2] [Parameter expt, return] [1] [Parameter ts] [1] [Field ts.wrapped] [1] [List ts.wrapped[..]] [1] [Class of ts.wrapped[..]] We didn't think that Parameter expt and return should be in the same set.Reported by
Type-Defect Priority-Medium[email protected]on 2014-02-05 17:08:03 -
DynComp: a fatal error has been detected by the Java Runtime Environment (ClassNotFoundException)
opened by boyang9602 6Hi,
I met another JVM fatal error, different from https://github.com/codespecs/daikon/issues/340. It only happens to Chart-19. Below is the output
$ java -Xmx43G -cp /home/ubuntu/daikon-5.8.8/daikon.jar:build/:build-tests/:/home/ubuntu/APR_Projects/Chart/19/Chart19f/lib/itext-2.0.2.jar:/home/ubuntu/APR_Projects/Chart/19/Chart19f/lib/itext-2.0.6.jar:/home/ubuntu/APR_Projects/Chart/19/Chart19f/lib/junit.jar:/home/ubuntu/APR_Projects/Chart/19/Chart19f/lib/servlet.jar:/home/ubuntu/launcher/ daikon.DynComp '--ppt-select-pattern=^org\.jfree\.chart\.plot\.CategoryPlot' --output-dir=ft_invariants_files0 TestRunner org.jfree.chart.plot.junit.CategoryPlotTests::testGetRangeAxisIndex org.jfree.chart.plot.junit.CategoryPlotTests::testGetDomainAxisIndex |& tee ft_invariants_files0/dyncomp-output.txt java.lang.ClassNotFoundException - klass: 'java/lang/ClassNotFoundException' # # A fatal error has been detected by the Java Runtime Environment: # # Internal Error (exceptions.cpp:460), pid=28779, tid=0x00007f2e6605b700 # fatal error: ExceptionMark constructor expects no pending exceptions # # JRE version: OpenJDK Runtime Environment (8.0_292-b10) (build 1.8.0_292-8u292-b10-0ubuntu1~18.04-b10) # Java VM: OpenJDK 64-Bit Server VM (25.292-b10 mixed mode linux-amd64 ) # Failed to write core dump. Core dumps have been disabled. To enable core dumping, try "ulimit -c unlimited" before starting Java again # # An error report file with more information is saved as: # /home/ubuntu/APR_Projects/Chart/19/Chart19f/hs_err_pid28779.log # # If you would like to submit a bug report, please visit: # http://bugreport.java.com/bugreport/crash.jsp #If I run the tests directly, it works fine,
$ java -Xmx43G -cp /home/ubuntu/daikon-5.8.8/daikon.jar:build/:build-tests/:/home/ubuntu/APR_Projects/Chart/19/Chart19f/lib/itext-2.0.2.jar:/home/ubuntu/APR_Projects/Chart/19/Chart19f/lib/itext-2.0.6.jar:/home/ubuntu/APR_Projects/Chart/19/Chart19f/lib/junit.jar:/home/ubuntu/APR_Projects/Chart/19/Chart19f/lib/servlet.jar:/home/ubuntu/launcher/ TestRun ner org.jfree.chart.plot.junit.CategoryPlotTests::testGetRangeAxisIndex org.jfree.chart.plot.junit.CategoryPlotTests::testGetDomainAxisIndex SUCCESS SUCCESSubuntu@repair:~$ java -version openjdk version "1.8.0_292" OpenJDK Runtime Environment (build 1.8.0_292-8u292-b10-0ubuntu1~18.04-b10) OpenJDK 64-Bit Server VM (build 25.292-b10, mixed mode)The steps to reproduce the issue:
- install defects4j, https://github.com/rjust/defects4j
- checkout the Chart-19f using defects4j checkout -p Chart -v 19f -w Chart19f
- go to Chart19f and compile the project using defects4j compile
- compile the TestRunner
- go to Chart19f and run
CLASSPATH=$(find "$PWD" -name '*.jar' -type f -printf ':%p\n' | sort -u | tr -d '\n'); java -Xmx43G -cp $DAIKONDIR/daikon.jar:build/:build-tests/$CLASSPATH:<TestRunner path> TestRunner org.jfree.chart.plot.junit.CategoryPlotTests::testGetRangeAxisIndex org.jfree.chart.plot.junit.CategoryPlotTests::testGetDomainAxisIndex
-
Add rsync to ubuntu-jdk8 Dockerfile
opened by VHellendoorn 5As described; patch is necessary to build Daikon Jar (see Makefile, L602). Please note that this same fix may need to be applied to some/all other Dockerfiles; happy to tag those commits on to this PR if found applicable.
-
daikon.Chicory instrumentation can introduce ConcurrentModificationExceptions
opened by Thiez 5While using Daikon in combination with EvoSuite I ran into a situation where the automatically generated tests would pass when I ran them normally, but would fail when I used Daikon. It turns out the generated test was attempting to trigger a
ConcurrentModificationException, but it failed because the exception was not triggered in my code, but in daikon's instrumentation code. It was trigged in daikon.chicory.ListInfo.getMyValFromParentFile, line 44, wheretoArrayis called, and occurs when a list that has been concurrently modified is either passed as a method parameter, or is the parameter of a method that causes it to get into the "concurrently modified" state during the execution of that method. Here is a minimal program that demonstrates the problem for the former situation:public class Bug { public static void main(String[] args) { java.util.List<Object> base = new java.util.ArrayList<>(); java.util.List<Object> bomb = base.subList(0, 0); base.add(""); detonate(bomb); } public static void detonate(java.util.List<Object> bomb) { } }When compiled and run (
javac Bug.java && java Bug) this program will print nothing and exit normally. When run with daikon (javac Bug.java && java -cp .:path/to/daikon.jar daikon.Chicory Bug), the result is:entered daikon.chicory.Runtime.setDtrace(./Bug.dtrace.gz, false)... Exception in thread "main" java.lang.Error: java.lang.reflect.InvocationTargetException at daikon.chicory.ListInfo.getMyValFromParentVal(ListInfo.java:50) at daikon.chicory.DTraceWriter.traverseValue(DTraceWriter.java:240) at daikon.chicory.DTraceWriter.traverse(DTraceWriter.java:212) at daikon.chicory.DTraceWriter.methodEntry(DTraceWriter.java:86) at daikon.chicory.Runtime.enter(Runtime.java:263) at Bug.detonate(Bug.java:8) at Bug.main(Bug.java:6) Caused by: java.lang.reflect.InvocationTargetException at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at daikon.chicory.ListInfo.getMyValFromParentVal(ListInfo.java:44) ... 6 more Caused by: java.util.ConcurrentModificationException at java.util.ArrayList$SubList.checkForComodification(ArrayList.java:1231) at java.util.ArrayList$SubList.size(ArrayList.java:1040) at java.util.AbstractCollection.toArray(AbstractCollection.java:136) ... 11 more Warning: Target exited with 1 statusSimilarly, we can do the following, where the exception is triggered when we leave
detonate.public class Bug { public static void main(String[] args) { java.util.List<Object> base = new java.util.ArrayList<>(); detonate(base.subList(0, 0), base); } public static void detonate(java.util.List<Object> bomb, java.util.List<Object> trigger) { trigger.add(new Object()); } }I'm not sure what the best behavior would be in this instance, but perhaps some special casing for
java.util.SubList<T>would be possible? I suppose this is but an instance of a much more general challenge, that daikon can trigger unintended execution of arbitrary code, e.g. the following code prints "Hello world" twice when run through daikon.Chicory, otherwise it prints nothing.public class Bug extends java.util.ArrayList<Object> { public static void main(String[] args) { runToArray(new Bug()); } public static void runToArray(java.util.List<Object> bug) {} public Object[] toArray() { System.out.println("Hello world"); return new Object[0]; } }Of course the above code is probably not very realistic, but I think it would be nice if the sublist-problem could be solved.
-
dcomp_rt NullPointerException when built with Oracle jdk1.7.0_21 on Mac OS 10.7.5
opened by mernst 5Originally reported on Google Code with ID 9
daikon.dcomp.BuildJDK assumes that all classes will contain a classname with multiple components. The Oracle 1.7.0_21 rt.jar violates this assumption; throwing Error caused by a NullPointer exception. Exception in thread "main" java.lang.Error: Couldn't instrument WrapperGenerator$1 at daikon.dcomp.BuildJDK.translate_classes(BuildJDK.java:351) at daikon.dcomp.BuildJDK.main(BuildJDK.java:189) Caused by: java.lang.NullPointerException at java.io.File.<init>(File.java:334) at daikon.dcomp.BuildJDK.processClassFile(BuildJDK.java:391) at daikon.dcomp.BuildJDK.translate_classes(BuildJDK.java:349) ... 1 more I have attached a copy of my modified BuildJDK source; modifications are between lines 391 and 397. The build completes cleanly but I haven't done any meaningful regression testing.Reported by
[email protected]on 2013-04-25 16:26:22
- _Attachment: [BuildJDK.java](https://storage.googleapis.com/google-code-attachments/daikon/issue-9/comment-0/BuildJDK.java)_ Type-Defect Priority-Medium -
Getting InaccessibleObjectException while using AnnotateNullable
opened by Vyom-Yadav 4Hi, Team daikon,
We wish to integerate the Checker Framework with the Checkstyle project. After setting up Checker Framework, it recommended-
Inference of @Nullable: If your code uses the standard CLIMB-to-top default (Section 31.5.3) or the NonNull default, then use the AnnotateNullable tool of the Daikon invariant detector.
We are facing some problems while using the AnnotateNullable tool, we ran the following commands-
openjdk version "11.0.14" 2022-01-18 OpenJDK Runtime Environment (build 11.0.14+9-post-Debian-1) OpenJDK 64-Bit Server VM (build 11.0.14+9-post-Debian-1, mixed mode, sharing)Distributor ID: Kali Description: Kali GNU/Linux Rolling Release: 2022.1 Codename: kali-rolling$ mkdir daikonparent $ cd daikonparent $ wget http://plse.cs.washington.edu/daikon/download/daikon-5.8.10.tar.gz $ tar zxf daikon-5.8.10.tar.gzSet the environment variables
$ make -C $DAIKONDIR rebuild-everythingOutput- log.txt (Downloadable format) gist
We wish to use the Daikon invariant detector only for the AnnotateNullable tool.
After that trying to follow the commands mentioned under the annotate nullable tool on a test file
$ java -cp $DAIKONDIR/daikon.jar daikon.Chicory \ --dtrace-file=an.dtrace.gz /home/vyom/IdeaProjects/ConfigCheckstyle/src/TestP/Test.java Exception in thread "main" java.lang.reflect.InaccessibleObjectException: Unable to make field private static final java.lang.String com.sun.tools.javac.launCchhiecr.orMya iwnarn.binugn: dnlo ereNcaomrdes wearcec perisnstiedbl e: module jdk.compiler does not "opens com.sun.tools.javac.launcher" to unnamed module @701fc37a at java.base/java.lang.reflect.AccessibleObject.checkCanSetAccessible(AccessibleObject.java:340) at java.base/java.lang.reflect.AccessibleObject.checkCanSetAccessible(AccessibleObject.java:280) at java.base/java.lang.reflect.Field.checkCanSetAccessible(Field.java:176) at java.base/java.lang.reflect.Field.setAccessible(Field.java:170) at daikon.chicory.DaikonVariableInfo.addDeclVar(DaikonVariableInfo.java:771) at daikon.chicory.DaikonVariableInfo.addClassVars(DaikonVariableInfo.java:556) at daikon.chicory.RootInfo.enter_process(RootInfo.java:43) at daikon.chicory.Runtime.process_new_classes(Runtime.java:449) at daikon.chicory.Runtime.enter(Runtime.java:248) at jdk.compiler/com.sun.tools.javac.launcher.Main.main(Main.java:119) Warning: Target exited with 1 statusAs a workaround for this we tried adding flag-
--add-opens jdk.compiler/com.sun.tools.javac.launcher=ALL-UNNAMED$ java --add-opens jdk.compiler/com.sun.tools.javac.launcher=ALL-UNNAMED -cp $DAIKONDIR/daikon.jar daikon.Chicory \ --dtrace-file=an.dtrace.gz /home/vyom/IdeaProjects/ConfigCheckstyle/src/TestP/Test.java Exception in thread "main" java.lang.reflect.InaccessibleObjectException: Unable to make field private static final java.lang.String com.sun.tools.javac.launcher.Main.bundlCeNhamice oarcy cewassrniibnleg:: mnood urlee cjodkr.dcso mwpeilreer pdoreis nntoetd "opens com.sun.tools.javac.launcher" to unnamed module @701fc37a at java.base/java.lang.reflect.AccessibleObject.checkCanSetAccessible(AccessibleObject.java:340) at java.base/java.lang.reflect.AccessibleObject.checkCanSetAccessible(AccessibleObject.java:280) at java.base/java.lang.reflect.Field.checkCanSetAccessible(Field.java:176) at java.base/java.lang.reflect.Field.setAccessible(Field.java:170) at daikon.chicory.DaikonVariableInfo.addDeclVar(DaikonVariableInfo.java:771) at daikon.chicory.DaikonVariableInfo.addClassVars(DaikonVariableInfo.java:556) at daikon.chicory.RootInfo.enter_process(RootInfo.java:43) at daikon.chicory.Runtime.process_new_classes(Runtime.java:449) at daikon.chicory.Runtime.enter(Runtime.java:248) at jdk.compiler/com.sun.tools.javac.launcher.Main.main(Main.java:119) Warning: Target exited with 1 statusStill got the same error, also the error message was distorted-
Exception in thread "main" java.lang.reflect.InaccessibleObjectException: Unable to make field private static final java.lang.String com.sun.tools.javac.launcher.Main.bundlCeNhamice oarcy cewassrniibnleg:: mnood urlee cjodkr.dcso mwpeilreer pdoreis nntoetdAny help in getting Daikon invariant detector set up and successfully using Annotate Nullable tool will be appreciated.
Thanking You, Vyom Yadav
-
Trouble terminating when running 'runcluster.pl' and help with inputs for daikon
opened by Albli001348 0Java version: 'Open JDK 11.0.10'
Command Run: runcluster.pl -a km ../../research/outfile_2a.dtrace ../../research/outfile_2a.decls
Command line Output: cmd_output.txt
Input Files: outfile_2a.decls.txt outfile_2a.dtrace.txt
Use Case: I have a series of system traces (originally a csv) containing variable values that lack any explicit evidence of correlation between each message. I was hoping to utilize daikon to discover conditional invariants for this. An example of an invariant I want to discover is 'if (x > threshold) then y = 0'. This can be confirmed in the original trace as a series of messages would have an increasing value of x with y = 1, until x crosses some threshold and y = 0 becomes true (the variables are not actually called x and y in the trace file). However, I have numerous similar invariants hidden in the trace and I plan to use daikon to automatically detect them. My understanding is that daikon would require a splitter info file for this and runcluster.pl would be able to create one from a .dtrace file. When I attempted to call runcluster.pl, I received the command line output pasted above with a notices saying that a java command failed to execute. What could I be doing wrong?
Side note: On a different note, how should I format my .dtrace files such that I can discover the invariant above? I naively parsed the original trace into .dtrace, .decls files where the function correlating to a message depends on who the source is. However, the x and y variables I'm mentioning above belong to two different sources. Would combining the two into a new 'function' before calling runcluster.pl and daikon generate my desired invariant?
Found Issue: I noticed in runcluster.pl that it attempts to call the daikon jar file with the option '--var_omit_pattern="class" ' which resulted in a 'unrecognized option' error. I'm not sure if this is necessary or not but removing it produced the output above.
-
Java: invariant masked by overflow condition (no exceptions) ?
opened by wilsondy 4java version "1.8.0_131" Java(TM) SE Runtime Environment (build 1.8.0_131-b11) Java HotSpot(TM) 64-Bit Server VM (build 25.131-b11, mixed mode)Darwin Dylans-MBP.localdomain 19.6.0 Darwin Kernel Version 19.6.0: Mon Aug 31 22:12:52 PDT 2020; root:xnu-6153.141.2~1/RELEASE_X86_64 x86_64Compile per your preference...java -cp target/classes:target/test-classes:$DAIKONDIR/daikon.jar daikon.Chicory --daikon --ppt-select-pattern=org\.joda\.time\.field\.FieldUtils org.junit.runner.JUnitCore org.joda.time.field.TestFieldUtils0 0 0 0 letting overflow go... 0 0 letting overflow go... 0 0 0 0 0 0 0 0 letting overflow go... 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 letting overflow go... 0 0 0 0 0 0 0 0 0 0 Count: 20 Chicory warning: ClassFile: org.junit.runner.notification.RunNotifier$9 - classfile version (49) is out of date and may not be processed correctly. Chicory warning: ClassFile: org.junit.runner.notification.RunNotifier$4 - classfile version (49) is out of date and may not be processed correctly. Chicory warning: ClassFile: org.junit.runner.notification.RunNotifier$2 - classfile version (49) is out of date and may not be processed correctly. Time: 0.086 OK (1 test) Daikon version 5.8.5, released July 22, 2020; http://plse.cs.washington.edu/daikon. Reading declaration files Processing trace data; reading 1 dtrace file: =========================================================================== org.joda.time.field.FieldUtils.safeAdd(long, long):::ENTER val1 != val2 =========================================================================== org.joda.time.field.FieldUtils.safeAdd(long, long):::EXIT return != orig(val1) return != orig(val2) =========================================================================== org.joda.time.field.FieldUtils.safeAdd2(long,long):::ENTER val1 != val2 =========================================================================== org.joda.time.field.FieldUtils.safeAdd2(long, long):::EXIT return != orig(val1) return != orig(val2) return - orig(val1) - orig(val2) == 0 Exiting Daikon.What you expected to happen:
testSafeAdd Invariant should equal testSafeAdd2 (particularlyreturn - orig(val1) - orig(val2) == 0as we see no indication this invariant was violated even in the overflow conditions...Source attached SOURCE.zip Thank you!
unreproducible -
Cannot run LogicalCompare to completion
opened by JChen677 7Hello, I am trying to use LogicalCompare to compare invariants, but when I do I consistently receive a java.lang.NullPointerException directly after "Testing Postconditions:" of the LogicalCompare output.
I built Daikon and Kvasir from the git repo, following exactly the instructions in the documentation. I installed Simplify from the zip file pointed to by the documentation and marked Simplify-1.5.4.linux for usage. An exact bash command log is attached below. cmds.txt
I am running on Ubuntu version 18.04 and have attached a copy of the output from LogicalCompare below. lcOut.txt
Thank you, Jeffrey Chen
-
Annotate adds \old environment to non-static fields with JML format
opened by GualterP 0Hello,
When proving (using OpenJML) the attached example code, which is annotated with the results from running Annotate, the following errors occur:
error: Non-static fields are not allowed in \old environments in postconditions: cID @ ensures this.customerID == \old(cID);
error: Non-static fields are not allowed in \old environments in postconditions: oID @ ensures this.orderID == \old(oID);
The corresponding postconditions appear in:
/*@ @ public normal_behavior // Generated by Daikon **@ ensures this.customerID == \old(cID);** @ ensures this.order.orderID == -1; @*/ public Customer(int cID) { this.customerID = cID; this.order = new Order(-1); } /*@ @ public normal_behavior // Generated by Daikon @ requires oID >= -1; **@ ensures this.orderID == \old(oID);** @*/ public Order(int oID) { this.orderID = oID; }The expected results would be that Daikon's Annotate would output non-static fields without the \old environment:
/*@ @ public normal_behavior // Generated by Daikon **@ ensures this.customerID == cID;** @ ensures this.order.orderID == -1; @*/ public Customer(int cID) { this.customerID = cID; this.order = new Order(-1); } /*@ @ public normal_behavior // Generated by Daikon @ requires oID >= -1; **@ ensures this.orderID == oID;** @*/ public Order(int oID) { this.orderID = oID; }The following commands were used in order to obtain the shown results: javac -g *.java java -cp .:$DAIKONDIR/daikon.jar daikon.DynComp Tester java -cp .:$DAIKONDIR/daikon.jar daikon.Chicory --daikon --comparability-file=Tester.decls-DynComp Tester java -cp .:$DAIKONDIR/daikon.jar daikon.tools.jtb.Annotate --format jml Tester.inv.gz Customer.java Order.java
I am using Daikon 5.8.0 with Java 11, in Ubuntu 18.04.
Thank you. example.zip
-
Annotate output missing invariant visibility with JML format
opened by GualterP 1Hello,
When executing Annotate with JML format, the annotated class invariants are missing their visibility. Annotate adds /*@spec_public */ to private variables in order for them to be used as public when proving the specification. Since the invariants' visibility is missing, when using the annotated code as input in OpenJML, their visibility defaults to package. This creates inconsistencies when proving programs.
Here is an excerpt example of this problem, using the attached code:
/*@ invariant this.customerID >= 1; / /@ invariant this.order != null; / ... /@ spec_public / private int customerID; /@ spec_public */ private Order order;
As is, we have package invariants over public variables. In OpenJML, the following error is obtained when proving this program: "An identifier with public visibility may not be used in a invariant clause with package visibility".
The expected result would be: /*@ public invariant this.customerID >= 1; / /@ public invariant this.order != null; / ... /@ spec_public / private int customerID; /@ spec_public */ private Order order;
The following commands were used in order to obtain the shown results: javac -g *.java java -cp .:$DAIKONDIR/daikon.jar daikon.DynComp Tester java -cp .:$DAIKONDIR/daikon.jar daikon.Chicory --daikon --comparability-file=Tester.decls-DynComp Tester java -cp .:$DAIKONDIR/daikon.jar daikon.tools.jtb.Annotate --format jml Tester.inv.gz Customer.java Order.java
I am using Daikon 5.8.0 with Java 11, in Ubuntu 18.04.
Thank you. example.zip
On-device wake word detection powered by deep learning.
Porcupine Made in Vancouver, Canada by Picovoice Porcupine is a highly-accurate and lightweight wake word engine. It enables building always-listening
2.8k Jan 7, 2023
Official React Native client for FingerprintJS PRO. 100% accurate device identification for fraud detection.
FingerprintJS PRO React Native Official React Native module for 100% accurate device identification, created for the FingerprintJS Pro Server API. Thi
26 Nov 22, 2022
Document scanner with border detection, perspective correction and custom crop/resize
react-native-document-scanner Preview iOS Android Both Platform Use version >=1.4.1 if you are using react-native 0.48+ $ yarn add https://github.com/
53 Nov 10, 2022
BungeeCord/Spigot plugin that fixes Multi-world detection by simulating mod presence on the server side
Companion for map mods Unofficial BungeeCord and Spigot (Paper) companion plugin for Xaero's Minimap (and their World Map), JourneyMap and VoxelMap. T
3 Sep 18, 2022
dynamic datasource for springboot 多数据源 动态数据源 主从分离 读写分离 分布式事务
一个基于springboot的快速集成多数据源的启动器 简介 dynamic-datasource-spring-boot-starter 是一个基于springboot的快速集成多数据源的启动器。 其支持 Jdk 1.7+, SpringBoot 1.4.x 1.5.x 2.x.x。 文档 | D
3.8k Dec 31, 2022
Dynamic Configuration Capability for SpringBoot Application
Spring Boot Dynamic Config Hot-reload your SpringBoot configurations, with just a '@DynamicConfig' annotation, the simplest solution, ever. English 简体
153 Jan 3, 2023
🔥 强大的动态线程池，并附带监控报警功能（没有依赖中间件），完全遵循阿里巴巴编码规范。Powerful dynamic thread pool, does not rely on any middleware, with monitoring and alarm function.
?? 动态线程池（DTP）系统，包含 Server 端及 SpringBoot Client 端需引入的 Starter. 这个项目做什么？ 动态线程池（Dynamic-ThreadPool），下面简称 DTP 系统 美团线程池文章 介绍中，因为业务对线程池参数没有合理配置，触发过几起生产事故，进而
3.4k Dec 30, 2022
Generate a dynamic PAC script that will route traffic to your Burp proxy only if it matches the scope defined in your Burp target.
Burp PAC Server This Burp Extension generates a dynamic Proxy Auto-Configuration (PAC) script that will route traffic to your Burp proxy only if it ma
30 Jun 13, 2022
A quiz app with great layout design, dynamic questions using firebase and what not....
AndroidQuizApp An android quiz app created using Android Studio with our language JAVA that has great layout design, dynamic questions using firebase
4 Dec 30, 2022
This is the VapeCloud project, it is a Minecraft Dynamic CloudSystem based on Nio-Networking.
This is the VapeCloud project, it is a Minecraft Dynamic CloudSystem based on Nio-Networking. IMPORTENT: this Cloudsystem is still in Development Requ
2 Dec 19, 2022
A light-weight and dynamic dependency injection framework
⚠️ This project is now part of the EE4J initiative. This repository has been archived as all activities are now happening in the corresponding Eclipse
105 Dec 23, 2022
Dynamic Reports using Jasper Reports
DynamicJasper DynamicJasper (DJ) is an API that hides the complexity of JasperReports, it helps developers to save time when designing simple/medium c
218 Dec 28, 2022
A Fully Code Integrated Dynamic DataBase Management System for the Java Platform
dynamic-database A fully code integrated minimal database management system for Java, Scala, Kotlin or Groovy projects. It is written in Java and can
2 Jun 8, 2022
The KubeJS data dumper and dynamic typing generator.
ProbeJS A data dumper and typing generator for the KubeJS functions, constants and classes. Great thanks to @DAmNRelentless, @LatvianModder and @yeste
22 Dec 8, 2022
Inspect pmap -X output of a java process, requires Java11, likely not 100% accurate
java-pmap-inspector Inspect pmap -X output of a java process, requires Java 11, likely not 100% accurate. Usage examples $ pmap -X pid > pmap.txt; jav
7 Jul 6, 2022
ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection
ReDoSHunter ReDoSHunter is a combined static and dynamic approach for regular expression DoS detection. LATEST NOTE (updated at 2021.09.13): ReDoSHunt
43 Dec 23, 2022
On-device wake word detection powered by deep learning.
Porcupine Made in Vancouver, Canada by Picovoice Porcupine is a highly-accurate and lightweight wake word engine. It enables building always-listening
2.8k Dec 30, 2022
A memory leak detection library for Android.
LeakCanary ?? A memory leak detection library for Android. square.github.io/leakcanary License Copyright 2015 Square, Inc. Licensed under the Apache
28.1k Jan 3, 2023
A memory leak detection library for Android.
LeakCanary ?? A memory leak detection library for Android. square.github.io/leakcanary License Copyright 2015 Square, Inc. Licensed under the Apache
28.1k Jan 7, 2023
👄 The most accurate natural language detection library for Java and the JVM, suitable for long and short text alike
Quick Info this library tries to solve language detection of very short words and phrases, even shorter than tweets makes use of both statistical and
532 Dec 28, 2022