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 abstract-interpretation-framework_2.12-4.0.0.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
org.opalj.issues
├─ org.opalj.issues.ClassComprehension.class - [JAR]
├─ org.opalj.issues.ClassLocation.class - [JAR]
├─ org.opalj.issues.CodeComprehension.class - [JAR]
├─ org.opalj.issues.FieldLocation.class - [JAR]
├─ org.opalj.issues.FieldValues.class - [JAR]
├─ org.opalj.issues.InstructionLocation.class - [JAR]
├─ org.opalj.issues.Issue.class - [JAR]
├─ org.opalj.issues.IssueCategory.class - [JAR]
├─ org.opalj.issues.IssueDetails.class - [JAR]
├─ org.opalj.issues.IssueKind.class - [JAR]
├─ org.opalj.issues.IssueLocation.class - [JAR]
├─ org.opalj.issues.IssueOrdering.class - [JAR]
├─ org.opalj.issues.IssueRepresentations.class - [JAR]
├─ org.opalj.issues.LocalVariables.class - [JAR]
├─ org.opalj.issues.MethodComprehension.class - [JAR]
├─ org.opalj.issues.MethodLocation.class - [JAR]
├─ org.opalj.issues.MethodReturnValues.class - [JAR]
├─ org.opalj.issues.Operands.class - [JAR]
├─ org.opalj.issues.PCLineComprehension.class - [JAR]
├─ org.opalj.issues.PackageLocation.class - [JAR]
├─ org.opalj.issues.ProjectLocation.class - [JAR]
├─ org.opalj.issues.Relevance.class - [JAR]
├─ org.opalj.issues.package.class - [JAR]
org.opalj.ai.common
├─ org.opalj.ai.common.DomainRegistry.class - [JAR]
├─ org.opalj.ai.common.SimpleAIKey.class - [JAR]
├─ org.opalj.ai.common.XHTML.class - [JAR]
org.opalj.ai.fpcf.domain
├─ org.opalj.ai.fpcf.domain.L1DefaultDomainWithCFGAndDefUseAndSignatureRefinement.class - [JAR]
├─ org.opalj.ai.fpcf.domain.MethodCallsDomainWithMethodLockup.class - [JAR]
├─ org.opalj.ai.fpcf.domain.PrimitiveTACAIDomainWithSignatureRefinement.class - [JAR]
├─ org.opalj.ai.fpcf.domain.PropertyStoreBased.class - [JAR]
├─ org.opalj.ai.fpcf.domain.RefinedTypeLevelFieldAccessInstructions.class - [JAR]
├─ org.opalj.ai.fpcf.domain.RefinedTypeLevelInvokeInstructions.class - [JAR]
org.opalj.ai.fpcf.properties
├─ org.opalj.ai.fpcf.properties.AIDomainFactoryKey.class - [JAR]
├─ org.opalj.ai.fpcf.properties.AnAIResult.class - [JAR]
├─ org.opalj.ai.fpcf.properties.BaseAIResult.class - [JAR]
├─ org.opalj.ai.fpcf.properties.BaseAIResultPropertyMetaInformation.class - [JAR]
├─ org.opalj.ai.fpcf.properties.FieldValue.class - [JAR]
├─ org.opalj.ai.fpcf.properties.FieldValueMetaInformation.class - [JAR]
├─ org.opalj.ai.fpcf.properties.MethodReturnValue.class - [JAR]
├─ org.opalj.ai.fpcf.properties.MethodReturnValuePropertyMetaInformation.class - [JAR]
├─ org.opalj.ai.fpcf.properties.NoAIResult.class - [JAR]
├─ org.opalj.ai.fpcf.properties.NoMethodReturnValue.class - [JAR]
├─ org.opalj.ai.fpcf.properties.ProjectSpecificAIExecutor.class - [JAR]
├─ org.opalj.ai.fpcf.properties.TheMethodReturnValue.class - [JAR]
├─ org.opalj.ai.fpcf.properties.TypeBasedFieldValueInformation.class - [JAR]
├─ org.opalj.ai.fpcf.properties.ValueBasedFieldValueInformation.class - [JAR]
org.opalj.ai.project
├─ org.opalj.ai.project.AIProject.class - [JAR]
├─ org.opalj.ai.project.OptionalReport.class - [JAR]
org.opalj.ai.util
├─ org.opalj.ai.util.XHTML.class - [JAR]
├─ org.opalj.ai.util.package.class - [JAR]
org.opalj.ai.domain.l1
├─ org.opalj.ai.domain.l1.ArrayValues.class - [JAR]
├─ org.opalj.ai.domain.l1.ClassValues.class - [JAR]
├─ org.opalj.ai.domain.l1.ConcreteArrayValues.class - [JAR]
├─ org.opalj.ai.domain.l1.ConcretePrimitiveValuesConversions.class - [JAR]
├─ org.opalj.ai.domain.l1.ConstraintsBetweenIntegerValues.class - [JAR]
├─ org.opalj.ai.domain.l1.DefaultArrayValuesBinding.class - [JAR]
├─ org.opalj.ai.domain.l1.DefaultClassValuesBinding.class - [JAR]
├─ org.opalj.ai.domain.l1.DefaultConcreteArrayValuesBinding.class - [JAR]
├─ org.opalj.ai.domain.l1.DefaultDomain.class - [JAR]
├─ org.opalj.ai.domain.l1.DefaultDomainWithCFG.class - [JAR]
├─ org.opalj.ai.domain.l1.DefaultDomainWithCFGAndDefUse.class - [JAR]
├─ org.opalj.ai.domain.l1.DefaultIntegerRangeValues.class - [JAR]
├─ org.opalj.ai.domain.l1.DefaultIntegerSetValues.class - [JAR]
├─ org.opalj.ai.domain.l1.DefaultIntegerValues.class - [JAR]
├─ org.opalj.ai.domain.l1.DefaultIntervalValuesDomain.class - [JAR]
├─ org.opalj.ai.domain.l1.DefaultJavaObjectToDomainValueConversion.class - [JAR]
├─ org.opalj.ai.domain.l1.DefaultLongSetValues.class - [JAR]
├─ org.opalj.ai.domain.l1.DefaultLongValues.class - [JAR]
├─ org.opalj.ai.domain.l1.DefaultReferenceValuesBinding.class - [JAR]
├─ org.opalj.ai.domain.l1.DefaultReferenceValuesDomain.class - [JAR]
├─ org.opalj.ai.domain.l1.DefaultReferenceValuesDomainWithCFGAndDefUse.class - [JAR]
├─ org.opalj.ai.domain.l1.DefaultSetValuesDomain.class - [JAR]
├─ org.opalj.ai.domain.l1.DefaultSingletonValuesDomain.class - [JAR]
├─ org.opalj.ai.domain.l1.DefaultStringValuesBinding.class - [JAR]
├─ org.opalj.ai.domain.l1.IntegerRangeValues.class - [JAR]
├─ org.opalj.ai.domain.l1.IntegerSetValues.class - [JAR]
├─ org.opalj.ai.domain.l1.IntegerValues.class - [JAR]
├─ org.opalj.ai.domain.l1.LongSetValues.class - [JAR]
├─ org.opalj.ai.domain.l1.LongSetValuesShiftOperators.class - [JAR]
├─ org.opalj.ai.domain.l1.LongValues.class - [JAR]
├─ org.opalj.ai.domain.l1.LongValuesShiftOperators.class - [JAR]
├─ org.opalj.ai.domain.l1.MaxArrayLengthRefinement.class - [JAR]
├─ org.opalj.ai.domain.l1.NullPropertyRefinement.class - [JAR]
├─ org.opalj.ai.domain.l1.RecordAllThrownExceptions.class - [JAR]
├─ org.opalj.ai.domain.l1.ReferenceValues.class - [JAR]
├─ org.opalj.ai.domain.l1.ReflectiveInvoker.class - [JAR]
├─ org.opalj.ai.domain.l1.StringBuilderValues.class - [JAR]
├─ org.opalj.ai.domain.l1.StringValues.class - [JAR]
├─ org.opalj.ai.domain.l1.package.class - [JAR]
org.opalj.ai.domain.l0
├─ org.opalj.ai.domain.l0.BaseDomain.class - [JAR]
├─ org.opalj.ai.domain.l0.BaseDomainWithDefUse.class - [JAR]
├─ org.opalj.ai.domain.l0.DefaultReferenceValuesBinding.class - [JAR]
├─ org.opalj.ai.domain.l0.DefaultTypeLevelDoubleValues.class - [JAR]
├─ org.opalj.ai.domain.l0.DefaultTypeLevelFloatValues.class - [JAR]
├─ org.opalj.ai.domain.l0.DefaultTypeLevelHandlingForReturnInstructions.class - [JAR]
├─ org.opalj.ai.domain.l0.DefaultTypeLevelHandlingForThrownExceptions.class - [JAR]
├─ org.opalj.ai.domain.l0.DefaultTypeLevelHandlingOfMethodResults.class - [JAR]
├─ org.opalj.ai.domain.l0.DefaultTypeLevelHandlingOfVoidReturns.class - [JAR]
├─ org.opalj.ai.domain.l0.DefaultTypeLevelIntegerValues.class - [JAR]
├─ org.opalj.ai.domain.l0.DefaultTypeLevelLongValues.class - [JAR]
├─ org.opalj.ai.domain.l0.DefaultTypeLevelReferenceValues.class - [JAR]
├─ org.opalj.ai.domain.l0.PrimitiveTACAIDomain.class - [JAR]
├─ org.opalj.ai.domain.l0.ReturnInstructionsDomain.class - [JAR]
├─ org.opalj.ai.domain.l0.SimpleTypeLevelInvokeInstructions.class - [JAR]
├─ org.opalj.ai.domain.l0.TypeCheckingDomain.class - [JAR]
├─ org.opalj.ai.domain.l0.TypeLevelDomain.class - [JAR]
├─ org.opalj.ai.domain.l0.TypeLevelDoubleValues.class - [JAR]
├─ org.opalj.ai.domain.l0.TypeLevelDynamicLoads.class - [JAR]
├─ org.opalj.ai.domain.l0.TypeLevelFieldAccessInstructions.class - [JAR]
├─ org.opalj.ai.domain.l0.TypeLevelFloatValues.class - [JAR]
├─ org.opalj.ai.domain.l0.TypeLevelIntegerValues.class - [JAR]
├─ org.opalj.ai.domain.l0.TypeLevelInvokeInstructions.class - [JAR]
├─ org.opalj.ai.domain.l0.TypeLevelLongValues.class - [JAR]
├─ org.opalj.ai.domain.l0.TypeLevelLongValuesShiftOperators.class - [JAR]
├─ org.opalj.ai.domain.l0.TypeLevelPrimitiveValuesConversions.class - [JAR]
├─ org.opalj.ai.domain.l0.TypeLevelReferenceValues.class - [JAR]
├─ org.opalj.ai.domain.l0.ZeroDomain.class - [JAR]
org.opalj.ai.domain.l2
├─ org.opalj.ai.domain.l2.CalledMethodsStore.class - [JAR]
├─ org.opalj.ai.domain.l2.ChildDefaultDomain.class - [JAR]
├─ org.opalj.ai.domain.l2.ChildPerformInvocationsWithRecursionDetection.class - [JAR]
├─ org.opalj.ai.domain.l2.CoordinatingValuesDomain.class - [JAR]
├─ org.opalj.ai.domain.l2.DefaultDomain.class - [JAR]
├─ org.opalj.ai.domain.l2.DefaultPerformInvocationsDomain.class - [JAR]
├─ org.opalj.ai.domain.l2.DefaultPerformInvocationsDomainWithCFG.class - [JAR]
├─ org.opalj.ai.domain.l2.DefaultPerformInvocationsDomainWithCFGAndDefUse.class - [JAR]
├─ org.opalj.ai.domain.l2.PerformInvocations.class - [JAR]
├─ org.opalj.ai.domain.l2.PerformInvocationsWithRecursionDetection.class - [JAR]
├─ org.opalj.ai.domain.l2.SharedDefaultDomain.class - [JAR]
├─ org.opalj.ai.domain.l2.SharedValuesDomain.class - [JAR]
org.opalj.collection.mutable
├─ org.opalj.collection.mutable.Locals.class - [JAR]
├─ org.opalj.collection.mutable.Locals0.class - [JAR]
├─ org.opalj.collection.mutable.Locals1.class - [JAR]
├─ org.opalj.collection.mutable.Locals10.class - [JAR]
├─ org.opalj.collection.mutable.Locals11.class - [JAR]
├─ org.opalj.collection.mutable.Locals12_N.class - [JAR]
├─ org.opalj.collection.mutable.Locals2.class - [JAR]
├─ org.opalj.collection.mutable.Locals3.class - [JAR]
├─ org.opalj.collection.mutable.Locals4.class - [JAR]
├─ org.opalj.collection.mutable.Locals5.class - [JAR]
├─ org.opalj.collection.mutable.Locals6.class - [JAR]
├─ org.opalj.collection.mutable.Locals7.class - [JAR]
├─ org.opalj.collection.mutable.Locals8.class - [JAR]
├─ org.opalj.collection.mutable.Locals9.class - [JAR]
├─ org.opalj.collection.mutable.LocalsX.class - [JAR]
org.opalj.ai.domain
├─ org.opalj.ai.domain.AsDomainValue.class - [JAR]
├─ org.opalj.ai.domain.AsJavaObject.class - [JAR]
├─ org.opalj.ai.domain.ComputationalTypeCategoryNotAvailable.class - [JAR]
├─ org.opalj.ai.domain.ConcreteIntegerValues.class - [JAR]
├─ org.opalj.ai.domain.ConcreteLongValues.class - [JAR]
├─ org.opalj.ai.domain.ConstantFieldValuesResolution.class - [JAR]
├─ org.opalj.ai.domain.CurrentCode.class - [JAR]
├─ org.opalj.ai.domain.DefaultExceptionsFactory.class - [JAR]
├─ org.opalj.ai.domain.DefaultHandlingForReturnInstructions.class - [JAR]
├─ org.opalj.ai.domain.DefaultHandlingForThrownExceptions.class - [JAR]
├─ org.opalj.ai.domain.DefaultHandlingOfMethodResults.class - [JAR]
├─ org.opalj.ai.domain.DefaultHandlingOfVoidReturns.class - [JAR]
├─ org.opalj.ai.domain.DefaultRecordMethodCallResults.class - [JAR]
├─ org.opalj.ai.domain.DefaultSpecialDomainValuesBinding.class - [JAR]
├─ org.opalj.ai.domain.DomainId.class - [JAR]
├─ org.opalj.ai.domain.DomainValues.class - [JAR]
├─ org.opalj.ai.domain.GeneralizedArrayHandling.class - [JAR]
├─ org.opalj.ai.domain.IgnoreSynchronization.class - [JAR]
├─ org.opalj.ai.domain.ImpossibleRefinement.class - [JAR]
├─ org.opalj.ai.domain.MethodCallResults.class - [JAR]
├─ org.opalj.ai.domain.MethodCallsHandling.class - [JAR]
├─ org.opalj.ai.domain.MonitorInstructionsTracker.class - [JAR]
├─ org.opalj.ai.domain.Origin.class - [JAR]
├─ org.opalj.ai.domain.Origins.class - [JAR]
├─ org.opalj.ai.domain.OriginsIterator.class - [JAR]
├─ org.opalj.ai.domain.PerInstructionPostProcessing.class - [JAR]
├─ org.opalj.ai.domain.PerformAI.class - [JAR]
├─ org.opalj.ai.domain.PostEvaluationMemoryManagement.class - [JAR]
├─ org.opalj.ai.domain.PredefinedClassHierarchy.class - [JAR]
├─ org.opalj.ai.domain.RecordAllThrownExceptions.class - [JAR]
├─ org.opalj.ai.domain.RecordCFG.class - [JAR]
├─ org.opalj.ai.domain.RecordConstraints.class - [JAR]
├─ org.opalj.ai.domain.RecordDefUse.class - [JAR]
├─ org.opalj.ai.domain.RecordJoinedThrownExceptions.class - [JAR]
├─ org.opalj.ai.domain.RecordLastReturnedValues.class - [JAR]
├─ org.opalj.ai.domain.RecordMethodCallResults.class - [JAR]
├─ org.opalj.ai.domain.RecordReturnFromMethodInstructions.class - [JAR]
├─ org.opalj.ai.domain.RecordReturnedValue.class - [JAR]
├─ org.opalj.ai.domain.RecordReturnedValueInfrastructure.class - [JAR]
├─ org.opalj.ai.domain.RecordReturnedValues.class - [JAR]
├─ org.opalj.ai.domain.RecordReturnedValuesInfrastructure.class - [JAR]
├─ org.opalj.ai.domain.RecordThrownExceptions.class - [JAR]
├─ org.opalj.ai.domain.RecordVoidReturns.class - [JAR]
├─ org.opalj.ai.domain.RefineDefUseUsingOrigins.class - [JAR]
├─ org.opalj.ai.domain.ReifiedConstraints.class - [JAR]
├─ org.opalj.ai.domain.ReturnInstructionsDomain.class - [JAR]
├─ org.opalj.ai.domain.SpecialMethodsHandling.class - [JAR]
├─ org.opalj.ai.domain.TheCode.class - [JAR]
├─ org.opalj.ai.domain.TheMethod.class - [JAR]
├─ org.opalj.ai.domain.TheProject.class - [JAR]
├─ org.opalj.ai.domain.ThePropertyStore.class - [JAR]
├─ org.opalj.ai.domain.ThrowAllPotentialExceptionsConfiguration.class - [JAR]
├─ org.opalj.ai.domain.ThrowNoPotentialExceptionsConfiguration.class - [JAR]
├─ org.opalj.ai.domain.ValuesCoordinatingDomain.class - [JAR]
├─ org.opalj.ai.domain.package.class - [JAR]
org.opalj.ai.domain.tracing
├─ org.opalj.ai.domain.tracing.PropertyTracing.class - [JAR]
├─ org.opalj.ai.domain.tracing.SimpleBooleanPropertyTracing.class - [JAR]
org.opalj.ai
├─ org.opalj.ai.AI.class - [JAR]
├─ org.opalj.ai.AIAborted.class - [JAR]
├─ org.opalj.ai.AICompleted.class - [JAR]
├─ org.opalj.ai.AIException.class - [JAR]
├─ org.opalj.ai.AIResult.class - [JAR]
├─ org.opalj.ai.AIResultBuilder.class - [JAR]
├─ org.opalj.ai.AITracer.class - [JAR]
├─ org.opalj.ai.BaseAI.class - [JAR]
├─ org.opalj.ai.BoundedInterruptableAI.class - [JAR]
├─ org.opalj.ai.CTC1.class - [JAR]
├─ org.opalj.ai.CTC2.class - [JAR]
├─ org.opalj.ai.Computation.class - [JAR]
├─ org.opalj.ai.ComputationFailed.class - [JAR]
├─ org.opalj.ai.ComputationWithException.class - [JAR]
├─ org.opalj.ai.ComputationWithResult.class - [JAR]
├─ org.opalj.ai.ComputationWithResultAndException.class - [JAR]
├─ org.opalj.ai.ComputationWithSideEffectOnly.class - [JAR]
├─ org.opalj.ai.ComputationWithSideEffectOrException.class - [JAR]
├─ org.opalj.ai.ComputedValue.class - [JAR]
├─ org.opalj.ai.ComputedValueOrException.class - [JAR]
├─ org.opalj.ai.Configuration.class - [JAR]
├─ org.opalj.ai.CoreDomainFunctionality.class - [JAR]
├─ org.opalj.ai.CorrelationalDomain.class - [JAR]
├─ org.opalj.ai.CorrelationalDomainSupport.class - [JAR]
├─ org.opalj.ai.CountingAI.class - [JAR]
├─ org.opalj.ai.CustomInitialization.class - [JAR]
├─ org.opalj.ai.Domain.class - [JAR]
├─ org.opalj.ai.DomainException.class - [JAR]
├─ org.opalj.ai.DoubleValuesDomain.class - [JAR]
├─ org.opalj.ai.DoubleValuesFactory.class - [JAR]
├─ org.opalj.ai.DynamicLoadsDomain.class - [JAR]
├─ org.opalj.ai.ExceptionsFactory.class - [JAR]
├─ org.opalj.ai.ExceptionsRaisedByCalledMethods.class - [JAR]
├─ org.opalj.ai.FieldAccessesDomain.class - [JAR]
├─ org.opalj.ai.FloatValuesDomain.class - [JAR]
├─ org.opalj.ai.FloatValuesFactory.class - [JAR]
├─ org.opalj.ai.GlobalLogContextProvider.class - [JAR]
├─ org.opalj.ai.IdentityBasedCorrelationChangeDetection.class - [JAR]
├─ org.opalj.ai.InstructionCountBoundedAI.class - [JAR]
├─ org.opalj.ai.IntegerRangeValuesFactory.class - [JAR]
├─ org.opalj.ai.IntegerValuesDomain.class - [JAR]
├─ org.opalj.ai.IntegerValuesFactory.class - [JAR]
├─ org.opalj.ai.InterpretationFailedException.class - [JAR]
├─ org.opalj.ai.InterruptableAI.class - [JAR]
├─ org.opalj.ai.JoinStabilization.class - [JAR]
├─ org.opalj.ai.LogContextProvider.class - [JAR]
├─ org.opalj.ai.LongValuesDomain.class - [JAR]
├─ org.opalj.ai.LongValuesFactory.class - [JAR]
├─ org.opalj.ai.MetaInformationUpdate.class - [JAR]
├─ org.opalj.ai.MetaInformationUpdateType.class - [JAR]
├─ org.opalj.ai.MethodCallsDomain.class - [JAR]
├─ org.opalj.ai.MonitorInstructionsDomain.class - [JAR]
├─ org.opalj.ai.MultiTracer.class - [JAR]
├─ org.opalj.ai.NoUpdate.class - [JAR]
├─ org.opalj.ai.NoUpdateType.class - [JAR]
├─ org.opalj.ai.PrimitiveValuesConversionsDomain.class - [JAR]
├─ org.opalj.ai.ReferenceValuesDomain.class - [JAR]
├─ org.opalj.ai.ReferenceValuesFactory.class - [JAR]
├─ org.opalj.ai.ReturnInstructionsDomain.class - [JAR]
├─ org.opalj.ai.SomeUpdate.class - [JAR]
├─ org.opalj.ai.StructuralUpdate.class - [JAR]
├─ org.opalj.ai.StructuralUpdateType.class - [JAR]
├─ org.opalj.ai.SubroutinesDomain.class - [JAR]
├─ org.opalj.ai.TheAI.class - [JAR]
├─ org.opalj.ai.TheCodeStructure.class - [JAR]
├─ org.opalj.ai.TheMemoryLayout.class - [JAR]
├─ org.opalj.ai.ThrowsException.class - [JAR]
├─ org.opalj.ai.TimeBoundedAI.class - [JAR]
├─ org.opalj.ai.TypedValuesFactory.class - [JAR]
├─ org.opalj.ai.Update.class - [JAR]
├─ org.opalj.ai.UpdateType.class - [JAR]
├─ org.opalj.ai.ValuesDomain.class - [JAR]
├─ org.opalj.ai.package.class - [JAR]
org.opalj.ai.fpcf.analyses
├─ org.opalj.ai.fpcf.analyses.DomainBasedFPCFAnalysisScheduler.class - [JAR]
├─ org.opalj.ai.fpcf.analyses.EagerL0BaseAIAnalysis.class - [JAR]
├─ org.opalj.ai.fpcf.analyses.EagerLBFieldValuesAnalysis.class - [JAR]
├─ org.opalj.ai.fpcf.analyses.EagerLBMethodReturnValuesAnalysis.class - [JAR]
├─ org.opalj.ai.fpcf.analyses.FieldValuesAnalysis.class - [JAR]
├─ org.opalj.ai.fpcf.analyses.L0BaseAIResultAnalysis.class - [JAR]
├─ org.opalj.ai.fpcf.analyses.L0BaseAIResultAnalysisScheduler.class - [JAR]
├─ org.opalj.ai.fpcf.analyses.LBFieldValuesAnalysis.class - [JAR]
├─ org.opalj.ai.fpcf.analyses.LBMethodReturnValuesAnalysis.class - [JAR]
├─ org.opalj.ai.fpcf.analyses.LazyL0BaseAIAnalysis.class - [JAR]
