Download annotator-core.jar - @edu.ucr.cs.riple.annotator

Version	Vulnerabilities	Size	Updated
1.3.x	annotator-core-1.3.8.jar		5.84 MB	Jul 28, 2023
annotator-core-1.3.7.jar		5.84 MB	Jun 22, 2023
annotator-core-1.3.6.jar		5.82 MB	Mar 10, 2023
annotator-core-1.3.6-alpha-5.jar		5.82 MB	Jan 26, 2023
annotator-core-1.3.6-alpha-4.jar		5.82 MB	Jan 26, 2023
annotator-core-1.3.6-alpha-3.jar		5.82 MB	Jan 13, 2023
annotator-core-1.3.6-alpha-2.jar		5.81 MB	Jan 11, 2023
annotator-core-1.3.6-alpha-1.jar		5.81 MB	Jan 06, 2023
annotator-core-1.3.5.jar		5.79 MB	Dec 22, 2022
annotator-core-1.3.4.jar		5.78 MB	Nov 29, 2022

View Java Class Source Code in JAR file

Download JD-GUI to open JAR file and explore Java source code file (.class .java)
Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window annotator-core-1.3.8.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.

org.jline.terminal.impl.jansi.freebsd

├─ org.jline.terminal.impl.jansi.freebsd.FreeBsdNativePty.class - [JAR]

org.checkerframework.common.initializedfields.qual

├─ org.checkerframework.common.initializedfields.qual.EnsuresInitializedFields.class - [JAR]

├─ org.checkerframework.common.initializedfields.qual.InitializedFields.class - [JAR]

├─ org.checkerframework.common.initializedfields.qual.InitializedFieldsBottom.class - [JAR]

├─ org.checkerframework.common.initializedfields.qual.PolyInitializedFields.class - [JAR]

com.google.common.reflect

├─ com.google.common.reflect.AbstractInvocationHandler.class - [JAR]

├─ com.google.common.reflect.ClassPath.class - [JAR]

├─ com.google.common.reflect.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.reflect.ImmutableTypeToInstanceMap.class - [JAR]

├─ com.google.common.reflect.Invokable.class - [JAR]

├─ com.google.common.reflect.MutableTypeToInstanceMap.class - [JAR]

├─ com.google.common.reflect.Parameter.class - [JAR]

├─ com.google.common.reflect.ParametricNullness.class - [JAR]

├─ com.google.common.reflect.Reflection.class - [JAR]

├─ com.google.common.reflect.TypeCapture.class - [JAR]

├─ com.google.common.reflect.TypeParameter.class - [JAR]

├─ com.google.common.reflect.TypeResolver.class - [JAR]

├─ com.google.common.reflect.TypeToInstanceMap.class - [JAR]

├─ com.google.common.reflect.TypeToken.class - [JAR]

├─ com.google.common.reflect.TypeVisitor.class - [JAR]

├─ com.google.common.reflect.Types.class - [JAR]

├─ com.google.common.reflect.package-info.class - [JAR]

org.checkerframework.checker.calledmethods.qual

├─ org.checkerframework.checker.calledmethods.qual.CalledMethods.class - [JAR]

├─ org.checkerframework.checker.calledmethods.qual.CalledMethodsBottom.class - [JAR]

├─ org.checkerframework.checker.calledmethods.qual.CalledMethodsPredicate.class - [JAR]

├─ org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethods.class - [JAR]

├─ org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsIf.class - [JAR]

com.google.common.html

├─ com.google.common.html.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.html.HtmlEscapers.class - [JAR]

├─ com.google.common.html.ParametricNullness.class - [JAR]

├─ com.google.common.html.package-info.class - [JAR]

edu.ucr.cs.riple.core.checkers.nullaway

├─ edu.ucr.cs.riple.core.checkers.nullaway.FixSerializationConfig.class - [JAR]

├─ edu.ucr.cs.riple.core.checkers.nullaway.NullAway.class - [JAR]

├─ edu.ucr.cs.riple.core.checkers.nullaway.NullAwayError.class - [JAR]

com.github.javaparser.ast.body

├─ com.github.javaparser.ast.body.AnnotationDeclaration.class - [JAR]

├─ com.github.javaparser.ast.body.AnnotationMemberDeclaration.class - [JAR]

├─ com.github.javaparser.ast.body.BodyDeclaration.class - [JAR]

├─ com.github.javaparser.ast.body.CallableDeclaration.class - [JAR]

├─ com.github.javaparser.ast.body.ClassOrInterfaceDeclaration.class - [JAR]

├─ com.github.javaparser.ast.body.CompactConstructorDeclaration.class - [JAR]

├─ com.github.javaparser.ast.body.ConstructorDeclaration.class - [JAR]

├─ com.github.javaparser.ast.body.EnumConstantDeclaration.class - [JAR]

├─ com.github.javaparser.ast.body.EnumDeclaration.class - [JAR]

├─ com.github.javaparser.ast.body.FieldDeclaration.class - [JAR]

├─ com.github.javaparser.ast.body.InitializerDeclaration.class - [JAR]

├─ com.github.javaparser.ast.body.MethodDeclaration.class - [JAR]

├─ com.github.javaparser.ast.body.Parameter.class - [JAR]

├─ com.github.javaparser.ast.body.ReceiverParameter.class - [JAR]

├─ com.github.javaparser.ast.body.RecordDeclaration.class - [JAR]

├─ com.github.javaparser.ast.body.TypeDeclaration.class - [JAR]

├─ com.github.javaparser.ast.body.VariableDeclarator.class - [JAR]

org.jline.terminal.impl.jna.win

├─ org.jline.terminal.impl.jna.win.JnaWinConsoleWriter.class - [JAR]

├─ org.jline.terminal.impl.jna.win.JnaWinSysTerminal.class - [JAR]

├─ org.jline.terminal.impl.jna.win.Kernel32.class - [JAR]

├─ org.jline.terminal.impl.jna.win.WindowsAnsiWriter.class - [JAR]

org.jline.utils

├─ org.jline.utils.AnsiWriter.class - [JAR]

├─ org.jline.utils.AttributedCharSequence.class - [JAR]

├─ org.jline.utils.AttributedString.class - [JAR]

├─ org.jline.utils.AttributedStringBuilder.class - [JAR]

├─ org.jline.utils.AttributedStyle.class - [JAR]

├─ org.jline.utils.ClosedException.class - [JAR]

├─ org.jline.utils.ColorPalette.class - [JAR]

├─ org.jline.utils.Colors.class - [JAR]

├─ org.jline.utils.Curses.class - [JAR]

├─ org.jline.utils.DiffHelper.class - [JAR]

├─ org.jline.utils.Display.class - [JAR]

├─ org.jline.utils.ExecHelper.class - [JAR]

├─ org.jline.utils.InfoCmp.class - [JAR]

├─ org.jline.utils.InputStreamReader.class - [JAR]

├─ org.jline.utils.Levenshtein.class - [JAR]

├─ org.jline.utils.Log.class - [JAR]

├─ org.jline.utils.NonBlocking.class - [JAR]

├─ org.jline.utils.NonBlockingInputStream.class - [JAR]

├─ org.jline.utils.NonBlockingInputStreamImpl.class - [JAR]

├─ org.jline.utils.NonBlockingPumpInputStream.class - [JAR]

├─ org.jline.utils.NonBlockingPumpReader.class - [JAR]

├─ org.jline.utils.NonBlockingReader.class - [JAR]

├─ org.jline.utils.NonBlockingReaderImpl.class - [JAR]

├─ org.jline.utils.OSUtils.class - [JAR]

├─ org.jline.utils.PumpReader.class - [JAR]

├─ org.jline.utils.ShutdownHooks.class - [JAR]

├─ org.jline.utils.Signals.class - [JAR]

├─ org.jline.utils.Status.class - [JAR]

├─ org.jline.utils.StyleResolver.class - [JAR]

├─ org.jline.utils.WCWidth.class - [JAR]

├─ org.jline.utils.WriterOutputStream.class - [JAR]

edu.ucr.cs.riple.core.module

├─ edu.ucr.cs.riple.core.module.ModuleConfiguration.class - [JAR]

├─ edu.ucr.cs.riple.core.module.ModuleInfo.class - [JAR]

edu.ucr.cs.riple.injector.exceptions

├─ edu.ucr.cs.riple.injector.exceptions.TargetClassNotFound.class - [JAR]

org.jline.keymap

├─ org.jline.keymap.BindingReader.class - [JAR]

├─ org.jline.keymap.KeyMap.class - [JAR]

org.jline.reader.impl.history

├─ org.jline.reader.impl.history.DefaultHistory.class - [JAR]

org.jline.widget

├─ org.jline.widget.AutopairWidgets.class - [JAR]

├─ org.jline.widget.AutosuggestionWidgets.class - [JAR]

├─ org.jline.widget.TailTipWidgets.class - [JAR]

├─ org.jline.widget.Widgets.class - [JAR]

edu.ucr.cs.riple.core.evaluators.suppliers

├─ edu.ucr.cs.riple.core.evaluators.suppliers.AbstractSupplier.class - [JAR]

├─ edu.ucr.cs.riple.core.evaluators.suppliers.DownstreamDependencySupplier.class - [JAR]

├─ edu.ucr.cs.riple.core.evaluators.suppliers.Supplier.class - [JAR]

├─ edu.ucr.cs.riple.core.evaluators.suppliers.TargetModuleSupplier.class - [JAR]

com.github.javaparser.ast.modules

├─ com.github.javaparser.ast.modules.ModuleDeclaration.class - [JAR]

├─ com.github.javaparser.ast.modules.ModuleDirective.class - [JAR]

├─ com.github.javaparser.ast.modules.ModuleExportsDirective.class - [JAR]

├─ com.github.javaparser.ast.modules.ModuleOpensDirective.class - [JAR]

├─ com.github.javaparser.ast.modules.ModuleProvidesDirective.class - [JAR]

├─ com.github.javaparser.ast.modules.ModuleRequiresDirective.class - [JAR]

├─ com.github.javaparser.ast.modules.ModuleUsesDirective.class - [JAR]

org.checkerframework.framework.qual

├─ org.checkerframework.framework.qual.AnnotatedFor.class - [JAR]

├─ org.checkerframework.framework.qual.CFComment.class - [JAR]

├─ org.checkerframework.framework.qual.ConditionalPostconditionAnnotation.class - [JAR]

├─ org.checkerframework.framework.qual.Covariant.class - [JAR]

├─ org.checkerframework.framework.qual.DefaultFor.class - [JAR]

├─ org.checkerframework.framework.qual.DefaultQualifier.class - [JAR]

├─ org.checkerframework.framework.qual.DefaultQualifierForUse.class - [JAR]

├─ org.checkerframework.framework.qual.DefaultQualifierInHierarchy.class - [JAR]

├─ org.checkerframework.framework.qual.EnsuresQualifier.class - [JAR]

├─ org.checkerframework.framework.qual.EnsuresQualifierIf.class - [JAR]

├─ org.checkerframework.framework.qual.FieldInvariant.class - [JAR]

├─ org.checkerframework.framework.qual.FromByteCode.class - [JAR]

├─ org.checkerframework.framework.qual.FromStubFile.class - [JAR]

├─ org.checkerframework.framework.qual.HasQualifierParameter.class - [JAR]

├─ org.checkerframework.framework.qual.IgnoreInWholeProgramInference.class - [JAR]

├─ org.checkerframework.framework.qual.InheritedAnnotation.class - [JAR]

├─ org.checkerframework.framework.qual.InvisibleQualifier.class - [JAR]

├─ org.checkerframework.framework.qual.JavaExpression.class - [JAR]

├─ org.checkerframework.framework.qual.LiteralKind.class - [JAR]

├─ org.checkerframework.framework.qual.MonotonicQualifier.class - [JAR]

├─ org.checkerframework.framework.qual.NoDefaultQualifierForUse.class - [JAR]

├─ org.checkerframework.framework.qual.NoQualifierParameter.class - [JAR]

├─ org.checkerframework.framework.qual.PolymorphicQualifier.class - [JAR]

├─ org.checkerframework.framework.qual.PostconditionAnnotation.class - [JAR]

├─ org.checkerframework.framework.qual.PreconditionAnnotation.class - [JAR]

├─ org.checkerframework.framework.qual.PurityUnqualified.class - [JAR]

├─ org.checkerframework.framework.qual.QualifierArgument.class - [JAR]

├─ org.checkerframework.framework.qual.QualifierForLiterals.class - [JAR]

├─ org.checkerframework.framework.qual.RelevantJavaTypes.class - [JAR]

├─ org.checkerframework.framework.qual.RequiresQualifier.class - [JAR]

├─ org.checkerframework.framework.qual.StubFiles.class - [JAR]

├─ org.checkerframework.framework.qual.SubtypeOf.class - [JAR]

├─ org.checkerframework.framework.qual.TargetLocations.class - [JAR]

├─ org.checkerframework.framework.qual.TypeKind.class - [JAR]

├─ org.checkerframework.framework.qual.TypeUseLocation.class - [JAR]

├─ org.checkerframework.framework.qual.Unused.class - [JAR]

├─ org.checkerframework.framework.qual.UpperBoundFor.class - [JAR]

com.github.javaparser.ast.nodeTypes

├─ com.github.javaparser.ast.nodeTypes.NodeWithAnnotations.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithArguments.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithBlockStmt.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithBody.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithCondition.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithDeclaration.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithExpression.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithExtends.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithIdentifier.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithImplements.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithJavadoc.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithMembers.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithModifiers.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithName.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithOptionalBlockStmt.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithOptionalLabel.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithOptionalScope.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithParameters.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithRange.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithScope.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithSimpleName.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithStatements.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithThrownExceptions.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithTokenRange.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithTraversableScope.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithType.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithTypeArguments.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithTypeParameters.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.NodeWithVariables.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.SwitchNode.class - [JAR]

edu.ucr.cs.riple.core.metadata.field

├─ edu.ucr.cs.riple.core.metadata.field.FieldInitializationNode.class - [JAR]

├─ edu.ucr.cs.riple.core.metadata.field.FieldInitializationStore.class - [JAR]

├─ edu.ucr.cs.riple.core.metadata.field.FieldRecord.class - [JAR]

├─ edu.ucr.cs.riple.core.metadata.field.FieldRegistry.class - [JAR]

com.github.javaparser.ast.comments

├─ com.github.javaparser.ast.comments.BlockComment.class - [JAR]

├─ com.github.javaparser.ast.comments.Comment.class - [JAR]

├─ com.github.javaparser.ast.comments.CommentsCollection.class - [JAR]

├─ com.github.javaparser.ast.comments.JavadocComment.class - [JAR]

├─ com.github.javaparser.ast.comments.LineComment.class - [JAR]

org.junit.experimental.max

├─ org.junit.experimental.max.CouldNotReadCoreException.class - [JAR]

├─ org.junit.experimental.max.MaxCore.class - [JAR]

├─ org.junit.experimental.max.MaxHistory.class - [JAR]

edu.ucr.cs.riple.core.injectors

├─ edu.ucr.cs.riple.core.injectors.AnnotationInjector.class - [JAR]

├─ edu.ucr.cs.riple.core.injectors.PhysicalInjector.class - [JAR]

├─ edu.ucr.cs.riple.core.injectors.VirtualInjector.class - [JAR]

org.checkerframework.checker.fenum.qual

├─ org.checkerframework.checker.fenum.qual.AwtAlphaCompositingRule.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.AwtColorSpace.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.AwtCursorType.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.AwtFlowLayout.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.Fenum.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.FenumBottom.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.FenumTop.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.FenumUnqualified.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.PolyFenum.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingBoxOrientation.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingCompassDirection.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingElementOrientation.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingHorizontalOrientation.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingSplitPaneOrientation.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingTextOrientation.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingTitleJustification.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingTitlePosition.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingVerticalOrientation.class - [JAR]

edu.ucr.cs.riple.core.evaluators.graph

├─ edu.ucr.cs.riple.core.evaluators.graph.ConflictGraph.class - [JAR]

├─ edu.ucr.cs.riple.core.evaluators.graph.Node.class - [JAR]

com.google.common.escape

├─ com.google.common.escape.ArrayBasedCharEscaper.class - [JAR]

├─ com.google.common.escape.ArrayBasedEscaperMap.class - [JAR]

├─ com.google.common.escape.ArrayBasedUnicodeEscaper.class - [JAR]

├─ com.google.common.escape.CharEscaper.class - [JAR]

├─ com.google.common.escape.CharEscaperBuilder.class - [JAR]

├─ com.google.common.escape.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.escape.Escaper.class - [JAR]

├─ com.google.common.escape.Escapers.class - [JAR]

├─ com.google.common.escape.ParametricNullness.class - [JAR]

├─ com.google.common.escape.Platform.class - [JAR]

├─ com.google.common.escape.UnicodeEscaper.class - [JAR]

├─ com.google.common.escape.package-info.class - [JAR]

org.junit.experimental.theories.suppliers

├─ org.junit.experimental.theories.suppliers.TestedOn.class - [JAR]

├─ org.junit.experimental.theories.suppliers.TestedOnSupplier.class - [JAR]

com.google.thirdparty.publicsuffix

├─ com.google.thirdparty.publicsuffix.PublicSuffixPatterns.class - [JAR]

├─ com.google.thirdparty.publicsuffix.PublicSuffixType.class - [JAR]

├─ com.google.thirdparty.publicsuffix.TrieParser.class - [JAR]

javax.annotation.meta

├─ javax.annotation.meta.Exclusive.class - [JAR]

├─ javax.annotation.meta.Exhaustive.class - [JAR]

├─ javax.annotation.meta.TypeQualifier.class - [JAR]

├─ javax.annotation.meta.TypeQualifierDefault.class - [JAR]

├─ javax.annotation.meta.TypeQualifierNickname.class - [JAR]

├─ javax.annotation.meta.TypeQualifierValidator.class - [JAR]

├─ javax.annotation.meta.When.class - [JAR]

com.github.javaparser.javadoc.description

├─ com.github.javaparser.javadoc.description.JavadocDescription.class - [JAR]

├─ com.github.javaparser.javadoc.description.JavadocDescriptionElement.class - [JAR]

├─ com.github.javaparser.javadoc.description.JavadocInlineTag.class - [JAR]

├─ com.github.javaparser.javadoc.description.JavadocSnippet.class - [JAR]

org.junit.runner.manipulation

├─ org.junit.runner.manipulation.Filter.class - [JAR]

