├── .dockerignore ├── .github └── workflows │ └── simple_build.yml ├── .gitignore ├── Dockerfile ├── LICENSE-2.0.txt ├── README.md ├── bin ├── javajpf ├── jpf ├── jpf.bat ├── print_class ├── print_class.bat ├── print_events ├── test └── test.bat ├── docker-compose.yml ├── docs ├── Call-for-JPF-2021.md ├── Downloading-sources-(OLD).md ├── Google-Summer-of-Code.md ├── Gradle-Support-on-JPF.md ├── JPF-Day-2021-(Online).md ├── JPF-Online-Day-2020.md ├── JPF-Version-6-released.md ├── JPF-Workshops.md ├── Projects.md ├── README.md ├── Running-JPF.md ├── Summer-Project-Summit-2010.md ├── Support-Java-10-for-JPF-CORE.md ├── Writing-JPF-tests.md ├── _Footer.md ├── _Sidebar.md ├── _config.yml ├── _includes │ ├── add_navigation.sh │ ├── fix_image_paths.sh │ ├── fix_links.sh │ ├── navigation.html │ └── remove_navigation_from_md.sh ├── _layouts │ └── default.html ├── assets │ └── css │ │ └── style.css ├── devel │ ├── Bytecode-Factories.md │ ├── ChoiceGenerators.md │ ├── Coding-convention.md │ ├── Developer-guide.md │ ├── Host-Eclipse-plugin-update-site.md │ ├── Listeners.md │ ├── Logging-system.md │ ├── Model-Java-Interface.md │ ├── Partial-Order-Reduction.md │ ├── Reporting-System.md │ ├── Running-JPF-from-application.md │ ├── Search-Strategies.md │ ├── Slot-and-field-attributes.md │ ├── create_project.md │ ├── index.md │ ├── mji │ │ └── Mangling-for-MJI.md │ └── modules.md ├── graphics │ ├── DFSListener.svg │ ├── app-types.svg │ ├── attributes.svg │ ├── bc-factory.svg │ ├── cg-impl.svg │ ├── cg-motivation.svg │ ├── cg-ontology.svg │ ├── cg-sequence.svg │ ├── choicegen-example.svg │ ├── genpeer.svg │ ├── interleavings.svg │ ├── jpf-abstractions.svg │ ├── jpf-basic.svg │ ├── jpf-intro-new.svg │ ├── jpf-layers.svg │ ├── jpf-project.svg │ ├── listener-overview.svg │ ├── listeners.svg │ ├── mji-call.svg │ ├── mji-functions.svg │ ├── mji-mangling.svg │ ├── new-testing.svg │ ├── por-mark.svg │ ├── por-scheduling-relevance.svg │ ├── properties.svg │ ├── report.svg │ ├── states-mc.svg │ ├── states-testing.svg │ ├── sw-model-checking-2.svg │ └── sw-model-checking.svg ├── gsoc │ ├── GSoC-2018-Project-Ideas.md │ ├── GSoC-2019-Project-Ideas.md │ ├── GSoC-2020-Project-Ideas.md │ ├── GSoC-2021-Project-Ideas.md │ ├── GSoC-2022-Project-Ideas.md │ ├── GSoC-2023-Project-Ideas.md │ ├── GSoC-2024-Project-Ideas.md │ ├── GSoC-2025-Project-Ideas.md │ ├── JPF-Google-Summer-of-Code-2018.md │ ├── JPF-Google-Summer-of-Code-2019.md │ ├── JPF-Google-Summer-of-Code-2020.md │ ├── JPF-Google-Summer-of-Code-2021.md │ ├── JPF-Google-Summer-of-Code-2022.md │ ├── JPF-Google-Summer-of-Code-2023.md │ ├── JPF-Google-Summer-of-Code-2024.md │ ├── JPF-Google-Summer-of-Code-2025.md │ ├── JPF-and-Google-Summer-of-Code-2010.md │ ├── JPF-and-Google-Summer-of-Code-2011.md │ ├── JPF-and-Google-Summer-of-Code-2012.md │ └── index.md ├── index.md ├── install │ ├── Build,-Test,-Run.md │ ├── Creating-site-properties-file.md │ ├── Downloading-binary-snapshots.md │ ├── Downloading-sources.md │ ├── How-to-install-JPF.md │ ├── NetBeans-JPF.md │ ├── NetBeans-Plugin.md │ ├── System-requirements.md │ ├── gov-nasa-jpf-netbeans-runjpf.nbm │ └── index.md ├── intro │ ├── Classification.md │ ├── Introduction.md │ ├── Race-Example.md │ ├── Random-Example.md │ ├── Testing-vs.-Model-Checking.md │ ├── What-is-JPF.md │ └── index.md ├── jpf-core │ ├── AssertionProperty.md │ ├── ErrorTraceGenerator.md │ ├── ExceptionInjector.md │ ├── IdleFilter.md │ ├── JPF-core.md │ └── index.md ├── papers │ ├── Related-publications.md │ ├── chicago-author-date.csl │ ├── index.md │ └── references.bib ├── user │ ├── Configuring-JPF.md │ ├── Different-applications-of-JPF.md │ ├── How-to-use-JPF.md │ ├── Run-JPF-using-Eclipse.md │ ├── Run-JPF-using-NetBeans.md │ ├── Run-JPF-using-eclipse-jpf.md │ ├── Run-JPF-with-NetBeans-plugin.md │ ├── Runtime-components-of-JPF.md │ ├── Understanding-JPF-output.md │ ├── Verify-API-of-JPF.md │ ├── config │ │ └── Randomization-options-in-JPF.md │ └── index.md └── workshops │ ├── index.md │ ├── workshop-2013 │ └── JPF-Workshop-2013-Accepted-Papers.md │ ├── workshop-2014 │ └── JPF-Workshop-2014-Accepted-Papers.md │ ├── workshop-2016 │ ├── JPF-Workshop-2016-Call-For-Papers.md │ ├── JPF-Workshop-2016-Organization.md │ ├── JPF-Workshop-2016-Program.md │ ├── JPF-Workshop-2016-Registration.md │ ├── JPF-Workshop-2016-Submission.md │ ├── JPF-Workshop-2016-Travel.md │ └── JPF-Workshop-2016.md │ ├── workshop-2017 │ ├── JPF-Workshop-2017-Accepted-Papers.md │ ├── JPF-Workshop-2017-Organizers.md │ ├── JPF-Workshop-2017-Program.md │ └── JPF-Workshop-2017.md │ ├── workshop-2018 │ └── JPF-Workshop-2018.md │ └── workshop-2019 │ └── JPF-Workshop-2019.md ├── gradle ├── build-resources.gradle ├── distribution.gradle ├── ide-support.gradle ├── source-sets.gradle └── wrapper │ ├── gradle-wrapper.jar │ └── gradle-wrapper.properties ├── gradlew ├── gradlew.bat ├── jpf.properties ├── output.txt ├── settings.gradle └── src ├── annotations └── gov │ └── nasa │ └── jpf │ └── annotation │ ├── BitFlip.java │ ├── FilterField.java │ ├── FilterFrame.java │ ├── JPFAttribute.java │ ├── JPFConfig.java │ ├── JPFOption.java │ ├── JPFOptions.java │ ├── MJI.java │ ├── NeverBreak.java │ ├── NoJPFExecution.java │ └── NonShared.java ├── classes ├── gov │ └── nasa │ │ └── jpf │ │ ├── AnnotationProxyBase.java │ │ ├── BoxObjectCaches.java │ │ ├── CachedROHttpConnection.java │ │ ├── ConsoleOutputStream.java │ │ ├── EventProducer.java │ │ ├── FinalizerThread.java │ │ └── SerializationConstructor.java ├── modules │ ├── java.base │ │ ├── java │ │ │ ├── io │ │ │ │ ├── File.java │ │ │ │ ├── FileDescriptor.java │ │ │ │ ├── FileInputStream.java │ │ │ │ ├── FileOutputStream.java │ │ │ │ ├── InputStreamReader.java │ │ │ │ ├── OutputStreamWriter.java │ │ │ │ └── RandomAccessFile.java │ │ │ ├── lang │ │ │ │ ├── Class.java │ │ │ │ ├── ClassLoader.java │ │ │ │ ├── InheritableThreadLocal.java │ │ │ │ ├── Object.java │ │ │ │ ├── StackFrameInfo.java │ │ │ │ ├── StackTraceElement.java │ │ │ │ ├── String.java │ │ │ │ ├── System.java │ │ │ │ ├── Thread.java │ │ │ │ ├── ThreadGroup.java │ │ │ │ ├── ThreadLocal.java │ │ │ │ ├── Throwable.java │ │ │ │ ├── annotation │ │ │ │ │ ├── Inherited.java │ │ │ │ │ └── Retention.java │ │ │ │ ├── invoke │ │ │ │ │ └── JPFFieldVarHandle.java │ │ │ │ ├── ref │ │ │ │ │ ├── Reference.java │ │ │ │ │ ├── ReferenceQueue.java │ │ │ │ │ └── WeakReference.java │ │ │ │ └── reflect │ │ │ │ │ ├── AccessibleObject.java │ │ │ │ │ ├── Constructor.java │ │ │ │ │ ├── Field.java │ │ │ │ │ ├── InvocationTargetException.java │ │ │ │ │ ├── Method.java │ │ │ │ │ └── Proxy.java │ │ │ ├── net │ │ │ │ └── URLClassLoader.java │ │ │ ├── nio │ │ │ │ ├── Buffer.java │ │ │ │ ├── BufferUnderflowException.java │ │ │ │ ├── ByteBuffer.java │ │ │ │ ├── ByteOrder.java │ │ │ │ ├── CharBuffer.java │ │ │ │ ├── channels │ │ │ │ │ └── FileChannel.java │ │ │ │ ├── files │ │ │ │ │ ├── FileSystem.java │ │ │ │ │ ├── FileSystems.java │ │ │ │ │ ├── Path.java │ │ │ │ │ └── spi │ │ │ │ │ │ └── FileSystemProvider.java │ │ │ │ └── package-info.java │ │ │ ├── security │ │ │ │ ├── AccessController.java │ │ │ │ ├── MessageDigest.java │ │ │ │ └── SecureClassLoader.java │ │ │ ├── text │ │ │ │ ├── DateFormat.java │ │ │ │ ├── DecimalFormat.java │ │ │ │ ├── Format.java │ │ │ │ ├── NumberFormat.java │ │ │ │ └── SimpleDateFormat.java │ │ │ └── util │ │ │ │ ├── Random.java │ │ │ │ ├── ServiceLoader.java │ │ │ │ ├── TimeZone.java │ │ │ │ ├── concurrent │ │ │ │ ├── BrokenBarrierException.java │ │ │ │ ├── CyclicBarrier.java │ │ │ │ ├── Exchanger.java │ │ │ │ ├── ThreadLocalRandom.java │ │ │ │ └── atomic │ │ │ │ │ ├── AtomicIntegerArray.java │ │ │ │ │ ├── AtomicIntegerFieldUpdater.java │ │ │ │ │ ├── AtomicLong.java │ │ │ │ │ ├── AtomicLongArray.java │ │ │ │ │ ├── AtomicLongFieldUpdater.java │ │ │ │ │ ├── AtomicReferenceArray.java │ │ │ │ │ └── AtomicReferenceFieldUpdater.java │ │ │ │ ├── function │ │ │ │ └── Supplier.java │ │ │ │ ├── regex │ │ │ │ ├── Matcher.java │ │ │ │ └── Pattern.java │ │ │ │ └── zip │ │ │ │ └── ZipFile.java │ │ ├── jdk │ │ │ └── internal │ │ │ │ ├── misc │ │ │ │ ├── JavaAWTAccess.java │ │ │ │ ├── JavaIOAccess.java │ │ │ │ ├── JavaIODeleteOnExitAccess.java │ │ │ │ ├── JavaIOFileDescriptorAccess.java │ │ │ │ ├── JavaLangAccess.java │ │ │ │ ├── JavaNetAccess.java │ │ │ │ ├── JavaNetInetAddressAccess.java │ │ │ │ ├── JavaNetSocketAccess.java │ │ │ │ ├── JavaNetUriAccess.java │ │ │ │ ├── JavaNioAccess.java │ │ │ │ ├── JavaSecurityAccess.java │ │ │ │ ├── SharedSecrets.java │ │ │ │ └── Unsafe.java │ │ │ │ └── reflect │ │ │ │ └── ConstantPool.java │ │ └── sun │ │ │ ├── net │ │ │ └── www │ │ │ │ └── protocol │ │ │ │ └── http │ │ │ │ └── Handler.java │ │ │ ├── nio │ │ │ └── ch │ │ │ │ └── Interruptible.java │ │ │ └── reflect │ │ │ └── annotation │ │ │ └── AnnotationType.java │ └── java.logging │ │ └── java │ │ └── util │ │ └── logging │ │ └── FileHandler.java └── org │ └── junit │ ├── After.java │ ├── AfterClass.java │ ├── Before.java │ ├── BeforeClass.java │ ├── Ignore.java │ └── Test.java ├── examples ├── BoundedBuffer.java ├── BoundedBuffer.jpf ├── Crossing.java ├── Crossing.jpf ├── DiningPhil.java ├── DiningPhil.jpf ├── HelloWorld.java ├── HelloWorld.jpf ├── NumericValueCheck.java ├── NumericValueCheck.jpf ├── Racer.java ├── Racer.jpf ├── Rand.java ├── Rand.jpf ├── RobotManager-replay-nt.jpf ├── RobotManager-replay-ot.jpf ├── RobotManager.java ├── RobotManager.jpf ├── StopWatch.java ├── StopWatch.jpf ├── TestExample-coverage.jpf ├── TestExample.java ├── oldclassic-da.jpf ├── oldclassic.java └── oldclassic.jpf ├── main ├── fault │ └── injection │ │ └── examples │ │ ├── APISimpleExample.java │ │ ├── AnnotationSimpleExample.java │ │ ├── BCDEncodedISBN.java │ │ ├── CRC.java │ │ ├── CheckISBN.java │ │ └── LongEncodedCRC.java └── gov │ └── nasa │ └── jpf │ ├── $coreTag.java │ ├── Config.java │ ├── ConfigChangeListener.java │ ├── Error.java │ ├── GenericProperty.java │ ├── JPF.java │ ├── JPFClassLoader.java │ ├── JPFConfigException.java │ ├── JPFErrorException.java │ ├── JPFException.java │ ├── JPFListener.java │ ├── JPFListenerException.java │ ├── JPFNativePeerException.java │ ├── JPFShell.java │ ├── ListenerAdapter.java │ ├── Property.java │ ├── PropertyListenerAdapter.java │ ├── State.java │ ├── StateExtension.java │ ├── SystemAttribute.java │ ├── jvm │ ├── ClassFile.java │ ├── ClassFilePrinter.java │ ├── ClassFileReader.java │ ├── ClassFileReaderAdapter.java │ ├── ClassNames.java │ ├── DirClassFileContainer.java │ ├── JRTClassFileContainer.java │ ├── JVMAnnotationParser.java │ ├── JVMByteCodePrinter.java │ ├── JVMByteCodeReader.java │ ├── JVMByteCodeReaderAdapter.java │ ├── JVMClassFileContainer.java │ ├── JVMClassInfo.java │ ├── JVMCodeBuilder.java │ ├── JVMDirectCallStackFrame.java │ ├── JVMInstructionFactory.java │ ├── JVMNativeStackFrame.java │ ├── JVMStackFrame.java │ ├── JVMSystemClassLoaderInfo.java │ ├── JarClassFileContainer.java │ ├── SkipAnnotation.java │ └── bytecode │ │ ├── AALOAD.java │ │ ├── AASTORE.java │ │ ├── ACONST_NULL.java │ │ ├── ALOAD.java │ │ ├── ANEWARRAY.java │ │ ├── ARETURN.java │ │ ├── ARRAYLENGTH.java │ │ ├── ASTORE.java │ │ ├── ATHROW.java │ │ ├── ArrayLoadInstruction.java │ │ ├── ArrayStoreInstruction.java │ │ ├── BALOAD.java │ │ ├── BASTORE.java │ │ ├── BIPUSH.java │ │ ├── CALOAD.java │ │ ├── CASTORE.java │ │ ├── CHECKCAST.java │ │ ├── D2F.java │ │ ├── D2I.java │ │ ├── D2L.java │ │ ├── DADD.java │ │ ├── DALOAD.java │ │ ├── DASTORE.java │ │ ├── DCMPG.java │ │ ├── DCMPL.java │ │ ├── DCONST.java │ │ ├── DDIV.java │ │ ├── DIRECTCALLRETURN.java │ │ ├── DLOAD.java │ │ ├── DMUL.java │ │ ├── DNEG.java │ │ ├── DREM.java │ │ ├── DRETURN.java │ │ ├── DSTORE.java │ │ ├── DSUB.java │ │ ├── DUP.java │ │ ├── DUP2.java │ │ ├── DUP2_X1.java │ │ ├── DUP2_X2.java │ │ ├── DUP_X1.java │ │ ├── DUP_X2.java │ │ ├── DoubleCompareInstruction.java │ │ ├── EXECUTENATIVE.java │ │ ├── F2D.java │ │ ├── F2I.java │ │ ├── F2L.java │ │ ├── FADD.java │ │ ├── FALOAD.java │ │ ├── FASTORE.java │ │ ├── FCMPG.java │ │ ├── FCMPL.java │ │ ├── FCONST.java │ │ ├── FDIV.java │ │ ├── FINISHCLINIT.java │ │ ├── FLOAD.java │ │ ├── FMUL.java │ │ ├── FNEG.java │ │ ├── FREM.java │ │ ├── FRETURN.java │ │ ├── FSTORE.java │ │ ├── FSUB.java │ │ ├── GETFIELD.java │ │ ├── GETSTATIC.java │ │ ├── GOTO.java │ │ ├── GOTO_W.java │ │ ├── GetHelper.java │ │ ├── I2B.java │ │ ├── I2C.java │ │ ├── I2D.java │ │ ├── I2F.java │ │ ├── I2L.java │ │ ├── I2S.java │ │ ├── IADD.java │ │ ├── IALOAD.java │ │ ├── IAND.java │ │ ├── IASTORE.java │ │ ├── ICONST.java │ │ ├── IDIV.java │ │ ├── IFEQ.java │ │ ├── IFGE.java │ │ ├── IFGT.java │ │ ├── IFLE.java │ │ ├── IFLT.java │ │ ├── IFNE.java │ │ ├── IFNONNULL.java │ │ ├── IFNULL.java │ │ ├── IF_ACMPEQ.java │ │ ├── IF_ACMPNE.java │ │ ├── IF_ICMPEQ.java │ │ ├── IF_ICMPGE.java │ │ ├── IF_ICMPGT.java │ │ ├── IF_ICMPLE.java │ │ ├── IF_ICMPLT.java │ │ ├── IF_ICMPNE.java │ │ ├── IINC.java │ │ ├── ILOAD.java │ │ ├── IMUL.java │ │ ├── INEG.java │ │ ├── INSTANCEOF.java │ │ ├── INVOKECG.java │ │ ├── INVOKECLINIT.java │ │ ├── INVOKEDYNAMIC.java │ │ ├── INVOKEINTERFACE.java │ │ ├── INVOKESPECIAL.java │ │ ├── INVOKESTATIC.java │ │ ├── INVOKEVIRTUAL.java │ │ ├── IOR.java │ │ ├── IREM.java │ │ ├── IRETURN.java │ │ ├── ISHL.java │ │ ├── ISHR.java │ │ ├── ISTORE.java │ │ ├── ISUB.java │ │ ├── IUSHR.java │ │ ├── IXOR.java │ │ ├── IfInstruction.java │ │ ├── InstanceInvocation.java │ │ ├── InstructionFactory.java │ │ ├── JSR.java │ │ ├── JSR_W.java │ │ ├── JVMArrayElementInstruction.java │ │ ├── JVMFieldInstruction.java │ │ ├── JVMInstanceFieldInstruction.java │ │ ├── JVMInstruction.java │ │ ├── JVMInstructionVisitor.java │ │ ├── JVMInstructionVisitorAdapter.java │ │ ├── JVMInvokeInstruction.java │ │ ├── JVMLocalVariableInstruction.java │ │ ├── JVMReturnInstruction.java │ │ ├── JVMStaticFieldInstruction.java │ │ ├── L2D.java │ │ ├── L2F.java │ │ ├── L2I.java │ │ ├── LADD.java │ │ ├── LALOAD.java │ │ ├── LAND.java │ │ ├── LASTORE.java │ │ ├── LCMP.java │ │ ├── LCONST.java │ │ ├── LDC.java │ │ ├── LDC2_W.java │ │ ├── LDC_W.java │ │ ├── LDIV.java │ │ ├── LLOAD.java │ │ ├── LMUL.java │ │ ├── LNEG.java │ │ ├── LOOKUPSWITCH.java │ │ ├── LOR.java │ │ ├── LREM.java │ │ ├── LRETURN.java │ │ ├── LSHL.java │ │ ├── LSHR.java │ │ ├── LSTORE.java │ │ ├── LSUB.java │ │ ├── LUSHR.java │ │ ├── LXOR.java │ │ ├── LockInstruction.java │ │ ├── LongArrayLoadInstruction.java │ │ ├── LongArrayStoreInstruction.java │ │ ├── LongReturn.java │ │ ├── MONITORENTER.java │ │ ├── MONITOREXIT.java │ │ ├── MULTIANEWARRAY.java │ │ ├── NATIVERETURN.java │ │ ├── NEW.java │ │ ├── NEWARRAY.java │ │ ├── NOP.java │ │ ├── NewArrayInstruction.java │ │ ├── POP.java │ │ ├── POP2.java │ │ ├── PUTFIELD.java │ │ ├── PUTSTATIC.java │ │ ├── PutHelper.java │ │ ├── RET.java │ │ ├── RETURN.java │ │ ├── RUNSTART.java │ │ ├── SALOAD.java │ │ ├── SASTORE.java │ │ ├── SIPUSH.java │ │ ├── SWAP.java │ │ ├── StaticFieldInstruction.java │ │ ├── SwitchInstruction.java │ │ ├── TABLESWITCH.java │ │ ├── VirtualInvocation.java │ │ └── WIDE.java │ ├── listener │ ├── AssertionProperty.java │ ├── BitFlipListener.java │ ├── BudgetChecker.java │ ├── CGMonitor.java │ ├── CGRemover.java │ ├── CallMonitor.java │ ├── ChoiceSelector.java │ ├── ChoiceTracker.java │ ├── CoverageAnalyzer.java │ ├── DeadlockAnalyzer.java │ ├── DistributedSimpleDot.java │ ├── EndlessLoopDetector.java │ ├── ErrorTraceGenerator.java │ ├── ExceptionInjector.java │ ├── ExecTracker.java │ ├── HeapTracker.java │ ├── IdleFilter.java │ ├── InsnCounter.java │ ├── LockedStackDepth.java │ ├── LogConsole.java │ ├── MethodAnalyzer.java │ ├── MethodTracker.java │ ├── NoStateCycles.java │ ├── NonSharedChecker.java │ ├── NullTracker.java │ ├── NumericValueChecker.java │ ├── OOMEInjector.java │ ├── ObjectTracker.java │ ├── OverlappingMethodAnalyzer.java │ ├── PathOutputMonitor.java │ ├── Perturbator.java │ ├── PreciseRaceDetector.java │ ├── ReferenceLocator.java │ ├── SearchStats.java │ ├── SimpleDot.java │ ├── SimpleIdleFilter.java │ ├── StackDepthChecker.java │ ├── StackTracker.java │ ├── StateCountEstimator.java │ ├── StateSpaceAnalyzer.java │ ├── StateSpaceDot.java │ ├── StateTracker.java │ ├── StopWatchFuzzer.java │ ├── TraceStorer.java │ ├── VarRecorder.java │ └── VarTracker.java │ ├── perturb │ ├── GenericDataAbstractor.java │ ├── IntOverUnder.java │ └── OperandPerturbator.java │ ├── report │ ├── ConsolePublisher.java │ ├── Publisher.java │ ├── PublisherExtension.java │ ├── PublisherExtensionAdapter.java │ ├── Reporter.java │ ├── Statistics.java │ └── XMLPublisher.java │ ├── search │ ├── DFSearch.java │ ├── PathSearch.java │ ├── RandomSearch.java │ ├── Search.java │ ├── SearchListener.java │ ├── SearchListenerAdapter.java │ ├── SearchState.java │ ├── Simulation.java │ └── heuristic │ │ ├── BFSHeuristic.java │ │ ├── DFSHeuristic.java │ │ ├── GlobalSwitchThread.java │ │ ├── HeuristicSearch.java │ │ ├── HeuristicState.java │ │ ├── Interleaving.java │ │ ├── MinimizePreemption.java │ │ ├── MostBlocked.java │ │ ├── PreferThreads.java │ │ ├── PrioritizedState.java │ │ ├── RandomHeuristic.java │ │ ├── SimplePriorityHeuristic.java │ │ ├── StaticPriorityQueue.java │ │ └── UserHeuristic.java │ ├── tool │ ├── GenPeer.java │ ├── LogConsole.java │ ├── PrintEvents.java │ ├── Run.java │ ├── RunJPF.java │ └── RunTest.java │ ├── util │ ├── ArrayByteQueue.java │ ├── ArrayIntSet.java │ ├── ArrayObjectQueue.java │ ├── Attributable.java │ ├── AvailableBufferedInputStream.java │ ├── BailOut.java │ ├── BinaryClassSource.java │ ├── BitArray.java │ ├── BitSet1024.java │ ├── BitSet256.java │ ├── BitSet64.java │ ├── BitSetN.java │ ├── ClassInfoFilter.java │ ├── CloneableObject.java │ ├── Cloner.java │ ├── CommitOutputStream.java │ ├── ConsoleStream.java │ ├── ConstGrowth.java │ ├── CountDown.java │ ├── DevNullPrintStream.java │ ├── DynamicIntArray.java │ ├── DynamicObjectArray.java │ ├── ElementCreator.java │ ├── ExpGrowth.java │ ├── FeatureSpec.java │ ├── FieldSpec.java │ ├── FieldSpecMatcher.java │ ├── FileUtils.java │ ├── FinalBitSet.java │ ├── FixedBitSet.java │ ├── Growth.java │ ├── HashData.java │ ├── HashPool.java │ ├── IdentityArrayObjectSet.java │ ├── IdentityObjectSet.java │ ├── ImmutableList.java │ ├── IndexIterator.java │ ├── InstructionState.java │ ├── IntArray.java │ ├── IntIterator.java │ ├── IntSet.java │ ├── IntTable.java │ ├── IntVector.java │ ├── Invocation.java │ ├── JPFLogger.java │ ├── JPFSiteUtils.java │ ├── Left.java │ ├── LimitedInputStream.java │ ├── LinkedObjectQueue.java │ ├── LocationSpec.java │ ├── LogHandler.java │ ├── LogManager.java │ ├── Loggable.java │ ├── LongVector.java │ ├── MethodInfoRegistry.java │ ├── MethodSpec.java │ ├── MethodSpecMatcher.java │ ├── Misc.java │ ├── MutableInteger.java │ ├── MutableIntegerRestorer.java │ ├── OATHash.java │ ├── ObjArray.java │ ├── ObjVector.java │ ├── ObjectConverter.java │ ├── ObjectList.java │ ├── ObjectQueue.java │ ├── ObjectSet.java │ ├── PSIntMap.java │ ├── Pair.java │ ├── PairPermutationGenerator.java │ ├── PathnameExpander.java │ ├── PermutationGenerator.java │ ├── Predicate.java │ ├── PrintStreamable.java │ ├── PrintUtils.java │ ├── Printable.java │ ├── Processor.java │ ├── RandomPermutationGenerator.java │ ├── ReadOnlyObjList.java │ ├── Reflection.java │ ├── RepositoryEntry.java │ ├── Result.java │ ├── Right.java │ ├── RunListener.java │ ├── RunRegistry.java │ ├── SimplePool.java │ ├── SingleElementList.java │ ├── SortedArrayIntSet.java │ ├── SortedArrayObjectSet.java │ ├── Source.java │ ├── SourceRef.java │ ├── SparseClusterArray.java │ ├── SparseIntVector.java │ ├── SparseObjVector.java │ ├── SplitInputStream.java │ ├── SplitOutputStream.java │ ├── StateExtensionClient.java │ ├── StateExtensionListener.java │ ├── StringExpander.java │ ├── StringMatcher.java │ ├── StringSetMatcher.java │ ├── StructuredPrinter.java │ ├── TotalPermutationGenerator.java │ ├── Trace.java │ ├── TraceElement.java │ ├── Transformer.java │ ├── TwoTypeComparator.java │ ├── TypeRef.java │ ├── TypeSpec.java │ ├── TypeSpecMatcher.java │ ├── UniqueRandomPermGenerator.java │ ├── UnsortedArrayIntSet.java │ ├── VarSpec.java │ ├── WeakPool.java │ ├── automaton │ │ ├── Automaton.java │ │ ├── State.java │ │ └── Transition.java │ ├── event │ │ ├── CheckEvent.java │ │ ├── ControlEvent.java │ │ ├── Event.java │ │ ├── EventChoiceGenerator.java │ │ ├── EventConstructor.java │ │ ├── EventContext.java │ │ ├── EventForest.java │ │ ├── EventTree.java │ │ ├── NoEvent.java │ │ ├── PropagatingEventContext.java │ │ ├── SystemEvent.java │ │ └── TestEventTree.java │ ├── json │ │ ├── AbstractValue.java │ │ ├── ArrayValue.java │ │ ├── BooleanValue.java │ │ ├── CGCall.java │ │ ├── CGCreator.java │ │ ├── CGCreatorFactory.java │ │ ├── Creator.java │ │ ├── CreatorsFactory.java │ │ ├── DoubleValue.java │ │ ├── JSONLexer.java │ │ ├── JSONObject.java │ │ ├── JSONObjectValue.java │ │ ├── JSONParser.java │ │ ├── NullValue.java │ │ ├── StringValue.java │ │ ├── Token.java │ │ └── Value.java │ ├── script │ │ ├── Alternative.java │ │ ├── ESParser.java │ │ ├── ElementProcessor.java │ │ ├── Event.java │ │ ├── EventFactory.java │ │ ├── EventGenerator.java │ │ ├── EventGeneratorFactory.java │ │ ├── Repetition.java │ │ ├── Script.java │ │ ├── ScriptElement.java │ │ ├── ScriptElementContainer.java │ │ ├── ScriptEnvironment.java │ │ ├── Section.java │ │ ├── SequenceInterpreter.java │ │ └── StringSetGenerator.java │ └── test │ │ ├── JPF_gov_nasa_jpf_util_test_TestJPF.java │ │ ├── JPF_gov_nasa_jpf_util_test_TestMultiProcessJPF.java │ │ ├── TestJPF.java │ │ └── TestMultiProcessJPF.java │ └── vm │ ├── AbstractRestorer.java │ ├── AbstractSerializer.java │ ├── AbstractTypeAnnotationInfo.java │ ├── AllRunnablesSyncPolicy.java │ ├── Allocation.java │ ├── AllocationContext.java │ ├── AnnotationInfo.java │ ├── AnnotationParser.java │ ├── ApplicationContext.java │ ├── ArrayAccess.java │ ├── ArrayFields.java │ ├── ArrayIndexOutOfBoundsExecutiveException.java │ ├── ArrayOffset.java │ ├── AtomicData.java │ ├── Attributor.java │ ├── Backtracker.java │ ├── BooleanArrayFields.java │ ├── BooleanChoiceGenerator.java │ ├── BooleanFieldInfo.java │ ├── BootstrapMethodInfo.java │ ├── BoxObjectCacheManager.java │ ├── ByteArrayFields.java │ ├── ByteFieldInfo.java │ ├── BytecodeAnnotationInfo.java │ ├── BytecodeTypeParameterAnnotationInfo.java │ ├── CharArrayFields.java │ ├── CharFieldInfo.java │ ├── CheckExtendTransition.java │ ├── ChoiceGenerator.java │ ├── ChoiceGeneratorBase.java │ ├── ChoicePoint.java │ ├── ClassChangeException.java │ ├── ClassFileContainer.java │ ├── ClassFileMatch.java │ ├── ClassInfo.java │ ├── ClassInfoException.java │ ├── ClassLoaderInfo.java │ ├── ClassLoaderList.java │ ├── ClassParseException.java │ ├── ClassPath.java │ ├── ClinitRequired.java │ ├── ClosedMemento.java │ ├── CollapsePools.java │ ├── ConstInsnPathTime.java │ ├── DebugJenkinsStateSet.java │ ├── DebugStateSerializer.java │ ├── DefaultBacktracker.java │ ├── DefaultFieldsFactory.java │ ├── DefaultMementoRestorer.java │ ├── DelegatingScheduler.java │ ├── DirectCallStackFrame.java │ ├── DoubleArrayFields.java │ ├── DoubleChoiceGenerator.java │ ├── DoubleFieldInfo.java │ ├── DoubleSlotFieldInfo.java │ ├── DynamicElementInfo.java │ ├── ElementInfo.java │ ├── ExceptionHandler.java │ ├── ExceptionInfo.java │ ├── ExceptionParameterAnnotationInfo.java │ ├── FieldInfo.java │ ├── FieldLockInfo.java │ ├── FieldLockInfoFactory.java │ ├── Fields.java │ ├── FieldsFactory.java │ ├── FinalizerThreadInfo.java │ ├── FloatArrayFields.java │ ├── FloatChoiceGenerator.java │ ├── FloatFieldInfo.java │ ├── FormalParameterAnnotationInfo.java │ ├── FullStateSet.java │ ├── FunctionObjectFactory.java │ ├── GenericHeap.java │ ├── GenericSGOIDHeap.java │ ├── GenericSharednessPolicy.java │ ├── GenericSignatureHolder.java │ ├── GlobalSchedulingPoint.java │ ├── GlobalSharednessPolicy.java │ ├── HandlerContext.java │ ├── HashedAllocationContext.java │ ├── Heap.java │ ├── IncrementalChangeTracker.java │ ├── InfoObject.java │ ├── Instruction.java │ ├── IntArrayFields.java │ ├── IntChoiceGenerator.java │ ├── IntegerFieldInfo.java │ ├── IsEndStateProperty.java │ ├── JPFOutputStream.java │ ├── JPF_gov_nasa_jpf_vm_Verify.java │ ├── JenkinsStateSet.java │ ├── KernelState.java │ ├── LoadOnJPFRequired.java │ ├── LocalVarInfo.java │ ├── LockSetThresholdFli.java │ ├── LongArrayFields.java │ ├── LongChoiceGenerator.java │ ├── LongFieldInfo.java │ ├── MJIEnv.java │ ├── Memento.java │ ├── MementoFactory.java │ ├── MementoRestorer.java │ ├── MethodInfo.java │ ├── MethodLocator.java │ ├── Monitor.java │ ├── MultiProcessVM.java │ ├── NamedFields.java │ ├── NativeMethodInfo.java │ ├── NativePeer.java │ ├── NativeStackFrame.java │ ├── NativeStateHolder.java │ ├── NoJPFExec.java │ ├── NoOutOfMemoryErrorProperty.java │ ├── NoUncaughtExceptionsProperty.java │ ├── NotDeadlockedProperty.java │ ├── OVHeap.java │ ├── OVStatics.java │ ├── ObjRef.java │ ├── PSIMHeap.java │ ├── Path.java │ ├── PathSharednessPolicy.java │ ├── PersistentLockSetThresholdFli.java │ ├── PersistentSingleLockThresholdFli.java │ ├── PersistentTidSet.java │ ├── PreciseAllocationContext.java │ ├── PredicateMap.java │ ├── PriorityRunnablesSyncPolicy.java │ ├── ReferenceArrayFields.java │ ├── ReferenceChoiceGenerator.java │ ├── ReferenceFieldInfo.java │ ├── ReferenceProcessor.java │ ├── ReleaseAction.java │ ├── Restorable.java │ ├── RestorableVMState.java │ ├── Scheduler.java │ ├── SerializingStateSet.java │ ├── SharednessPolicy.java │ ├── ShortArrayFields.java │ ├── ShortFieldInfo.java │ ├── SingleLockThresholdFli.java │ ├── SingleProcessVM.java │ ├── SingleSlotFieldInfo.java │ ├── StackFrame.java │ ├── StateRestorer.java │ ├── StateSerializer.java │ ├── StateSet.java │ ├── StaticElementInfo.java │ ├── Statics.java │ ├── StatisticFieldLockInfoFactory.java │ ├── Step.java │ ├── Storable.java │ ├── SuperTypeAnnotationInfo.java │ ├── SyncPolicy.java │ ├── SystemClassLoaderInfo.java │ ├── SystemState.java │ ├── SystemTime.java │ ├── ThreadChoiceGenerator.java │ ├── ThreadData.java │ ├── ThreadInfo.java │ ├── ThreadInfoSet.java │ ├── ThreadList.java │ ├── ThresholdFieldLockInfo.java │ ├── ThrowsAnnotationInfo.java │ ├── TidSet.java │ ├── TimeModel.java │ ├── Transition.java │ ├── TypeAnnotationInfo.java │ ├── TypeParameterAnnotationInfo.java │ ├── TypeParameterBoundAnnotationInfo.java │ ├── Types.java │ ├── UncaughtException.java │ ├── VM.java │ ├── VMListener.java │ ├── VariableAnnotationInfo.java │ ├── Verify.java │ ├── bytecode │ ├── ArrayElementInstruction.java │ ├── FieldInstruction.java │ ├── InstanceFieldInstruction.java │ ├── InstanceInvokeInstruction.java │ ├── InstructionInterface.java │ ├── InvokeInstruction.java │ ├── LocalVariableInstruction.java │ ├── LookupSwitchInstruction.java │ ├── NewInstruction.java │ ├── ReadInstruction.java │ ├── ReadOrWriteInstruction.java │ ├── ReturnInstruction.java │ ├── ReturnValueInstruction.java │ ├── StaticFieldInstruction.java │ ├── StoreInstruction.java │ ├── TableSwitchInstruction.java │ └── WriteInstruction.java │ ├── choice │ ├── BreakGenerator.java │ ├── CompoundChoiceGenerator.java │ ├── DoubleChoiceFromList.java │ ├── DoubleChoiceFromSet.java │ ├── DoubleSpec.java │ ├── DoubleThresholdGenerator.java │ ├── ExceptionThreadChoiceFromSet.java │ ├── ExposureCG.java │ ├── FloatChoiceFromList.java │ ├── IntChoiceFromList.java │ ├── IntChoiceFromSet.java │ ├── IntIntervalGenerator.java │ ├── InvocationCG.java │ ├── LongChoiceFromList.java │ ├── NumberChoiceFromList.java │ ├── PermutationCG.java │ ├── RandomIntIntervalGenerator.java │ ├── RandomOrderIntCG.java │ ├── RandomOrderLongCG.java │ ├── ThreadChoiceFromSet.java │ └── TypedObjectChoice.java │ └── serialize │ ├── Abstraction.java │ ├── AbstractionAdapter.java │ ├── AdaptiveSerializer.java │ ├── AmmendableFilterConfiguration.java │ ├── CFSerializer.java │ ├── DebugCFSerializer.java │ ├── DebugFilteringSerializer.java │ ├── DefaultFilterConfiguration.java │ ├── DynamicAbstractionSerializer.java │ ├── FieldAmmendmentByName.java │ ├── FilterConfiguration.java │ ├── FilterFrame.java │ ├── FilteringSerializer.java │ ├── FramePolicy.java │ ├── IgnoreConstants.java │ ├── IgnoreReflectiveNames.java │ ├── IgnoreThreadNastiness.java │ ├── IgnoreUtilSilliness.java │ ├── Ignored.java │ ├── IgnoresFromAnnotations.java │ ├── IncludesFromAnnotations.java │ ├── PolDetSerializer.java │ ├── TopFrameSerializer.java │ ├── UnfilterField.java │ └── UnknownJPFClass.java ├── peers ├── JPF_PolDetListener.java └── gov │ └── nasa │ └── jpf │ └── vm │ ├── AtomicFieldUpdater.java │ ├── JPF_gov_nasa_jpf_AnnotationProxyBase.java │ ├── JPF_gov_nasa_jpf_CachedROHttpConnection.java │ ├── JPF_gov_nasa_jpf_ConsoleOutputStream.java │ ├── JPF_gov_nasa_jpf_DelegatingTimeZone.java │ ├── JPF_gov_nasa_jpf_EventProducer.java │ ├── JPF_gov_nasa_jpf_FinalizerThread.java │ ├── JPF_gov_nasa_jpf_SerializationConstructor.java │ ├── JPF_gov_nasa_jpf_test_MemoryGoal.java │ ├── JPF_gov_nasa_jpf_tools_MethodTester.java │ ├── JPF_java_io_File.java │ ├── JPF_java_io_FileDescriptor.java │ ├── JPF_java_io_InputStreamReader.java │ ├── JPF_java_io_ObjectInputStream.java │ ├── JPF_java_io_ObjectOutputStream.java │ ├── JPF_java_io_ObjectStreamClass.java │ ├── JPF_java_io_OutputStreamWriter.java │ ├── JPF_java_io_RandomAccessFile.java │ ├── JPF_java_lang_Boolean.java │ ├── JPF_java_lang_Byte.java │ ├── JPF_java_lang_Character.java │ ├── JPF_java_lang_Class.java │ ├── JPF_java_lang_ClassLoader.java │ ├── JPF_java_lang_Double.java │ ├── JPF_java_lang_Float.java │ ├── JPF_java_lang_Integer.java │ ├── JPF_java_lang_Long.java │ ├── JPF_java_lang_Math.java │ ├── JPF_java_lang_Object.java │ ├── JPF_java_lang_Runtime.java │ ├── JPF_java_lang_Short.java │ ├── JPF_java_lang_StackStreamFactory.java │ ├── JPF_java_lang_String.java │ ├── JPF_java_lang_StringCoding.java │ ├── JPF_java_lang_StringUTF16.java │ ├── JPF_java_lang_System.java │ ├── JPF_java_lang_Thread.java │ ├── JPF_java_lang_ThreadLocal.java │ ├── JPF_java_lang_Throwable.java │ ├── JPF_java_lang_invoke_JPFFieldVarHandle.java │ ├── JPF_java_lang_invoke_MethodHandles.java │ ├── JPF_java_lang_reflect_Array.java │ ├── JPF_java_lang_reflect_Constructor.java │ ├── JPF_java_lang_reflect_Field.java │ ├── JPF_java_lang_reflect_Method.java │ ├── JPF_java_lang_reflect_Proxy.java │ ├── JPF_java_net_URLClassLoader.java │ ├── JPF_java_net_URLDecoder.java │ ├── JPF_java_net_URLEncoder.java │ ├── JPF_java_security_MessageDigest.java │ ├── JPF_java_text_Bidi.java │ ├── JPF_java_text_DateFormat.java │ ├── JPF_java_text_DateFormatSymbols.java │ ├── JPF_java_text_DecimalFormat.java │ ├── JPF_java_text_DecimalFormatSymbols.java │ ├── JPF_java_text_Format.java │ ├── JPF_java_text_SimpleDateFormat.java │ ├── JPF_java_util_Calendar.java │ ├── JPF_java_util_Date.java │ ├── JPF_java_util_Locale.java │ ├── JPF_java_util_Random.java │ ├── JPF_java_util_ResourceBundle.java │ ├── JPF_java_util_TimeZone.java │ ├── JPF_java_util_concurrent_Exchanger.java │ ├── JPF_java_util_concurrent_atomic_AtomicInteger.java │ ├── JPF_java_util_concurrent_atomic_AtomicIntegerArray.java │ ├── JPF_java_util_concurrent_atomic_AtomicIntegerFieldUpdater.java │ ├── JPF_java_util_concurrent_atomic_AtomicLong.java │ ├── JPF_java_util_concurrent_atomic_AtomicLongArray.java │ ├── JPF_java_util_concurrent_atomic_AtomicLongFieldUpdater.java │ ├── JPF_java_util_concurrent_atomic_AtomicReference.java │ ├── JPF_java_util_concurrent_atomic_AtomicReferenceArray.java │ ├── JPF_java_util_concurrent_atomic_AtomicReferenceFieldUpdater.java │ ├── JPF_java_util_logging_Level.java │ ├── JPF_java_util_regex_Matcher.java │ ├── JPF_java_util_regex_Pattern.java │ ├── JPF_java_util_zip_ZipFile.java │ ├── JPF_jdk_internal_misc_Unsafe.java │ ├── JPF_jdk_internal_misc_VM.java │ ├── JPF_jdk_internal_reflect_Reflection.java │ ├── JPF_jdk_internal_reflect_ReflectionFactory.java │ ├── JPF_sun_net_www_protocol_http_Handler.java │ ├── JPF_sun_reflect_ReflectionFactory.java │ └── LoggablePeer.java └── tests ├── CharBufferTest.java ├── NullCharsetTest.java ├── PolDet ├── PolDetExamples.java └── PolDetMain.java ├── ReporterResourcesTest.java ├── SingleThreadTest.java ├── TypeNameTest.java ├── classloader_specific_tests ├── Class1.java ├── Class2.java ├── Class3.java ├── Interface1.java └── Interface2.java ├── fault └── injection │ └── examples │ ├── BCDEncodedISBNTest.java │ ├── CRCTest.java │ ├── CheckISBNTest.java │ └── LongEncodedCRCTest.java ├── gov └── nasa │ └── jpf │ ├── ConfigTest.java │ ├── configTestApp.jpf │ ├── configTestCommon.jpf │ ├── configTestIncludes.jpf │ ├── configTestRequires.jpf │ ├── configTestRequiresFail.jpf │ ├── configTestSite.properties │ ├── jvm │ ├── ClassInfoTest.java │ ├── FileVersionTest.java │ ├── JVMStackFrameTest.java │ ├── MethodInfoTest.java │ └── NonResolvedClassInfo.java │ ├── listener │ └── VerTrackerTest.java │ ├── test │ ├── basic │ │ ├── ConsolePublisherTest.java │ │ ├── HarnessTest.java │ │ ├── InstructionFactoryTest.java │ │ ├── JPF_gov_nasa_jpf_test_basic_MJITest.java │ │ ├── ListenerTest.java │ │ ├── MJITest.java │ │ ├── TestJPFMainTest.java │ │ └── TestJPFNoMainTest.java │ ├── java │ │ ├── concurrent │ │ │ ├── AtomicIntegerFieldUpdaterTest.java │ │ │ ├── AtomicLongFieldUpdaterTest.java │ │ │ ├── AtomicReferenceFieldUpdaterTest.java │ │ │ ├── AtomicReferenceTest.java │ │ │ ├── ConcurrentSkipListMapTest.java │ │ │ ├── CountDownLatchTest.java │ │ │ ├── ExchangerTest.java │ │ │ ├── ExecutorServiceTest.java │ │ │ ├── SemaphoreTest.java │ │ │ └── ThreadExceptionTest.java │ │ ├── io │ │ │ ├── BufferedInputStreamTest.java │ │ │ ├── FileIOStreamTest.java │ │ │ ├── FileIOTest.java │ │ │ ├── FileTest.java │ │ │ ├── ObjectStreamTest.java │ │ │ └── PrintStreamTest.java │ │ ├── lang │ │ │ ├── BoxObjectCacheTest.java │ │ │ ├── ClassLoaderTest.java │ │ │ ├── ClassTest.java │ │ │ ├── CloneTest.java │ │ │ ├── DoubleTest.java │ │ │ ├── FloatTest.java │ │ │ ├── RuntimeTest.java │ │ │ ├── StackWalkerTest.java │ │ │ ├── StringTest.java │ │ │ ├── SystemTest.java │ │ │ ├── ThreadLocalTest.java │ │ │ ├── ThrowableTest.java │ │ │ ├── ref │ │ │ │ └── WeakReferenceTest.java │ │ │ └── reflect │ │ │ │ ├── ConstructorTest.java │ │ │ │ ├── FieldTest.java │ │ │ │ ├── MethodTest.java │ │ │ │ └── other_package │ │ │ │ ├── OtherPackageParent.java │ │ │ │ └── OtherPackagePublicClass.java │ │ ├── math │ │ │ └── BigIntegerTest.java │ │ ├── misc │ │ │ └── UnsafeTest.java │ │ ├── net │ │ │ ├── LoadUtility.java │ │ │ ├── URLClassLoaderTest.java │ │ │ └── URLEncoderTest.java │ │ ├── nio │ │ │ └── BufferTest.java │ │ ├── text │ │ │ ├── DateFormatTest.java │ │ │ ├── DecimalFormatTest.java │ │ │ └── SimpleDateFormatTest.java │ │ └── util │ │ │ ├── ArraysTest.java │ │ │ ├── CalendarTest.java │ │ │ ├── FunctionsTest.java │ │ │ ├── StreamTest.java │ │ │ ├── ZipFileTest.java │ │ │ └── java.timeTest │ │ │ ├── ClockTest.java │ │ │ └── LocalDateTest.java │ ├── mc │ │ ├── basic │ │ │ ├── AttrsTest.java │ │ │ ├── BreakTest.java │ │ │ ├── CGNotificationTest.java │ │ │ ├── CGRemoverTest.java │ │ │ ├── CGReorderTest.java │ │ │ ├── CascadedCGTest.java │ │ │ ├── ExceptionInjectorTest.java │ │ │ ├── ExtendTransitionTest.java │ │ │ ├── FinalBreakTest.java │ │ │ ├── FinalFieldChoiceTest.java │ │ │ ├── IdleLoopTest.java │ │ │ ├── InvokeListenerTest.java │ │ │ ├── JPF_gov_nasa_jpf_test_mc_basic_AttrsTest.java │ │ │ ├── JPF_gov_nasa_jpf_test_mc_basic_InvokeListenerTest.java │ │ │ ├── JPF_gov_nasa_jpf_test_mc_basic_NoJPFExecTest.java │ │ │ ├── JPF_gov_nasa_jpf_test_mc_basic_RestorerTest$X.java │ │ │ ├── LocalVarInfoTest.java │ │ │ ├── MethodListenerTest.java │ │ │ ├── NoJPFExecTest.java │ │ │ ├── NullTrackerTest.java │ │ │ ├── OOMEInjectorTest.java │ │ │ ├── OVHeapTest.java │ │ │ ├── RecursiveLockTest.java │ │ │ ├── RestorerTest.java │ │ │ ├── SearchMultipleTest.java │ │ │ ├── SharedPropagationTest.java │ │ │ ├── SharedRefTest.java │ │ │ ├── SkipInstructionTest.java │ │ │ ├── StackDepthCheckerTest.java │ │ │ ├── StatelessTest.java │ │ │ ├── TraceTest.java │ │ │ ├── TransitionLengthTest.java │ │ │ ├── UnlockNonSharedTest.java │ │ │ └── VerifyTest.java │ │ ├── data │ │ │ ├── BitFlipTest.java │ │ │ ├── CGCreatorFactoryTest.java │ │ │ ├── CrossingTest.java │ │ │ ├── DataChoiceTest.java │ │ │ ├── DynamicAbstractionTest.java │ │ │ ├── EventGeneratorTest.java │ │ │ ├── JSONTest.java │ │ │ ├── NativeStateHolderTest.java │ │ │ ├── NumericValueCheckerTest.java │ │ │ ├── ObjectStreamTest.java │ │ │ ├── PerturbatorTest.java │ │ │ ├── RandomTest.java │ │ │ ├── StopWatchFuzzerTest.java │ │ │ ├── TimeModelTest.java │ │ │ └── TypedObjectChoiceTest.java │ │ └── threads │ │ │ ├── AtomicTest.java │ │ │ ├── ClinitTest.java │ │ │ ├── DaemonTest.java │ │ │ ├── DeadlockTest.java │ │ │ ├── ExceptionalThreadChoiceTest.java │ │ │ ├── FinalizerThreadTest.java │ │ │ ├── HORaceTest.java │ │ │ ├── JPF_gov_nasa_jpf_test_mc_threads_ExceptionalThreadChoiceTest.java │ │ │ ├── MinimizePreemptionTest.java │ │ │ ├── MissedPathTest.java │ │ │ ├── NestedInitTest.java │ │ │ ├── OldClassicTest.java │ │ │ ├── RaceTest.java │ │ │ ├── SchedulesTest-output │ │ │ └── SchedulesTest.java │ ├── test_classes │ │ └── class_test │ │ │ ├── DiffPkgProtectedClass.java │ │ │ └── DiffPkgProtectedSubClass.java │ ├── vm │ │ ├── basic │ │ │ ├── AnnotationDefaultValueReflectionTest.java │ │ │ ├── AnnotationHashCodeEqualsTest.java │ │ │ ├── AnnotationTest.java │ │ │ ├── AnnotationToStringTest.java │ │ │ ├── ArrayTest.java │ │ │ ├── AssertTest.java │ │ │ ├── CastTest.java │ │ │ ├── ClassInitTest.java │ │ │ ├── EndStateListener.java │ │ │ ├── EndStateTest.java │ │ │ ├── EnumTest.java │ │ │ ├── ExceptionHandlingTest.java │ │ │ ├── FieldTest.java │ │ │ ├── InitializeInterfaceClassObjectRefTest.java │ │ │ ├── JPFAttrAnnotationTest.java │ │ │ ├── LargeCodeTest.java │ │ │ ├── MethodTest.java │ │ │ ├── MissingAnnotationClassTest.java │ │ │ ├── OutOfMemoryErrorTest.java │ │ │ └── RecursiveClinitTest.java │ │ ├── reflection │ │ │ ├── ArrayTest.java │ │ │ ├── ConstructorTest.java │ │ │ ├── FieldTest.java │ │ │ ├── FieldVisibilityTest.java │ │ │ ├── MethodTest.java │ │ │ └── ProxyTest.java │ │ └── threads │ │ │ ├── InterruptTest.java │ │ │ ├── JoinTest.java │ │ │ ├── LockedStackDepthTest.java │ │ │ ├── SuspendResumeTest.java │ │ │ ├── ThreadExceptionHandlerTest.java │ │ │ ├── ThreadStopTest.java │ │ │ ├── ThreadTest.java │ │ │ └── WaitTest.java │ └── xerces │ │ ├── SAXParserTest.java │ │ ├── http%^^www.puppycrawl.com^dtds^configuration_1_3.dtd │ │ └── sun_checks.xml │ ├── util │ ├── ArrayIntSetTestBase.java │ ├── ArrayObjectQueueTest.java │ ├── AvailableBufferedInputStreamTest.java │ ├── BitSet1024Test.java │ ├── BitSet256Test.java │ ├── BitSet64Test.java │ ├── CommitOutputStreamTest.java │ ├── IdentityArrayObjectSetTest.java │ ├── IntTableTest.java │ ├── IntVectorTest.java │ ├── LimitedInputStreamTest.java │ ├── LocationSpecTest.java │ ├── MethodSpecTest.java │ ├── OATHashTest.java │ ├── ObjVectorTest.java │ ├── ObjectListTest.java │ ├── PSIntMapTest.java │ ├── PermutationGeneratorTest.java │ ├── SortedArrayIntSetTest.java │ ├── SortedArrayObjectSetTest.java │ ├── SparseClusterArrayTest.java │ ├── SparseIntVectorTest.java │ ├── SplitInputStreamTest.java │ ├── SplitOutputStreamTest.java │ ├── StringSetMatcherTest.java │ ├── UnsortedArrayIntSetTest.java │ ├── event │ │ └── EventTreeTest.java │ └── json │ │ ├── JSONLexerTest.java │ │ └── JSONParserTest.java │ └── vm │ ├── AllocationTest.java │ ├── AnnotationInfoTest.java │ ├── ClassLoaderInfoTest.java │ ├── ElementInfoTest.java │ ├── StackFrameTest.java │ ├── SystemStateTest.java │ ├── TypesTest.java │ ├── choice │ ├── IntChoiceFromListTest.java │ └── IntChoiceFromSetTest.java │ └── multiProcess │ ├── FinalizerThreadTest.java │ ├── JPF_gov_nasa_jpf_vm_multiProcess_MethodTest.java │ ├── JPF_gov_nasa_jpf_vm_multiProcess_NativePeerTest.java │ ├── JPF_gov_nasa_jpf_vm_multiProcess_ThreadTest.java │ ├── JPF_gov_nasa_jpf_vm_multiProcess_TypeSeparationTest.java │ ├── MethodTest.java │ ├── NativePeerTest.java │ ├── StringTest.java │ ├── ThreadTest.java │ └── TypeSeparationTest.java ├── java11 ├── MatcherTest.java ├── StringConcatenationTest.java └── StringEqualsTest.java ├── java8 ├── DefaultMethodTest.java ├── JPF_java8_DefaultMethodTest$G1.java ├── LambdaTest.java └── TypeAnnotationTest.java ├── resources ├── TestClassJava11.class └── TestClassJava17.class └── test.zip /.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/.dockerignore -------------------------------------------------------------------------------- /.github/workflows/simple_build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/.github/workflows/simple_build.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/.gitignore -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE-2.0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/LICENSE-2.0.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/README.md -------------------------------------------------------------------------------- /bin/javajpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/bin/javajpf -------------------------------------------------------------------------------- /bin/jpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/bin/jpf -------------------------------------------------------------------------------- /bin/jpf.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/bin/jpf.bat -------------------------------------------------------------------------------- /bin/print_class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/bin/print_class -------------------------------------------------------------------------------- /bin/print_class.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/bin/print_class.bat -------------------------------------------------------------------------------- /bin/print_events: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/bin/print_events -------------------------------------------------------------------------------- /bin/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/bin/test -------------------------------------------------------------------------------- /bin/test.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/bin/test.bat -------------------------------------------------------------------------------- /docker-compose.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docker-compose.yml -------------------------------------------------------------------------------- /docs/Call-for-JPF-2021.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/Call-for-JPF-2021.md -------------------------------------------------------------------------------- /docs/Downloading-sources-(OLD).md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/Downloading-sources-(OLD).md -------------------------------------------------------------------------------- /docs/Google-Summer-of-Code.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/Google-Summer-of-Code.md -------------------------------------------------------------------------------- /docs/Gradle-Support-on-JPF.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/Gradle-Support-on-JPF.md -------------------------------------------------------------------------------- /docs/JPF-Day-2021-(Online).md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/JPF-Day-2021-(Online).md -------------------------------------------------------------------------------- /docs/JPF-Online-Day-2020.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/JPF-Online-Day-2020.md -------------------------------------------------------------------------------- /docs/JPF-Version-6-released.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/JPF-Version-6-released.md -------------------------------------------------------------------------------- /docs/JPF-Workshops.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/JPF-Workshops.md -------------------------------------------------------------------------------- /docs/Projects.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/Projects.md -------------------------------------------------------------------------------- /docs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/README.md -------------------------------------------------------------------------------- /docs/Running-JPF.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/Running-JPF.md -------------------------------------------------------------------------------- /docs/Summer-Project-Summit-2010.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/Summer-Project-Summit-2010.md -------------------------------------------------------------------------------- /docs/Support-Java-10-for-JPF-CORE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/Support-Java-10-for-JPF-CORE.md -------------------------------------------------------------------------------- /docs/Writing-JPF-tests.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/Writing-JPF-tests.md -------------------------------------------------------------------------------- /docs/_Footer.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/_Footer.md -------------------------------------------------------------------------------- /docs/_Sidebar.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/_Sidebar.md -------------------------------------------------------------------------------- /docs/_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/_config.yml -------------------------------------------------------------------------------- /docs/_includes/add_navigation.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/_includes/add_navigation.sh -------------------------------------------------------------------------------- /docs/_includes/fix_image_paths.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/_includes/fix_image_paths.sh -------------------------------------------------------------------------------- /docs/_includes/fix_links.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/_includes/fix_links.sh -------------------------------------------------------------------------------- /docs/_includes/navigation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/_includes/navigation.html -------------------------------------------------------------------------------- /docs/_includes/remove_navigation_from_md.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/_includes/remove_navigation_from_md.sh -------------------------------------------------------------------------------- /docs/_layouts/default.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/_layouts/default.html -------------------------------------------------------------------------------- /docs/assets/css/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/assets/css/style.css -------------------------------------------------------------------------------- /docs/devel/Bytecode-Factories.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/devel/Bytecode-Factories.md -------------------------------------------------------------------------------- /docs/devel/ChoiceGenerators.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/devel/ChoiceGenerators.md -------------------------------------------------------------------------------- /docs/devel/Coding-convention.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/devel/Coding-convention.md -------------------------------------------------------------------------------- /docs/devel/Developer-guide.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/devel/Developer-guide.md -------------------------------------------------------------------------------- /docs/devel/Host-Eclipse-plugin-update-site.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/devel/Host-Eclipse-plugin-update-site.md -------------------------------------------------------------------------------- /docs/devel/Listeners.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/devel/Listeners.md -------------------------------------------------------------------------------- /docs/devel/Logging-system.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/devel/Logging-system.md -------------------------------------------------------------------------------- /docs/devel/Model-Java-Interface.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/devel/Model-Java-Interface.md -------------------------------------------------------------------------------- /docs/devel/Partial-Order-Reduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/devel/Partial-Order-Reduction.md -------------------------------------------------------------------------------- /docs/devel/Reporting-System.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/devel/Reporting-System.md -------------------------------------------------------------------------------- /docs/devel/Running-JPF-from-application.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/devel/Running-JPF-from-application.md -------------------------------------------------------------------------------- /docs/devel/Search-Strategies.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/devel/Search-Strategies.md -------------------------------------------------------------------------------- /docs/devel/Slot-and-field-attributes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/devel/Slot-and-field-attributes.md -------------------------------------------------------------------------------- /docs/devel/create_project.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/devel/create_project.md -------------------------------------------------------------------------------- /docs/devel/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/devel/index.md -------------------------------------------------------------------------------- /docs/devel/mji/Mangling-for-MJI.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/devel/mji/Mangling-for-MJI.md -------------------------------------------------------------------------------- /docs/devel/modules.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/devel/modules.md -------------------------------------------------------------------------------- /docs/graphics/DFSListener.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/DFSListener.svg -------------------------------------------------------------------------------- /docs/graphics/app-types.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/app-types.svg -------------------------------------------------------------------------------- /docs/graphics/attributes.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/attributes.svg -------------------------------------------------------------------------------- /docs/graphics/bc-factory.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/bc-factory.svg -------------------------------------------------------------------------------- /docs/graphics/cg-impl.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/cg-impl.svg -------------------------------------------------------------------------------- /docs/graphics/cg-motivation.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/cg-motivation.svg -------------------------------------------------------------------------------- /docs/graphics/cg-ontology.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/cg-ontology.svg -------------------------------------------------------------------------------- /docs/graphics/cg-sequence.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/cg-sequence.svg -------------------------------------------------------------------------------- /docs/graphics/choicegen-example.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/choicegen-example.svg -------------------------------------------------------------------------------- /docs/graphics/genpeer.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/genpeer.svg -------------------------------------------------------------------------------- /docs/graphics/interleavings.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/interleavings.svg -------------------------------------------------------------------------------- /docs/graphics/jpf-abstractions.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/jpf-abstractions.svg -------------------------------------------------------------------------------- /docs/graphics/jpf-basic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/jpf-basic.svg -------------------------------------------------------------------------------- /docs/graphics/jpf-intro-new.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/jpf-intro-new.svg -------------------------------------------------------------------------------- /docs/graphics/jpf-layers.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/jpf-layers.svg -------------------------------------------------------------------------------- /docs/graphics/jpf-project.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/jpf-project.svg -------------------------------------------------------------------------------- /docs/graphics/listener-overview.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/listener-overview.svg -------------------------------------------------------------------------------- /docs/graphics/listeners.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/listeners.svg -------------------------------------------------------------------------------- /docs/graphics/mji-call.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/mji-call.svg -------------------------------------------------------------------------------- /docs/graphics/mji-functions.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/mji-functions.svg -------------------------------------------------------------------------------- /docs/graphics/mji-mangling.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/mji-mangling.svg -------------------------------------------------------------------------------- /docs/graphics/new-testing.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/new-testing.svg -------------------------------------------------------------------------------- /docs/graphics/por-mark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/por-mark.svg -------------------------------------------------------------------------------- /docs/graphics/por-scheduling-relevance.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/por-scheduling-relevance.svg -------------------------------------------------------------------------------- /docs/graphics/properties.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/properties.svg -------------------------------------------------------------------------------- /docs/graphics/report.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/report.svg -------------------------------------------------------------------------------- /docs/graphics/states-mc.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/states-mc.svg -------------------------------------------------------------------------------- /docs/graphics/states-testing.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/states-testing.svg -------------------------------------------------------------------------------- /docs/graphics/sw-model-checking-2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/sw-model-checking-2.svg -------------------------------------------------------------------------------- /docs/graphics/sw-model-checking.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/graphics/sw-model-checking.svg -------------------------------------------------------------------------------- /docs/gsoc/GSoC-2018-Project-Ideas.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/gsoc/GSoC-2018-Project-Ideas.md -------------------------------------------------------------------------------- /docs/gsoc/GSoC-2019-Project-Ideas.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/gsoc/GSoC-2019-Project-Ideas.md -------------------------------------------------------------------------------- /docs/gsoc/GSoC-2020-Project-Ideas.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/gsoc/GSoC-2020-Project-Ideas.md -------------------------------------------------------------------------------- /docs/gsoc/GSoC-2021-Project-Ideas.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/gsoc/GSoC-2021-Project-Ideas.md -------------------------------------------------------------------------------- /docs/gsoc/GSoC-2022-Project-Ideas.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/gsoc/GSoC-2022-Project-Ideas.md -------------------------------------------------------------------------------- /docs/gsoc/GSoC-2023-Project-Ideas.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/gsoc/GSoC-2023-Project-Ideas.md -------------------------------------------------------------------------------- /docs/gsoc/GSoC-2024-Project-Ideas.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/gsoc/GSoC-2024-Project-Ideas.md -------------------------------------------------------------------------------- /docs/gsoc/GSoC-2025-Project-Ideas.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/gsoc/GSoC-2025-Project-Ideas.md -------------------------------------------------------------------------------- /docs/gsoc/JPF-Google-Summer-of-Code-2018.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/gsoc/JPF-Google-Summer-of-Code-2018.md -------------------------------------------------------------------------------- /docs/gsoc/JPF-Google-Summer-of-Code-2019.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/gsoc/JPF-Google-Summer-of-Code-2019.md -------------------------------------------------------------------------------- /docs/gsoc/JPF-Google-Summer-of-Code-2020.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/gsoc/JPF-Google-Summer-of-Code-2020.md -------------------------------------------------------------------------------- /docs/gsoc/JPF-Google-Summer-of-Code-2021.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/gsoc/JPF-Google-Summer-of-Code-2021.md -------------------------------------------------------------------------------- /docs/gsoc/JPF-Google-Summer-of-Code-2022.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/gsoc/JPF-Google-Summer-of-Code-2022.md -------------------------------------------------------------------------------- /docs/gsoc/JPF-Google-Summer-of-Code-2023.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/gsoc/JPF-Google-Summer-of-Code-2023.md -------------------------------------------------------------------------------- /docs/gsoc/JPF-Google-Summer-of-Code-2024.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/gsoc/JPF-Google-Summer-of-Code-2024.md -------------------------------------------------------------------------------- /docs/gsoc/JPF-Google-Summer-of-Code-2025.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/gsoc/JPF-Google-Summer-of-Code-2025.md -------------------------------------------------------------------------------- /docs/gsoc/JPF-and-Google-Summer-of-Code-2010.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/gsoc/JPF-and-Google-Summer-of-Code-2010.md -------------------------------------------------------------------------------- /docs/gsoc/JPF-and-Google-Summer-of-Code-2011.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/gsoc/JPF-and-Google-Summer-of-Code-2011.md -------------------------------------------------------------------------------- /docs/gsoc/JPF-and-Google-Summer-of-Code-2012.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/gsoc/JPF-and-Google-Summer-of-Code-2012.md -------------------------------------------------------------------------------- /docs/gsoc/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/gsoc/index.md -------------------------------------------------------------------------------- /docs/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/index.md -------------------------------------------------------------------------------- /docs/install/Build,-Test,-Run.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/install/Build,-Test,-Run.md -------------------------------------------------------------------------------- /docs/install/Creating-site-properties-file.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/install/Creating-site-properties-file.md -------------------------------------------------------------------------------- /docs/install/Downloading-binary-snapshots.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/install/Downloading-binary-snapshots.md -------------------------------------------------------------------------------- /docs/install/Downloading-sources.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/install/Downloading-sources.md -------------------------------------------------------------------------------- /docs/install/How-to-install-JPF.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/install/How-to-install-JPF.md -------------------------------------------------------------------------------- /docs/install/NetBeans-JPF.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/install/NetBeans-JPF.md -------------------------------------------------------------------------------- /docs/install/NetBeans-Plugin.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/install/NetBeans-Plugin.md -------------------------------------------------------------------------------- /docs/install/System-requirements.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/install/System-requirements.md -------------------------------------------------------------------------------- /docs/install/gov-nasa-jpf-netbeans-runjpf.nbm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/install/gov-nasa-jpf-netbeans-runjpf.nbm -------------------------------------------------------------------------------- /docs/install/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/install/index.md -------------------------------------------------------------------------------- /docs/intro/Classification.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/intro/Classification.md -------------------------------------------------------------------------------- /docs/intro/Introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/intro/Introduction.md -------------------------------------------------------------------------------- /docs/intro/Race-Example.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/intro/Race-Example.md -------------------------------------------------------------------------------- /docs/intro/Random-Example.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/intro/Random-Example.md -------------------------------------------------------------------------------- /docs/intro/Testing-vs.-Model-Checking.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/intro/Testing-vs.-Model-Checking.md -------------------------------------------------------------------------------- /docs/intro/What-is-JPF.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/intro/What-is-JPF.md -------------------------------------------------------------------------------- /docs/intro/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/intro/index.md -------------------------------------------------------------------------------- /docs/jpf-core/AssertionProperty.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/jpf-core/AssertionProperty.md -------------------------------------------------------------------------------- /docs/jpf-core/ErrorTraceGenerator.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/jpf-core/ErrorTraceGenerator.md -------------------------------------------------------------------------------- /docs/jpf-core/ExceptionInjector.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/jpf-core/ExceptionInjector.md -------------------------------------------------------------------------------- /docs/jpf-core/IdleFilter.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/jpf-core/IdleFilter.md -------------------------------------------------------------------------------- /docs/jpf-core/JPF-core.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/jpf-core/JPF-core.md -------------------------------------------------------------------------------- /docs/jpf-core/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/jpf-core/index.md -------------------------------------------------------------------------------- /docs/papers/Related-publications.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/papers/Related-publications.md -------------------------------------------------------------------------------- /docs/papers/chicago-author-date.csl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/papers/chicago-author-date.csl -------------------------------------------------------------------------------- /docs/papers/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/papers/index.md -------------------------------------------------------------------------------- /docs/papers/references.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/papers/references.bib -------------------------------------------------------------------------------- /docs/user/Configuring-JPF.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/user/Configuring-JPF.md -------------------------------------------------------------------------------- /docs/user/Different-applications-of-JPF.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/user/Different-applications-of-JPF.md -------------------------------------------------------------------------------- /docs/user/How-to-use-JPF.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/user/How-to-use-JPF.md -------------------------------------------------------------------------------- /docs/user/Run-JPF-using-Eclipse.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/user/Run-JPF-using-Eclipse.md -------------------------------------------------------------------------------- /docs/user/Run-JPF-using-NetBeans.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/user/Run-JPF-using-NetBeans.md -------------------------------------------------------------------------------- /docs/user/Run-JPF-using-eclipse-jpf.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/user/Run-JPF-using-eclipse-jpf.md -------------------------------------------------------------------------------- /docs/user/Run-JPF-with-NetBeans-plugin.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/user/Run-JPF-with-NetBeans-plugin.md -------------------------------------------------------------------------------- /docs/user/Runtime-components-of-JPF.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/user/Runtime-components-of-JPF.md -------------------------------------------------------------------------------- /docs/user/Understanding-JPF-output.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/user/Understanding-JPF-output.md -------------------------------------------------------------------------------- /docs/user/Verify-API-of-JPF.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/user/Verify-API-of-JPF.md -------------------------------------------------------------------------------- /docs/user/config/Randomization-options-in-JPF.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/user/config/Randomization-options-in-JPF.md -------------------------------------------------------------------------------- /docs/user/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/user/index.md -------------------------------------------------------------------------------- /docs/workshops/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/workshops/index.md -------------------------------------------------------------------------------- /docs/workshops/workshop-2016/JPF-Workshop-2016.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/workshops/workshop-2016/JPF-Workshop-2016.md -------------------------------------------------------------------------------- /docs/workshops/workshop-2017/JPF-Workshop-2017.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/workshops/workshop-2017/JPF-Workshop-2017.md -------------------------------------------------------------------------------- /docs/workshops/workshop-2018/JPF-Workshop-2018.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/workshops/workshop-2018/JPF-Workshop-2018.md -------------------------------------------------------------------------------- /docs/workshops/workshop-2019/JPF-Workshop-2019.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/docs/workshops/workshop-2019/JPF-Workshop-2019.md -------------------------------------------------------------------------------- /gradle/build-resources.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/gradle/build-resources.gradle -------------------------------------------------------------------------------- /gradle/distribution.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/gradle/distribution.gradle -------------------------------------------------------------------------------- /gradle/ide-support.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/gradle/ide-support.gradle -------------------------------------------------------------------------------- /gradle/source-sets.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/gradle/source-sets.gradle -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/gradlew -------------------------------------------------------------------------------- /gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/gradlew.bat -------------------------------------------------------------------------------- /jpf.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/jpf.properties -------------------------------------------------------------------------------- /output.txt: -------------------------------------------------------------------------------- 1 | After. 2 | -------------------------------------------------------------------------------- /settings.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/settings.gradle -------------------------------------------------------------------------------- /src/annotations/gov/nasa/jpf/annotation/BitFlip.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/annotations/gov/nasa/jpf/annotation/BitFlip.java -------------------------------------------------------------------------------- /src/annotations/gov/nasa/jpf/annotation/MJI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/annotations/gov/nasa/jpf/annotation/MJI.java -------------------------------------------------------------------------------- /src/classes/gov/nasa/jpf/AnnotationProxyBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/gov/nasa/jpf/AnnotationProxyBase.java -------------------------------------------------------------------------------- /src/classes/gov/nasa/jpf/BoxObjectCaches.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/gov/nasa/jpf/BoxObjectCaches.java -------------------------------------------------------------------------------- /src/classes/gov/nasa/jpf/CachedROHttpConnection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/gov/nasa/jpf/CachedROHttpConnection.java -------------------------------------------------------------------------------- /src/classes/gov/nasa/jpf/ConsoleOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/gov/nasa/jpf/ConsoleOutputStream.java -------------------------------------------------------------------------------- /src/classes/gov/nasa/jpf/EventProducer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/gov/nasa/jpf/EventProducer.java -------------------------------------------------------------------------------- /src/classes/gov/nasa/jpf/FinalizerThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/gov/nasa/jpf/FinalizerThread.java -------------------------------------------------------------------------------- /src/classes/modules/java.base/java/io/File.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/modules/java.base/java/io/File.java -------------------------------------------------------------------------------- /src/classes/modules/java.base/java/lang/Class.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/modules/java.base/java/lang/Class.java -------------------------------------------------------------------------------- /src/classes/modules/java.base/java/lang/Object.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/modules/java.base/java/lang/Object.java -------------------------------------------------------------------------------- /src/classes/modules/java.base/java/lang/String.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/modules/java.base/java/lang/String.java -------------------------------------------------------------------------------- /src/classes/modules/java.base/java/lang/System.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/modules/java.base/java/lang/System.java -------------------------------------------------------------------------------- /src/classes/modules/java.base/java/lang/Thread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/modules/java.base/java/lang/Thread.java -------------------------------------------------------------------------------- /src/classes/modules/java.base/java/nio/Buffer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/modules/java.base/java/nio/Buffer.java -------------------------------------------------------------------------------- /src/classes/modules/java.base/java/text/Format.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/modules/java.base/java/text/Format.java -------------------------------------------------------------------------------- /src/classes/modules/java.base/java/util/Random.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/modules/java.base/java/util/Random.java -------------------------------------------------------------------------------- /src/classes/org/junit/After.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/org/junit/After.java -------------------------------------------------------------------------------- /src/classes/org/junit/AfterClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/org/junit/AfterClass.java -------------------------------------------------------------------------------- /src/classes/org/junit/Before.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/org/junit/Before.java -------------------------------------------------------------------------------- /src/classes/org/junit/BeforeClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/org/junit/BeforeClass.java -------------------------------------------------------------------------------- /src/classes/org/junit/Ignore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/org/junit/Ignore.java -------------------------------------------------------------------------------- /src/classes/org/junit/Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/classes/org/junit/Test.java -------------------------------------------------------------------------------- /src/examples/BoundedBuffer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/BoundedBuffer.java -------------------------------------------------------------------------------- /src/examples/BoundedBuffer.jpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/BoundedBuffer.jpf -------------------------------------------------------------------------------- /src/examples/Crossing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/Crossing.java -------------------------------------------------------------------------------- /src/examples/Crossing.jpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/Crossing.jpf -------------------------------------------------------------------------------- /src/examples/DiningPhil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/DiningPhil.java -------------------------------------------------------------------------------- /src/examples/DiningPhil.jpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/DiningPhil.jpf -------------------------------------------------------------------------------- /src/examples/HelloWorld.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/HelloWorld.java -------------------------------------------------------------------------------- /src/examples/HelloWorld.jpf: -------------------------------------------------------------------------------- 1 | target=HelloWorld -------------------------------------------------------------------------------- /src/examples/NumericValueCheck.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/NumericValueCheck.java -------------------------------------------------------------------------------- /src/examples/NumericValueCheck.jpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/NumericValueCheck.jpf -------------------------------------------------------------------------------- /src/examples/Racer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/Racer.java -------------------------------------------------------------------------------- /src/examples/Racer.jpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/Racer.jpf -------------------------------------------------------------------------------- /src/examples/Rand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/Rand.java -------------------------------------------------------------------------------- /src/examples/Rand.jpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/Rand.jpf -------------------------------------------------------------------------------- /src/examples/RobotManager-replay-nt.jpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/RobotManager-replay-nt.jpf -------------------------------------------------------------------------------- /src/examples/RobotManager-replay-ot.jpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/RobotManager-replay-ot.jpf -------------------------------------------------------------------------------- /src/examples/RobotManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/RobotManager.java -------------------------------------------------------------------------------- /src/examples/RobotManager.jpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/RobotManager.jpf -------------------------------------------------------------------------------- /src/examples/StopWatch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/StopWatch.java -------------------------------------------------------------------------------- /src/examples/StopWatch.jpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/StopWatch.jpf -------------------------------------------------------------------------------- /src/examples/TestExample-coverage.jpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/TestExample-coverage.jpf -------------------------------------------------------------------------------- /src/examples/TestExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/TestExample.java -------------------------------------------------------------------------------- /src/examples/oldclassic-da.jpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/oldclassic-da.jpf -------------------------------------------------------------------------------- /src/examples/oldclassic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/oldclassic.java -------------------------------------------------------------------------------- /src/examples/oldclassic.jpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/examples/oldclassic.jpf -------------------------------------------------------------------------------- /src/main/fault/injection/examples/CRC.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/fault/injection/examples/CRC.java -------------------------------------------------------------------------------- /src/main/fault/injection/examples/CheckISBN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/fault/injection/examples/CheckISBN.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/$coreTag.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/$coreTag.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/Config.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/Config.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/ConfigChangeListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/ConfigChangeListener.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/Error.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/Error.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/GenericProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/GenericProperty.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/JPF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/JPF.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/JPFClassLoader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/JPFClassLoader.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/JPFConfigException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/JPFConfigException.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/JPFErrorException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/JPFErrorException.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/JPFException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/JPFException.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/JPFListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/JPFListener.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/JPFListenerException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/JPFListenerException.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/JPFNativePeerException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/JPFNativePeerException.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/JPFShell.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/JPFShell.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/ListenerAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/ListenerAdapter.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/Property.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/Property.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/PropertyListenerAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/PropertyListenerAdapter.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/State.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/State.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/StateExtension.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/StateExtension.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/SystemAttribute.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/SystemAttribute.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/ClassFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/ClassFile.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/ClassFilePrinter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/ClassFilePrinter.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/ClassFileReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/ClassFileReader.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/ClassNames.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/ClassNames.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/DirClassFileContainer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/DirClassFileContainer.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/JRTClassFileContainer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/JRTClassFileContainer.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/JVMAnnotationParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/JVMAnnotationParser.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/JVMByteCodePrinter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/JVMByteCodePrinter.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/JVMByteCodeReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/JVMByteCodeReader.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/JVMClassFileContainer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/JVMClassFileContainer.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/JVMClassInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/JVMClassInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/JVMCodeBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/JVMCodeBuilder.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/JVMInstructionFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/JVMInstructionFactory.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/JVMNativeStackFrame.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/JVMNativeStackFrame.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/JVMStackFrame.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/JVMStackFrame.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/JarClassFileContainer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/JarClassFileContainer.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/SkipAnnotation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/SkipAnnotation.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/AALOAD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/AALOAD.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/AASTORE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/AASTORE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/ACONST_NULL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/ACONST_NULL.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/ALOAD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/ALOAD.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/ANEWARRAY.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/ANEWARRAY.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/ARETURN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/ARETURN.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/ARRAYLENGTH.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/ARRAYLENGTH.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/ASTORE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/ASTORE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/ATHROW.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/ATHROW.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/BALOAD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/BALOAD.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/BASTORE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/BASTORE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/BIPUSH.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/BIPUSH.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/CALOAD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/CALOAD.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/CASTORE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/CASTORE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/CHECKCAST.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/CHECKCAST.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/D2F.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/D2F.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/D2I.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/D2I.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/D2L.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/D2L.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/DADD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/DADD.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/DALOAD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/DALOAD.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/DASTORE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/DASTORE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/DCMPG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/DCMPG.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/DCMPL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/DCMPL.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/DCONST.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/DCONST.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/DDIV.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/DDIV.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/DLOAD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/DLOAD.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/DMUL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/DMUL.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/DNEG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/DNEG.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/DREM.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/DREM.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/DRETURN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/DRETURN.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/DSTORE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/DSTORE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/DSUB.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/DSUB.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/DUP.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/DUP.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/DUP2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/DUP2.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/DUP2_X1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/DUP2_X1.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/DUP2_X2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/DUP2_X2.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/DUP_X1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/DUP_X1.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/DUP_X2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/DUP_X2.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/F2D.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/F2D.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/F2I.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/F2I.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/F2L.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/F2L.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/FADD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/FADD.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/FALOAD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/FALOAD.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/FASTORE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/FASTORE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/FCMPG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/FCMPG.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/FCMPL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/FCMPL.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/FCONST.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/FCONST.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/FDIV.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/FDIV.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/FINISHCLINIT.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/FINISHCLINIT.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/FLOAD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/FLOAD.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/FMUL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/FMUL.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/FNEG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/FNEG.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/FREM.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/FREM.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/FRETURN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/FRETURN.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/FSTORE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/FSTORE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/FSUB.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/FSUB.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/GETFIELD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/GETFIELD.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/GETSTATIC.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/GETSTATIC.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/GOTO.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/GOTO.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/GOTO_W.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/GOTO_W.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/GetHelper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/GetHelper.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/I2B.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/I2B.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/I2C.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/I2C.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/I2D.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/I2D.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/I2F.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/I2F.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/I2L.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/I2L.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/I2S.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/I2S.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IADD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IADD.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IALOAD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IALOAD.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IAND.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IAND.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IASTORE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IASTORE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/ICONST.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/ICONST.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IDIV.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IDIV.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IFEQ.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IFEQ.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IFGE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IFGE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IFGT.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IFGT.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IFLE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IFLE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IFLT.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IFLT.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IFNE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IFNE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IFNONNULL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IFNONNULL.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IFNULL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IFNULL.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IF_ACMPEQ.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IF_ACMPEQ.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IF_ACMPNE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IF_ACMPNE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IF_ICMPEQ.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IF_ICMPEQ.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IF_ICMPGE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IF_ICMPGE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IF_ICMPGT.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IF_ICMPGT.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IF_ICMPLE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IF_ICMPLE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IF_ICMPLT.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IF_ICMPLT.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IF_ICMPNE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IF_ICMPNE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IINC.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IINC.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/ILOAD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/ILOAD.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IMUL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IMUL.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/INEG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/INEG.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/INSTANCEOF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/INSTANCEOF.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/INVOKECG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/INVOKECG.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/INVOKECLINIT.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/INVOKECLINIT.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/INVOKESTATIC.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/INVOKESTATIC.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IOR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IOR.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IREM.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IREM.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IRETURN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IRETURN.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/ISHL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/ISHL.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/ISHR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/ISHR.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/ISTORE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/ISTORE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/ISUB.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/ISUB.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IUSHR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IUSHR.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/IXOR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/IXOR.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/JSR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/JSR.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/JSR_W.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/JSR_W.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/L2D.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/L2D.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/L2F.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/L2F.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/L2I.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/L2I.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LADD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LADD.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LALOAD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LALOAD.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LAND.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LAND.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LASTORE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LASTORE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LCMP.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LCMP.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LCONST.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LCONST.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LDC.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LDC.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LDC2_W.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LDC2_W.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LDC_W.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LDC_W.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LDIV.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LDIV.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LLOAD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LLOAD.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LMUL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LMUL.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LNEG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LNEG.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LOOKUPSWITCH.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LOOKUPSWITCH.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LOR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LOR.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LREM.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LREM.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LRETURN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LRETURN.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LSHL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LSHL.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LSHR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LSHR.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LSTORE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LSTORE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LSUB.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LSUB.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LUSHR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LUSHR.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LXOR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LXOR.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/LongReturn.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/LongReturn.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/MONITORENTER.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/MONITORENTER.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/MONITOREXIT.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/MONITOREXIT.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/NATIVERETURN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/NATIVERETURN.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/NEW.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/NEW.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/NEWARRAY.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/NEWARRAY.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/NOP.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/NOP.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/POP.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/POP.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/POP2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/POP2.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/PUTFIELD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/PUTFIELD.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/PUTSTATIC.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/PUTSTATIC.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/PutHelper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/PutHelper.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/RET.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/RET.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/RETURN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/RETURN.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/RUNSTART.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/RUNSTART.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/SALOAD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/SALOAD.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/SASTORE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/SASTORE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/SIPUSH.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/SIPUSH.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/SWAP.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/SWAP.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/TABLESWITCH.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/TABLESWITCH.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/jvm/bytecode/WIDE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/jvm/bytecode/WIDE.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/BitFlipListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/BitFlipListener.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/BudgetChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/BudgetChecker.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/CGMonitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/CGMonitor.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/CGRemover.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/CGRemover.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/CallMonitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/CallMonitor.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/ChoiceSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/ChoiceSelector.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/ChoiceTracker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/ChoiceTracker.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/CoverageAnalyzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/CoverageAnalyzer.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/DeadlockAnalyzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/DeadlockAnalyzer.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/ExecTracker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/ExecTracker.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/HeapTracker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/HeapTracker.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/IdleFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/IdleFilter.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/InsnCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/InsnCounter.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/LockedStackDepth.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/LockedStackDepth.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/LogConsole.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/LogConsole.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/MethodAnalyzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/MethodAnalyzer.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/MethodTracker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/MethodTracker.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/NoStateCycles.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/NoStateCycles.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/NonSharedChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/NonSharedChecker.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/NullTracker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/NullTracker.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/OOMEInjector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/OOMEInjector.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/ObjectTracker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/ObjectTracker.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/Perturbator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/Perturbator.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/ReferenceLocator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/ReferenceLocator.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/SearchStats.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/SearchStats.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/SimpleDot.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/SimpleDot.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/SimpleIdleFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/SimpleIdleFilter.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/StackTracker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/StackTracker.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/StateSpaceDot.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/StateSpaceDot.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/StateTracker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/StateTracker.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/StopWatchFuzzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/StopWatchFuzzer.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/TraceStorer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/TraceStorer.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/VarRecorder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/VarRecorder.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/listener/VarTracker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/listener/VarTracker.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/perturb/IntOverUnder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/perturb/IntOverUnder.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/report/ConsolePublisher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/report/ConsolePublisher.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/report/Publisher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/report/Publisher.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/report/PublisherExtension.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/report/PublisherExtension.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/report/Reporter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/report/Reporter.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/report/Statistics.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/report/Statistics.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/report/XMLPublisher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/report/XMLPublisher.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/search/DFSearch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/search/DFSearch.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/search/PathSearch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/search/PathSearch.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/search/RandomSearch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/search/RandomSearch.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/search/Search.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/search/Search.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/search/SearchListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/search/SearchListener.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/search/SearchState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/search/SearchState.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/search/Simulation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/search/Simulation.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/tool/GenPeer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/tool/GenPeer.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/tool/LogConsole.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/tool/LogConsole.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/tool/PrintEvents.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/tool/PrintEvents.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/tool/Run.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/tool/Run.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/tool/RunJPF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/tool/RunJPF.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/tool/RunTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/tool/RunTest.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/ArrayByteQueue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/ArrayByteQueue.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/ArrayIntSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/ArrayIntSet.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/ArrayObjectQueue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/ArrayObjectQueue.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/Attributable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/Attributable.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/BailOut.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/BailOut.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/BinaryClassSource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/BinaryClassSource.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/BitArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/BitArray.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/BitSet1024.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/BitSet1024.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/BitSet256.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/BitSet256.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/BitSet64.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/BitSet64.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/BitSetN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/BitSetN.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/ClassInfoFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/ClassInfoFilter.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/CloneableObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/CloneableObject.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/Cloner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/Cloner.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/CommitOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/CommitOutputStream.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/ConsoleStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/ConsoleStream.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/ConstGrowth.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/ConstGrowth.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/CountDown.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/CountDown.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/DevNullPrintStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/DevNullPrintStream.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/DynamicIntArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/DynamicIntArray.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/DynamicObjectArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/DynamicObjectArray.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/ElementCreator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/ElementCreator.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/ExpGrowth.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/ExpGrowth.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/FeatureSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/FeatureSpec.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/FieldSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/FieldSpec.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/FieldSpecMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/FieldSpecMatcher.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/FileUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/FileUtils.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/FinalBitSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/FinalBitSet.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/FixedBitSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/FixedBitSet.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/Growth.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/Growth.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/HashData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/HashData.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/HashPool.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/HashPool.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/IdentityObjectSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/IdentityObjectSet.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/ImmutableList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/ImmutableList.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/IndexIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/IndexIterator.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/InstructionState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/InstructionState.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/IntArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/IntArray.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/IntIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/IntIterator.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/IntSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/IntSet.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/IntTable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/IntTable.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/IntVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/IntVector.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/Invocation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/Invocation.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/JPFLogger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/JPFLogger.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/JPFSiteUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/JPFSiteUtils.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/Left.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/Left.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/LimitedInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/LimitedInputStream.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/LinkedObjectQueue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/LinkedObjectQueue.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/LocationSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/LocationSpec.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/LogHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/LogHandler.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/LogManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/LogManager.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/Loggable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/Loggable.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/LongVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/LongVector.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/MethodInfoRegistry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/MethodInfoRegistry.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/MethodSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/MethodSpec.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/MethodSpecMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/MethodSpecMatcher.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/Misc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/Misc.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/MutableInteger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/MutableInteger.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/OATHash.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/OATHash.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/ObjArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/ObjArray.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/ObjVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/ObjVector.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/ObjectConverter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/ObjectConverter.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/ObjectList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/ObjectList.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/ObjectQueue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/ObjectQueue.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/ObjectSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/ObjectSet.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/PSIntMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/PSIntMap.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/Pair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/Pair.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/PathnameExpander.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/PathnameExpander.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/PermutationGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/PermutationGenerator.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/Predicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/Predicate.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/PrintStreamable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/PrintStreamable.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/PrintUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/PrintUtils.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/Printable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/Printable.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/Processor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/Processor.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/ReadOnlyObjList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/ReadOnlyObjList.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/Reflection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/Reflection.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/RepositoryEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/RepositoryEntry.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/Result.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/Result.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/Right.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/Right.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/RunListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/RunListener.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/RunRegistry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/RunRegistry.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/SimplePool.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/SimplePool.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/SingleElementList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/SingleElementList.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/SortedArrayIntSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/SortedArrayIntSet.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/SortedArrayObjectSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/SortedArrayObjectSet.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/Source.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/Source.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/SourceRef.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/SourceRef.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/SparseClusterArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/SparseClusterArray.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/SparseIntVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/SparseIntVector.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/SparseObjVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/SparseObjVector.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/SplitInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/SplitInputStream.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/SplitOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/SplitOutputStream.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/StateExtensionClient.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/StateExtensionClient.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/StringExpander.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/StringExpander.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/StringMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/StringMatcher.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/StringSetMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/StringSetMatcher.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/StructuredPrinter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/StructuredPrinter.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/Trace.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/Trace.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/TraceElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/TraceElement.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/Transformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/Transformer.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/TwoTypeComparator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/TwoTypeComparator.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/TypeRef.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/TypeRef.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/TypeSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/TypeSpec.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/TypeSpecMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/TypeSpecMatcher.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/UnsortedArrayIntSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/UnsortedArrayIntSet.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/VarSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/VarSpec.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/WeakPool.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/WeakPool.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/automaton/Automaton.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/automaton/Automaton.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/automaton/State.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/automaton/State.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/automaton/Transition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/automaton/Transition.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/event/CheckEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/event/CheckEvent.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/event/ControlEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/event/ControlEvent.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/event/Event.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/event/Event.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/event/EventContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/event/EventContext.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/event/EventForest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/event/EventForest.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/event/EventTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/event/EventTree.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/event/NoEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/event/NoEvent.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/event/SystemEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/event/SystemEvent.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/event/TestEventTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/event/TestEventTree.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/json/AbstractValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/json/AbstractValue.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/json/ArrayValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/json/ArrayValue.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/json/BooleanValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/json/BooleanValue.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/json/CGCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/json/CGCall.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/json/CGCreator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/json/CGCreator.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/json/Creator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/json/Creator.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/json/CreatorsFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/json/CreatorsFactory.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/json/DoubleValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/json/DoubleValue.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/json/JSONLexer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/json/JSONLexer.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/json/JSONObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/json/JSONObject.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/json/JSONObjectValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/json/JSONObjectValue.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/json/JSONParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/json/JSONParser.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/json/NullValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/json/NullValue.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/json/StringValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/json/StringValue.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/json/Token.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/json/Token.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/json/Value.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/json/Value.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/script/Alternative.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/script/Alternative.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/script/ESParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/script/ESParser.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/script/Event.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/script/Event.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/script/EventFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/script/EventFactory.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/script/Repetition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/script/Repetition.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/script/Script.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/script/Script.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/script/ScriptElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/script/ScriptElement.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/script/Section.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/script/Section.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/util/test/TestJPF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/util/test/TestJPF.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/AbstractRestorer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/AbstractRestorer.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/AbstractSerializer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/AbstractSerializer.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/Allocation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/Allocation.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/AllocationContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/AllocationContext.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/AnnotationInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/AnnotationInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/AnnotationParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/AnnotationParser.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ApplicationContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ApplicationContext.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ArrayAccess.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ArrayAccess.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ArrayFields.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ArrayFields.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ArrayOffset.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ArrayOffset.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/AtomicData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/AtomicData.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/Attributor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/Attributor.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/Backtracker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/Backtracker.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/BooleanArrayFields.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/BooleanArrayFields.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/BooleanFieldInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/BooleanFieldInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/BootstrapMethodInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/BootstrapMethodInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ByteArrayFields.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ByteArrayFields.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ByteFieldInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ByteFieldInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/CharArrayFields.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/CharArrayFields.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/CharFieldInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/CharFieldInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ChoiceGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ChoiceGenerator.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ChoiceGeneratorBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ChoiceGeneratorBase.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ChoicePoint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ChoicePoint.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ClassFileContainer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ClassFileContainer.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ClassFileMatch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ClassFileMatch.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ClassInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ClassInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ClassInfoException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ClassInfoException.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ClassLoaderInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ClassLoaderInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ClassLoaderList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ClassLoaderList.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ClassParseException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ClassParseException.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ClassPath.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ClassPath.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ClinitRequired.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ClinitRequired.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ClosedMemento.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ClosedMemento.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/CollapsePools.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/CollapsePools.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ConstInsnPathTime.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ConstInsnPathTime.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/DefaultBacktracker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/DefaultBacktracker.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/DelegatingScheduler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/DelegatingScheduler.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/DoubleArrayFields.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/DoubleArrayFields.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/DoubleFieldInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/DoubleFieldInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/DoubleSlotFieldInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/DoubleSlotFieldInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/DynamicElementInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/DynamicElementInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ElementInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ElementInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ExceptionHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ExceptionHandler.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ExceptionInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ExceptionInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/FieldInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/FieldInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/FieldLockInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/FieldLockInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/Fields.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/Fields.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/FieldsFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/FieldsFactory.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/FinalizerThreadInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/FinalizerThreadInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/FloatArrayFields.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/FloatArrayFields.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/FloatFieldInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/FloatFieldInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/FullStateSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/FullStateSet.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/GenericHeap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/GenericHeap.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/GenericSGOIDHeap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/GenericSGOIDHeap.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/HandlerContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/HandlerContext.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/Heap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/Heap.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/InfoObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/InfoObject.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/Instruction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/Instruction.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/IntArrayFields.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/IntArrayFields.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/IntChoiceGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/IntChoiceGenerator.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/IntegerFieldInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/IntegerFieldInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/IsEndStateProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/IsEndStateProperty.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/JPFOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/JPFOutputStream.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/JenkinsStateSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/JenkinsStateSet.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/KernelState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/KernelState.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/LoadOnJPFRequired.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/LoadOnJPFRequired.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/LocalVarInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/LocalVarInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/LockSetThresholdFli.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/LockSetThresholdFli.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/LongArrayFields.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/LongArrayFields.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/LongChoiceGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/LongChoiceGenerator.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/LongFieldInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/LongFieldInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/MJIEnv.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/MJIEnv.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/Memento.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/Memento.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/MementoFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/MementoFactory.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/MementoRestorer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/MementoRestorer.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/MethodInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/MethodInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/MethodLocator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/MethodLocator.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/Monitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/Monitor.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/MultiProcessVM.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/MultiProcessVM.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/NamedFields.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/NamedFields.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/NativeMethodInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/NativeMethodInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/NativePeer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/NativePeer.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/NativeStackFrame.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/NativeStackFrame.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/NativeStateHolder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/NativeStateHolder.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/NoJPFExec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/NoJPFExec.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/OVHeap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/OVHeap.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/OVStatics.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/OVStatics.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ObjRef.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ObjRef.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/PSIMHeap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/PSIMHeap.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/Path.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/Path.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/PersistentTidSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/PersistentTidSet.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/PredicateMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/PredicateMap.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ReferenceFieldInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ReferenceFieldInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ReferenceProcessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ReferenceProcessor.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ReleaseAction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ReleaseAction.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/Restorable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/Restorable.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/RestorableVMState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/RestorableVMState.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/Scheduler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/Scheduler.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/SerializingStateSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/SerializingStateSet.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/SharednessPolicy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/SharednessPolicy.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ShortArrayFields.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ShortArrayFields.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ShortFieldInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ShortFieldInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/SingleProcessVM.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/SingleProcessVM.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/SingleSlotFieldInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/SingleSlotFieldInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/StackFrame.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/StackFrame.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/StateRestorer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/StateRestorer.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/StateSerializer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/StateSerializer.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/StateSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/StateSet.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/StaticElementInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/StaticElementInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/Statics.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/Statics.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/Step.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/Step.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/Storable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/Storable.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/SyncPolicy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/SyncPolicy.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/SystemState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/SystemState.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/SystemTime.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/SystemTime.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ThreadData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ThreadData.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ThreadInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ThreadInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ThreadInfoSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ThreadInfoSet.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/ThreadList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/ThreadList.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/TidSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/TidSet.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/TimeModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/TimeModel.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/Transition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/Transition.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/TypeAnnotationInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/TypeAnnotationInfo.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/Types.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/Types.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/UncaughtException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/UncaughtException.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/VM.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/VM.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/VMListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/VMListener.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/Verify.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/Verify.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/choice/DoubleSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/choice/DoubleSpec.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/choice/ExposureCG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/choice/ExposureCG.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/choice/InvocationCG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/choice/InvocationCG.java -------------------------------------------------------------------------------- /src/main/gov/nasa/jpf/vm/serialize/Ignored.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/main/gov/nasa/jpf/vm/serialize/Ignored.java -------------------------------------------------------------------------------- /src/peers/JPF_PolDetListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/peers/JPF_PolDetListener.java -------------------------------------------------------------------------------- /src/peers/gov/nasa/jpf/vm/AtomicFieldUpdater.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/peers/gov/nasa/jpf/vm/AtomicFieldUpdater.java -------------------------------------------------------------------------------- /src/peers/gov/nasa/jpf/vm/JPF_java_io_File.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/peers/gov/nasa/jpf/vm/JPF_java_io_File.java -------------------------------------------------------------------------------- /src/peers/gov/nasa/jpf/vm/JPF_java_lang_Byte.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/peers/gov/nasa/jpf/vm/JPF_java_lang_Byte.java -------------------------------------------------------------------------------- /src/peers/gov/nasa/jpf/vm/JPF_java_lang_Long.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/peers/gov/nasa/jpf/vm/JPF_java_lang_Long.java -------------------------------------------------------------------------------- /src/peers/gov/nasa/jpf/vm/JPF_java_lang_Math.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/peers/gov/nasa/jpf/vm/JPF_java_lang_Math.java -------------------------------------------------------------------------------- /src/peers/gov/nasa/jpf/vm/JPF_java_text_Bidi.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/peers/gov/nasa/jpf/vm/JPF_java_text_Bidi.java -------------------------------------------------------------------------------- /src/peers/gov/nasa/jpf/vm/JPF_java_util_Date.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/peers/gov/nasa/jpf/vm/JPF_java_util_Date.java -------------------------------------------------------------------------------- /src/peers/gov/nasa/jpf/vm/LoggablePeer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/peers/gov/nasa/jpf/vm/LoggablePeer.java -------------------------------------------------------------------------------- /src/tests/CharBufferTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/CharBufferTest.java -------------------------------------------------------------------------------- /src/tests/NullCharsetTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/NullCharsetTest.java -------------------------------------------------------------------------------- /src/tests/PolDet/PolDetExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/PolDet/PolDetExamples.java -------------------------------------------------------------------------------- /src/tests/PolDet/PolDetMain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/PolDet/PolDetMain.java -------------------------------------------------------------------------------- /src/tests/ReporterResourcesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/ReporterResourcesTest.java -------------------------------------------------------------------------------- /src/tests/SingleThreadTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/SingleThreadTest.java -------------------------------------------------------------------------------- /src/tests/TypeNameTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/TypeNameTest.java -------------------------------------------------------------------------------- /src/tests/classloader_specific_tests/Class1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/classloader_specific_tests/Class1.java -------------------------------------------------------------------------------- /src/tests/classloader_specific_tests/Class2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/classloader_specific_tests/Class2.java -------------------------------------------------------------------------------- /src/tests/classloader_specific_tests/Class3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/classloader_specific_tests/Class3.java -------------------------------------------------------------------------------- /src/tests/fault/injection/examples/CRCTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/fault/injection/examples/CRCTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/ConfigTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/ConfigTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/configTestApp.jpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/configTestApp.jpf -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/configTestCommon.jpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/configTestCommon.jpf -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/configTestIncludes.jpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/configTestIncludes.jpf -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/configTestRequires.jpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/configTestRequires.jpf -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/configTestRequiresFail.jpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/configTestRequiresFail.jpf -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/configTestSite.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/configTestSite.properties -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/jvm/ClassInfoTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/jvm/ClassInfoTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/jvm/FileVersionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/jvm/FileVersionTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/jvm/JVMStackFrameTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/jvm/JVMStackFrameTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/jvm/MethodInfoTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/jvm/MethodInfoTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/test/basic/MJITest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/test/basic/MJITest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/test/java/io/FileTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/test/java/io/FileTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/test/mc/data/JSONTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/test/mc/data/JSONTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/test/xerces/sun_checks.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/test/xerces/sun_checks.xml -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/util/BitSet1024Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/util/BitSet1024Test.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/util/BitSet256Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/util/BitSet256Test.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/util/BitSet64Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/util/BitSet64Test.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/util/IntTableTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/util/IntTableTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/util/IntVectorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/util/IntVectorTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/util/LocationSpecTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/util/LocationSpecTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/util/MethodSpecTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/util/MethodSpecTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/util/OATHashTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/util/OATHashTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/util/ObjVectorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/util/ObjVectorTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/util/ObjectListTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/util/ObjectListTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/util/PSIntMapTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/util/PSIntMapTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/vm/AllocationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/vm/AllocationTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/vm/AnnotationInfoTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/vm/AnnotationInfoTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/vm/ElementInfoTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/vm/ElementInfoTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/vm/StackFrameTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/vm/StackFrameTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/vm/SystemStateTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/vm/SystemStateTest.java -------------------------------------------------------------------------------- /src/tests/gov/nasa/jpf/vm/TypesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/gov/nasa/jpf/vm/TypesTest.java -------------------------------------------------------------------------------- /src/tests/java11/MatcherTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/java11/MatcherTest.java -------------------------------------------------------------------------------- /src/tests/java11/StringConcatenationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/java11/StringConcatenationTest.java -------------------------------------------------------------------------------- /src/tests/java11/StringEqualsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/java11/StringEqualsTest.java -------------------------------------------------------------------------------- /src/tests/java8/DefaultMethodTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/java8/DefaultMethodTest.java -------------------------------------------------------------------------------- /src/tests/java8/LambdaTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/java8/LambdaTest.java -------------------------------------------------------------------------------- /src/tests/java8/TypeAnnotationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/java8/TypeAnnotationTest.java -------------------------------------------------------------------------------- /src/tests/resources/TestClassJava11.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/resources/TestClassJava11.class -------------------------------------------------------------------------------- /src/tests/resources/TestClassJava17.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/resources/TestClassJava17.class -------------------------------------------------------------------------------- /src/tests/test.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/javapathfinder/jpf-core/HEAD/src/tests/test.zip --------------------------------------------------------------------------------