Uses of Package
joeq.Compiler.Analysis.FlowInsensitive

Packages that use joeq.Compiler.Analysis.FlowInsensitive

joeq.Compiler.Analysis.FlowInsensitive
joeq.Compiler.Analysis.IPA
joeq.Compiler.Analysis.IPSSA.Utils
joeq.Compiler.Analysis.Primitive
joeq.Compiler.Quad

Classes in joeq.Compiler.Analysis.FlowInsensitive used by joeq.Compiler.Analysis.FlowInsensitive

MethodSummary
MethodSummary

MethodSummary.AccessPath
Encodes an access path.

MethodSummary.BuildMethodSummary
Visitor class to build an intramethod summary.

MethodSummary.CallSite
Represents a particular call site in a method.

MethodSummary.CheckCastNode
A CheckCastNode refers to the result of a CheckCast instruction

MethodSummary.ConcreteObjectNode
A ConcreteObjectNode refers to an object that we discovered through reflection.

MethodSummary.ConcreteTypeNode
A ConcreteTypeNode refers to an object with a concrete type.

MethodSummary.FakeParamNode

MethodSummary.FieldNode
A FieldNode represents the result of a 'load' instruction.

MethodSummary.GlobalNode
A GlobalNode stores references to the static variables.

MethodSummary.HeapObject

MethodSummary.Node

MethodSummary.NodeSet

MethodSummary.OutsideNode
An outside node is some node that can be mapped to other nodes.

MethodSummary.ParamNode
A ParamNode represents an incoming parameter.

MethodSummary.PassedParameter
Represents a particular parameter passed to a particular method call.

MethodSummary.PlaceholderNode
A PlaceholderNode is used to signify an object that is out-of-scope.

MethodSummary.ReturnedNode
A ReturnedNode represents a return value or thrown exception from a method call.

MethodSummary.ReturnValueNode
A ReturnValueNode represents the return value of a method call.

MethodSummary.State
Records the state of the intramethod analysis at some point in the method.

MethodSummary.ThrownExceptionNode
A ThrownExceptionNode represents the thrown exception of a method call.

MethodSummary.UnknownTypeNode
A UnknownTypeNode refers to an object with an unknown type.

MethodSummary.Variable

ReflectionInformationProvider

SummaryToTuples.TupleSummary

Classes in joeq.Compiler.Analysis.FlowInsensitive used by joeq.Compiler.Analysis.IPA

BogusSummaryProvider

MethodSummary
MethodSummary

MethodSummary.ConcreteTypeNode
A ConcreteTypeNode refers to an object with a concrete type.

MethodSummary.Node

ReflectionInformationProvider

Classes in joeq.Compiler.Analysis.FlowInsensitive used by joeq.Compiler.Analysis.IPSSA.Utils

MethodSummary.Node

Classes in joeq.Compiler.Analysis.FlowInsensitive used by joeq.Compiler.Analysis.Primitive

BogusSummaryProvider

ReflectionInformationProvider

Classes in joeq.Compiler.Analysis.FlowInsensitive used by joeq.Compiler.Quad

MethodSummary
MethodSummary

MethodSummary.Node