├─ org.junit.runner.manipulation.Filterable.class - [JAR]

├─ org.junit.runner.manipulation.NoTestsRemainException.class - [JAR]

├─ org.junit.runner.manipulation.Sortable.class - [JAR]

├─ org.junit.runner.manipulation.Sorter.class - [JAR]

├─ org.junit.runner.manipulation.package-info.class - [JAR]

org.junit.rules

├─ org.junit.rules.ErrorCollector.class - [JAR]

├─ org.junit.rules.ExpectedException.class - [JAR]

├─ org.junit.rules.ExternalResource.class - [JAR]

├─ org.junit.rules.MethodRule.class - [JAR]

├─ org.junit.rules.RuleChain.class - [JAR]

├─ org.junit.rules.RunRules.class - [JAR]

├─ org.junit.rules.TemporaryFolder.class - [JAR]

├─ org.junit.rules.TestName.class - [JAR]

├─ org.junit.rules.TestRule.class - [JAR]

├─ org.junit.rules.TestWatcher.class - [JAR]

├─ org.junit.rules.TestWatchman.class - [JAR]

├─ org.junit.rules.Timeout.class - [JAR]

├─ org.junit.rules.Verifier.class - [JAR]

edu.ucr.cs.riple.scanner.location

├─ edu.ucr.cs.riple.scanner.location.AbstractSymbolLocation.class - [JAR]

├─ edu.ucr.cs.riple.scanner.location.FieldLocation.class - [JAR]

├─ edu.ucr.cs.riple.scanner.location.MethodLocation.class - [JAR]

├─ edu.ucr.cs.riple.scanner.location.MethodParameterLocation.class - [JAR]

├─ edu.ucr.cs.riple.scanner.location.SymbolLocation.class - [JAR]

org.checkerframework.checker.tainting.qual

├─ org.checkerframework.checker.tainting.qual.PolyTainted.class - [JAR]

├─ org.checkerframework.checker.tainting.qual.Tainted.class - [JAR]

├─ org.checkerframework.checker.tainting.qual.Untainted.class - [JAR]

com.google.common.xml

├─ com.google.common.xml.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.xml.ParametricNullness.class - [JAR]

├─ com.google.common.xml.XmlEscapers.class - [JAR]

├─ com.google.common.xml.package-info.class - [JAR]

com.github.javaparser.resolution.types

├─ com.github.javaparser.resolution.types.ResolvedArrayType.class - [JAR]

├─ com.github.javaparser.resolution.types.ResolvedIntersectionType.class - [JAR]

├─ com.github.javaparser.resolution.types.ResolvedLambdaConstraintType.class - [JAR]

├─ com.github.javaparser.resolution.types.ResolvedPrimitiveType.class - [JAR]

├─ com.github.javaparser.resolution.types.ResolvedReferenceType.class - [JAR]

├─ com.github.javaparser.resolution.types.ResolvedType.class - [JAR]

├─ com.github.javaparser.resolution.types.ResolvedTypeTransformer.class - [JAR]

├─ com.github.javaparser.resolution.types.ResolvedTypeVariable.class - [JAR]

├─ com.github.javaparser.resolution.types.ResolvedUnionType.class - [JAR]

├─ com.github.javaparser.resolution.types.ResolvedVoidType.class - [JAR]

├─ com.github.javaparser.resolution.types.ResolvedWildcard.class - [JAR]

org.checkerframework.common.returnsreceiver.qual

├─ org.checkerframework.common.returnsreceiver.qual.BottomThis.class - [JAR]

├─ org.checkerframework.common.returnsreceiver.qual.This.class - [JAR]

├─ org.checkerframework.common.returnsreceiver.qual.UnknownThis.class - [JAR]

com.github.javaparser.ast.validator.language_level_validations

├─ com.github.javaparser.ast.validator.language_level_validations.Java10PreviewValidator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java10Validator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java11PreviewValidator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java11Validator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java12PreviewValidator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java12Validator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java13PreviewValidator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java13Validator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java14PreviewValidator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java14Validator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java15PreviewValidator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java15Validator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java16PreviewValidator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java16Validator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java17PreviewValidator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java17Validator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java1_0Validator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java1_1Validator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java1_2Validator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java1_3Validator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java1_4Validator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java5Validator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java6Validator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java7Validator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java8Validator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.Java9Validator.class - [JAR]

com.github.javaparser.ast.validator

├─ com.github.javaparser.ast.validator.ProblemReporter.class - [JAR]

├─ com.github.javaparser.ast.validator.RecordAsTypeIdentifierNotAllowed.class - [JAR]

├─ com.github.javaparser.ast.validator.ReservedKeywordValidator.class - [JAR]

├─ com.github.javaparser.ast.validator.SimpleValidator.class - [JAR]

├─ com.github.javaparser.ast.validator.SingleNodeTypeValidator.class - [JAR]

├─ com.github.javaparser.ast.validator.TreeVisitorValidator.class - [JAR]

├─ com.github.javaparser.ast.validator.TypedValidator.class - [JAR]

├─ com.github.javaparser.ast.validator.Validator.class - [JAR]

├─ com.github.javaparser.ast.validator.Validators.class - [JAR]

├─ com.github.javaparser.ast.validator.VisitorValidator.class - [JAR]

junit.framework

├─ junit.framework.Assert.class - [JAR]

├─ junit.framework.AssertionFailedError.class - [JAR]

├─ junit.framework.ComparisonCompactor.class - [JAR]

├─ junit.framework.ComparisonFailure.class - [JAR]

├─ junit.framework.JUnit4TestAdapter.class - [JAR]

├─ junit.framework.JUnit4TestAdapterCache.class - [JAR]

├─ junit.framework.JUnit4TestCaseFacade.class - [JAR]

├─ junit.framework.Protectable.class - [JAR]

├─ junit.framework.Test.class - [JAR]

├─ junit.framework.TestCase.class - [JAR]

├─ junit.framework.TestFailure.class - [JAR]

├─ junit.framework.TestListener.class - [JAR]

├─ junit.framework.TestResult.class - [JAR]

├─ junit.framework.TestSuite.class - [JAR]

├─ junit.framework.package-info.class - [JAR]

org.jline.console.impl

├─ org.jline.console.impl.AbstractCommandRegistry.class - [JAR]

├─ org.jline.console.impl.Builtins.class - [JAR]

├─ org.jline.console.impl.ConsoleEngineImpl.class - [JAR]

├─ org.jline.console.impl.DefaultPrinter.class - [JAR]

├─ org.jline.console.impl.JlineCommandRegistry.class - [JAR]

├─ org.jline.console.impl.SystemHighlighter.class - [JAR]

├─ org.jline.console.impl.SystemRegistryImpl.class - [JAR]

org.hamcrest.internal

├─ org.hamcrest.internal.ArrayIterator.class - [JAR]

├─ org.hamcrest.internal.SelfDescribingValue.class - [JAR]

├─ org.hamcrest.internal.SelfDescribingValueIterator.class - [JAR]

edu.ucr.cs.riple.core.cache.downstream

├─ edu.ucr.cs.riple.core.cache.downstream.DownstreamImpact.class - [JAR]

├─ edu.ucr.cs.riple.core.cache.downstream.DownstreamImpactCache.class - [JAR]

├─ edu.ucr.cs.riple.core.cache.downstream.DownstreamImpactCacheImpl.class - [JAR]

├─ edu.ucr.cs.riple.core.cache.downstream.DownstreamImpactEvaluator.class - [JAR]

├─ edu.ucr.cs.riple.core.cache.downstream.VoidDownstreamImpactCache.class - [JAR]

org.jline.console

├─ org.jline.console.ArgDesc.class - [JAR]

├─ org.jline.console.CmdDesc.class - [JAR]

├─ org.jline.console.CmdLine.class - [JAR]

├─ org.jline.console.CommandInput.class - [JAR]

├─ org.jline.console.CommandMethods.class - [JAR]

├─ org.jline.console.CommandRegistry.class - [JAR]

├─ org.jline.console.ConsoleEngine.class - [JAR]

├─ org.jline.console.Printer.class - [JAR]

├─ org.jline.console.ScriptEngine.class - [JAR]

├─ org.jline.console.SystemRegistry.class - [JAR]

edu.ucr.cs.riple.scanner.generatedcode

├─ edu.ucr.cs.riple.scanner.generatedcode.GeneratedCodeDetector.class - [JAR]

├─ edu.ucr.cs.riple.scanner.generatedcode.LombokGeneratedCodeDetector.class - [JAR]

├─ edu.ucr.cs.riple.scanner.generatedcode.SourceType.class - [JAR]

├─ edu.ucr.cs.riple.scanner.generatedcode.SymbolSourceResolver.class - [JAR]

org.junit.experimental

├─ org.junit.experimental.ParallelComputer.class - [JAR]

org.apache.commons.cli

├─ org.apache.commons.cli.AlreadySelectedException.class - [JAR]

├─ org.apache.commons.cli.AmbiguousOptionException.class - [JAR]

├─ org.apache.commons.cli.BasicParser.class - [JAR]

├─ org.apache.commons.cli.CommandLine.class - [JAR]

├─ org.apache.commons.cli.CommandLineParser.class - [JAR]

├─ org.apache.commons.cli.DefaultParser.class - [JAR]

├─ org.apache.commons.cli.GnuParser.class - [JAR]

├─ org.apache.commons.cli.HelpFormatter.class - [JAR]

├─ org.apache.commons.cli.MissingArgumentException.class - [JAR]

├─ org.apache.commons.cli.MissingOptionException.class - [JAR]

├─ org.apache.commons.cli.Option.class - [JAR]

├─ org.apache.commons.cli.OptionBuilder.class - [JAR]

├─ org.apache.commons.cli.OptionGroup.class - [JAR]

├─ org.apache.commons.cli.OptionValidator.class - [JAR]

├─ org.apache.commons.cli.Options.class - [JAR]

├─ org.apache.commons.cli.ParseException.class - [JAR]

├─ org.apache.commons.cli.Parser.class - [JAR]

├─ org.apache.commons.cli.PatternOptionBuilder.class - [JAR]

├─ org.apache.commons.cli.PosixParser.class - [JAR]

├─ org.apache.commons.cli.TypeHandler.class - [JAR]

├─ org.apache.commons.cli.UnrecognizedOptionException.class - [JAR]

├─ org.apache.commons.cli.Util.class - [JAR]

org.junit.internal.runners.rules

├─ org.junit.internal.runners.rules.RuleFieldValidator.class - [JAR]

org.jline.terminal

├─ org.jline.terminal.Attributes.class - [JAR]

├─ org.jline.terminal.Cursor.class - [JAR]

├─ org.jline.terminal.MouseEvent.class - [JAR]

├─ org.jline.terminal.Size.class - [JAR]

├─ org.jline.terminal.Terminal.class - [JAR]

├─ org.jline.terminal.TerminalBuilder.class - [JAR]

org.junit.experimental.results

├─ org.junit.experimental.results.FailureList.class - [JAR]

├─ org.junit.experimental.results.PrintableResult.class - [JAR]

├─ org.junit.experimental.results.ResultMatchers.class - [JAR]

org.junit.internal.runners.model

├─ org.junit.internal.runners.model.EachTestNotifier.class - [JAR]

├─ org.junit.internal.runners.model.MultipleFailureException.class - [JAR]

├─ org.junit.internal.runners.model.ReflectiveCallable.class - [JAR]

edu.ucr.cs.riple.core.metadata.region

├─ edu.ucr.cs.riple.core.metadata.region.CompoundRegionRegistry.class - [JAR]

├─ edu.ucr.cs.riple.core.metadata.region.FieldRegionRegistry.class - [JAR]

├─ edu.ucr.cs.riple.core.metadata.region.MethodRegionRegistry.class - [JAR]

├─ edu.ucr.cs.riple.core.metadata.region.ParameterRegionRegistry.class - [JAR]

├─ edu.ucr.cs.riple.core.metadata.region.Region.class - [JAR]

├─ edu.ucr.cs.riple.core.metadata.region.RegionRecord.class - [JAR]

├─ edu.ucr.cs.riple.core.metadata.region.RegionRegistry.class - [JAR]

org.json.simple

├─ org.json.simple.ItemList.class - [JAR]

├─ org.json.simple.JSONArray.class - [JAR]

├─ org.json.simple.JSONAware.class - [JAR]

├─ org.json.simple.JSONObject.class - [JAR]

├─ org.json.simple.JSONStreamAware.class - [JAR]

├─ org.json.simple.JSONValue.class - [JAR]

com.github.javaparser.ast.stmt

├─ com.github.javaparser.ast.stmt.AssertStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.BlockStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.BreakStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.CatchClause.class - [JAR]

├─ com.github.javaparser.ast.stmt.ContinueStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.DoStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.EmptyStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.ExplicitConstructorInvocationStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.ExpressionStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.ForEachStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.ForStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.IfStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.LabeledStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.LocalClassDeclarationStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.LocalRecordDeclarationStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.ReturnStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.Statement.class - [JAR]

├─ com.github.javaparser.ast.stmt.SwitchEntry.class - [JAR]

├─ com.github.javaparser.ast.stmt.SwitchStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.SynchronizedStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.ThrowStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.TryStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.UnparsableStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.WhileStmt.class - [JAR]

├─ com.github.javaparser.ast.stmt.YieldStmt.class - [JAR]

org.checkerframework.checker.interning.qual

├─ org.checkerframework.checker.interning.qual.CompareToMethod.class - [JAR]

├─ org.checkerframework.checker.interning.qual.EqualsMethod.class - [JAR]

├─ org.checkerframework.checker.interning.qual.FindDistinct.class - [JAR]

├─ org.checkerframework.checker.interning.qual.InternMethod.class - [JAR]

├─ org.checkerframework.checker.interning.qual.Interned.class - [JAR]

├─ org.checkerframework.checker.interning.qual.InternedDistinct.class - [JAR]

├─ org.checkerframework.checker.interning.qual.PolyInterned.class - [JAR]

├─ org.checkerframework.checker.interning.qual.UnknownInterned.class - [JAR]

├─ org.checkerframework.checker.interning.qual.UsesObjectEquals.class - [JAR]

org.checkerframework.checker.signedness.qual

├─ org.checkerframework.checker.signedness.qual.PolySigned.class - [JAR]

├─ org.checkerframework.checker.signedness.qual.Signed.class - [JAR]

├─ org.checkerframework.checker.signedness.qual.SignedPositive.class - [JAR]

├─ org.checkerframework.checker.signedness.qual.SignedPositiveFromUnsigned.class - [JAR]

├─ org.checkerframework.checker.signedness.qual.SignednessBottom.class - [JAR]

├─ org.checkerframework.checker.signedness.qual.SignednessGlb.class - [JAR]

├─ org.checkerframework.checker.signedness.qual.UnknownSignedness.class - [JAR]

├─ org.checkerframework.checker.signedness.qual.Unsigned.class - [JAR]

org.checkerframework.common.util.report.qual

├─ org.checkerframework.common.util.report.qual.ReportCall.class - [JAR]

├─ org.checkerframework.common.util.report.qual.ReportCreation.class - [JAR]

├─ org.checkerframework.common.util.report.qual.ReportInherit.class - [JAR]

├─ org.checkerframework.common.util.report.qual.ReportOverride.class - [JAR]

├─ org.checkerframework.common.util.report.qual.ReportReadWrite.class - [JAR]

├─ org.checkerframework.common.util.report.qual.ReportUnqualified.class - [JAR]

├─ org.checkerframework.common.util.report.qual.ReportUse.class - [JAR]

├─ org.checkerframework.common.util.report.qual.ReportWrite.class - [JAR]

org.junit.internal.builders

├─ org.junit.internal.builders.AllDefaultPossibilitiesBuilder.class - [JAR]

├─ org.junit.internal.builders.AnnotatedBuilder.class - [JAR]

├─ org.junit.internal.builders.IgnoredBuilder.class - [JAR]

├─ org.junit.internal.builders.IgnoredClassRunner.class - [JAR]

├─ org.junit.internal.builders.JUnit3Builder.class - [JAR]

├─ org.junit.internal.builders.JUnit4Builder.class - [JAR]

├─ org.junit.internal.builders.NullBuilder.class - [JAR]

├─ org.junit.internal.builders.SuiteMethodBuilder.class - [JAR]

junit.textui

├─ junit.textui.ResultPrinter.class - [JAR]

├─ junit.textui.TestRunner.class - [JAR]

├─ junit.textui.package-info.class - [JAR]

org.checkerframework.common.subtyping.qual

├─ org.checkerframework.common.subtyping.qual.Bottom.class - [JAR]

├─ org.checkerframework.common.subtyping.qual.Unqualified.class - [JAR]

org.checkerframework.dataflow.qual

├─ org.checkerframework.dataflow.qual.Deterministic.class - [JAR]

├─ org.checkerframework.dataflow.qual.Pure.class - [JAR]

├─ org.checkerframework.dataflow.qual.SideEffectFree.class - [JAR]

├─ org.checkerframework.dataflow.qual.TerminatesExecution.class - [JAR]

com.google.j2objc.annotations

├─ com.google.j2objc.annotations.AutoreleasePool.class - [JAR]

├─ com.google.j2objc.annotations.J2ObjCIncompatible.class - [JAR]

├─ com.google.j2objc.annotations.LoopTranslation.class - [JAR]

├─ com.google.j2objc.annotations.ObjectiveCName.class - [JAR]

├─ com.google.j2objc.annotations.Property.class - [JAR]

├─ com.google.j2objc.annotations.ReflectionSupport.class - [JAR]

├─ com.google.j2objc.annotations.RetainedLocalRef.class - [JAR]

├─ com.google.j2objc.annotations.RetainedWith.class - [JAR]

├─ com.google.j2objc.annotations.Weak.class - [JAR]

├─ com.google.j2objc.annotations.WeakOuter.class - [JAR]

edu.ucr.cs.riple.injector.changes

├─ edu.ucr.cs.riple.injector.changes.ASTChange.class - [JAR]

├─ edu.ucr.cs.riple.injector.changes.AddAnnotation.class - [JAR]

├─ edu.ucr.cs.riple.injector.changes.AddMarkerAnnotation.class - [JAR]

├─ edu.ucr.cs.riple.injector.changes.AddSingleElementAnnotation.class - [JAR]

├─ edu.ucr.cs.riple.injector.changes.AddTypeUseMarkerAnnotation.class - [JAR]

├─ edu.ucr.cs.riple.injector.changes.AnnotationChange.class - [JAR]

