|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use joeq.Compiler.Analysis.Primitive | |
|---|---|
| joeq.Compiler.Analysis.Primitive | |
| Classes in joeq.Compiler.Analysis.Primitive used by joeq.Compiler.Analysis.Primitive | |
|---|---|
| PrimitiveMethodSummary
MethodSummary |
|
| PrimitiveMethodSummary.AccessPath
Encodes an access path. |
|
| PrimitiveMethodSummary.BuildMethodSummary
Visitor class to build an intramethod summary. |
|
| PrimitiveMethodSummary.CallSite
Represents a particular call site in a method. |
|
| PrimitiveMethodSummary.CheckCastNode
A CheckCastNode refers to the result of a CheckCast instruction |
|
| PrimitiveMethodSummary.ConcreteObjectNode
A ConcreteObjectNode refers to an object that we discovered through reflection. |
|
| PrimitiveMethodSummary.ConcreteTypeNode
A ConcreteTypeNode refers to an object with a concrete type. |
|
| PrimitiveMethodSummary.FakeParamNode
|
|
| PrimitiveMethodSummary.FieldNode
A FieldNode represents the result of a 'load' instruction. |
|
| PrimitiveMethodSummary.GlobalNode
A GlobalNode stores references to the static variables. |
|
| PrimitiveMethodSummary.HeapObject
|
|
| PrimitiveMethodSummary.Node
|
|
| PrimitiveMethodSummary.NodeSet
|
|
| PrimitiveMethodSummary.OutsideNode
An outside node is some node that can be mapped to other nodes. |
|
| PrimitiveMethodSummary.ParamNode
A ParamNode represents an incoming parameter. |
|
| PrimitiveMethodSummary.PassedParameter
Represents a particular parameter passed to a particular method call. |
|
| PrimitiveMethodSummary.PlaceholderNode
A PlaceholderNode is used to signify an object that is out-of-scope. |
|
| PrimitiveMethodSummary.ReturnedNode
A ReturnedNode represents a return value or thrown exception from a method call. |
|
| PrimitiveMethodSummary.ReturnValueNode
A ReturnValueNode represents the return value of a method call. |
|
| PrimitiveMethodSummary.State
Records the state of the intramethod analysis at some point in the method. |
|
| PrimitiveMethodSummary.ThrownExceptionNode
A ThrownExceptionNode represents the thrown exception of a method call. |
|
| PrimitiveMethodSummary.UnknownTypeNode
A UnknownTypeNode refers to an object with an unknown type. |
|
| PrimitiveMethodSummary.Variable
|
|
| PrimitivePA
Pointer analysis using BDDs. |
|
| PrimitivePA.HeapPathSelector
|
|
| PrimitivePA.ObjectPathSelector
|
|
| PrimitivePA.VarPathSelector
|
|
| PrimitiveSubtypeHelper
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||