All Downloads are FREE. Search and download functionalities are using the official Maven repository.
Search JAR files by class name

Abstract Interpretation Framework - Download JAR File


Welcome to the Abstract Interpretation Framework download page. Here, you can access the JAR file for this powerful framework that allows you to analyze and interpret source code using abstract interpretation techniques. Enhance your projects by incorporating this framework and benefit from its comprehensive functionality.

Files of the artifact abstract-interpretation-framework_2.13 version 5.0.0 from the group de.opal-project.

Test

Download abstract-interpretation-framework_2.13 (5.0.0)
Artifact abstract-interpretation-framework_2.13
Group de.opal-project
Version 5.0.0
Last update 23. January 2023
Organization de.opal-project
URL https://www.opal-project.de
License BSD-2-Clause
Dependencies amount 2
Dependencies scala-library, bytecode-representation_2.13,
There are maybe transitive dependencies!
The newest version!
Show more of this group  Show more artifacts with this name
Show all versions of abstract-interpretation-framework_2.13 Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of abstract-interpretation-framework_2.13 version 5.0.0

META-INF
META-INF.META-INF.MANIFEST.MF
org.opalj.ai
org.opalj.ai.org.opalj.ai.AI.scala
org.opalj.ai.org.opalj.ai.AIException.scala
org.opalj.ai.org.opalj.ai.AIResult.scala
org.opalj.ai.org.opalj.ai.AITracer.scala
org.opalj.ai.org.opalj.ai.BaseAI.scala
org.opalj.ai.org.opalj.ai.BoundedInterruptableAI.scala
org.opalj.ai.org.opalj.ai.Computation.scala
org.opalj.ai.org.opalj.ai.Configuration.scala
org.opalj.ai.org.opalj.ai.CoreDomainFunctionality.scala
org.opalj.ai.org.opalj.ai.CountingAI.scala
org.opalj.ai.org.opalj.ai.CustomInitialization.scala
org.opalj.ai.org.opalj.ai.Domain.scala
org.opalj.ai.org.opalj.ai.DomainException.scala
org.opalj.ai.org.opalj.ai.DoubleValuesDomain.scala
org.opalj.ai.org.opalj.ai.DoubleValuesFactory.scala
org.opalj.ai.org.opalj.ai.DynamicLoadsDomain.scala
org.opalj.ai.org.opalj.ai.ExceptionsFactory.scala
org.opalj.ai.org.opalj.ai.ExceptionsRaisedByCalledMethods.scala
org.opalj.ai.org.opalj.ai.FieldAccessesDomain.scala
org.opalj.ai.org.opalj.ai.FloatValuesDomain.scala
org.opalj.ai.org.opalj.ai.FloatValuesFactory.scala
org.opalj.ai.org.opalj.ai.InstructionCountBoundedAI.scala
org.opalj.ai.org.opalj.ai.IntegerRangeValuesFactory.scala
org.opalj.ai.org.opalj.ai.IntegerValuesDomain.scala
org.opalj.ai.org.opalj.ai.IntegerValuesFactory.scala
org.opalj.ai.org.opalj.ai.InterpretationFailedException.scala
org.opalj.ai.org.opalj.ai.InterruptableAI.scala
org.opalj.ai.org.opalj.ai.LogContextProvider.scala
org.opalj.ai.org.opalj.ai.LongValuesDomain.scala
org.opalj.ai.org.opalj.ai.LongValuesFactory.scala
org.opalj.ai.org.opalj.ai.MethodCallsDomain.scala
org.opalj.ai.org.opalj.ai.MonitorInstructionsDomain.scala
org.opalj.ai.org.opalj.ai.MultiTracer.scala
org.opalj.ai.org.opalj.ai.PrimitiveValuesConversionsDomain.scala
org.opalj.ai.org.opalj.ai.ReferenceValuesDomain.scala
org.opalj.ai.org.opalj.ai.ReferenceValuesFactory.scala
org.opalj.ai.org.opalj.ai.ReturnInstructionsDomain.scala
org.opalj.ai.org.opalj.ai.SubroutinesDomain.scala
org.opalj.ai.org.opalj.ai.TheAI.scala
org.opalj.ai.org.opalj.ai.TheCodeStructure.scala
org.opalj.ai.org.opalj.ai.TheMemoryLayout.scala
org.opalj.ai.org.opalj.ai.TimeBoundedAI.scala
org.opalj.ai.org.opalj.ai.TypedValuesFactory.scala
org.opalj.ai.org.opalj.ai.Update.scala
org.opalj.ai.org.opalj.ai.UpdateType.scala
org.opalj.ai.org.opalj.ai.ValuesDomain.scala
org.opalj.ai.common
org.opalj.ai.common.org.opalj.ai.common.DomainRegistry.scala
org.opalj.ai.common.org.opalj.ai.common.SimpleAIKey.scala
org.opalj.ai.common.org.opalj.ai.common.XHTML.scala
org.opalj.ai.domain
org.opalj.ai.domain.org.opalj.ai.domain.AsDomainValue.scala
org.opalj.ai.domain.org.opalj.ai.domain.AsJavaObject.scala
org.opalj.ai.domain.org.opalj.ai.domain.ConcreteIntegerValues.scala
org.opalj.ai.domain.org.opalj.ai.domain.ConcreteLongValues.scala
org.opalj.ai.domain.org.opalj.ai.domain.ConstantFieldValuesResolution.scala
org.opalj.ai.domain.org.opalj.ai.domain.CorrelationalDomain.scala
org.opalj.ai.domain.org.opalj.ai.domain.CorrelationalDomainSupport.scala
org.opalj.ai.domain.org.opalj.ai.domain.CurrentCode.scala
org.opalj.ai.domain.org.opalj.ai.domain.DefaultExceptionsFactory.scala
org.opalj.ai.domain.org.opalj.ai.domain.DefaultHandlingForReturnInstructions.scala
org.opalj.ai.domain.org.opalj.ai.domain.DefaultHandlingForThrownExceptions.scala
org.opalj.ai.domain.org.opalj.ai.domain.DefaultHandlingOfMethodResults.scala
org.opalj.ai.domain.org.opalj.ai.domain.DefaultHandlingOfVoidReturns.scala
org.opalj.ai.domain.org.opalj.ai.domain.DefaultRecordMethodCallResults.scala
org.opalj.ai.domain.org.opalj.ai.domain.DefaultSpecialDomainValuesBinding.scala
org.opalj.ai.domain.org.opalj.ai.domain.DomainId.scala
org.opalj.ai.domain.org.opalj.ai.domain.DomainValues.scala
org.opalj.ai.domain.org.opalj.ai.domain.GeneralizedArrayHandling.scala
org.opalj.ai.domain.org.opalj.ai.domain.IdentityBasedCorrelationChangeDetection.scala
org.opalj.ai.domain.org.opalj.ai.domain.IgnoreSynchronization.scala
org.opalj.ai.domain.org.opalj.ai.domain.ImpossibleRefinement.scala
org.opalj.ai.domain.org.opalj.ai.domain.JoinStabilization.scala
org.opalj.ai.domain.org.opalj.ai.domain.MethodCallResults.scala
org.opalj.ai.domain.org.opalj.ai.domain.MethodCallsHandling.scala
org.opalj.ai.domain.org.opalj.ai.domain.MonitorInstructionsTracker.scala
org.opalj.ai.domain.org.opalj.ai.domain.Origin.scala
org.opalj.ai.domain.org.opalj.ai.domain.PerInstructionPostProcessing.scala
org.opalj.ai.domain.org.opalj.ai.domain.PerformAI.scala
org.opalj.ai.domain.org.opalj.ai.domain.PostEvaluationMemoryManagement.scala
org.opalj.ai.domain.org.opalj.ai.domain.PredefinedClassHierarchy.scala
org.opalj.ai.domain.org.opalj.ai.domain.RecordAllThrownExceptions.scala
org.opalj.ai.domain.org.opalj.ai.domain.RecordCFG.scala
org.opalj.ai.domain.org.opalj.ai.domain.RecordConstraints.scala
org.opalj.ai.domain.org.opalj.ai.domain.RecordDefUse.scala
org.opalj.ai.domain.org.opalj.ai.domain.RecordJoinedThrownExceptions.scala
org.opalj.ai.domain.org.opalj.ai.domain.RecordLastReturnedValues.scala
org.opalj.ai.domain.org.opalj.ai.domain.RecordMethodCallResults.scala
org.opalj.ai.domain.org.opalj.ai.domain.RecordReturnFromMethodInstructions.scala
org.opalj.ai.domain.org.opalj.ai.domain.RecordReturnedValue.scala
org.opalj.ai.domain.org.opalj.ai.domain.RecordReturnedValueInfrastructure.scala
org.opalj.ai.domain.org.opalj.ai.domain.RecordReturnedValues.scala
org.opalj.ai.domain.org.opalj.ai.domain.RecordReturnedValuesInfrastructure.scala
org.opalj.ai.domain.org.opalj.ai.domain.RecordThrownExceptions.scala
org.opalj.ai.domain.org.opalj.ai.domain.RecordVoidReturns.scala
org.opalj.ai.domain.org.opalj.ai.domain.RefineDefUseUsingOrigins.scala
org.opalj.ai.domain.org.opalj.ai.domain.ReifiedConstraints.scala
org.opalj.ai.domain.org.opalj.ai.domain.ReturnInstructionsDomain.scala
org.opalj.ai.domain.org.opalj.ai.domain.SpecialMethodsHandling.scala
org.opalj.ai.domain.org.opalj.ai.domain.TheCode.scala
org.opalj.ai.domain.org.opalj.ai.domain.TheMethod.scala
org.opalj.ai.domain.org.opalj.ai.domain.TheProject.scala
org.opalj.ai.domain.org.opalj.ai.domain.ThePropertyStore.scala
org.opalj.ai.domain.org.opalj.ai.domain.ThrowAllPotentialExceptionsConfiguration.scala
org.opalj.ai.domain.org.opalj.ai.domain.ThrowNoPotentialExceptionsConfiguration.scala
org.opalj.ai.domain.org.opalj.ai.domain.ValuesCoordinatingDomain.scala
org.opalj.ai.domain.l0
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.BaseDomain.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.DefaultReferenceValuesBinding.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.DefaultTypeLevelDoubleValues.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.DefaultTypeLevelFloatValues.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.DefaultTypeLevelHandlingForReturnInstructions.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.DefaultTypeLevelHandlingForThrownExceptions.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.DefaultTypeLevelHandlingOfMethodResults.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.DefaultTypeLevelHandlingOfVoidReturns.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.DefaultTypeLevelIntegerValues.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.DefaultTypeLevelLongValues.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.DefaultTypeLevelReferenceValues.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.PrimitiveTACAIDomain.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.ReturnInstructionsDomain.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.SimpleTypeLevelInvokeInstructions.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.TypeCheckingDomain.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.TypeLevelDomain.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.TypeLevelDoubleValues.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.TypeLevelDynamicLoads.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.TypeLevelFieldAccessInstructions.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.TypeLevelFloatValues.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.TypeLevelIntegerValues.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.TypeLevelInvokeInstructions.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.TypeLevelLongValues.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.TypeLevelLongValuesShiftOperators.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.TypeLevelPrimitiveValuesConversions.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.TypeLevelReferenceValues.scala
org.opalj.ai.domain.l0.org.opalj.ai.domain.l0.ZeroDomain.scala
org.opalj.ai.domain.l1
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.ArrayValues.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.ClassValues.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.ConcreteArrayValues.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.ConcretePrimitiveValuesConversions.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.ConstraintsBetweenIntegerValues.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.DefaultArrayValuesBinding.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.DefaultClassValuesBinding.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.DefaultConcreteArrayValuesBinding.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.DefaultDomain.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.DefaultIntegerRangeValues.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.DefaultIntegerSetValues.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.DefaultIntegerValues.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.DefaultIntervalValuesDomain.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.DefaultJavaObjectToDomainValueConversion.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.DefaultLongSetValues.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.DefaultLongValues.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.DefaultReferenceValuesBinding.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.DefaultReferenceValuesDomain.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.DefaultSetValuesDomain.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.DefaultSingletonValuesDomain.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.DefaultStringValuesBinding.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.IntegerRangeValues.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.IntegerSetValues.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.IntegerValues.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.LongSetValues.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.LongSetValuesShiftOperators.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.LongValues.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.LongValuesShiftOperators.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.MaxArrayLengthRefinement.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.NullPropertyRefinement.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.RecordAllThrownExceptions.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.ReferenceValues.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.ReflectiveInvoker.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.StringBuilderValues.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.StringValues.scala
org.opalj.ai.domain.l1.org.opalj.ai.domain.l1.package.scala
org.opalj.ai.domain.l2
org.opalj.ai.domain.l2.org.opalj.ai.domain.l2.CalledMethodsStore.scala
org.opalj.ai.domain.l2.org.opalj.ai.domain.l2.CoordinatingValuesDomain.scala
org.opalj.ai.domain.l2.org.opalj.ai.domain.l2.DefaultDomain.scala
org.opalj.ai.domain.l2.org.opalj.ai.domain.l2.DefaultPerformInvocationsDomain.scala
org.opalj.ai.domain.l2.org.opalj.ai.domain.l2.PerformInvocations.scala
org.opalj.ai.domain.l2.org.opalj.ai.domain.l2.PerformInvocationsWithRecursionDetection.scala
org.opalj.ai.domain.l2.org.opalj.ai.domain.l2.SharedValuesDomain.scala
org.opalj.ai.domain
org.opalj.ai.domain.org.opalj.ai.domain.package.scala
org.opalj.ai.domain.tracing
org.opalj.ai.domain.tracing.org.opalj.ai.domain.tracing.PropertyTracing.scala
org.opalj.ai.domain.tracing.org.opalj.ai.domain.tracing.SimpleBooleanPropertyTracing.scala
org.opalj.ai.fpcf.analyses
org.opalj.ai.fpcf.analyses.org.opalj.ai.fpcf.analyses.DomainBasedFPCFAnalysisScheduler.scala
org.opalj.ai.fpcf.analyses.org.opalj.ai.fpcf.analyses.L0BaseAIResultAnalysis.scala
org.opalj.ai.fpcf.analyses.org.opalj.ai.fpcf.analyses.LBFieldValuesAnalysis.scala
org.opalj.ai.fpcf.analyses.org.opalj.ai.fpcf.analyses.LBMethodReturnValuesAnalysis.scala
org.opalj.ai.fpcf.domain
org.opalj.ai.fpcf.domain.org.opalj.ai.fpcf.domain.L1DefaultDomainWithCFGAndDefUseAndSignatureRefinement.scala
org.opalj.ai.fpcf.domain.org.opalj.ai.fpcf.domain.PrimitiveTACAIDomainWithSignatureRefinement.scala
org.opalj.ai.fpcf.domain.org.opalj.ai.fpcf.domain.PropertyStoreBased.scala
org.opalj.ai.fpcf.domain.org.opalj.ai.fpcf.domain.RefinedTypeLevelFieldAccessInstructions.scala
org.opalj.ai.fpcf.domain.org.opalj.ai.fpcf.domain.RefinedTypeLevelInvokeInstructions.scala
org.opalj.ai.fpcf.properties
org.opalj.ai.fpcf.properties.org.opalj.ai.fpcf.properties.AIDomainFactoryKey.scala
org.opalj.ai.fpcf.properties.org.opalj.ai.fpcf.properties.BaseAIResult.scala
org.opalj.ai.fpcf.properties.org.opalj.ai.fpcf.properties.FieldValue.scala
org.opalj.ai.fpcf.properties.org.opalj.ai.fpcf.properties.MethodReturnValue.scala
org.opalj.ai
org.opalj.ai.org.opalj.ai.package.scala
org.opalj.ai.project
org.opalj.ai.project.org.opalj.ai.project.AIProject.scala
org.opalj.ai.project.org.opalj.ai.project.OptionalReport.scala
org.opalj.ai.util
org.opalj.ai.util.org.opalj.ai.util.XHTML.scala
org.opalj.ai.util.org.opalj.ai.util.colResizable-1.6.min.js
org.opalj.ai.util.org.opalj.ai.util.default.css
org.opalj.ai.util.org.opalj.ai.util.jquery-3.6.1.min.js
org.opalj.ai.util.org.opalj.ai.util.package.scala
org.opalj.collection.mutable
org.opalj.collection.mutable.org.opalj.collection.mutable.Locals.scala
org.opalj.issues
org.opalj.issues.org.opalj.issues.FieldValues.scala
org.opalj.issues.org.opalj.issues.Issue.scala
org.opalj.issues.org.opalj.issues.IssueCategory.scala
org.opalj.issues.org.opalj.issues.IssueDetails.scala
org.opalj.issues.org.opalj.issues.IssueKind.scala
org.opalj.issues.org.opalj.issues.IssueLocation.scala
org.opalj.issues.org.opalj.issues.IssueOrdering.scala
org.opalj.issues.org.opalj.issues.IssueRepresentations.scala
org.opalj.issues.org.opalj.issues.LocalVariables.scala
org.opalj.issues.org.opalj.issues.MethodReturnValues.scala
org.opalj.issues.org.opalj.issues.Operands.scala
org.opalj.issues.org.opalj.issues.Relevance.scala
org.opalj.issues.org.opalj.issues.package.scala
.reference.conf




© 2015 - 2025 Weber Informatics LLC | Privacy Policy