├─ edu.ucr.cs.riple.injector.changes.ChangeVisitor.class - [JAR]

├─ edu.ucr.cs.riple.injector.changes.Name.class - [JAR]

├─ edu.ucr.cs.riple.injector.changes.RemoveAnnotation.class - [JAR]

├─ edu.ucr.cs.riple.injector.changes.RemoveMarkerAnnotation.class - [JAR]

├─ edu.ucr.cs.riple.injector.changes.RemoveTypeUseMarkerAnnotation.class - [JAR]

├─ edu.ucr.cs.riple.injector.changes.TypeArgumentChangeVisitor.class - [JAR]

junit.extensions

├─ junit.extensions.ActiveTestSuite.class - [JAR]

├─ junit.extensions.RepeatedTest.class - [JAR]

├─ junit.extensions.TestDecorator.class - [JAR]

├─ junit.extensions.TestSetup.class - [JAR]

├─ junit.extensions.package-info.class - [JAR]

org.jline.terminal.spi

├─ org.jline.terminal.spi.JansiSupport.class - [JAR]

├─ org.jline.terminal.spi.JnaSupport.class - [JAR]

├─ org.jline.terminal.spi.Pty.class - [JAR]

edu.ucr.cs.riple.injector.modifications

├─ edu.ucr.cs.riple.injector.modifications.Deletion.class - [JAR]

├─ edu.ucr.cs.riple.injector.modifications.Insertion.class - [JAR]

├─ edu.ucr.cs.riple.injector.modifications.Modification.class - [JAR]

├─ edu.ucr.cs.riple.injector.modifications.MultiPositionModification.class - [JAR]

├─ edu.ucr.cs.riple.injector.modifications.Replacement.class - [JAR]

├─ edu.ucr.cs.riple.injector.modifications.SinglePositionModification.class - [JAR]

org.junit.internal.runners.statements

├─ org.junit.internal.runners.statements.ExpectException.class - [JAR]

├─ org.junit.internal.runners.statements.Fail.class - [JAR]

├─ org.junit.internal.runners.statements.FailOnTimeout.class - [JAR]

├─ org.junit.internal.runners.statements.InvokeMethod.class - [JAR]

├─ org.junit.internal.runners.statements.RunAfters.class - [JAR]

├─ org.junit.internal.runners.statements.RunBefores.class - [JAR]

com.github.javaparser.ast.validator.language_level_validations.chunks

├─ com.github.javaparser.ast.validator.language_level_validations.chunks.CommonValidators.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.chunks.ModifierValidator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.chunks.NoBinaryIntegerLiteralsValidator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.chunks.NoUnderscoresInIntegerLiteralsValidator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.chunks.RecordDeclarationValidator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.chunks.UnderscoreKeywordValidator.class - [JAR]

├─ com.github.javaparser.ast.validator.language_level_validations.chunks.VarValidator.class - [JAR]

com.google.common.annotations

├─ com.google.common.annotations.Beta.class - [JAR]

├─ com.google.common.annotations.GwtCompatible.class - [JAR]

├─ com.google.common.annotations.GwtIncompatible.class - [JAR]

├─ com.google.common.annotations.VisibleForTesting.class - [JAR]

com.google.common.base

├─ com.google.common.base.Absent.class - [JAR]

├─ com.google.common.base.AbstractIterator.class - [JAR]

├─ com.google.common.base.Ascii.class - [JAR]

├─ com.google.common.base.CaseFormat.class - [JAR]

├─ com.google.common.base.CharMatcher.class - [JAR]

├─ com.google.common.base.Charsets.class - [JAR]

├─ com.google.common.base.CommonMatcher.class - [JAR]

├─ com.google.common.base.CommonPattern.class - [JAR]

├─ com.google.common.base.Converter.class - [JAR]

├─ com.google.common.base.Defaults.class - [JAR]

├─ com.google.common.base.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.base.Enums.class - [JAR]

├─ com.google.common.base.Equivalence.class - [JAR]

├─ com.google.common.base.ExtraObjectsMethodsForWeb.class - [JAR]

├─ com.google.common.base.FinalizablePhantomReference.class - [JAR]

├─ com.google.common.base.FinalizableReference.class - [JAR]

├─ com.google.common.base.FinalizableReferenceQueue.class - [JAR]

├─ com.google.common.base.FinalizableSoftReference.class - [JAR]

├─ com.google.common.base.FinalizableWeakReference.class - [JAR]

├─ com.google.common.base.Function.class - [JAR]

├─ com.google.common.base.FunctionalEquivalence.class - [JAR]

├─ com.google.common.base.Functions.class - [JAR]

├─ com.google.common.base.Java8Compatibility.class - [JAR]

├─ com.google.common.base.JdkPattern.class - [JAR]

├─ com.google.common.base.Joiner.class - [JAR]

├─ com.google.common.base.MoreObjects.class - [JAR]

├─ com.google.common.base.NullnessCasts.class - [JAR]

├─ com.google.common.base.Objects.class - [JAR]

├─ com.google.common.base.Optional.class - [JAR]

├─ com.google.common.base.PairwiseEquivalence.class - [JAR]

├─ com.google.common.base.ParametricNullness.class - [JAR]

├─ com.google.common.base.PatternCompiler.class - [JAR]

├─ com.google.common.base.Platform.class - [JAR]

├─ com.google.common.base.Preconditions.class - [JAR]

├─ com.google.common.base.Predicate.class - [JAR]

├─ com.google.common.base.Predicates.class - [JAR]

├─ com.google.common.base.Present.class - [JAR]

├─ com.google.common.base.SmallCharMatcher.class - [JAR]

├─ com.google.common.base.Splitter.class - [JAR]

├─ com.google.common.base.StandardSystemProperty.class - [JAR]

├─ com.google.common.base.Stopwatch.class - [JAR]

├─ com.google.common.base.Strings.class - [JAR]

├─ com.google.common.base.Supplier.class - [JAR]

├─ com.google.common.base.Suppliers.class - [JAR]

├─ com.google.common.base.Throwables.class - [JAR]

├─ com.google.common.base.Ticker.class - [JAR]

├─ com.google.common.base.Utf8.class - [JAR]

├─ com.google.common.base.Verify.class - [JAR]

├─ com.google.common.base.VerifyException.class - [JAR]

├─ com.google.common.base.package-info.class - [JAR]

com.google.common.graph

├─ com.google.common.graph.AbstractBaseGraph.class - [JAR]

├─ com.google.common.graph.AbstractDirectedNetworkConnections.class - [JAR]

├─ com.google.common.graph.AbstractGraph.class - [JAR]

├─ com.google.common.graph.AbstractGraphBuilder.class - [JAR]

├─ com.google.common.graph.AbstractNetwork.class - [JAR]

├─ com.google.common.graph.AbstractUndirectedNetworkConnections.class - [JAR]

├─ com.google.common.graph.AbstractValueGraph.class - [JAR]

├─ com.google.common.graph.BaseGraph.class - [JAR]

├─ com.google.common.graph.DirectedGraphConnections.class - [JAR]

├─ com.google.common.graph.DirectedMultiNetworkConnections.class - [JAR]

├─ com.google.common.graph.DirectedNetworkConnections.class - [JAR]

├─ com.google.common.graph.EdgesConnecting.class - [JAR]

├─ com.google.common.graph.ElementOrder.class - [JAR]

├─ com.google.common.graph.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.graph.EndpointPair.class - [JAR]

├─ com.google.common.graph.EndpointPairIterator.class - [JAR]

├─ com.google.common.graph.ForwardingGraph.class - [JAR]

├─ com.google.common.graph.ForwardingNetwork.class - [JAR]

├─ com.google.common.graph.ForwardingValueGraph.class - [JAR]

├─ com.google.common.graph.Graph.class - [JAR]

├─ com.google.common.graph.GraphBuilder.class - [JAR]

├─ com.google.common.graph.GraphConnections.class - [JAR]

├─ com.google.common.graph.GraphConstants.class - [JAR]

├─ com.google.common.graph.Graphs.class - [JAR]

├─ com.google.common.graph.ImmutableGraph.class - [JAR]

├─ com.google.common.graph.ImmutableNetwork.class - [JAR]

├─ com.google.common.graph.ImmutableValueGraph.class - [JAR]

├─ com.google.common.graph.IncidentEdgeSet.class - [JAR]

├─ com.google.common.graph.MapIteratorCache.class - [JAR]

├─ com.google.common.graph.MapRetrievalCache.class - [JAR]

├─ com.google.common.graph.MultiEdgesConnecting.class - [JAR]

├─ com.google.common.graph.MutableGraph.class - [JAR]

├─ com.google.common.graph.MutableNetwork.class - [JAR]

├─ com.google.common.graph.MutableValueGraph.class - [JAR]

├─ com.google.common.graph.Network.class - [JAR]

├─ com.google.common.graph.NetworkBuilder.class - [JAR]

├─ com.google.common.graph.NetworkConnections.class - [JAR]

├─ com.google.common.graph.ParametricNullness.class - [JAR]

├─ com.google.common.graph.PredecessorsFunction.class - [JAR]

├─ com.google.common.graph.StandardMutableGraph.class - [JAR]

├─ com.google.common.graph.StandardMutableNetwork.class - [JAR]

├─ com.google.common.graph.StandardMutableValueGraph.class - [JAR]

├─ com.google.common.graph.StandardNetwork.class - [JAR]

├─ com.google.common.graph.StandardValueGraph.class - [JAR]

├─ com.google.common.graph.SuccessorsFunction.class - [JAR]

├─ com.google.common.graph.Traverser.class - [JAR]

├─ com.google.common.graph.UndirectedGraphConnections.class - [JAR]

├─ com.google.common.graph.UndirectedMultiNetworkConnections.class - [JAR]

├─ com.google.common.graph.UndirectedNetworkConnections.class - [JAR]

├─ com.google.common.graph.ValueGraph.class - [JAR]

├─ com.google.common.graph.ValueGraphBuilder.class - [JAR]

├─ com.google.common.graph.package-info.class - [JAR]

com.github.javaparser.printer.lexicalpreservation

├─ com.github.javaparser.printer.lexicalpreservation.Added.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.ChildTextElement.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.Difference.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.DifferenceElement.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.DifferenceElementCalculator.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.Kept.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.LexicalDifferenceCalculator.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.LexicalPreservingPrinter.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.NodeText.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.PhantomNodeLogic.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.Removed.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.RemovedGroup.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.Reshuffled.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.TextElement.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.TextElementIteratorsFactory.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.TextElementMatcher.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.TextElementMatchers.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.TokenTextElement.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.WrappingRangeIterator.class - [JAR]

org.junit.runner.notification

├─ org.junit.runner.notification.Failure.class - [JAR]

├─ org.junit.runner.notification.RunListener.class - [JAR]

├─ org.junit.runner.notification.RunNotifier.class - [JAR]

├─ org.junit.runner.notification.StoppedByUserException.class - [JAR]

├─ org.junit.runner.notification.package-info.class - [JAR]

com.github.javaparser.ast.validator.postprocessors

├─ com.github.javaparser.ast.validator.postprocessors.Java10PostProcessor.class - [JAR]

├─ com.github.javaparser.ast.validator.postprocessors.Java11PostProcessor.class - [JAR]

├─ com.github.javaparser.ast.validator.postprocessors.Java12PostProcessor.class - [JAR]

├─ com.github.javaparser.ast.validator.postprocessors.Java13PostProcessor.class - [JAR]

├─ com.github.javaparser.ast.validator.postprocessors.Java14PostProcessor.class - [JAR]

├─ com.github.javaparser.ast.validator.postprocessors.Java15PostProcessor.class - [JAR]

├─ com.github.javaparser.ast.validator.postprocessors.Java16PostProcessor.class - [JAR]

├─ com.github.javaparser.ast.validator.postprocessors.Java17PostProcessor.class - [JAR]

├─ com.github.javaparser.ast.validator.postprocessors.PostProcessors.class - [JAR]

edu.ucr.cs.riple.core.log

├─ edu.ucr.cs.riple.core.log.Log.class - [JAR]

com.github.javaparser.metamodel

├─ com.github.javaparser.metamodel.AnnotationDeclarationMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.AnnotationExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.AnnotationMemberDeclarationMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ArrayAccessExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ArrayCreationExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ArrayCreationLevelMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ArrayInitializerExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ArrayTypeMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.AssertStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.AssignExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.BaseNodeMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.BinaryExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.BlockCommentMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.BlockStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.BodyDeclarationMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.BooleanLiteralExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.BreakStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.CallableDeclarationMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.CastExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.CatchClauseMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.CharLiteralExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ClassExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ClassOrInterfaceDeclarationMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ClassOrInterfaceTypeMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.CommentMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.CompactConstructorDeclarationMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.CompilationUnitMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ConditionalExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ConstructorDeclarationMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ContinueStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.DerivedProperty.class - [JAR]

├─ com.github.javaparser.metamodel.DoStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.DoubleLiteralExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.EmptyStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.EnclosedExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.EnumConstantDeclarationMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.EnumDeclarationMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ExplicitConstructorInvocationStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ExpressionMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ExpressionStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.FieldAccessExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.FieldDeclarationMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ForEachStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ForStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.IfStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ImportDeclarationMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.InitializerDeclarationMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.InstanceOfExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.IntegerLiteralExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.InternalProperty.class - [JAR]

├─ com.github.javaparser.metamodel.IntersectionTypeMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.JavaParserMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.JavadocCommentMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.LabeledStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.LambdaExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.LineCommentMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.LiteralExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.LiteralStringValueExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.LocalClassDeclarationStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.LocalRecordDeclarationStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.LongLiteralExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.MarkerAnnotationExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.MemberValuePairMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.MethodCallExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.MethodDeclarationMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.MethodReferenceExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ModifierMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ModuleDeclarationMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ModuleDirectiveMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ModuleExportsDirectiveMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ModuleOpensDirectiveMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ModuleProvidesDirectiveMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ModuleRequiresDirectiveMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ModuleUsesDirectiveMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.NameExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.NameMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.NodeMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.NonEmptyProperty.class - [JAR]

├─ com.github.javaparser.metamodel.NormalAnnotationExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.NullLiteralExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ObjectCreationExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.OptionalProperty.class - [JAR]

├─ com.github.javaparser.metamodel.PackageDeclarationMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ParameterMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.PatternExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.PrimitiveTypeMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.PropertyMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ReceiverParameterMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.RecordDeclarationMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ReferenceTypeMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ReturnStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.SimpleNameMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.SingleMemberAnnotationExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.StatementMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.StringLiteralExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.SuperExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.SwitchEntryMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.SwitchExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.SwitchStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.SynchronizedStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.TextBlockLiteralExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ThisExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.ThrowStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.TryStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.TypeDeclarationMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.TypeExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.TypeMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.TypeParameterMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.UnaryExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.UnionTypeMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.UnknownTypeMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.UnparsableStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.VarTypeMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.VariableDeclarationExprMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.VariableDeclaratorMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.VoidTypeMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.WhileStmtMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.WildcardTypeMetaModel.class - [JAR]

├─ com.github.javaparser.metamodel.YieldStmtMetaModel.class - [JAR]

org.jline.terminal.impl.jansi.osx

├─ org.jline.terminal.impl.jansi.osx.OsXNativePty.class - [JAR]

org.checkerframework.checker.regex.qual

├─ org.checkerframework.checker.regex.qual.PartialRegex.class - [JAR]

├─ org.checkerframework.checker.regex.qual.PolyRegex.class - [JAR]

├─ org.checkerframework.checker.regex.qual.Regex.class - [JAR]

├─ org.checkerframework.checker.regex.qual.RegexBottom.class - [JAR]

├─ org.checkerframework.checker.regex.qual.UnknownRegex.class - [JAR]

com.google.common.cache

├─ com.google.common.cache.AbstractCache.class - [JAR]

├─ com.google.common.cache.AbstractLoadingCache.class - [JAR]

├─ com.google.common.cache.Cache.class - [JAR]

├─ com.google.common.cache.CacheBuilder.class - [JAR]

├─ com.google.common.cache.CacheBuilderSpec.class - [JAR]

├─ com.google.common.cache.CacheLoader.class - [JAR]

├─ com.google.common.cache.CacheStats.class - [JAR]

├─ com.google.common.cache.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.cache.ForwardingCache.class - [JAR]

├─ com.google.common.cache.ForwardingLoadingCache.class - [JAR]

├─ com.google.common.cache.LoadingCache.class - [JAR]

├─ com.google.common.cache.LocalCache.class - [JAR]

├─ com.google.common.cache.LongAddable.class - [JAR]

├─ com.google.common.cache.LongAddables.class - [JAR]

├─ com.google.common.cache.LongAdder.class - [JAR]

├─ com.google.common.cache.ParametricNullness.class - [JAR]

├─ com.google.common.cache.ReferenceEntry.class - [JAR]

├─ com.google.common.cache.RemovalCause.class - [JAR]

├─ com.google.common.cache.RemovalListener.class - [JAR]

├─ com.google.common.cache.RemovalListeners.class - [JAR]

├─ com.google.common.cache.RemovalNotification.class - [JAR]

├─ com.google.common.cache.Striped64.class - [JAR]

├─ com.google.common.cache.Weigher.class - [JAR]

├─ com.google.common.cache.package-info.class - [JAR]

com.google.errorprone.annotations

├─ com.google.errorprone.annotations.CanIgnoreReturnValue.class - [JAR]

├─ com.google.errorprone.annotations.CheckReturnValue.class - [JAR]

├─ com.google.errorprone.annotations.CompatibleWith.class - [JAR]

├─ com.google.errorprone.annotations.CompileTimeConstant.class - [JAR]

├─ com.google.errorprone.annotations.DoNotCall.class - [JAR]

├─ com.google.errorprone.annotations.DoNotMock.class - [JAR]

├─ com.google.errorprone.annotations.ForOverride.class - [JAR]

├─ com.google.errorprone.annotations.FormatMethod.class - [JAR]

├─ com.google.errorprone.annotations.FormatString.class - [JAR]

├─ com.google.errorprone.annotations.Immutable.class - [JAR]

├─ com.google.errorprone.annotations.IncompatibleModifiers.class - [JAR]

├─ com.google.errorprone.annotations.InlineMe.class - [JAR]

├─ com.google.errorprone.annotations.InlineMeValidationDisabled.class - [JAR]

├─ com.google.errorprone.annotations.MustBeClosed.class - [JAR]

├─ com.google.errorprone.annotations.NoAllocation.class - [JAR]

