org.opalj.ai.domain.l1.ClassValues
ClassValue
Related Docs:
object ClassValue
| package ClassValues
Returns true iff the abstract state represented by this value
abstracts over the state of the given value.
Returns true iff the abstract state represented by this value
abstracts over the state of the given value. In other
words if every possible runtime value represented by the given value
is also represented by this value.
The abstract state generally encompasses every information that would
be considered during a join of this value and the other value and that
could lead to an Update.
This method is reflexive, I.e., every value abstracts over itself.
TheIllegalValue only abstracts over itself.
abstractsOver is only defined for comparable values where both values have the same computational type.
The default implementation relies on this domain value's join method. Overriding this method is, hence, primarily meaningful for performance reasons.
isMorePreciseThan
Adapts this value to the given domain (default: throws a domain exception that adaptation is not supported).
Adapts this value to the given domain (default: throws a domain exception
that adaptation is not supported). This method needs to be overridden
by concrete Value classes to support the adaptation for a specific domain.
Supporting the adapt method is primarily necessary when you want to
analyze a method that is called by the currently analyzed method
and you need to adapt this domain's values (the actual parameters of the method)
to the domain used for analyzing the called method.
Additionally, the adapt method is OPAL's main mechanism to enable dynamic
domain-adaptation. I.e., to make it possible to change the abstract domain at
runtime if the analysis time takes too long using a (more) precise domain.
The abstract interpretation framework does not use/call this method. This method is solely predefined to facilitate the development of project-wide analyses.
The set of base values this values abstracts over.
The set of base values this values abstracts over. This set is never empty and contains this value if this value does not (further) abstract over other reference values.
Primarily defined as a convenience interface.
The represented reference value if and only if this value represents a reference value.
In general an IsReferenceValue abstracts over all potential values and this information is
sufficient for subsequent analyses; but in some cases, analyzing the set of underlying values
may increase the overall precision and this set is returned by this function.
In general an IsReferenceValue abstracts over all potential values and this information is
sufficient for subsequent analyses; but in some cases, analyzing the set of underlying values
may increase the overall precision and this set is returned by this function. In other
words: if baseValues is nonEmpty, then the properties return by this value are derived
from the base values, but still maybe more specific. For example,
Object o = _; if(...) o = f() else o = g(); // when we reach this point, we generally don't know if the values returned by f and g // are non-null; hence, o is potentially null. if(o != null) // Now, we know that o is not null, but we still don't know if the values returned // by f OR g were null and we cannot establish that when we don't know to which value // o is actually referring to. u(o);
the set of values this reference value abstracts over. The set is empty if this value is already a base base value.
A reference value which belongs to the base values by some other reference value never has base values itself.
Returns ComputationalTypeReference.
Returns ComputationalTypeReference.
Joins this value and the given value.
Joins this value and the given value.
Join is called whenever an instruction is evaluated more than once and, hence,
the values found on the paths need to be joined. This method is, however,
only called if the two values are two different objects
((this ne value) === true), but both values have the
same computational type.
This basically implements the join operator of complete lattices.
For example, joining a DomainValue that represents the integer value 0
with a DomainValue that represents the integer value 1 may return a new
DomainValue that precisely captures the range [0..1] or that captures
all positive integer values or just some integer value.
this value is always the value that was previously used to
perform subsequent computations/analyses. Hence, if this value subsumes
the given value, the result has to be either NoUpdate or a
MetaInformationUpdate.
In case that the given value subsumes this value, the result has to be
a StructuralUpdate with the given value as the new value. Hence,
this join operation is not commutative. If a new (more abstract)
abstract value is created that represents both values the result always has to
be a StructuralUpdate.
If the result is a StructuralUpdate the framework will continue with the
interpretation.
The termination of the abstract interpretation directly depends on the fact that at some point all (abstract) values are fixed and don't change anymore. Hence, it is important that the type of the update is only a org.opalj.ai.StructuralUpdate if the value has changed in a way relevant for future computations/analyses involving this value. In other words, when two values are joined it has to be ensured that no fall back to a previous value occurs. E.g., if you join the existing integer value 0 and the given value 1 and the result would be 1, then it must be ensured that a subsequent join with the value 0 will not result in the value 0 again.
Conceptually, the join of an object with itself has to return the object
itself. Note, that this is a conceptual requirement as such a call
(this.doJoin(..,this)) will not be performed by the abstract interpretation
framework; this case is handled by the join method.
However, if the join object is also used by the implementation of the domain
itself, it may be necessary to explicitly handle self-joins.
In general, the domain should try to minimize the number of objects that it
uses to represent values. That is, two values that are conceptually equal
should – whenever possible – use only one object. This has a significant
impact on functions such as join.
Returns true iff the abstract state represented by this value
is strictly more precise than the state of the given value.
Returns true iff the abstract state represented by this value
is strictly more precise than the state of the given value. In other
words if every possible runtime value represented by this value
is also represented by the given value, but both are not equal;
in other words, this method is irreflexive.
The considered abstract state generally encompasses every
information that would be considered during a join of this
value and the other value and that could lead to a
StructuralUpdate.
Another DomainValue with the same computational
type as this value.
(The IllegalValue has no computational type and, hence,
a comparison with an IllegalValue is not well defined.)
If Yes the value is known to always be null at runtime.
If Yes the value is known to always be null at runtime. In this
case the upper bound is (has to be) empty. If the answer is Unknown then the
analysis was not able to statically determine whether the value is null or
is not null. In this case the upper bound is expected to be non-empty.
If the answer is No then the value is statically known not to be null. In this
case, the upper bound may precisely identify the runtime type or still just identify
an upper bound.
This default implementation always returns Unknown; this is a sound
over-approximation.
Unknown.
This method is expected to be overridden by subtypes.
Returns true if the type information is precise.
Returns true if the type information is precise. I.e., the type returned by
upperTypeBound precisely models the runtime type of the value.
If, isPrecise returns true, the type of this value can
generally be assumed to represent a class type (not an interface type) or
an array type. However, this domain also supports the case that isPrecise
returns true even though the associated type identifies an interface type
or an abstract class type. The later case may be interesting in the context
of classes that are generated at run time.
This default implementation always returns false.
false
This method is expected to be overridden by subtypes.
,isPrecise is always true if this value is known to be null.
True in case of a value with primitive type; undefined if the type is unknown.
True in case of a value with primitive type; undefined if the type is unknown.
True if the value has a reference type; undefined if the type is unknown.
True if the value has a reference type; undefined if the type is unknown.
Returns true if no type information is available.
Returns true if no type information is available.
Tests if the type of this value is potentially a subtype of the specified
reference type under the assumption that this value is not null.
Tests if the type of this value is potentially a subtype of the specified
reference type under the assumption that this value is not null.
This test takes the precision of the type information into account.
That is, if the currently available type information is not precise and
the given type has a subtype that is always a subtype of the current
upper type bound, then Unknown is returned. Given that it may be
computationally intensive to determine whether two types have a common subtype
it may be better to just return Unknown in case that this type and the
given type are not in a direct inheritance relationship.
Basically, this method implements the same semantics as the ClassHierarchy's
isSubtypeOf method, but it additionally checks if the type of this value
could be a subtype of the given supertype. I.e., if this value's type
identifies a supertype of the given supertype and that type is not known
to be precise, the answer is Unknown.
For example, assume that the type of this reference value is
java.util.Collection and we know/have to assume that this is only an
upper bound. In this case an answer is No if and only if it is impossible
that the runtime type is a subtype of the given supertype. This
condition holds, for example, for java.io.File which is not a subclass
of java.util.Collection and which does not have any further subclasses (in
the JDK). I.e., the classes java.io.File and java.util.Collection are
not in an inheritance relationship. However, if the specified supertype would
be java.util.List the answer would be unknown.
This default implementation always returns Unknown.
It is often not necessary to override this method as this method already takes the property whether the upper type bound is precise into account.
Checks that the given value and this value are compatible with regard to its computational type and – if so – calls doJoin.
Checks that the given value and this value are compatible with regard to its computational type and – if so – calls doJoin.
See doJoin(PC,DomainValue) for details.
The program counter of the instruction where the paths converge.
The "new" domain value with which this domain value should be
joined. The caller has to ensure that the given value and this value
are guaranteed to be two different objects.
MetaInformationUpdateIllegalValue or the result of calling doJoin.
It is in general not recommended/needed to override this method.
The origin of the value (or the pseudo-origin (e.g., the index of the parameter) if the true origin is not known.)
The origin of the value (or the pseudo-origin (e.g., the index of the parameter) if the true origin is not known.)
Propagate some refinement of the value's properties.
Propagate some refinement of the value's properties.
Returns true - and updates the refinements map - if this value was refined
because it depended on a value that was already refined.
Returns true - and updates the refinements map - if this value was refined
because it depended on a value that was already refined.
true if a refinement was added to the refinements map.
The refinements map must not contain this value as a key.
The template method doPropagateRefinement already applies all
standard refinements.
Refines this value's isNull property.
Refines this value's isNull property.
This method is only defined if a previous isNull test
returned Unknown and we are now on the branch where we know that the value is
now null or is not null.
The program counter of the instruction that was the reason for the refinement.
This value's new null-ness property. isNull either
has to be Yes or No. The refinement to Unknown neither makes
sense nor is it supported.
The updated operand stack and register values.
Refines the upper bound of this value's type to the given supertype.
Refines the upper bound of this value's type to the given supertype.
This method is only to be called if a previous "subtype of" test
(this.isValueSubtypeOf(supertype))
returned Unknown and we are now on the branch where the value has to be of
the respective type. Hence, this method only handles the case where
supertype is more strict than this type's upper type bound.
The updated operand stack and register values.
Returns the timestamp of this object.
Returns the timestamp of this object. I.e., an approximation of the point in time at which this value was created.
Updates the origin and/or isNull property; keeps the timestamp.
Updates the origin and/or isNull property; keeps the timestamp.
Creates a new instance of this object where the timestamp is set to the
given timestamp t.
Creates a new instance of this object where the timestamp is set to the
given timestamp t. Optionally, it is also possible to update the origin
and isNull information.
A typical usage:
val v : SingleOriginReferenceValue = ??? val newV = v.updateT(nextT(), isNull = Unknown)
All values (
Class<...> c) that represent the same type (e.g.java.lang.String) are actually represented by the same class (object) value at runtime.