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.11-0.8.15.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.domain.la
├─ org.opalj.ai.domain.la.DefaultDomain.class - [JAR]
├─ org.opalj.ai.domain.la.PerformInvocationsWithBasicVirtualMethodCallResolution.class - [JAR]
├─ org.opalj.ai.domain.la.RefinedTypeLevelFieldAccessInstructions.class - [JAR]
├─ org.opalj.ai.domain.la.RefinedTypeLevelInvokeInstructions.class - [JAR]
org.opalj.ai.common
├─ org.opalj.ai.common.AIKey.class - [JAR]
├─ org.opalj.ai.common.DomainRegistry.class - [JAR]
├─ org.opalj.ai.common.SimpleAIKey.class - [JAR]
├─ org.opalj.ai.common.XHTML.class - [JAR]
org.opalj.ai.analyses
├─ org.opalj.ai.analyses.BaseFieldValuesAnalysisDomain.class - [JAR]
├─ org.opalj.ai.analyses.BaseMethodReturnValuesAnalysisDomain.class - [JAR]
├─ org.opalj.ai.analyses.FPFieldValuesAnalysisDomain.class - [JAR]
├─ org.opalj.ai.analyses.FPMethodReturnValuesAnalysisDomain.class - [JAR]
├─ org.opalj.ai.analyses.FieldValuesAnalysis.class - [JAR]
├─ org.opalj.ai.analyses.FieldValuesKey.class - [JAR]
├─ org.opalj.ai.analyses.MethodReturnValuesAnalysis.class - [JAR]
├─ org.opalj.ai.analyses.MethodReturnValuesKey.class - [JAR]
├─ org.opalj.ai.analyses.package.class - [JAR]
org.opalj.ai.domain.li
├─ org.opalj.ai.domain.li.DefaultDomain.class - [JAR]
├─ org.opalj.ai.domain.li.DefaultPreciseIntegerValues.class - [JAR]
├─ org.opalj.ai.domain.li.DefaultPreciseLongValues.class - [JAR]
├─ org.opalj.ai.domain.li.PreciseIntegerValues.class - [JAR]
├─ org.opalj.ai.domain.li.PreciseLongValues.class - [JAR]
org.opalj.ai.cg
├─ org.opalj.ai.cg.MethodCallsDomainWithMethodLockup.class - [JAR]
org.opalj.ai.fpcf
├─ org.opalj.ai.fpcf.MethodReturnValue.class - [JAR]
├─ org.opalj.ai.fpcf.MethodReturnValuePropertyMetaInformation.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.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.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.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.TypeLevelDomain.class - [JAR]
├─ org.opalj.ai.domain.l0.TypeLevelDoubleValues.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.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.ai.analyses.cg
├─ org.opalj.ai.analyses.cg.AdditionalCallTargets.class - [JAR]
├─ org.opalj.ai.analyses.cg.BasicVTACallGraphAlgorithmConfiguration.class - [JAR]
├─ org.opalj.ai.analyses.cg.BasicVTACallGraphDomain.class - [JAR]
├─ org.opalj.ai.analyses.cg.BasicVTAWithPreAnalysisCallGraphAlgorithmConfiguration.class - [JAR]
├─ org.opalj.ai.analyses.cg.BasicVTAWithPreAnalysisCallGraphDomain.class - [JAR]
├─ org.opalj.ai.analyses.cg.CFACallGraphAlgorithmConfiguration.class - [JAR]
├─ org.opalj.ai.analyses.cg.CFACallGraphDomain.class - [JAR]
├─ org.opalj.ai.analyses.cg.CHACallGraphAlgorithmConfiguration.class - [JAR]
├─ org.opalj.ai.analyses.cg.CHACallGraphExtractor.class - [JAR]
├─ org.opalj.ai.analyses.cg.CHACallGraphExtractorWithCBS.class - [JAR]
├─ org.opalj.ai.analyses.cg.CallGraph.class - [JAR]
├─ org.opalj.ai.analyses.cg.CallGraphAlgorithmConfiguration.class - [JAR]
├─ org.opalj.ai.analyses.cg.CallGraphBuilder.class - [JAR]
├─ org.opalj.ai.analyses.cg.CallGraphCache.class - [JAR]
├─ org.opalj.ai.analyses.cg.CallGraphComparison.class - [JAR]
├─ org.opalj.ai.analyses.cg.CallGraphConstructionException.class - [JAR]
├─ org.opalj.ai.analyses.cg.CallGraphDifferenceReport.class - [JAR]
├─ org.opalj.ai.analyses.cg.CallGraphExtractor.class - [JAR]
├─ org.opalj.ai.analyses.cg.CallGraphFactory.class - [JAR]
├─ org.opalj.ai.analyses.cg.Callees.class - [JAR]
├─ org.opalj.ai.analyses.cg.ComputedCallGraph.class - [JAR]
├─ org.opalj.ai.analyses.cg.DefaultCHACallGraphDomain.class - [JAR]
├─ org.opalj.ai.analyses.cg.DefaultCallGraphAlgorithmConfiguration.class - [JAR]
├─ org.opalj.ai.analyses.cg.DefaultVTACallGraphAlgorithmConfiguration.class - [JAR]
├─ org.opalj.ai.analyses.cg.DefaultVTACallGraphDomain.class - [JAR]
├─ org.opalj.ai.analyses.cg.EntryPointContainer.class - [JAR]
├─ org.opalj.ai.analyses.cg.EntryPointInformation.class - [JAR]
├─ org.opalj.ai.analyses.cg.EntryPointKey.class - [JAR]
├─ org.opalj.ai.analyses.cg.ExtVTACallGraphAlgorithmConfiguration.class - [JAR]
├─ org.opalj.ai.analyses.cg.ExtVTACallGraphDomain.class - [JAR]
├─ org.opalj.ai.analyses.cg.UnexpectedCallTargets.class - [JAR]
├─ org.opalj.ai.analyses.cg.UnresolvedMethodCall.class - [JAR]
├─ org.opalj.ai.analyses.cg.VTACallGraphAlgorithmConfiguration.class - [JAR]
├─ org.opalj.ai.analyses.cg.VTACallGraphExtractor.class - [JAR]
├─ org.opalj.ai.analyses.cg.VTACallGraphKey.class - [JAR]
├─ org.opalj.ai.analyses.cg.VTAWithPreAnalysisCallGraphAlgorithmConfiguration.class - [JAR]
org.opalj.ai.domain
├─ org.opalj.ai.domain.AsDomainValue.class - [JAR]
├─ org.opalj.ai.domain.AsJavaObject.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.DefaultDomainValueBinding.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.DomainId.class - [JAR]
├─ org.opalj.ai.domain.DomainValues.class - [JAR]
├─ org.opalj.ai.domain.GeneralizedArrayHandling.class - [JAR]
├─ org.opalj.ai.domain.GlobalLogContextProvider.class - [JAR]
├─ org.opalj.ai.domain.IgnoreSynchronization.class - [JAR]
├─ org.opalj.ai.domain.ImpossibleRefinement.class - [JAR]
├─ org.opalj.ai.domain.LogContextProvider.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.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.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.UnsupportedOperationComputationalTypeCategory.class - [JAR]
├─ org.opalj.ai.domain.ValuesCoordinatingDomain.class - [JAR]
├─ org.opalj.ai.domain.package.class - [JAR]
org.opalj.tac
├─ org.opalj.tac.ASTNode.class - [JAR]
├─ org.opalj.tac.ArrayExpr.class - [JAR]
├─ org.opalj.tac.ArrayLength.class - [JAR]
├─ org.opalj.tac.ArrayLoad.class - [JAR]
├─ org.opalj.tac.ArrayStore.class - [JAR]
├─ org.opalj.tac.Assignment.class - [JAR]
├─ org.opalj.tac.BinaryExpr.class - [JAR]
├─ org.opalj.tac.CTC1.class - [JAR]
├─ org.opalj.tac.CTC2.class - [JAR]
├─ org.opalj.tac.Call.class - [JAR]
├─ org.opalj.tac.CaughtException.class - [JAR]
├─ org.opalj.tac.Checkcast.class - [JAR]
├─ org.opalj.tac.ClassConst.class - [JAR]
├─ org.opalj.tac.Compare.class - [JAR]
├─ org.opalj.tac.Const.class - [JAR]
├─ org.opalj.tac.DUVar.class - [JAR]
├─ org.opalj.tac.DVar.class - [JAR]
├─ org.opalj.tac.DefSites.class - [JAR]
├─ org.opalj.tac.DefaultTACAIKey.class - [JAR]
├─ org.opalj.tac.DoubleConst.class - [JAR]
├─ org.opalj.tac.Expr.class - [JAR]
├─ org.opalj.tac.ExprStmt.class - [JAR]
├─ org.opalj.tac.FieldRead.class - [JAR]
├─ org.opalj.tac.FieldWriteAccessStmt.class - [JAR]
├─ org.opalj.tac.FloatConst.class - [JAR]
├─ org.opalj.tac.FunctionCall.class - [JAR]
├─ org.opalj.tac.GetField.class - [JAR]
├─ org.opalj.tac.GetStatic.class - [JAR]
├─ org.opalj.tac.Goto.class - [JAR]
├─ org.opalj.tac.IdBasedVar.class - [JAR]
├─ org.opalj.tac.If.class - [JAR]
├─ org.opalj.tac.InstanceFunctionCall.class - [JAR]
├─ org.opalj.tac.InstanceMethodCall.class - [JAR]
├─ org.opalj.tac.InstanceOf.class - [JAR]
├─ org.opalj.tac.IntConst.class - [JAR]
├─ org.opalj.tac.Invokedynamic.class - [JAR]
├─ org.opalj.tac.JSR.class - [JAR]
├─ org.opalj.tac.LongConst.class - [JAR]
├─ org.opalj.tac.MethodCall.class - [JAR]
├─ org.opalj.tac.MethodCallParameters.class - [JAR]
├─ org.opalj.tac.MethodHandleConst.class - [JAR]
├─ org.opalj.tac.MethodTypeConst.class - [JAR]
├─ org.opalj.tac.MonitorEnter.class - [JAR]
├─ org.opalj.tac.MonitorExit.class - [JAR]
├─ org.opalj.tac.New.class - [JAR]
├─ org.opalj.tac.NewArray.class - [JAR]
├─ org.opalj.tac.NonVirtualFunctionCall.class - [JAR]
├─ org.opalj.tac.NonVirtualMethodCall.class - [JAR]
├─ org.opalj.tac.Nop.class - [JAR]
├─ org.opalj.tac.NullExpr.class - [JAR]
├─ org.opalj.tac.OperandVar.class - [JAR]
├─ org.opalj.tac.Param.class - [JAR]
├─ org.opalj.tac.Parameters.class - [JAR]
├─ org.opalj.tac.PrefixExpr.class - [JAR]
├─ org.opalj.tac.PrimitiveTypecastExpr.class - [JAR]
├─ org.opalj.tac.PutField.class - [JAR]
├─ org.opalj.tac.PutStatic.class - [JAR]
├─ org.opalj.tac.RegisterVar.class - [JAR]
├─ org.opalj.tac.Ret.class - [JAR]
├─ org.opalj.tac.Return.class - [JAR]
├─ org.opalj.tac.ReturnValue.class - [JAR]
├─ org.opalj.tac.SimplePropagation.class - [JAR]
├─ org.opalj.tac.SimpleStmt.class - [JAR]
├─ org.opalj.tac.SimpleTACAIKey.class - [JAR]
├─ org.opalj.tac.SimpleValueConst.class - [JAR]
├─ org.opalj.tac.SimpleVar.class - [JAR]
├─ org.opalj.tac.StaticFunctionCall.class - [JAR]
├─ org.opalj.tac.StaticMethodCall.class - [JAR]
├─ org.opalj.tac.Stmt.class - [JAR]
├─ org.opalj.tac.StringConst.class - [JAR]
├─ org.opalj.tac.Switch.class - [JAR]
├─ org.opalj.tac.SynchronizationStmt.class - [JAR]
├─ org.opalj.tac.TAC.class - [JAR]
├─ org.opalj.tac.TACAI.class - [JAR]
├─ org.opalj.tac.TACAIKey.class - [JAR]
├─ org.opalj.tac.TACMethodParameter.class - [JAR]
├─ org.opalj.tac.TACNaive.class - [JAR]
├─ org.opalj.tac.TACOptimization.class - [JAR]
├─ org.opalj.tac.TACOptimizationResult.class - [JAR]
├─ org.opalj.tac.TACode.class - [JAR]
├─ org.opalj.tac.TempVar.class - [JAR]
├─ org.opalj.tac.Throw.class - [JAR]
├─ org.opalj.tac.ToTxt.class - [JAR]
├─ org.opalj.tac.UVar.class - [JAR]
├─ org.opalj.tac.ValueExpr.class - [JAR]
├─ org.opalj.tac.Var.class - [JAR]
├─ org.opalj.tac.VirtualFunctionCall.class - [JAR]
├─ org.opalj.tac.VirtualMethodCall.class - [JAR]
├─ org.opalj.tac.package.class - [JAR]
org.opalj.fpcf.analyses.cg.cha
├─ org.opalj.fpcf.analyses.cg.cha.CHACallGraphKey.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.BaseReferenceValues.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.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.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.IsBooleanValue.class - [JAR]
├─ org.opalj.ai.IsByteValue.class - [JAR]
├─ org.opalj.ai.IsCharValue.class - [JAR]
├─ org.opalj.ai.IsDoubleValue.class - [JAR]
├─ org.opalj.ai.IsFloatValue.class - [JAR]
├─ org.opalj.ai.IsIntegerValue.class - [JAR]
├─ org.opalj.ai.IsLongValue.class - [JAR]
├─ org.opalj.ai.IsNullValue.class - [JAR]
├─ org.opalj.ai.IsPrimitiveValue.class - [JAR]
├─ org.opalj.ai.IsReferenceValue.class - [JAR]
├─ org.opalj.ai.IsShortValue.class - [JAR]
├─ org.opalj.ai.JoinStabilization.class - [JAR]
├─ org.opalj.ai.KnownType.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.TheClassHierarchy.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.TypeInformation.class - [JAR]
├─ org.opalj.ai.TypeOfReferenceValue.class - [JAR]
├─ org.opalj.ai.TypedValuesFactory.class - [JAR]
├─ org.opalj.ai.UnknownType.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.fpcf.analyses
├─ org.opalj.fpcf.analyses.AdvancedFieldMutabilityAnalysis.class - [JAR]
├─ org.opalj.fpcf.analyses.EntryPointsAnalysis.class - [JAR]
├─ org.opalj.fpcf.analyses.JavaEEEntryPointsAnalysis.class - [JAR]
├─ org.opalj.fpcf.analyses.LibraryEntryPointsAnalysis.class - [JAR]
├─ org.opalj.fpcf.analyses.MethodComplexityAnalysis.class - [JAR]