├─ com.google.errorprone.annotations.OverridingMethodsMustInvokeSuper.class - [JAR]

├─ com.google.errorprone.annotations.RequiredModifiers.class - [JAR]

├─ com.google.errorprone.annotations.RestrictedApi.class - [JAR]

├─ com.google.errorprone.annotations.SuppressPackageLocation.class - [JAR]

├─ com.google.errorprone.annotations.Var.class - [JAR]

edu.ucr.cs.riple.injector.offsets

├─ edu.ucr.cs.riple.injector.offsets.FileOffsetStore.class - [JAR]

├─ edu.ucr.cs.riple.injector.offsets.OffsetChange.class - [JAR]

org.junit.runners.model

├─ org.junit.runners.model.FrameworkField.class - [JAR]

├─ org.junit.runners.model.FrameworkMember.class - [JAR]

├─ org.junit.runners.model.FrameworkMethod.class - [JAR]

├─ org.junit.runners.model.InitializationError.class - [JAR]

├─ org.junit.runners.model.MultipleFailureException.class - [JAR]

├─ org.junit.runners.model.NoGenericTypeParametersValidator.class - [JAR]

├─ org.junit.runners.model.RunnerBuilder.class - [JAR]

├─ org.junit.runners.model.RunnerScheduler.class - [JAR]

├─ org.junit.runners.model.Statement.class - [JAR]

├─ org.junit.runners.model.TestClass.class - [JAR]

org.junit.internal

├─ org.junit.internal.ArrayComparisonFailure.class - [JAR]

├─ org.junit.internal.AssumptionViolatedException.class - [JAR]

├─ org.junit.internal.ComparisonCriteria.class - [JAR]

├─ org.junit.internal.ExactComparisonCriteria.class - [JAR]

├─ org.junit.internal.InexactComparisonCriteria.class - [JAR]

├─ org.junit.internal.JUnitSystem.class - [JAR]

├─ org.junit.internal.RealSystem.class - [JAR]

├─ org.junit.internal.TextListener.class - [JAR]

junit.runner

├─ junit.runner.BaseTestRunner.class - [JAR]

├─ junit.runner.TestRunListener.class - [JAR]

├─ junit.runner.Version.class - [JAR]

├─ junit.runner.package-info.class - [JAR]

org.json.simple.parser

├─ org.json.simple.parser.ContainerFactory.class - [JAR]

├─ org.json.simple.parser.ContentHandler.class - [JAR]

├─ org.json.simple.parser.JSONParser.class - [JAR]

├─ org.json.simple.parser.ParseException.class - [JAR]

├─ org.json.simple.parser.Yylex.class - [JAR]

├─ org.json.simple.parser.Yytoken.class - [JAR]

org.checkerframework.common.aliasing.qual

├─ org.checkerframework.common.aliasing.qual.LeakedToResult.class - [JAR]

├─ org.checkerframework.common.aliasing.qual.MaybeAliased.class - [JAR]

├─ org.checkerframework.common.aliasing.qual.MaybeLeaked.class - [JAR]

├─ org.checkerframework.common.aliasing.qual.NonLeaked.class - [JAR]

├─ org.checkerframework.common.aliasing.qual.Unique.class - [JAR]

org.hamcrest

├─ org.hamcrest.BaseDescription.class - [JAR]

├─ org.hamcrest.BaseMatcher.class - [JAR]

├─ org.hamcrest.CoreMatchers.class - [JAR]

├─ org.hamcrest.Description.class - [JAR]

├─ org.hamcrest.Factory.class - [JAR]

├─ org.hamcrest.Matcher.class - [JAR]

├─ org.hamcrest.SelfDescribing.class - [JAR]

├─ org.hamcrest.StringDescription.class - [JAR]

org.junit

├─ org.junit.After.class - [JAR]

├─ org.junit.AfterClass.class - [JAR]

├─ org.junit.Assert.class - [JAR]

├─ org.junit.Assume.class - [JAR]

├─ org.junit.Before.class - [JAR]

├─ org.junit.BeforeClass.class - [JAR]

├─ org.junit.ClassRule.class - [JAR]

├─ org.junit.ComparisonFailure.class - [JAR]

├─ org.junit.Ignore.class - [JAR]

├─ org.junit.Rule.class - [JAR]

├─ org.junit.Test.class - [JAR]

├─ org.junit.package-info.class - [JAR]

org.checkerframework.common.value.qual

├─ org.checkerframework.common.value.qual.ArrayLen.class - [JAR]

├─ org.checkerframework.common.value.qual.ArrayLenRange.class - [JAR]

├─ org.checkerframework.common.value.qual.BoolVal.class - [JAR]

├─ org.checkerframework.common.value.qual.BottomVal.class - [JAR]

├─ org.checkerframework.common.value.qual.DoubleVal.class - [JAR]

├─ org.checkerframework.common.value.qual.EnsuresMinLenIf.class - [JAR]

├─ org.checkerframework.common.value.qual.EnumVal.class - [JAR]

├─ org.checkerframework.common.value.qual.IntRange.class - [JAR]

├─ org.checkerframework.common.value.qual.IntRangeFromGTENegativeOne.class - [JAR]

├─ org.checkerframework.common.value.qual.IntRangeFromNonNegative.class - [JAR]

├─ org.checkerframework.common.value.qual.IntRangeFromPositive.class - [JAR]

├─ org.checkerframework.common.value.qual.IntVal.class - [JAR]

├─ org.checkerframework.common.value.qual.MatchesRegex.class - [JAR]

├─ org.checkerframework.common.value.qual.MinLen.class - [JAR]

├─ org.checkerframework.common.value.qual.MinLenFieldInvariant.class - [JAR]

├─ org.checkerframework.common.value.qual.PolyValue.class - [JAR]

├─ org.checkerframework.common.value.qual.StaticallyExecutable.class - [JAR]

├─ org.checkerframework.common.value.qual.StringVal.class - [JAR]

├─ org.checkerframework.common.value.qual.UnknownVal.class - [JAR]

com.github.javaparser.ast.expr

├─ com.github.javaparser.ast.expr.AnnotationExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.ArrayAccessExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.ArrayCreationExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.ArrayInitializerExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.AssignExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.BinaryExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.BooleanLiteralExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.CastExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.CharLiteralExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.ClassExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.ConditionalExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.DoubleLiteralExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.EnclosedExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.Expression.class - [JAR]

├─ com.github.javaparser.ast.expr.FieldAccessExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.InstanceOfExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.IntegerLiteralExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.LambdaExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.LiteralExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.LiteralStringValueExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.LongLiteralExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.MarkerAnnotationExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.MemberValuePair.class - [JAR]

├─ com.github.javaparser.ast.expr.MethodCallExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.MethodReferenceExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.Name.class - [JAR]

├─ com.github.javaparser.ast.expr.NameExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.NormalAnnotationExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.NullLiteralExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.ObjectCreationExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.PatternExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.SimpleName.class - [JAR]

├─ com.github.javaparser.ast.expr.SingleMemberAnnotationExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.StringLiteralExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.SuperExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.SwitchExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.TextBlockLiteralExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.ThisExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.TypeExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.UnaryExpr.class - [JAR]

├─ com.github.javaparser.ast.expr.VariableDeclarationExpr.class - [JAR]

edu.ucr.cs.riple.core.evaluators

├─ edu.ucr.cs.riple.core.evaluators.AbstractEvaluator.class - [JAR]

├─ edu.ucr.cs.riple.core.evaluators.BasicEvaluator.class - [JAR]

├─ edu.ucr.cs.riple.core.evaluators.CachedEvaluator.class - [JAR]

├─ edu.ucr.cs.riple.core.evaluators.Evaluator.class - [JAR]

├─ edu.ucr.cs.riple.core.evaluators.VoidEvaluator.class - [JAR]

org.checkerframework.checker.guieffect.qual

├─ org.checkerframework.checker.guieffect.qual.AlwaysSafe.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.PolyUI.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.PolyUIEffect.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.PolyUIType.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.SafeEffect.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.SafeType.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.UI.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.UIEffect.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.UIPackage.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.UIType.class - [JAR]

edu.ucr.cs.riple.core.checkers

├─ edu.ucr.cs.riple.core.checkers.Checker.class - [JAR]

├─ edu.ucr.cs.riple.core.checkers.CheckerBaseClass.class - [JAR]

org.junit.experimental.theories

├─ org.junit.experimental.theories.DataPoint.class - [JAR]

├─ org.junit.experimental.theories.DataPoints.class - [JAR]

├─ org.junit.experimental.theories.ParameterSignature.class - [JAR]

├─ org.junit.experimental.theories.ParameterSupplier.class - [JAR]

├─ org.junit.experimental.theories.ParametersSuppliedBy.class - [JAR]

├─ org.junit.experimental.theories.PotentialAssignment.class - [JAR]

├─ org.junit.experimental.theories.Theories.class - [JAR]

├─ org.junit.experimental.theories.Theory.class - [JAR]

edu.ucr.cs.riple.scanner.out

├─ edu.ucr.cs.riple.scanner.out.ClassRecord.class - [JAR]

├─ edu.ucr.cs.riple.scanner.out.ImpactedRegion.class - [JAR]

├─ edu.ucr.cs.riple.scanner.out.MethodRecord.class - [JAR]

com.github.javaparser.printer.lexicalpreservation.changes

├─ com.github.javaparser.printer.lexicalpreservation.changes.Change.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.changes.ListAdditionChange.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.changes.ListRemovalChange.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.changes.ListReplacementChange.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.changes.NoChange.class - [JAR]

├─ com.github.javaparser.printer.lexicalpreservation.changes.PropertyChange.class - [JAR]

org.junit.internal.requests

├─ org.junit.internal.requests.ClassRequest.class - [JAR]

├─ org.junit.internal.requests.FilterRequest.class - [JAR]

├─ org.junit.internal.requests.SortingRequest.class - [JAR]

├─ org.junit.internal.requests.package-info.class - [JAR]

org.jline.terminal.impl

├─ org.jline.terminal.impl.AbstractPosixTerminal.class - [JAR]

├─ org.jline.terminal.impl.AbstractPty.class - [JAR]

├─ org.jline.terminal.impl.AbstractTerminal.class - [JAR]

├─ org.jline.terminal.impl.AbstractWindowsConsoleWriter.class - [JAR]

├─ org.jline.terminal.impl.AbstractWindowsTerminal.class - [JAR]

├─ org.jline.terminal.impl.CursorSupport.class - [JAR]

├─ org.jline.terminal.impl.DumbTerminal.class - [JAR]

├─ org.jline.terminal.impl.ExecPty.class - [JAR]

├─ org.jline.terminal.impl.ExternalTerminal.class - [JAR]

├─ org.jline.terminal.impl.LineDisciplineTerminal.class - [JAR]

├─ org.jline.terminal.impl.MouseSupport.class - [JAR]

├─ org.jline.terminal.impl.NativeSignalHandler.class - [JAR]

├─ org.jline.terminal.impl.PosixPtyTerminal.class - [JAR]

├─ org.jline.terminal.impl.PosixSysTerminal.class - [JAR]

com.google.common.util.concurrent

├─ com.google.common.util.concurrent.AbstractCatchingFuture.class - [JAR]

├─ com.google.common.util.concurrent.AbstractExecutionThreadService.class - [JAR]

├─ com.google.common.util.concurrent.AbstractFuture.class - [JAR]

├─ com.google.common.util.concurrent.AbstractIdleService.class - [JAR]

├─ com.google.common.util.concurrent.AbstractListeningExecutorService.class - [JAR]

├─ com.google.common.util.concurrent.AbstractScheduledService.class - [JAR]

├─ com.google.common.util.concurrent.AbstractService.class - [JAR]

├─ com.google.common.util.concurrent.AbstractTransformFuture.class - [JAR]

├─ com.google.common.util.concurrent.AggregateFuture.class - [JAR]

├─ com.google.common.util.concurrent.AggregateFutureState.class - [JAR]

├─ com.google.common.util.concurrent.AsyncCallable.class - [JAR]

├─ com.google.common.util.concurrent.AsyncFunction.class - [JAR]

├─ com.google.common.util.concurrent.AtomicDouble.class - [JAR]

├─ com.google.common.util.concurrent.AtomicDoubleArray.class - [JAR]

├─ com.google.common.util.concurrent.AtomicLongMap.class - [JAR]

├─ com.google.common.util.concurrent.Atomics.class - [JAR]

├─ com.google.common.util.concurrent.Callables.class - [JAR]

├─ com.google.common.util.concurrent.ClosingFuture.class - [JAR]

├─ com.google.common.util.concurrent.CollectionFuture.class - [JAR]

├─ com.google.common.util.concurrent.CombinedFuture.class - [JAR]

├─ com.google.common.util.concurrent.CycleDetectingLockFactory.class - [JAR]

├─ com.google.common.util.concurrent.DirectExecutor.class - [JAR]

├─ com.google.common.util.concurrent.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.util.concurrent.ExecutionError.class - [JAR]

├─ com.google.common.util.concurrent.ExecutionList.class - [JAR]

├─ com.google.common.util.concurrent.ExecutionSequencer.class - [JAR]

├─ com.google.common.util.concurrent.FakeTimeLimiter.class - [JAR]

├─ com.google.common.util.concurrent.FluentFuture.class - [JAR]

├─ com.google.common.util.concurrent.ForwardingBlockingDeque.class - [JAR]

├─ com.google.common.util.concurrent.ForwardingBlockingQueue.class - [JAR]

├─ com.google.common.util.concurrent.ForwardingCondition.class - [JAR]

├─ com.google.common.util.concurrent.ForwardingExecutorService.class - [JAR]

├─ com.google.common.util.concurrent.ForwardingFluentFuture.class - [JAR]

├─ com.google.common.util.concurrent.ForwardingFuture.class - [JAR]

├─ com.google.common.util.concurrent.ForwardingListenableFuture.class - [JAR]

├─ com.google.common.util.concurrent.ForwardingListeningExecutorService.class - [JAR]

├─ com.google.common.util.concurrent.ForwardingLock.class - [JAR]

├─ com.google.common.util.concurrent.FutureCallback.class - [JAR]

├─ com.google.common.util.concurrent.Futures.class - [JAR]

├─ com.google.common.util.concurrent.FuturesGetChecked.class - [JAR]

├─ com.google.common.util.concurrent.GwtFluentFutureCatchingSpecialization.class - [JAR]

├─ com.google.common.util.concurrent.GwtFuturesCatchingSpecialization.class - [JAR]

├─ com.google.common.util.concurrent.ImmediateFuture.class - [JAR]

├─ com.google.common.util.concurrent.Internal.class - [JAR]

├─ com.google.common.util.concurrent.InterruptibleTask.class - [JAR]

├─ com.google.common.util.concurrent.JdkFutureAdapters.class - [JAR]

├─ com.google.common.util.concurrent.ListenableFuture.class - [JAR]

├─ com.google.common.util.concurrent.ListenableFutureTask.class - [JAR]

├─ com.google.common.util.concurrent.ListenableScheduledFuture.class - [JAR]

├─ com.google.common.util.concurrent.ListenerCallQueue.class - [JAR]

├─ com.google.common.util.concurrent.ListeningExecutorService.class - [JAR]

├─ com.google.common.util.concurrent.ListeningScheduledExecutorService.class - [JAR]

├─ com.google.common.util.concurrent.Monitor.class - [JAR]

├─ com.google.common.util.concurrent.MoreExecutors.class - [JAR]

├─ com.google.common.util.concurrent.NullnessCasts.class - [JAR]

├─ com.google.common.util.concurrent.OverflowAvoidingLockSupport.class - [JAR]

├─ com.google.common.util.concurrent.ParametricNullness.class - [JAR]

├─ com.google.common.util.concurrent.Partially.class - [JAR]

├─ com.google.common.util.concurrent.Platform.class - [JAR]

├─ com.google.common.util.concurrent.RateLimiter.class - [JAR]

├─ com.google.common.util.concurrent.Runnables.class - [JAR]

├─ com.google.common.util.concurrent.SequentialExecutor.class - [JAR]

├─ com.google.common.util.concurrent.Service.class - [JAR]

├─ com.google.common.util.concurrent.ServiceManager.class - [JAR]

├─ com.google.common.util.concurrent.ServiceManagerBridge.class - [JAR]

├─ com.google.common.util.concurrent.SettableFuture.class - [JAR]

├─ com.google.common.util.concurrent.SimpleTimeLimiter.class - [JAR]

├─ com.google.common.util.concurrent.SmoothRateLimiter.class - [JAR]

├─ com.google.common.util.concurrent.Striped.class - [JAR]

├─ com.google.common.util.concurrent.ThreadFactoryBuilder.class - [JAR]

├─ com.google.common.util.concurrent.TimeLimiter.class - [JAR]

├─ com.google.common.util.concurrent.TimeoutFuture.class - [JAR]

├─ com.google.common.util.concurrent.TrustedListenableFutureTask.class - [JAR]

├─ com.google.common.util.concurrent.UncaughtExceptionHandlers.class - [JAR]

├─ com.google.common.util.concurrent.UncheckedExecutionException.class - [JAR]

├─ com.google.common.util.concurrent.UncheckedTimeoutException.class - [JAR]

├─ com.google.common.util.concurrent.Uninterruptibles.class - [JAR]

├─ com.google.common.util.concurrent.WrappingExecutorService.class - [JAR]

├─ com.google.common.util.concurrent.WrappingScheduledExecutorService.class - [JAR]

├─ com.google.common.util.concurrent.package-info.class - [JAR]

org.checkerframework.checker.optional.qual

├─ org.checkerframework.checker.optional.qual.MaybePresent.class - [JAR]

├─ org.checkerframework.checker.optional.qual.OptionalBottom.class - [JAR]

├─ org.checkerframework.checker.optional.qual.PolyPresent.class - [JAR]

├─ org.checkerframework.checker.optional.qual.Present.class - [JAR]

org.jline.builtins.ssh

├─ org.jline.builtins.ssh.ShellCommand.class - [JAR]

├─ org.jline.builtins.ssh.ShellFactoryImpl.class - [JAR]

├─ org.jline.builtins.ssh.Ssh.class - [JAR]

javax.annotation

├─ javax.annotation.CheckForNull.class - [JAR]

├─ javax.annotation.CheckForSigned.class - [JAR]

├─ javax.annotation.CheckReturnValue.class - [JAR]

├─ javax.annotation.Detainted.class - [JAR]

├─ javax.annotation.MatchesPattern.class - [JAR]

├─ javax.annotation.Nonnegative.class - [JAR]

├─ javax.annotation.Nonnull.class - [JAR]

├─ javax.annotation.Nullable.class - [JAR]

├─ javax.annotation.OverridingMethodsMustInvokeSuper.class - [JAR]

├─ javax.annotation.ParametersAreNonnullByDefault.class - [JAR]

├─ javax.annotation.ParametersAreNullableByDefault.class - [JAR]

├─ javax.annotation.PropertyKey.class - [JAR]

├─ javax.annotation.RegEx.class - [JAR]

├─ javax.annotation.Signed.class - [JAR]

├─ javax.annotation.Syntax.class - [JAR]

├─ javax.annotation.Tainted.class - [JAR]

├─ javax.annotation.Untainted.class - [JAR]

├─ javax.annotation.WillClose.class - [JAR]

├─ javax.annotation.WillCloseWhenClosed.class - [JAR]

├─ javax.annotation.WillNotClose.class - [JAR]

me.tongfei.progressbar

├─ me.tongfei.progressbar.ConsoleProgressBarConsumer.class - [JAR]

├─ me.tongfei.progressbar.DefaultProgressBarRenderer.class - [JAR]

├─ me.tongfei.progressbar.DelegatingProgressBarConsumer.class - [JAR]

├─ me.tongfei.progressbar.InteractiveConsoleProgressBarConsumer.class - [JAR]

├─ me.tongfei.progressbar.ProgressBar.class - [JAR]

├─ me.tongfei.progressbar.ProgressBarBuilder.class - [JAR]

├─ me.tongfei.progressbar.ProgressBarConsumer.class - [JAR]

├─ me.tongfei.progressbar.ProgressBarRenderer.class - [JAR]

├─ me.tongfei.progressbar.ProgressBarStyle.class - [JAR]

├─ me.tongfei.progressbar.ProgressState.class - [JAR]

├─ me.tongfei.progressbar.ProgressUpdateAction.class - [JAR]

├─ me.tongfei.progressbar.StringDisplayUtils.class - [JAR]

├─ me.tongfei.progressbar.TerminalUtils.class - [JAR]

├─ me.tongfei.progressbar.Util.class - [JAR]

org.jline.terminal.impl.jansi.win

├─ org.jline.terminal.impl.jansi.win.JansiWinConsoleWriter.class - [JAR]

├─ org.jline.terminal.impl.jansi.win.JansiWinSysTerminal.class - [JAR]

├─ org.jline.terminal.impl.jansi.win.WindowsAnsiWriter.class - [JAR]

org.checkerframework.checker.formatter.qual

├─ org.checkerframework.checker.formatter.qual.ConversionCategory.class - [JAR]

├─ org.checkerframework.checker.formatter.qual.Format.class - [JAR]

├─ org.checkerframework.checker.formatter.qual.FormatBottom.class - [JAR]

├─ org.checkerframework.checker.formatter.qual.FormatMethod.class - [JAR]

├─ org.checkerframework.checker.formatter.qual.InvalidFormat.class - [JAR]

├─ org.checkerframework.checker.formatter.qual.ReturnsFormat.class - [JAR]

├─ org.checkerframework.checker.formatter.qual.UnknownFormat.class - [JAR]

org.checkerframework.checker.i18nformatter.qual

├─ org.checkerframework.checker.i18nformatter.qual.I18nChecksFormat.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nFormat.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nFormatBottom.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nFormatFor.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nInvalidFormat.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nMakeFormat.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nUnknownFormat.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nValidFormat.class - [JAR]

org.checkerframework.checker.units.qual

├─ org.checkerframework.checker.units.qual.A.class - [JAR]

├─ org.checkerframework.checker.units.qual.Acceleration.class - [JAR]

├─ org.checkerframework.checker.units.qual.Angle.class - [JAR]

├─ org.checkerframework.checker.units.qual.Area.class - [JAR]

├─ org.checkerframework.checker.units.qual.C.class - [JAR]

├─ org.checkerframework.checker.units.qual.Current.class - [JAR]

├─ org.checkerframework.checker.units.qual.K.class - [JAR]

├─ org.checkerframework.checker.units.qual.Length.class - [JAR]

├─ org.checkerframework.checker.units.qual.Luminance.class - [JAR]

├─ org.checkerframework.checker.units.qual.Mass.class - [JAR]

├─ org.checkerframework.checker.units.qual.MixedUnits.class - [JAR]

├─ org.checkerframework.checker.units.qual.PolyUnit.class - [JAR]

├─ org.checkerframework.checker.units.qual.Prefix.class - [JAR]

├─ org.checkerframework.checker.units.qual.Speed.class - [JAR]

├─ org.checkerframework.checker.units.qual.Substance.class - [JAR]

├─ org.checkerframework.checker.units.qual.Temperature.class - [JAR]

├─ org.checkerframework.checker.units.qual.Time.class - [JAR]

├─ org.checkerframework.checker.units.qual.UnitsBottom.class - [JAR]

├─ org.checkerframework.checker.units.qual.UnitsMultiple.class - [JAR]

├─ org.checkerframework.checker.units.qual.UnitsRelations.class - [JAR]

├─ org.checkerframework.checker.units.qual.UnknownUnits.class - [JAR]

├─ org.checkerframework.checker.units.qual.cd.class - [JAR]

├─ org.checkerframework.checker.units.qual.degrees.class - [JAR]

├─ org.checkerframework.checker.units.qual.g.class - [JAR]

├─ org.checkerframework.checker.units.qual.h.class - [JAR]

├─ org.checkerframework.checker.units.qual.kg.class - [JAR]

├─ org.checkerframework.checker.units.qual.km.class - [JAR]

├─ org.checkerframework.checker.units.qual.km2.class - [JAR]

├─ org.checkerframework.checker.units.qual.kmPERh.class - [JAR]

├─ org.checkerframework.checker.units.qual.m.class - [JAR]

├─ org.checkerframework.checker.units.qual.m2.class - [JAR]

├─ org.checkerframework.checker.units.qual.mPERs.class - [JAR]

├─ org.checkerframework.checker.units.qual.mPERs2.class - [JAR]

├─ org.checkerframework.checker.units.qual.min.class - [JAR]

├─ org.checkerframework.checker.units.qual.mm.class - [JAR]

├─ org.checkerframework.checker.units.qual.mm2.class - [JAR]

├─ org.checkerframework.checker.units.qual.mol.class - [JAR]

├─ org.checkerframework.checker.units.qual.radians.class - [JAR]

├─ org.checkerframework.checker.units.qual.s.class - [JAR]

org.junit.experimental.categories

├─ org.junit.experimental.categories.Categories.class - [JAR]

├─ org.junit.experimental.categories.Category.class - [JAR]

com.google.common.eventbus

├─ com.google.common.eventbus.AllowConcurrentEvents.class - [JAR]

├─ com.google.common.eventbus.AsyncEventBus.class - [JAR]

├─ com.google.common.eventbus.DeadEvent.class - [JAR]

├─ com.google.common.eventbus.Dispatcher.class - [JAR]

├─ com.google.common.eventbus.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.eventbus.EventBus.class - [JAR]

├─ com.google.common.eventbus.ParametricNullness.class - [JAR]

├─ com.google.common.eventbus.Subscribe.class - [JAR]

├─ com.google.common.eventbus.Subscriber.class - [JAR]

├─ com.google.common.eventbus.SubscriberExceptionContext.class - [JAR]

├─ com.google.common.eventbus.SubscriberExceptionHandler.class - [JAR]

├─ com.google.common.eventbus.SubscriberRegistry.class - [JAR]

├─ com.google.common.eventbus.package-info.class - [JAR]

org.jline.terminal.impl.jna.linux

├─ org.jline.terminal.impl.jna.linux.CLibrary.class - [JAR]

├─ org.jline.terminal.impl.jna.linux.LinuxNativePty.class - [JAR]

com.google.common.collect

├─ com.google.common.collect.AbstractBiMap.class - [JAR]

├─ com.google.common.collect.AbstractIndexedListIterator.class - [JAR]

├─ com.google.common.collect.AbstractIterator.class - [JAR]

├─ com.google.common.collect.AbstractListMultimap.class - [JAR]

├─ com.google.common.collect.AbstractMapBasedMultimap.class - [JAR]

├─ com.google.common.collect.AbstractMapBasedMultiset.class - [JAR]

├─ com.google.common.collect.AbstractMapEntry.class - [JAR]

├─ com.google.common.collect.AbstractMultimap.class - [JAR]

├─ com.google.common.collect.AbstractMultiset.class - [JAR]

├─ com.google.common.collect.AbstractNavigableMap.class - [JAR]

├─ com.google.common.collect.AbstractRangeSet.class - [JAR]

├─ com.google.common.collect.AbstractSequentialIterator.class - [JAR]

├─ com.google.common.collect.AbstractSetMultimap.class - [JAR]

├─ com.google.common.collect.AbstractSortedKeySortedSetMultimap.class - [JAR]

├─ com.google.common.collect.AbstractSortedMultiset.class - [JAR]

├─ com.google.common.collect.AbstractSortedSetMultimap.class - [JAR]

├─ com.google.common.collect.AbstractTable.class - [JAR]

├─ com.google.common.collect.AllEqualOrdering.class - [JAR]

├─ com.google.common.collect.ArrayListMultimap.class - [JAR]

├─ com.google.common.collect.ArrayListMultimapGwtSerializationDependencies.class - [JAR]

├─ com.google.common.collect.ArrayTable.class - [JAR]

├─ com.google.common.collect.BaseImmutableMultimap.class - [JAR]

├─ com.google.common.collect.BiMap.class - [JAR]

├─ com.google.common.collect.BoundType.class - [JAR]

├─ com.google.common.collect.ByFunctionOrdering.class - [JAR]

├─ com.google.common.collect.CartesianList.class - [JAR]

├─ com.google.common.collect.ClassToInstanceMap.class - [JAR]

├─ com.google.common.collect.CollectCollectors.class - [JAR]

├─ com.google.common.collect.CollectPreconditions.class - [JAR]

├─ com.google.common.collect.CollectSpliterators.class - [JAR]

├─ com.google.common.collect.Collections2.class - [JAR]

├─ com.google.common.collect.CompactHashMap.class - [JAR]

├─ com.google.common.collect.CompactHashSet.class - [JAR]

├─ com.google.common.collect.CompactHashing.class - [JAR]

├─ com.google.common.collect.CompactLinkedHashMap.class - [JAR]

├─ com.google.common.collect.CompactLinkedHashSet.class - [JAR]

├─ com.google.common.collect.ComparatorOrdering.class - [JAR]

├─ com.google.common.collect.Comparators.class - [JAR]

├─ com.google.common.collect.ComparisonChain.class - [JAR]

├─ com.google.common.collect.CompoundOrdering.class - [JAR]

├─ com.google.common.collect.ComputationException.class - [JAR]

├─ com.google.common.collect.ConcurrentHashMultiset.class - [JAR]

├─ com.google.common.collect.ConsumingQueueIterator.class - [JAR]

├─ com.google.common.collect.ContiguousSet.class - [JAR]

├─ com.google.common.collect.Count.class - [JAR]

├─ com.google.common.collect.Cut.class - [JAR]

├─ com.google.common.collect.DenseImmutableTable.class - [JAR]

├─ com.google.common.collect.DescendingImmutableSortedMultiset.class - [JAR]

├─ com.google.common.collect.DescendingImmutableSortedSet.class - [JAR]

├─ com.google.common.collect.DescendingMultiset.class - [JAR]

├─ com.google.common.collect.DiscreteDomain.class - [JAR]

├─ com.google.common.collect.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.collect.EmptyContiguousSet.class - [JAR]

├─ com.google.common.collect.EmptyImmutableListMultimap.class - [JAR]

├─ com.google.common.collect.EmptyImmutableSetMultimap.class - [JAR]

├─ com.google.common.collect.EnumBiMap.class - [JAR]

├─ com.google.common.collect.EnumHashBiMap.class - [JAR]

├─ com.google.common.collect.EnumMultiset.class - [JAR]

├─ com.google.common.collect.EvictingQueue.class - [JAR]

├─ com.google.common.collect.ExplicitOrdering.class - [JAR]

├─ com.google.common.collect.FilteredEntryMultimap.class - [JAR]

├─ com.google.common.collect.FilteredEntrySetMultimap.class - [JAR]

├─ com.google.common.collect.FilteredKeyListMultimap.class - [JAR]

├─ com.google.common.collect.FilteredKeyMultimap.class - [JAR]

├─ com.google.common.collect.FilteredKeySetMultimap.class - [JAR]

├─ com.google.common.collect.FilteredMultimap.class - [JAR]

├─ com.google.common.collect.FilteredMultimapValues.class - [JAR]

├─ com.google.common.collect.FilteredSetMultimap.class - [JAR]

├─ com.google.common.collect.FluentIterable.class - [JAR]

├─ com.google.common.collect.ForwardingBlockingDeque.class - [JAR]

├─ com.google.common.collect.ForwardingCollection.class - [JAR]

├─ com.google.common.collect.ForwardingConcurrentMap.class - [JAR]

├─ com.google.common.collect.ForwardingDeque.class - [JAR]

├─ com.google.common.collect.ForwardingImmutableCollection.class - [JAR]

├─ com.google.common.collect.ForwardingImmutableList.class - [JAR]

├─ com.google.common.collect.ForwardingImmutableMap.class - [JAR]

├─ com.google.common.collect.ForwardingImmutableSet.class - [JAR]

├─ com.google.common.collect.ForwardingIterator.class - [JAR]

├─ com.google.common.collect.ForwardingList.class - [JAR]

├─ com.google.common.collect.ForwardingListIterator.class - [JAR]

├─ com.google.common.collect.ForwardingListMultimap.class - [JAR]

├─ com.google.common.collect.ForwardingMap.class - [JAR]

├─ com.google.common.collect.ForwardingMapEntry.class - [JAR]

├─ com.google.common.collect.ForwardingMultimap.class - [JAR]

├─ com.google.common.collect.ForwardingMultiset.class - [JAR]

├─ com.google.common.collect.ForwardingNavigableMap.class - [JAR]

├─ com.google.common.collect.ForwardingNavigableSet.class - [JAR]

├─ com.google.common.collect.ForwardingObject.class - [JAR]

├─ com.google.common.collect.ForwardingQueue.class - [JAR]

├─ com.google.common.collect.ForwardingSet.class - [JAR]

├─ com.google.common.collect.ForwardingSetMultimap.class - [JAR]

├─ com.google.common.collect.ForwardingSortedMap.class - [JAR]

├─ com.google.common.collect.ForwardingSortedMultiset.class - [JAR]

├─ com.google.common.collect.ForwardingSortedSet.class - [JAR]

├─ com.google.common.collect.ForwardingSortedSetMultimap.class - [JAR]

├─ com.google.common.collect.ForwardingTable.class - [JAR]

├─ com.google.common.collect.GeneralRange.class - [JAR]

├─ com.google.common.collect.GwtTransient.class - [JAR]

├─ com.google.common.collect.HashBasedTable.class - [JAR]

├─ com.google.common.collect.HashBiMap.class - [JAR]

├─ com.google.common.collect.HashMultimap.class - [JAR]

├─ com.google.common.collect.HashMultimapGwtSerializationDependencies.class - [JAR]

├─ com.google.common.collect.HashMultiset.class - [JAR]

├─ com.google.common.collect.Hashing.class - [JAR]

├─ com.google.common.collect.ImmutableAsList.class - [JAR]

├─ com.google.common.collect.ImmutableBiMap.class - [JAR]

├─ com.google.common.collect.ImmutableBiMapFauxverideShim.class - [JAR]

├─ com.google.common.collect.ImmutableClassToInstanceMap.class - [JAR]

├─ com.google.common.collect.ImmutableCollection.class - [JAR]

├─ com.google.common.collect.ImmutableEntry.class - [JAR]

├─ com.google.common.collect.ImmutableEnumMap.class - [JAR]

├─ com.google.common.collect.ImmutableEnumSet.class - [JAR]

├─ com.google.common.collect.ImmutableList.class - [JAR]

├─ com.google.common.collect.ImmutableListMultimap.class - [JAR]

├─ com.google.common.collect.ImmutableMap.class - [JAR]

├─ com.google.common.collect.ImmutableMapEntry.class - [JAR]

├─ com.google.common.collect.ImmutableMapEntrySet.class - [JAR]

├─ com.google.common.collect.ImmutableMapKeySet.class - [JAR]

├─ com.google.common.collect.ImmutableMapValues.class - [JAR]

├─ com.google.common.collect.ImmutableMultimap.class - [JAR]

├─ com.google.common.collect.ImmutableMultiset.class - [JAR]

├─ com.google.common.collect.ImmutableMultisetGwtSerializationDependencies.class - [JAR]

├─ com.google.common.collect.ImmutableRangeMap.class - [JAR]

├─ com.google.common.collect.ImmutableRangeSet.class - [JAR]

├─ com.google.common.collect.ImmutableSet.class - [JAR]

├─ com.google.common.collect.ImmutableSetMultimap.class - [JAR]

├─ com.google.common.collect.ImmutableSortedAsList.class - [JAR]

├─ com.google.common.collect.ImmutableSortedMap.class - [JAR]

├─ com.google.common.collect.ImmutableSortedMapFauxverideShim.class - [JAR]

├─ com.google.common.collect.ImmutableSortedMultiset.class - [JAR]

├─ com.google.common.collect.ImmutableSortedMultisetFauxverideShim.class - [JAR]

├─ com.google.common.collect.ImmutableSortedSet.class - [JAR]

├─ com.google.common.collect.ImmutableSortedSetFauxverideShim.class - [JAR]

├─ com.google.common.collect.ImmutableTable.class - [JAR]

├─ com.google.common.collect.IndexedImmutableSet.class - [JAR]

├─ com.google.common.collect.Interner.class - [JAR]

├─ com.google.common.collect.Interners.class - [JAR]

├─ com.google.common.collect.Iterables.class - [JAR]

├─ com.google.common.collect.Iterators.class - [JAR]

├─ com.google.common.collect.JdkBackedImmutableBiMap.class - [JAR]

├─ com.google.common.collect.JdkBackedImmutableMap.class - [JAR]

├─ com.google.common.collect.JdkBackedImmutableMultiset.class - [JAR]

├─ com.google.common.collect.JdkBackedImmutableSet.class - [JAR]

├─ com.google.common.collect.LexicographicalOrdering.class - [JAR]

├─ com.google.common.collect.LinkedHashMultimap.class - [JAR]

├─ com.google.common.collect.LinkedHashMultimapGwtSerializationDependencies.class - [JAR]

├─ com.google.common.collect.LinkedHashMultiset.class - [JAR]

├─ com.google.common.collect.LinkedListMultimap.class - [JAR]

├─ com.google.common.collect.ListMultimap.class - [JAR]

├─ com.google.common.collect.Lists.class - [JAR]

├─ com.google.common.collect.MapDifference.class - [JAR]

├─ com.google.common.collect.MapMaker.class - [JAR]

├─ com.google.common.collect.MapMakerInternalMap.class - [JAR]

├─ com.google.common.collect.Maps.class - [JAR]

├─ com.google.common.collect.MinMaxPriorityQueue.class - [JAR]

├─ com.google.common.collect.MoreCollectors.class - [JAR]

├─ com.google.common.collect.Multimap.class - [JAR]

├─ com.google.common.collect.MultimapBuilder.class - [JAR]

├─ com.google.common.collect.Multimaps.class - [JAR]

├─ com.google.common.collect.Multiset.class - [JAR]

├─ com.google.common.collect.Multisets.class - [JAR]

├─ com.google.common.collect.MutableClassToInstanceMap.class - [JAR]

├─ com.google.common.collect.NaturalOrdering.class - [JAR]

├─ com.google.common.collect.NullnessCasts.class - [JAR]

├─ com.google.common.collect.NullsFirstOrdering.class - [JAR]

├─ com.google.common.collect.NullsLastOrdering.class - [JAR]

├─ com.google.common.collect.ObjectArrays.class - [JAR]

├─ com.google.common.collect.Ordering.class - [JAR]

├─ com.google.common.collect.ParametricNullness.class - [JAR]

├─ com.google.common.collect.PeekingIterator.class - [JAR]

├─ com.google.common.collect.Platform.class - [JAR]

├─ com.google.common.collect.Queues.class - [JAR]

├─ com.google.common.collect.Range.class - [JAR]

├─ com.google.common.collect.RangeGwtSerializationDependencies.class - [JAR]

├─ com.google.common.collect.RangeMap.class - [JAR]

├─ com.google.common.collect.RangeSet.class - [JAR]

├─ com.google.common.collect.RegularContiguousSet.class - [JAR]

├─ com.google.common.collect.RegularImmutableAsList.class - [JAR]

├─ com.google.common.collect.RegularImmutableBiMap.class - [JAR]

├─ com.google.common.collect.RegularImmutableList.class - [JAR]

├─ com.google.common.collect.RegularImmutableMap.class - [JAR]

├─ com.google.common.collect.RegularImmutableMultiset.class - [JAR]

├─ com.google.common.collect.RegularImmutableSet.class - [JAR]

├─ com.google.common.collect.RegularImmutableSortedMultiset.class - [JAR]

├─ com.google.common.collect.RegularImmutableSortedSet.class - [JAR]

├─ com.google.common.collect.RegularImmutableTable.class - [JAR]

├─ com.google.common.collect.ReverseNaturalOrdering.class - [JAR]

├─ com.google.common.collect.ReverseOrdering.class - [JAR]

├─ com.google.common.collect.RowSortedTable.class - [JAR]

├─ com.google.common.collect.Serialization.class - [JAR]

├─ com.google.common.collect.SetMultimap.class - [JAR]

├─ com.google.common.collect.Sets.class - [JAR]

├─ com.google.common.collect.SingletonImmutableBiMap.class - [JAR]

├─ com.google.common.collect.SingletonImmutableList.class - [JAR]

├─ com.google.common.collect.SingletonImmutableSet.class - [JAR]

├─ com.google.common.collect.SingletonImmutableTable.class - [JAR]

├─ com.google.common.collect.SortedIterable.class - [JAR]

├─ com.google.common.collect.SortedIterables.class - [JAR]

├─ com.google.common.collect.SortedLists.class - [JAR]

├─ com.google.common.collect.SortedMapDifference.class - [JAR]

├─ com.google.common.collect.SortedMultiset.class - [JAR]

├─ com.google.common.collect.SortedMultisetBridge.class - [JAR]

├─ com.google.common.collect.SortedMultisets.class - [JAR]

├─ com.google.common.collect.SortedSetMultimap.class - [JAR]

├─ com.google.common.collect.SparseImmutableTable.class - [JAR]

├─ com.google.common.collect.StandardRowSortedTable.class - [JAR]

├─ com.google.common.collect.StandardTable.class - [JAR]

├─ com.google.common.collect.Streams.class - [JAR]

├─ com.google.common.collect.Synchronized.class - [JAR]

├─ com.google.common.collect.Table.class - [JAR]

├─ com.google.common.collect.TableCollectors.class - [JAR]

├─ com.google.common.collect.Tables.class - [JAR]

├─ com.google.common.collect.TopKSelector.class - [JAR]

├─ com.google.common.collect.TransformedIterator.class - [JAR]

├─ com.google.common.collect.TransformedListIterator.class - [JAR]

├─ com.google.common.collect.TreeBasedTable.class - [JAR]

├─ com.google.common.collect.TreeMultimap.class - [JAR]

├─ com.google.common.collect.TreeMultiset.class - [JAR]

├─ com.google.common.collect.TreeRangeMap.class - [JAR]

├─ com.google.common.collect.TreeRangeSet.class - [JAR]

├─ com.google.common.collect.TreeTraverser.class - [JAR]

├─ com.google.common.collect.UnmodifiableIterator.class - [JAR]

├─ com.google.common.collect.UnmodifiableListIterator.class - [JAR]

├─ com.google.common.collect.UnmodifiableSortedMultiset.class - [JAR]

├─ com.google.common.collect.UsingToStringOrdering.class - [JAR]

├─ com.google.common.collect.package-info.class - [JAR]

org.checkerframework.checker.builder.qual

├─ org.checkerframework.checker.builder.qual.CalledMethods.class - [JAR]

├─ org.checkerframework.checker.builder.qual.NotCalledMethods.class - [JAR]

├─ org.checkerframework.checker.builder.qual.ReturnsReceiver.class - [JAR]

javax.annotation.concurrent

├─ javax.annotation.concurrent.GuardedBy.class - [JAR]

├─ javax.annotation.concurrent.Immutable.class - [JAR]

├─ javax.annotation.concurrent.NotThreadSafe.class - [JAR]

├─ javax.annotation.concurrent.ThreadSafe.class - [JAR]

com.github.javaparser.ast.type

├─ com.github.javaparser.ast.type.ArrayType.class - [JAR]

├─ com.github.javaparser.ast.type.ClassOrInterfaceType.class - [JAR]

├─ com.github.javaparser.ast.type.IntersectionType.class - [JAR]

├─ com.github.javaparser.ast.type.PrimitiveType.class - [JAR]

├─ com.github.javaparser.ast.type.ReferenceType.class - [JAR]

├─ com.github.javaparser.ast.type.Type.class - [JAR]

├─ com.github.javaparser.ast.type.TypeParameter.class - [JAR]

├─ com.github.javaparser.ast.type.UnionType.class - [JAR]

├─ com.github.javaparser.ast.type.UnknownType.class - [JAR]

├─ com.github.javaparser.ast.type.VarType.class - [JAR]

├─ com.github.javaparser.ast.type.VoidType.class - [JAR]

├─ com.github.javaparser.ast.type.WildcardType.class - [JAR]

org.checkerframework.common.reflection.qual

├─ org.checkerframework.common.reflection.qual.ClassBound.class - [JAR]

├─ org.checkerframework.common.reflection.qual.ClassVal.class - [JAR]

├─ org.checkerframework.common.reflection.qual.ClassValBottom.class - [JAR]

├─ org.checkerframework.common.reflection.qual.ForName.class - [JAR]

├─ org.checkerframework.common.reflection.qual.GetClass.class - [JAR]

├─ org.checkerframework.common.reflection.qual.GetConstructor.class - [JAR]

├─ org.checkerframework.common.reflection.qual.GetMethod.class - [JAR]

├─ org.checkerframework.common.reflection.qual.Invoke.class - [JAR]

├─ org.checkerframework.common.reflection.qual.MethodVal.class - [JAR]

├─ org.checkerframework.common.reflection.qual.MethodValBottom.class - [JAR]

├─ org.checkerframework.common.reflection.qual.NewInstance.class - [JAR]

├─ org.checkerframework.common.reflection.qual.UnknownClass.class - [JAR]

├─ org.checkerframework.common.reflection.qual.UnknownMethod.class - [JAR]

com.google.common.hash

├─ com.google.common.hash.AbstractByteHasher.class - [JAR]

├─ com.google.common.hash.AbstractCompositeHashFunction.class - [JAR]

├─ com.google.common.hash.AbstractHashFunction.class - [JAR]

├─ com.google.common.hash.AbstractHasher.class - [JAR]

├─ com.google.common.hash.AbstractNonStreamingHashFunction.class - [JAR]

├─ com.google.common.hash.AbstractStreamingHasher.class - [JAR]

├─ com.google.common.hash.BloomFilter.class - [JAR]

├─ com.google.common.hash.BloomFilterStrategies.class - [JAR]

├─ com.google.common.hash.ChecksumHashFunction.class - [JAR]

├─ com.google.common.hash.Crc32cHashFunction.class - [JAR]

├─ com.google.common.hash.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.hash.FarmHashFingerprint64.class - [JAR]

├─ com.google.common.hash.Funnel.class - [JAR]

├─ com.google.common.hash.Funnels.class - [JAR]

├─ com.google.common.hash.HashCode.class - [JAR]

├─ com.google.common.hash.HashFunction.class - [JAR]

├─ com.google.common.hash.Hasher.class - [JAR]

├─ com.google.common.hash.Hashing.class - [JAR]

├─ com.google.common.hash.HashingInputStream.class - [JAR]

├─ com.google.common.hash.HashingOutputStream.class - [JAR]

├─ com.google.common.hash.ImmutableSupplier.class - [JAR]

├─ com.google.common.hash.Java8Compatibility.class - [JAR]

├─ com.google.common.hash.LittleEndianByteArray.class - [JAR]

├─ com.google.common.hash.LongAddable.class - [JAR]

├─ com.google.common.hash.LongAddables.class - [JAR]

├─ com.google.common.hash.LongAdder.class - [JAR]

├─ com.google.common.hash.MacHashFunction.class - [JAR]

├─ com.google.common.hash.MessageDigestHashFunction.class - [JAR]

├─ com.google.common.hash.Murmur3_128HashFunction.class - [JAR]

├─ com.google.common.hash.Murmur3_32HashFunction.class - [JAR]

├─ com.google.common.hash.ParametricNullness.class - [JAR]

├─ com.google.common.hash.PrimitiveSink.class - [JAR]

├─ com.google.common.hash.SipHashFunction.class - [JAR]

├─ com.google.common.hash.Striped64.class - [JAR]

├─ com.google.common.hash.package-info.class - [JAR]

org.checkerframework.checker.nullness.qual

├─ org.checkerframework.checker.nullness.qual.AssertNonNullIfNonNull.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.EnsuresKeyFor.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.EnsuresKeyForIf.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.EnsuresNonNull.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.EnsuresNonNullIf.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.KeyFor.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.KeyForBottom.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.MonotonicNonNull.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.NonNull.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.Nullable.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.PolyKeyFor.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.PolyNull.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.RequiresNonNull.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.UnknownKeyFor.class - [JAR]

com.github.javaparser.ast.observer

├─ com.github.javaparser.ast.observer.AstObserver.class - [JAR]

├─ com.github.javaparser.ast.observer.AstObserverAdapter.class - [JAR]

├─ com.github.javaparser.ast.observer.Observable.class - [JAR]

├─ com.github.javaparser.ast.observer.ObservableProperty.class - [JAR]

├─ com.github.javaparser.ast.observer.PropagatingAstObserver.class - [JAR]

edu.ucr.cs.riple.core.util

├─ edu.ucr.cs.riple.core.util.Utility.class - [JAR]

com.google.common.math

├─ com.google.common.math.BigDecimalMath.class - [JAR]

├─ com.google.common.math.BigIntegerMath.class - [JAR]

├─ com.google.common.math.DoubleMath.class - [JAR]

├─ com.google.common.math.DoubleUtils.class - [JAR]

├─ com.google.common.math.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.math.IntMath.class - [JAR]

├─ com.google.common.math.LinearTransformation.class - [JAR]

├─ com.google.common.math.LongMath.class - [JAR]

├─ com.google.common.math.MathPreconditions.class - [JAR]

├─ com.google.common.math.PairedStats.class - [JAR]

├─ com.google.common.math.PairedStatsAccumulator.class - [JAR]

├─ com.google.common.math.ParametricNullness.class - [JAR]

├─ com.google.common.math.Quantiles.class - [JAR]

├─ com.google.common.math.Stats.class - [JAR]

├─ com.google.common.math.StatsAccumulator.class - [JAR]

├─ com.google.common.math.ToDoubleRounder.class - [JAR]

├─ com.google.common.math.package-info.class - [JAR]

com.github.javaparser.resolution.declarations

├─ com.github.javaparser.resolution.declarations.AssociableToAST.class - [JAR]

├─ com.github.javaparser.resolution.declarations.HasAccessSpecifier.class - [JAR]

├─ com.github.javaparser.resolution.declarations.ResolvedAnnotationDeclaration.class - [JAR]

├─ com.github.javaparser.resolution.declarations.ResolvedAnnotationMemberDeclaration.class - [JAR]

├─ com.github.javaparser.resolution.declarations.ResolvedClassDeclaration.class - [JAR]

├─ com.github.javaparser.resolution.declarations.ResolvedConstructorDeclaration.class - [JAR]

├─ com.github.javaparser.resolution.declarations.ResolvedDeclaration.class - [JAR]

├─ com.github.javaparser.resolution.declarations.ResolvedEnumConstantDeclaration.class - [JAR]

├─ com.github.javaparser.resolution.declarations.ResolvedEnumDeclaration.class - [JAR]

├─ com.github.javaparser.resolution.declarations.ResolvedFieldDeclaration.class - [JAR]

├─ com.github.javaparser.resolution.declarations.ResolvedInterfaceDeclaration.class - [JAR]

├─ com.github.javaparser.resolution.declarations.ResolvedMethodDeclaration.class - [JAR]

├─ com.github.javaparser.resolution.declarations.ResolvedMethodLikeDeclaration.class - [JAR]

├─ com.github.javaparser.resolution.declarations.ResolvedParameterDeclaration.class - [JAR]

├─ com.github.javaparser.resolution.declarations.ResolvedPatternDeclaration.class - [JAR]

├─ com.github.javaparser.resolution.declarations.ResolvedReferenceTypeDeclaration.class - [JAR]

├─ com.github.javaparser.resolution.declarations.ResolvedTypeDeclaration.class - [JAR]

├─ com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration.class - [JAR]

├─ com.github.javaparser.resolution.declarations.ResolvedTypeParametrizable.class - [JAR]

├─ com.github.javaparser.resolution.declarations.ResolvedValueDeclaration.class - [JAR]

org.jline.reader.impl.completer

├─ org.jline.reader.impl.completer.AggregateCompleter.class - [JAR]

├─ org.jline.reader.impl.completer.ArgumentCompleter.class - [JAR]

├─ org.jline.reader.impl.completer.EnumCompleter.class - [JAR]

├─ org.jline.reader.impl.completer.FileNameCompleter.class - [JAR]

├─ org.jline.reader.impl.completer.NullCompleter.class - [JAR]

├─ org.jline.reader.impl.completer.StringsCompleter.class - [JAR]

├─ org.jline.reader.impl.completer.SystemCompleter.class - [JAR]

com.github.javaparser

├─ com.github.javaparser.AbstractCharStream.class - [JAR]

├─ com.github.javaparser.CharStream.class - [JAR]

├─ com.github.javaparser.CommentsInserter.class - [JAR]

├─ com.github.javaparser.GeneratedJavaParser.class - [JAR]

├─ com.github.javaparser.GeneratedJavaParserBase.class - [JAR]

├─ com.github.javaparser.GeneratedJavaParserConstants.class - [JAR]

├─ com.github.javaparser.GeneratedJavaParserTokenManager.class - [JAR]

├─ com.github.javaparser.GeneratedJavaParserTokenManagerBase.class - [JAR]

├─ com.github.javaparser.HasParentNode.class - [JAR]

├─ com.github.javaparser.JavaParser.class - [JAR]

├─ com.github.javaparser.JavaParserBuild.class - [JAR]

├─ com.github.javaparser.JavaToken.class - [JAR]

├─ com.github.javaparser.JavadocParser.class - [JAR]

├─ com.github.javaparser.LineEndingProcessingProvider.class - [JAR]

├─ com.github.javaparser.ModifierHolder.class - [JAR]

├─ com.github.javaparser.ParseException.class - [JAR]

├─ com.github.javaparser.ParseProblemException.class - [JAR]

├─ com.github.javaparser.ParseResult.class - [JAR]

├─ com.github.javaparser.ParseStart.class - [JAR]

├─ com.github.javaparser.ParserConfiguration.class - [JAR]

├─ com.github.javaparser.Position.class - [JAR]

├─ com.github.javaparser.Problem.class - [JAR]

├─ com.github.javaparser.Provider.class - [JAR]

├─ com.github.javaparser.Providers.class - [JAR]

├─ com.github.javaparser.Range.class - [JAR]

├─ com.github.javaparser.RangedList.class - [JAR]

├─ com.github.javaparser.SimpleCharStream.class - [JAR]

├─ com.github.javaparser.StaticJavaParser.class - [JAR]

├─ com.github.javaparser.StreamProvider.class - [JAR]

├─ com.github.javaparser.StringProvider.class - [JAR]

├─ com.github.javaparser.Token.class - [JAR]

├─ com.github.javaparser.TokenBase.class - [JAR]

├─ com.github.javaparser.TokenMgrException.class - [JAR]

├─ com.github.javaparser.TokenRange.class - [JAR]

├─ com.github.javaparser.TokenTypes.class - [JAR]

├─ com.github.javaparser.UnicodeEscapeProcessingProvider.class - [JAR]

edu.ucr.cs.riple.core.cache

├─ edu.ucr.cs.riple.core.cache.BaseCache.class - [JAR]

├─ edu.ucr.cs.riple.core.cache.Impact.class - [JAR]

├─ edu.ucr.cs.riple.core.cache.ImpactCache.class - [JAR]

├─ edu.ucr.cs.riple.core.cache.TargetModuleCache.class - [JAR]

edu.ucr.cs.riple.core.metadata.index

├─ edu.ucr.cs.riple.core.metadata.index.Error.class - [JAR]

├─ edu.ucr.cs.riple.core.metadata.index.ErrorStore.class - [JAR]

├─ edu.ucr.cs.riple.core.metadata.index.Fix.class - [JAR]

├─ edu.ucr.cs.riple.core.metadata.index.Index.class - [JAR]

├─ edu.ucr.cs.riple.core.metadata.index.NonnullStore.class - [JAR]

├─ edu.ucr.cs.riple.core.metadata.index.Result.class - [JAR]

edu.ucr.cs.riple.core

├─ edu.ucr.cs.riple.core.AnalysisMode.class - [JAR]

├─ edu.ucr.cs.riple.core.Annotator.class - [JAR]

├─ edu.ucr.cs.riple.core.Config.class - [JAR]

├─ edu.ucr.cs.riple.core.Context.class - [JAR]

├─ edu.ucr.cs.riple.core.Main.class - [JAR]

├─ edu.ucr.cs.riple.core.Report.class - [JAR]

├─ edu.ucr.cs.riple.core.ReportCache.class - [JAR]

org.junit.internal.runners

├─ org.junit.internal.runners.ClassRoadie.class - [JAR]

├─ org.junit.internal.runners.ErrorReportingRunner.class - [JAR]

├─ org.junit.internal.runners.FailedBefore.class - [JAR]

├─ org.junit.internal.runners.InitializationError.class - [JAR]

├─ org.junit.internal.runners.JUnit38ClassRunner.class - [JAR]

├─ org.junit.internal.runners.JUnit4ClassRunner.class - [JAR]

├─ org.junit.internal.runners.MethodRoadie.class - [JAR]

├─ org.junit.internal.runners.MethodValidator.class - [JAR]

├─ org.junit.internal.runners.SuiteMethod.class - [JAR]

├─ org.junit.internal.runners.TestClass.class - [JAR]

├─ org.junit.internal.runners.TestMethod.class - [JAR]

├─ org.junit.internal.runners.package-info.class - [JAR]

org.jline.terminal.impl.jansi.linux

├─ org.jline.terminal.impl.jansi.linux.LinuxNativePty.class - [JAR]

edu.ucr.cs.riple.core.metadata

├─ edu.ucr.cs.riple.core.metadata.Registry.class - [JAR]

org.jline.builtins

├─ org.jline.builtins.Commands.class - [JAR]

├─ org.jline.builtins.Completers.class - [JAR]

├─ org.jline.builtins.ConfigurationPath.class - [JAR]

├─ org.jline.builtins.ConsoleOptionGetter.class - [JAR]

├─ org.jline.builtins.InputRC.class - [JAR]

├─ org.jline.builtins.Less.class - [JAR]

├─ org.jline.builtins.Nano.class - [JAR]

├─ org.jline.builtins.NfaMatcher.class - [JAR]

├─ org.jline.builtins.Options.class - [JAR]

├─ org.jline.builtins.ScreenTerminal.class - [JAR]

├─ org.jline.builtins.Source.class - [JAR]

├─ org.jline.builtins.Styles.class - [JAR]

├─ org.jline.builtins.TTop.class - [JAR]

├─ org.jline.builtins.Tmux.class - [JAR]

org.jline.terminal.impl.jna.freebsd

├─ org.jline.terminal.impl.jna.freebsd.CLibrary.class - [JAR]

├─ org.jline.terminal.impl.jna.freebsd.FreeBsdNativePty.class - [JAR]

org.junit.runners

├─ org.junit.runners.AllTests.class - [JAR]

├─ org.junit.runners.BlockJUnit4ClassRunner.class - [JAR]

├─ org.junit.runners.JUnit4.class - [JAR]

├─ org.junit.runners.Parameterized.class - [JAR]

├─ org.junit.runners.ParentRunner.class - [JAR]

├─ org.junit.runners.Suite.class - [JAR]

├─ org.junit.runners.package-info.class - [JAR]

edu.ucr.cs.riple.injector.location

├─ edu.ucr.cs.riple.injector.location.Location.class - [JAR]

├─ edu.ucr.cs.riple.injector.location.LocationKind.class - [JAR]

├─ edu.ucr.cs.riple.injector.location.LocationToJsonVisitor.class - [JAR]

├─ edu.ucr.cs.riple.injector.location.LocationVisitor.class - [JAR]

├─ edu.ucr.cs.riple.injector.location.OnClass.class - [JAR]

├─ edu.ucr.cs.riple.injector.location.OnField.class - [JAR]

├─ edu.ucr.cs.riple.injector.location.OnLocalVariable.class - [JAR]

├─ edu.ucr.cs.riple.injector.location.OnMethod.class - [JAR]

├─ edu.ucr.cs.riple.injector.location.OnParameter.class - [JAR]

me.tongfei.progressbar.wrapped

├─ me.tongfei.progressbar.wrapped.ProgressBarWrappedInputStream.class - [JAR]

├─ me.tongfei.progressbar.wrapped.ProgressBarWrappedIterable.class - [JAR]

├─ me.tongfei.progressbar.wrapped.ProgressBarWrappedIterator.class - [JAR]

├─ me.tongfei.progressbar.wrapped.ProgressBarWrappedReader.class - [JAR]

├─ me.tongfei.progressbar.wrapped.ProgressBarWrappedSpliterator.class - [JAR]

com.github.javaparser.utils

├─ com.github.javaparser.utils.ClassUtils.class - [JAR]

├─ com.github.javaparser.utils.CodeGenerationUtils.class - [JAR]

├─ com.github.javaparser.utils.CollectionStrategy.class - [JAR]

├─ com.github.javaparser.utils.LineSeparator.class - [JAR]

├─ com.github.javaparser.utils.Log.class - [JAR]

├─ com.github.javaparser.utils.Pair.class - [JAR]

├─ com.github.javaparser.utils.ParserCollectionStrategy.class - [JAR]

├─ com.github.javaparser.utils.PositionUtils.class - [JAR]

├─ com.github.javaparser.utils.ProjectRoot.class - [JAR]

├─ com.github.javaparser.utils.SeparatedItemStringBuilder.class - [JAR]

├─ com.github.javaparser.utils.SourceRoot.class - [JAR]

├─ com.github.javaparser.utils.SourceZip.class - [JAR]

├─ com.github.javaparser.utils.StringEscapeUtils.class - [JAR]

├─ com.github.javaparser.utils.Utils.class - [JAR]

├─ com.github.javaparser.utils.VisitorList.class - [JAR]

├─ com.github.javaparser.utils.VisitorMap.class - [JAR]

├─ com.github.javaparser.utils.VisitorSet.class - [JAR]

org.jline.terminal.impl.jna.osx

├─ org.jline.terminal.impl.jna.osx.CLibrary.class - [JAR]

├─ org.jline.terminal.impl.jna.osx.OsXNativePty.class - [JAR]

com.google.common.net

├─ com.google.common.net.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.net.HostAndPort.class - [JAR]

├─ com.google.common.net.HostSpecifier.class - [JAR]

├─ com.google.common.net.HttpHeaders.class - [JAR]

├─ com.google.common.net.InetAddresses.class - [JAR]

├─ com.google.common.net.InternetDomainName.class - [JAR]

├─ com.google.common.net.MediaType.class - [JAR]

├─ com.google.common.net.ParametricNullness.class - [JAR]

├─ com.google.common.net.PercentEscaper.class - [JAR]

├─ com.google.common.net.UrlEscapers.class - [JAR]

├─ com.google.common.net.package-info.class - [JAR]

org.checkerframework.checker.propkey.qual

├─ org.checkerframework.checker.propkey.qual.PropertyKey.class - [JAR]

├─ org.checkerframework.checker.propkey.qual.PropertyKeyBottom.class - [JAR]

├─ org.checkerframework.checker.propkey.qual.UnknownPropertyKey.class - [JAR]

com.google.common.base.internal

├─ com.google.common.base.internal.Finalizer.class - [JAR]

com.google.common.util.concurrent.internal

├─ com.google.common.util.concurrent.internal.InternalFutureFailureAccess.class - [JAR]

├─ com.google.common.util.concurrent.internal.InternalFutures.class - [JAR]

org.jline.terminal.impl.jna.solaris

├─ org.jline.terminal.impl.jna.solaris.CLibrary.class - [JAR]

├─ org.jline.terminal.impl.jna.solaris.SolarisNativePty.class - [JAR]

org.checkerframework.checker.initialization.qual

├─ org.checkerframework.checker.initialization.qual.FBCBottom.class - [JAR]

├─ org.checkerframework.checker.initialization.qual.Initialized.class - [JAR]

├─ org.checkerframework.checker.initialization.qual.NotOnlyInitialized.class - [JAR]

├─ org.checkerframework.checker.initialization.qual.UnderInitialization.class - [JAR]

├─ org.checkerframework.checker.initialization.qual.UnknownInitialization.class - [JAR]

edu.ucr.cs.riple.core.metadata.method

├─ edu.ucr.cs.riple.core.metadata.method.MethodRecord.class - [JAR]

├─ edu.ucr.cs.riple.core.metadata.method.MethodRegistry.class - [JAR]

org.jline.terminal.impl.jansi

├─ org.jline.terminal.impl.jansi.JansiNativePty.class - [JAR]

├─ org.jline.terminal.impl.jansi.JansiSupportImpl.class - [JAR]

org.jline.reader

├─ org.jline.reader.Binding.class - [JAR]

├─ org.jline.reader.Buffer.class - [JAR]

├─ org.jline.reader.Candidate.class - [JAR]

├─ org.jline.reader.Completer.class - [JAR]

├─ org.jline.reader.CompletingParsedLine.class - [JAR]

├─ org.jline.reader.CompletionMatcher.class - [JAR]

├─ org.jline.reader.EOFError.class - [JAR]

├─ org.jline.reader.Editor.class - [JAR]

├─ org.jline.reader.EndOfFileException.class - [JAR]

├─ org.jline.reader.Expander.class - [JAR]

├─ org.jline.reader.Highlighter.class - [JAR]

├─ org.jline.reader.History.class - [JAR]

├─ org.jline.reader.LineReader.class - [JAR]

├─ org.jline.reader.LineReaderBuilder.class - [JAR]

├─ org.jline.reader.Macro.class - [JAR]

├─ org.jline.reader.MaskingCallback.class - [JAR]

├─ org.jline.reader.ParsedLine.class - [JAR]

├─ org.jline.reader.Parser.class - [JAR]

├─ org.jline.reader.PrintAboveWriter.class - [JAR]

├─ org.jline.reader.Reference.class - [JAR]

├─ org.jline.reader.SyntaxError.class - [JAR]

├─ org.jline.reader.UserInterruptException.class - [JAR]

├─ org.jline.reader.Widget.class - [JAR]

com.github.javaparser.ast

├─ com.github.javaparser.ast.AccessSpecifier.class - [JAR]

├─ com.github.javaparser.ast.AllFieldsConstructor.class - [JAR]

├─ com.github.javaparser.ast.ArrayCreationLevel.class - [JAR]

├─ com.github.javaparser.ast.CompilationUnit.class - [JAR]

├─ com.github.javaparser.ast.DataKey.class - [JAR]

├─ com.github.javaparser.ast.Generated.class - [JAR]

├─ com.github.javaparser.ast.ImportDeclaration.class - [JAR]

├─ com.github.javaparser.ast.Modifier.class - [JAR]

├─ com.github.javaparser.ast.Node.class - [JAR]

├─ com.github.javaparser.ast.NodeList.class - [JAR]

├─ com.github.javaparser.ast.PackageDeclaration.class - [JAR]

org.checkerframework.checker.i18n.qual

├─ org.checkerframework.checker.i18n.qual.LocalizableKey.class - [JAR]

├─ org.checkerframework.checker.i18n.qual.LocalizableKeyBottom.class - [JAR]

├─ org.checkerframework.checker.i18n.qual.Localized.class - [JAR]

├─ org.checkerframework.checker.i18n.qual.UnknownLocalizableKey.class - [JAR]

├─ org.checkerframework.checker.i18n.qual.UnknownLocalized.class - [JAR]

org.junit.experimental.theories.internal

├─ org.junit.experimental.theories.internal.AllMembersSupplier.class - [JAR]

├─ org.junit.experimental.theories.internal.Assignments.class - [JAR]

├─ org.junit.experimental.theories.internal.ParameterizedAssertionError.class - [JAR]

org.jline.terminal.impl.jna

├─ org.jline.terminal.impl.jna.JnaNativePty.class - [JAR]

├─ org.jline.terminal.impl.jna.JnaSupportImpl.class - [JAR]

edu.ucr.cs.riple.core.metadata.region.generatedcode

├─ edu.ucr.cs.riple.core.metadata.region.generatedcode.AnnotationProcessorHandler.class - [JAR]

├─ edu.ucr.cs.riple.core.metadata.region.generatedcode.LombokHandler.class - [JAR]

com.github.javaparser.printer

├─ com.github.javaparser.printer.ConcreteSyntaxModel.class - [JAR]

├─ com.github.javaparser.printer.DefaultPrettyPrinter.class - [JAR]

├─ com.github.javaparser.printer.DefaultPrettyPrinterVisitor.class - [JAR]

├─ com.github.javaparser.printer.DotPrinter.class - [JAR]

├─ com.github.javaparser.printer.PrettyPrintVisitor.class - [JAR]

├─ com.github.javaparser.printer.PrettyPrinter.class - [JAR]

├─ com.github.javaparser.printer.Printer.class - [JAR]

├─ com.github.javaparser.printer.SourcePrinter.class - [JAR]

├─ com.github.javaparser.printer.Stringable.class - [JAR]

├─ com.github.javaparser.printer.XmlPrinter.class - [JAR]

├─ com.github.javaparser.printer.YamlPrinter.class - [JAR]

org.junit.matchers

├─ org.junit.matchers.JUnitMatchers.class - [JAR]

├─ org.junit.matchers.package-info.class - [JAR]

org.checkerframework.checker.lock.qual

├─ org.checkerframework.checker.lock.qual.EnsuresLockHeld.class - [JAR]

├─ org.checkerframework.checker.lock.qual.EnsuresLockHeldIf.class - [JAR]

├─ org.checkerframework.checker.lock.qual.GuardSatisfied.class - [JAR]

├─ org.checkerframework.checker.lock.qual.GuardedBy.class - [JAR]

├─ org.checkerframework.checker.lock.qual.GuardedByBottom.class - [JAR]

├─ org.checkerframework.checker.lock.qual.GuardedByUnknown.class - [JAR]

├─ org.checkerframework.checker.lock.qual.Holding.class - [JAR]

├─ org.checkerframework.checker.lock.qual.LockHeld.class - [JAR]

├─ org.checkerframework.checker.lock.qual.LockPossiblyHeld.class - [JAR]

├─ org.checkerframework.checker.lock.qual.LockingFree.class - [JAR]

├─ org.checkerframework.checker.lock.qual.MayReleaseLocks.class - [JAR]

├─ org.checkerframework.checker.lock.qual.ReleasesNoLocks.class - [JAR]

com.github.javaparser.resolution

├─ com.github.javaparser.resolution.MethodAmbiguityException.class - [JAR]

├─ com.github.javaparser.resolution.MethodUsage.class - [JAR]

├─ com.github.javaparser.resolution.Resolvable.class - [JAR]

├─ com.github.javaparser.resolution.SymbolResolver.class - [JAR]

├─ com.github.javaparser.resolution.UnsolvedSymbolException.class - [JAR]

com.github.javaparser.javadoc

├─ com.github.javaparser.javadoc.Javadoc.class - [JAR]

├─ com.github.javaparser.javadoc.JavadocBlockTag.class - [JAR]

org.jline.reader.impl

├─ org.jline.reader.impl.BufferImpl.class - [JAR]

├─ org.jline.reader.impl.CompletionMatcherImpl.class - [JAR]

├─ org.jline.reader.impl.DefaultExpander.class - [JAR]

├─ org.jline.reader.impl.DefaultHighlighter.class - [JAR]

├─ org.jline.reader.impl.DefaultParser.class - [JAR]

├─ org.jline.reader.impl.KillRing.class - [JAR]

├─ org.jline.reader.impl.LineReaderImpl.class - [JAR]

├─ org.jline.reader.impl.ReaderUtils.class - [JAR]

├─ org.jline.reader.impl.SimpleMaskingCallback.class - [JAR]

├─ org.jline.reader.impl.UndoTree.class - [JAR]

org.junit.internal.matchers

├─ org.junit.internal.matchers.CombinableMatcher.class - [JAR]

├─ org.junit.internal.matchers.Each.class - [JAR]

├─ org.junit.internal.matchers.IsCollectionContaining.class - [JAR]

├─ org.junit.internal.matchers.StringContains.class - [JAR]

├─ org.junit.internal.matchers.SubstringMatcher.class - [JAR]

├─ org.junit.internal.matchers.TypeSafeMatcher.class - [JAR]

com.google.common.primitives

├─ com.google.common.primitives.Booleans.class - [JAR]

├─ com.google.common.primitives.Bytes.class - [JAR]

├─ com.google.common.primitives.Chars.class - [JAR]

├─ com.google.common.primitives.Doubles.class - [JAR]

├─ com.google.common.primitives.DoublesMethodsForWeb.class - [JAR]

├─ com.google.common.primitives.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.primitives.Floats.class - [JAR]

├─ com.google.common.primitives.FloatsMethodsForWeb.class - [JAR]

├─ com.google.common.primitives.ImmutableDoubleArray.class - [JAR]

├─ com.google.common.primitives.ImmutableIntArray.class - [JAR]

├─ com.google.common.primitives.ImmutableLongArray.class - [JAR]

├─ com.google.common.primitives.Ints.class - [JAR]

├─ com.google.common.primitives.IntsMethodsForWeb.class - [JAR]

├─ com.google.common.primitives.Longs.class - [JAR]

├─ com.google.common.primitives.ParametricNullness.class - [JAR]

├─ com.google.common.primitives.ParseRequest.class - [JAR]

├─ com.google.common.primitives.Platform.class - [JAR]

├─ com.google.common.primitives.Primitives.class - [JAR]

├─ com.google.common.primitives.Shorts.class - [JAR]

├─ com.google.common.primitives.ShortsMethodsForWeb.class - [JAR]

├─ com.google.common.primitives.SignedBytes.class - [JAR]

├─ com.google.common.primitives.UnsignedBytes.class - [JAR]

├─ com.google.common.primitives.UnsignedInteger.class - [JAR]

├─ com.google.common.primitives.UnsignedInts.class - [JAR]

├─ com.google.common.primitives.UnsignedLong.class - [JAR]

├─ com.google.common.primitives.UnsignedLongs.class - [JAR]

├─ com.google.common.primitives.package-info.class - [JAR]

org.checkerframework.checker.signature.qual

├─ org.checkerframework.checker.signature.qual.ArrayWithoutPackage.class - [JAR]

├─ org.checkerframework.checker.signature.qual.BinaryName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.BinaryNameOrPrimitiveType.class - [JAR]

├─ org.checkerframework.checker.signature.qual.BinaryNameWithoutPackage.class - [JAR]

├─ org.checkerframework.checker.signature.qual.CanonicalName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.CanonicalNameAndBinaryName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.CanonicalNameOrEmpty.class - [JAR]

├─ org.checkerframework.checker.signature.qual.CanonicalNameOrPrimitiveType.class - [JAR]

├─ org.checkerframework.checker.signature.qual.ClassGetName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.ClassGetSimpleName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.DotSeparatedIdentifiers.class - [JAR]

├─ org.checkerframework.checker.signature.qual.DotSeparatedIdentifiersOrPrimitiveType.class - [JAR]

├─ org.checkerframework.checker.signature.qual.FieldDescriptor.class - [JAR]

├─ org.checkerframework.checker.signature.qual.FieldDescriptorForPrimitive.class - [JAR]

├─ org.checkerframework.checker.signature.qual.FieldDescriptorWithoutPackage.class - [JAR]

├─ org.checkerframework.checker.signature.qual.FqBinaryName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.FullyQualifiedName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.Identifier.class - [JAR]

├─ org.checkerframework.checker.signature.qual.IdentifierOrPrimitiveType.class - [JAR]

├─ org.checkerframework.checker.signature.qual.InternalForm.class - [JAR]

├─ org.checkerframework.checker.signature.qual.MethodDescriptor.class - [JAR]

├─ org.checkerframework.checker.signature.qual.PolySignature.class - [JAR]

├─ org.checkerframework.checker.signature.qual.PrimitiveType.class - [JAR]

├─ org.checkerframework.checker.signature.qual.SignatureBottom.class - [JAR]

├─ org.checkerframework.checker.signature.qual.SignatureUnknown.class - [JAR]

com.github.javaparser.printer.configuration

├─ com.github.javaparser.printer.configuration.ConfigurationOption.class - [JAR]

├─ com.github.javaparser.printer.configuration.DefaultConfigurationOption.class - [JAR]

├─ com.github.javaparser.printer.configuration.DefaultPrinterConfiguration.class - [JAR]

├─ com.github.javaparser.printer.configuration.Indentation.class - [JAR]

├─ com.github.javaparser.printer.configuration.PrettyPrinterConfiguration.class - [JAR]

├─ com.github.javaparser.printer.configuration.PrinterConfiguration.class - [JAR]

org.junit.experimental.runners

├─ org.junit.experimental.runners.Enclosed.class - [JAR]

org.jline.builtins.telnet

├─ org.jline.builtins.telnet.Connection.class - [JAR]

├─ org.jline.builtins.telnet.ConnectionData.class - [JAR]

├─ org.jline.builtins.telnet.ConnectionEvent.class - [JAR]

├─ org.jline.builtins.telnet.ConnectionFilter.class - [JAR]

├─ org.jline.builtins.telnet.ConnectionListener.class - [JAR]

├─ org.jline.builtins.telnet.ConnectionManager.class - [JAR]

├─ org.jline.builtins.telnet.PortListener.class - [JAR]

├─ org.jline.builtins.telnet.Telnet.class - [JAR]

├─ org.jline.builtins.telnet.TelnetIO.class - [JAR]

com.github.javaparser.ast.visitor

├─ com.github.javaparser.ast.visitor.CloneVisitor.class - [JAR]

├─ com.github.javaparser.ast.visitor.EqualsVisitor.class - [JAR]

├─ com.github.javaparser.ast.visitor.GenericListVisitorAdapter.class - [JAR]

├─ com.github.javaparser.ast.visitor.GenericVisitor.class - [JAR]

├─ com.github.javaparser.ast.visitor.GenericVisitorAdapter.class - [JAR]

├─ com.github.javaparser.ast.visitor.GenericVisitorWithDefaults.class - [JAR]

├─ com.github.javaparser.ast.visitor.HashCodeVisitor.class - [JAR]

├─ com.github.javaparser.ast.visitor.ModifierVisitor.class - [JAR]

├─ com.github.javaparser.ast.visitor.NoCommentEqualsVisitor.class - [JAR]

├─ com.github.javaparser.ast.visitor.NoCommentHashCodeVisitor.class - [JAR]

├─ com.github.javaparser.ast.visitor.ObjectIdentityEqualsVisitor.class - [JAR]

├─ com.github.javaparser.ast.visitor.ObjectIdentityHashCodeVisitor.class - [JAR]

├─ com.github.javaparser.ast.visitor.TreeVisitor.class - [JAR]

├─ com.github.javaparser.ast.visitor.Visitable.class - [JAR]

├─ com.github.javaparser.ast.visitor.VoidVisitor.class - [JAR]

├─ com.github.javaparser.ast.visitor.VoidVisitorAdapter.class - [JAR]

├─ com.github.javaparser.ast.visitor.VoidVisitorWithDefaults.class - [JAR]

edu.ucr.cs.riple.injector

├─ edu.ucr.cs.riple.injector.Helper.class - [JAR]

├─ edu.ucr.cs.riple.injector.Injector.class - [JAR]

├─ edu.ucr.cs.riple.injector.Printer.class - [JAR]

├─ edu.ucr.cs.riple.injector.SignatureMatcher.class - [JAR]

com.github.javaparser.printer.concretesyntaxmodel

├─ com.github.javaparser.printer.concretesyntaxmodel.CsmAttribute.class - [JAR]

├─ com.github.javaparser.printer.concretesyntaxmodel.CsmChar.class - [JAR]

├─ com.github.javaparser.printer.concretesyntaxmodel.CsmComment.class - [JAR]

├─ com.github.javaparser.printer.concretesyntaxmodel.CsmConditional.class - [JAR]

├─ com.github.javaparser.printer.concretesyntaxmodel.CsmElement.class - [JAR]

├─ com.github.javaparser.printer.concretesyntaxmodel.CsmIndent.class - [JAR]

├─ com.github.javaparser.printer.concretesyntaxmodel.CsmList.class - [JAR]

├─ com.github.javaparser.printer.concretesyntaxmodel.CsmMix.class - [JAR]

├─ com.github.javaparser.printer.concretesyntaxmodel.CsmNone.class - [JAR]

├─ com.github.javaparser.printer.concretesyntaxmodel.CsmOrphanCommentsEnding.class - [JAR]

├─ com.github.javaparser.printer.concretesyntaxmodel.CsmSequence.class - [JAR]

├─ com.github.javaparser.printer.concretesyntaxmodel.CsmSingleReference.class - [JAR]

├─ com.github.javaparser.printer.concretesyntaxmodel.CsmString.class - [JAR]

├─ com.github.javaparser.printer.concretesyntaxmodel.CsmTextBlock.class - [JAR]

├─ com.github.javaparser.printer.concretesyntaxmodel.CsmToken.class - [JAR]

├─ com.github.javaparser.printer.concretesyntaxmodel.CsmUnindent.class - [JAR]

├─ com.github.javaparser.printer.concretesyntaxmodel.PrintingHelper.class - [JAR]

com.google.errorprone.annotations.concurrent

├─ com.google.errorprone.annotations.concurrent.GuardedBy.class - [JAR]

├─ com.google.errorprone.annotations.concurrent.LazyInit.class - [JAR]

├─ com.google.errorprone.annotations.concurrent.LockMethod.class - [JAR]

├─ com.google.errorprone.annotations.concurrent.UnlockMethod.class - [JAR]

org.hamcrest.core

├─ org.hamcrest.core.AllOf.class - [JAR]

├─ org.hamcrest.core.AnyOf.class - [JAR]

├─ org.hamcrest.core.DescribedAs.class - [JAR]

├─ org.hamcrest.core.Is.class - [JAR]

├─ org.hamcrest.core.IsAnything.class - [JAR]

├─ org.hamcrest.core.IsEqual.class - [JAR]

├─ org.hamcrest.core.IsInstanceOf.class - [JAR]

├─ org.hamcrest.core.IsNot.class - [JAR]

├─ org.hamcrest.core.IsNull.class - [JAR]

├─ org.hamcrest.core.IsSame.class - [JAR]

org.checkerframework.checker.index.qual

├─ org.checkerframework.checker.index.qual.EnsuresLTLengthOf.class - [JAR]

├─ org.checkerframework.checker.index.qual.EnsuresLTLengthOfIf.class - [JAR]

├─ org.checkerframework.checker.index.qual.GTENegativeOne.class - [JAR]

├─ org.checkerframework.checker.index.qual.HasSubsequence.class - [JAR]

├─ org.checkerframework.checker.index.qual.IndexFor.class - [JAR]

├─ org.checkerframework.checker.index.qual.IndexOrHigh.class - [JAR]

├─ org.checkerframework.checker.index.qual.IndexOrLow.class - [JAR]

├─ org.checkerframework.checker.index.qual.LTEqLengthOf.class - [JAR]

├─ org.checkerframework.checker.index.qual.LTLengthOf.class - [JAR]

├─ org.checkerframework.checker.index.qual.LTOMLengthOf.class - [JAR]

├─ org.checkerframework.checker.index.qual.LengthOf.class - [JAR]

├─ org.checkerframework.checker.index.qual.LessThan.class - [JAR]

├─ org.checkerframework.checker.index.qual.LessThanBottom.class - [JAR]

├─ org.checkerframework.checker.index.qual.LessThanUnknown.class - [JAR]

├─ org.checkerframework.checker.index.qual.LowerBoundBottom.class - [JAR]

├─ org.checkerframework.checker.index.qual.LowerBoundUnknown.class - [JAR]

├─ org.checkerframework.checker.index.qual.NegativeIndexFor.class - [JAR]

├─ org.checkerframework.checker.index.qual.NonNegative.class - [JAR]

├─ org.checkerframework.checker.index.qual.PolyIndex.class - [JAR]

├─ org.checkerframework.checker.index.qual.PolyLength.class - [JAR]

├─ org.checkerframework.checker.index.qual.PolyLowerBound.class - [JAR]

├─ org.checkerframework.checker.index.qual.PolySameLen.class - [JAR]

├─ org.checkerframework.checker.index.qual.PolyUpperBound.class - [JAR]

├─ org.checkerframework.checker.index.qual.Positive.class - [JAR]

├─ org.checkerframework.checker.index.qual.SameLen.class - [JAR]

├─ org.checkerframework.checker.index.qual.SameLenBottom.class - [JAR]

├─ org.checkerframework.checker.index.qual.SameLenUnknown.class - [JAR]

├─ org.checkerframework.checker.index.qual.SearchIndexBottom.class - [JAR]

├─ org.checkerframework.checker.index.qual.SearchIndexFor.class - [JAR]

├─ org.checkerframework.checker.index.qual.SearchIndexUnknown.class - [JAR]

├─ org.checkerframework.checker.index.qual.SubstringIndexBottom.class - [JAR]

├─ org.checkerframework.checker.index.qual.SubstringIndexFor.class - [JAR]

├─ org.checkerframework.checker.index.qual.SubstringIndexUnknown.class - [JAR]

├─ org.checkerframework.checker.index.qual.UpperBoundBottom.class - [JAR]

├─ org.checkerframework.checker.index.qual.UpperBoundUnknown.class - [JAR]

edu.ucr.cs.riple.scanner

├─ edu.ucr.cs.riple.scanner.AnnotatorScanner.class - [JAR]

├─ edu.ucr.cs.riple.scanner.Config.class - [JAR]

├─ edu.ucr.cs.riple.scanner.DummyOptionsConfig.class - [JAR]

├─ edu.ucr.cs.riple.scanner.ErrorProneCLIFlagsConfig.class - [JAR]

├─ edu.ucr.cs.riple.scanner.ScannerConfigWriter.class - [JAR]

├─ edu.ucr.cs.riple.scanner.ScannerContext.class - [JAR]

├─ edu.ucr.cs.riple.scanner.Serializer.class - [JAR]

├─ edu.ucr.cs.riple.scanner.SymbolUtil.class - [JAR]

├─ edu.ucr.cs.riple.scanner.XMLUtil.class - [JAR]

org.junit.runner

├─ org.junit.runner.Computer.class - [JAR]

├─ org.junit.runner.Describable.class - [JAR]

├─ org.junit.runner.Description.class - [JAR]

├─ org.junit.runner.JUnitCore.class - [JAR]

├─ org.junit.runner.Request.class - [JAR]

├─ org.junit.runner.Result.class - [JAR]

├─ org.junit.runner.RunWith.class - [JAR]

├─ org.junit.runner.Runner.class - [JAR]

├─ org.junit.runner.package-info.class - [JAR]

com.google.common.io

├─ com.google.common.io.AppendableWriter.class - [JAR]

├─ com.google.common.io.BaseEncoding.class - [JAR]

├─ com.google.common.io.ByteArrayDataInput.class - [JAR]

├─ com.google.common.io.ByteArrayDataOutput.class - [JAR]

├─ com.google.common.io.ByteProcessor.class - [JAR]

├─ com.google.common.io.ByteSink.class - [JAR]

├─ com.google.common.io.ByteSource.class - [JAR]

├─ com.google.common.io.ByteStreams.class - [JAR]

├─ com.google.common.io.CharSequenceReader.class - [JAR]

├─ com.google.common.io.CharSink.class - [JAR]

├─ com.google.common.io.CharSource.class - [JAR]

├─ com.google.common.io.CharStreams.class - [JAR]

├─ com.google.common.io.Closeables.class - [JAR]

├─ com.google.common.io.Closer.class - [JAR]

├─ com.google.common.io.CountingInputStream.class - [JAR]

├─ com.google.common.io.CountingOutputStream.class - [JAR]

├─ com.google.common.io.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.io.FileBackedOutputStream.class - [JAR]

├─ com.google.common.io.FileWriteMode.class - [JAR]

├─ com.google.common.io.Files.class - [JAR]

├─ com.google.common.io.Flushables.class - [JAR]

├─ com.google.common.io.InsecureRecursiveDeleteException.class - [JAR]

├─ com.google.common.io.Java8Compatibility.class - [JAR]

├─ com.google.common.io.LineBuffer.class - [JAR]

├─ com.google.common.io.LineProcessor.class - [JAR]

├─ com.google.common.io.LineReader.class - [JAR]

├─ com.google.common.io.LittleEndianDataInputStream.class - [JAR]

├─ com.google.common.io.LittleEndianDataOutputStream.class - [JAR]

├─ com.google.common.io.MoreFiles.class - [JAR]

├─ com.google.common.io.MultiInputStream.class - [JAR]

├─ com.google.common.io.MultiReader.class - [JAR]

├─ com.google.common.io.ParametricNullness.class - [JAR]

├─ com.google.common.io.PatternFilenameFilter.class - [JAR]

├─ com.google.common.io.ReaderInputStream.class - [JAR]

├─ com.google.common.io.RecursiveDeleteOption.class - [JAR]

├─ com.google.common.io.Resources.class - [JAR]

├─ com.google.common.io.package-info.class - [JAR]

com.github.javaparser.resolution.types.parametrization

├─ com.github.javaparser.resolution.types.parametrization.ResolvedTypeParameterValueProvider.class - [JAR]

├─ com.github.javaparser.resolution.types.parametrization.ResolvedTypeParametersMap.class - [JAR]

├─ com.github.javaparser.resolution.types.parametrization.ResolvedTypeParametrized.class - [JAR]

org.jline.terminal.impl.jansi.solaris

├─ org.jline.terminal.impl.jansi.solaris.SolarisNativePty.class - [JAR]

org.checkerframework.checker.compilermsgs.qual

├─ org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey.class - [JAR]

├─ org.checkerframework.checker.compilermsgs.qual.CompilerMessageKeyBottom.class - [JAR]

├─ org.checkerframework.checker.compilermsgs.qual.UnknownCompilerMessageKey.class - [JAR]

org.jline.style

├─ org.jline.style.InterpolationHelper.class - [JAR]

├─ org.jline.style.MemoryStyleSource.class - [JAR]

├─ org.jline.style.NopStyleSource.class - [JAR]

├─ org.jline.style.StyleBundle.class - [JAR]

├─ org.jline.style.StyleBundleInvocationHandler.class - [JAR]

├─ org.jline.style.StyleColor.class - [JAR]

├─ org.jline.style.StyleExpression.class - [JAR]

├─ org.jline.style.StyleFactory.class - [JAR]

├─ org.jline.style.StyleResolver.class - [JAR]

├─ org.jline.style.StyleSource.class - [JAR]

├─ org.jline.style.StyledWriter.class - [JAR]

├─ org.jline.style.Styler.class - [JAR]

edu.ucr.cs.riple.core.evaluators.graph.processors

├─ edu.ucr.cs.riple.core.evaluators.graph.processors.AbstractConflictGraphProcessor.class - [JAR]

├─ edu.ucr.cs.riple.core.evaluators.graph.processors.CompilerRunner.class - [JAR]

├─ edu.ucr.cs.riple.core.evaluators.graph.processors.ConflictGraphProcessor.class - [JAR]

├─ edu.ucr.cs.riple.core.evaluators.graph.processors.ParallelConflictGraphProcessor.class - [JAR]

├─ edu.ucr.cs.riple.core.evaluators.graph.processors.SequentialConflictGraphProcessor.class - [JAR]

com.github.javaparser.ast.nodeTypes.modifiers

├─ com.github.javaparser.ast.nodeTypes.modifiers.NodeWithAbstractModifier.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.modifiers.NodeWithAccessModifiers.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.modifiers.NodeWithFinalModifier.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.modifiers.NodeWithPrivateModifier.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.modifiers.NodeWithProtectedModifier.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.modifiers.NodeWithPublicModifier.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.modifiers.NodeWithStaticModifier.class - [JAR]

├─ com.github.javaparser.ast.nodeTypes.modifiers.NodeWithStrictfpModifier.class - [JAR]

edu.ucr.cs.riple.annotator : annotator-core

Maven & Gradle

Annotator · A tool that automatically fixes source code to pass NullAway checks.

Latest Version

All Versions

Download edu.ucr.cs.riple.annotator : annotator-core JAR file - All Versions:

View Java Class Source Code in JAR file