Serialized Form
-
Package com.ibm.wala.cast.ir.translator
-
Class com.ibm.wala.cast.ir.translator.TranslatorToCAst.Error extends WalaException implements Serializable
-
-
Package com.ibm.wala.cast.tree.impl
-
Class com.ibm.wala.cast.tree.impl.CAstNodeTypeMapRecorder extends HashMap<CAstNode,CAstType> implements Serializable
- serialVersionUID:
- 7812144102027916961L
-
-
Package com.ibm.wala.cast.util
-
Class com.ibm.wala.cast.util.CAstPattern.Segments extends TreeMap<String,Object> implements Serializable
-
-
Package com.ibm.wala.dalvik.ipa.callgraph.androidModel.parameters
-
Class com.ibm.wala.dalvik.ipa.callgraph.androidModel.parameters.DefaultInstantiationBehavior extends IInstantiationBehavior implements Serializable
- serialVersionUID:
- 89220020131212L
-
Serialization Methods
-
readObject
private void readObject(ObjectInputStream stream) throws IOException, ClassNotFoundException
For no apparent reason not intended to be deserialized. During the implementation I thought of the DefaultInstantiationBehavior to be immutable so hard-coded behaviors don't get mixed with loaded ones. It may be deserialized but using a LoadedInstantiationBehavior instead may be a better way (as it starts in an empty state)- Throws:
IOException
ClassNotFoundException
-
writeObject
private void writeObject(ObjectOutputStream stream) throws IOException
- Throws:
IOException
-
-
Serialized Fields
-
behaviours
Map<com.ibm.wala.dalvik.ipa.callgraph.androidModel.parameters.DefaultInstantiationBehavior.BehaviorKey,com.ibm.wala.dalvik.ipa.callgraph.androidModel.parameters.DefaultInstantiationBehavior.BehviourValue> behaviours
-
-
Class com.ibm.wala.dalvik.ipa.callgraph.androidModel.parameters.IInstantiationBehavior extends Object implements Serializable
-
Class com.ibm.wala.dalvik.ipa.callgraph.androidModel.parameters.LoadedInstantiationBehavior extends IInstantiationBehavior implements Serializable
- serialVersionUID:
- 810020131212L
-
Serialization Methods
-
readObject
private void readObject(ObjectInputStream stream) throws IOException, ClassNotFoundException
- Throws:
IOException
ClassNotFoundException
-
writeObject
private void writeObject(ObjectOutputStream stream) throws IOException
- Throws:
IOException
-
-
Serialized Fields
-
behaviours
Map<com.ibm.wala.dalvik.ipa.callgraph.androidModel.parameters.LoadedInstantiationBehavior.BehaviorKey,com.ibm.wala.dalvik.ipa.callgraph.androidModel.parameters.LoadedInstantiationBehavior.BehviourValue> behaviours
-
cha
IClassHierarchy cha
-
defaultBehavior
IInstantiationBehavior.InstanceBehavior defaultBehavior
-
-
-
Package com.ibm.wala.dalvik.util
-
Class com.ibm.wala.dalvik.util.AndroidEntryPointManager extends Object implements Serializable
- serialVersionUID:
- 8740020131212L
-
Serialized Fields
-
-
Package com.ibm.wala.dataflow.IFDS
-
Class com.ibm.wala.dataflow.IFDS.TabulationCancelException extends CancelException implements Serializable
-
Serialized Fields
-
result
TabulationSolver.Result result
-
-
-
Class com.ibm.wala.dataflow.IFDS.UnorderedDomain extends MutableMapping<T> implements Serializable
-
-
Package com.ibm.wala.demandpa.alg
-
Class com.ibm.wala.demandpa.alg.BudgetExceededException extends RuntimeException implements Serializable
- serialVersionUID:
- -797000809257983053L
-
-
Package com.ibm.wala.demandpa.alg.statemachine
-
Class com.ibm.wala.demandpa.alg.statemachine.StatesMergedException extends RuntimeException implements Serializable
-
-
Package com.ibm.wala.demandpa.flowgraph
-
Class com.ibm.wala.demandpa.flowgraph.SimpleDemandPointerFlowGraph extends SlowSparseNumberedGraph<Object> implements Serializable
-
Serialized Fields
-
arrayDefs
Collection<PointerKey> arrayDefs
-
callDefs
Map<PointerKey,SSAInvokeInstruction> callDefs
Map: LocalPointerKey -> SSAInvokeInstruction. If we have (x, foo()), that means that x was def'fed by the return value from a call to foo() -
cg
CallGraph cg
-
cgNodesVisited
BitVectorIntSet cgNodesVisited
node numbers of CGNodes we have already visited -
cha
IClassHierarchy cha
-
fam
MemoryAccessMap fam
-
getFieldDefs
Map<PointerKey,IField> getFieldDefs
Map: LocalPointerKey -> IField. if we have (x,f), that means x was def'fed by a getfield on f. -
heapModel
HeapModel heapModel
-
params
Map<PointerKey,CGNode> params
Map: LocalPointerKey -> CGNode. If we have (x, foo), then x is a parameter of method foo. For now, we have to re-discover the parameter position.
-
-
-
-
Package com.ibm.wala.ipa.callgraph
-
Class com.ibm.wala.ipa.callgraph.CallGraphBuilderCancelException extends CancelException implements Serializable
-
Serialized Fields
-
cg
CallGraph cg
-
pointerAnalysis
PointerAnalysis<InstanceKey> pointerAnalysis
-
-
-
Class com.ibm.wala.ipa.callgraph.ShallowAnalysisScope extends Object implements Serializable
- serialVersionUID:
- -3256390509887654321L
-
Serialized Fields
-
exclusions
SetOfClasses exclusions
-
ldrImplLinesList
List<String> ldrImplLinesList
-
moduleLinesList
List<String> moduleLinesList
-
-
-
Package com.ibm.wala.ipa.callgraph.impl
-
Class com.ibm.wala.ipa.callgraph.impl.AllApplicationEntrypoints extends HashSet<Entrypoint> implements Serializable
-
-
Package com.ibm.wala.ipa.callgraph.propagation.rta
-
Class com.ibm.wala.ipa.callgraph.propagation.rta.CallSite extends Pair<CallSiteReference,CGNode> implements Serializable
-
-
Package com.ibm.wala.ipa.cha
-
Class com.ibm.wala.ipa.cha.CancelCHAConstructionException extends ClassHierarchyException implements Serializable
- serialVersionUID:
- -1987107302523285889L
-
Class com.ibm.wala.ipa.cha.ClassHierarchyException extends WalaException implements Serializable
- serialVersionUID:
- 381093189198391L
-
-
Package com.ibm.wala.shrikeBT
-
Class com.ibm.wala.shrikeBT.Decoder.InvalidBytecodeException extends Exception implements Serializable
- serialVersionUID:
- -8807125136613458111L
-
Serialized Fields
-
index
int index
-
-
-
Package com.ibm.wala.shrikeBT.analysis
-
Class com.ibm.wala.shrikeBT.analysis.Analyzer.FailureException extends Exception implements Serializable
- serialVersionUID:
- -7663520961403117526L
-
Serialized Fields
-
offset
int offset
-
path
List<Analyzer.PathElement> path
-
reason
String reason
-
-
-
Package com.ibm.wala.shrikeBT.tools
-
Class com.ibm.wala.shrikeBT.tools.MethodOptimizer.UnoptimizableCodeException extends Exception implements Serializable
- serialVersionUID:
- 2543170335674010642L
-
-
Package com.ibm.wala.shrikeCT
-
Class com.ibm.wala.shrikeCT.InvalidClassFileException extends Exception implements Serializable
- serialVersionUID:
- -6224203694783674259L
-
Serialized Fields
-
offset
int offset
-
-
-
Package com.ibm.wala.sourcepos
-
Class com.ibm.wala.sourcepos.InvalidSourceInfoException extends Exception implements Serializable
- serialVersionUID:
- -5895195422989965097L
-
-
Package com.ibm.wala.types
-
Class com.ibm.wala.types.ClassLoaderReference extends Object implements Serializable
- serialVersionUID:
- -3256390509887654325L
-
Serialized Fields
-
language
Atom language
A String which identifies the language for this loader -
name
Atom name
A String which identifies this loader -
parent
ClassLoaderReference parent
This class loader's parent
-
-
Class com.ibm.wala.types.TypeName extends Object implements Serializable
- serialVersionUID:
- -3256390509887654326L
-
Serialized Fields
-
key
com.ibm.wala.types.TypeName.TypeNameKey key
The key object holds all the information about a type name
-
-
Class com.ibm.wala.types.TypeReference extends Object implements Serializable
- serialVersionUID:
- -3256390509887654327L
-
Serialized Fields
-
classloader
ClassLoaderReference classloader
The initiating class loader -
name
TypeName name
The type name
-
-
-
Package com.ibm.wala.util
-
Class com.ibm.wala.util.CancelException extends Exception implements Serializable
-
Class com.ibm.wala.util.CancelRuntimeException extends RuntimeException implements Serializable
-
Class com.ibm.wala.util.ProgressMaster.TooMuchMemoryUsed extends Exception implements Serializable
-
Class com.ibm.wala.util.WalaException extends Exception implements Serializable
- serialVersionUID:
- 3959226859263419122L
-
Class com.ibm.wala.util.WalaRuntimeException extends RuntimeException implements Serializable
-
-
Package com.ibm.wala.util.collections
-
Class com.ibm.wala.util.collections.Pair extends Object implements Serializable
-
Class com.ibm.wala.util.collections.ParanoidHashMap extends LinkedHashMap<K,V> implements Serializable
- serialVersionUID:
- 909018793791787198L
-
Class com.ibm.wala.util.collections.ParanoidHashSet extends LinkedHashSet<T> implements Serializable
- serialVersionUID:
- 30919839181133333L
-
Class com.ibm.wala.util.collections.SparseVector extends Object implements Serializable
-
Serialized Fields
-
data
Object[] data
-
indices
MutableSparseIntSet indices
if indices[i] = x, then data[i] == get(x)
-
-
-
Class com.ibm.wala.util.collections.TwoLevelVector extends Object implements Serializable
-
Serialized Fields
-
data
Vector<SparseVector<T>> data
Array of IVector: data.get(i) holds data[i*PAGE_SIZE] ... data[(i+1)*PAGESIZE - 1] -
maxPage
int maxPage
-
-
-
-
Package com.ibm.wala.util.config
-
Class com.ibm.wala.util.config.FileOfClasses extends SetOfClasses implements Serializable
- serialVersionUID:
- -3256390509887654322L
-
Class com.ibm.wala.util.config.SetOfClasses extends Object implements Serializable
-
-
Package com.ibm.wala.util.debug
-
Class com.ibm.wala.util.debug.UnimplementedError extends Error implements Serializable
- serialVersionUID:
- 20981098918191L
-
-
Package com.ibm.wala.util.graph
-
Class com.ibm.wala.util.graph.GraphIntegrity.UnsoundGraphException extends Exception implements Serializable
- serialVersionUID:
- 1503478788521696930L
-
Class com.ibm.wala.util.graph.Path extends SimpleIntVector implements Serializable
-
Serialized Fields
-
size
int size
-
-
-
-
Package com.ibm.wala.util.graph.impl
-
Class com.ibm.wala.util.graph.impl.SlowNumberedNodeManager extends Object implements Serializable
-
Serialized Fields
-
map
MutableMapping<T> map
A bijection between integer <-> node
-
-
-
Class com.ibm.wala.util.graph.impl.SlowSparseNumberedGraph extends AbstractNumberedGraph<T> implements Serializable
-
Serialized Fields
-
edgeManager
SparseNumberedEdgeManager<T> edgeManager
-
nodeManager
SlowNumberedNodeManager<T> nodeManager
-
-
-
Class com.ibm.wala.util.graph.impl.SparseNumberedEdgeManager extends Object implements Serializable
-
Serialized Fields
-
hasSuccessor
BitVector hasSuccessor
cache this state here for efficiency -
nodeManager
NumberedNodeManager<T> nodeManager
-
predecessors
IBinaryNaturalRelation predecessors
-
successors
IBinaryNaturalRelation successors
-
-
-
-
Package com.ibm.wala.util.graph.traverse
-
Class com.ibm.wala.util.graph.traverse.DFSAllPathsFinder extends DFSPathFinder<T> implements Serializable
-
Class com.ibm.wala.util.graph.traverse.DFSDiscoverTimeIterator extends Stack<T> implements Serializable
-
Class com.ibm.wala.util.graph.traverse.DFSFinishTimeIterator extends Stack<T> implements Serializable
-
Class com.ibm.wala.util.graph.traverse.DFSPathFinder extends Stack<T> implements Serializable
- serialVersionUID:
- 9939900773328288L
-
Serialized Fields
-
filter
Predicate<T> filter
The Filter which defines the target set of nodes to find -
G
Graph<T> G
The graph to search -
initialized
boolean initialized
Flag recording whether initialization has happened. -
pendingChildren
Map<Object,Iterator<? extends T>> pendingChildren
An iterator of child nodes for each node being searched -
roots
Iterator<T> roots
an enumeration of all nodes to search from
-
-
Class com.ibm.wala.util.graph.traverse.NumberedDFSDiscoverTimeIterator extends com.ibm.wala.util.graph.traverse.GraphDFSDiscoverTimeIterator<T> implements Serializable
- serialVersionUID:
- -3919708273323217304L
-
Serialized Fields
-
G
NumberedGraph<T> G
The Graph being traversed -
pendingChildren
Iterator<? extends T>[] pendingChildren
An iterator of child nodes for each node being searched
-
-
Class com.ibm.wala.util.graph.traverse.NumberedDFSFinishTimeIterator extends DFSFinishTimeIterator<T> implements Serializable
- serialVersionUID:
- 8737376661L
-
Serialized Fields
-
G
NumberedGraph<T> G
The Graph being traversed -
pendingChildren
Iterator<T>[] pendingChildren
An iterator of child nodes for each node being searched
-
-
Class com.ibm.wala.util.graph.traverse.SlowDFSDiscoverTimeIterator extends com.ibm.wala.util.graph.traverse.GraphDFSDiscoverTimeIterator<T> implements Serializable
- serialVersionUID:
- 9439217987188L
-
Class com.ibm.wala.util.graph.traverse.SlowDFSFinishTimeIterator extends DFSFinishTimeIterator<T> implements Serializable
- serialVersionUID:
- 3903190104743762628L
-
-
Package com.ibm.wala.util.intset
-
Class com.ibm.wala.util.intset.BasicNaturalRelation extends Object implements Serializable
-
Serialized Fields
-
delegateStore
IVector<IntSet> delegateStore
delegateStore[x] holds an int set of the y's s.t. R(x,y) -
maxX
int maxX
maximum x for any pair in this relation. -
smallStore
IntVector[] smallStore
smallStore[i][x] holds- if >=0, the ith integer associated with x
- if -2, then use the delegateStore instead of the small store
- if -1, then R(x) is empty
-
-
-
Class com.ibm.wala.util.intset.BimodalMutableIntSet extends Object implements Serializable
-
Serialized Fields
-
impl
MutableIntSet impl
-
-
-
Class com.ibm.wala.util.intset.BitVector extends BitVectorBase<BitVector> implements Serializable
- serialVersionUID:
- 9087259335807761617L
-
Class com.ibm.wala.util.intset.BitVectorBase extends Object implements Serializable
-
Serialized Fields
-
bits
int[] bits
-
-
-
Class com.ibm.wala.util.intset.BitVectorIntSet extends Object implements Serializable
-
Serialized Fields
-
bitVector
BitVector bitVector
-
populationCount
int populationCount
-
-
-
Class com.ibm.wala.util.intset.EmptyIntSet extends Object implements Serializable
-
Class com.ibm.wala.util.intset.FixedSizeBitVector extends Object implements Serializable
- serialVersionUID:
- 33181877746462822L
-
Serialized Fields
-
bits
int[] bits
-
nbits
int nbits
-
-
Class com.ibm.wala.util.intset.MutableMapping extends Object implements Serializable
-
Class com.ibm.wala.util.intset.MutableSharedBitVectorIntSet extends Object implements Serializable
-
Serialized Fields
-
privatePart
MutableSparseIntSet privatePart
-
sharedPart
BitVectorIntSet sharedPart
-
-
-
Class com.ibm.wala.util.intset.MutableSparseIntSet extends SparseIntSet implements Serializable
-
Class com.ibm.wala.util.intset.OffsetBitVector extends BitVectorBase<OffsetBitVector> implements Serializable
-
Serialized Fields
-
offset
int offset
-
-
-
Class com.ibm.wala.util.intset.SemiSparseMutableIntSet extends Object implements Serializable
-
Serialized Fields
-
densePart
OffsetBitVector densePart
-
sparsePart
MutableSparseIntSet sparsePart
-
-
-
Class com.ibm.wala.util.intset.SimpleIntVector extends Object implements Serializable
-
Serialized Fields
-
defaultValue
int defaultValue
-
maxIndex
int maxIndex
-
store
int[] store
-
-
-
Class com.ibm.wala.util.intset.SparseIntSet extends Object implements Serializable
-
Serialized Fields
-
elements
int[] elements
The backing store of int arrays -
size
int size
The number of entries in the backing store that are valid.
-
-
-
Class com.ibm.wala.util.intset.SparseIntVector extends Object implements Serializable
-
Serialized Fields
-
data
int[] data
-
defaultValue
int defaultValue
-
EXPANSION
double EXPANSION
-
indices
MutableSparseIntSet indices
if indices[i] = x, then data[i] == get(x) -
maxIndex
int maxIndex
-
-
-
Class com.ibm.wala.util.intset.TunedMutableSparseIntSet extends MutableSparseIntSet implements Serializable
-
Serialized Fields
-
expansion
float expansion
-
initialSize
int initialSize
-
-
-
Class com.ibm.wala.util.intset.TunedSimpleIntVector extends SimpleIntVector implements Serializable
-
Serialized Fields
-
expansion
float expansion
-
initialSize
int initialSize
-
-
-
Class com.ibm.wala.util.intset.TwoLevelIntVector extends Object implements Serializable
-
Serialized Fields
-
data
Vector<SparseIntVector> data
Array of IntVector: data.get(i) holds data[i*PAGE_SIZE] ... data[(i+1)*PAGESIZE - 1] -
defaultValue
int defaultValue
-
maxIndex
int maxIndex
-
-
-
-
Package com.ibm.wala.util.ssa
-
Class com.ibm.wala.util.ssa.ClassLookupException extends RuntimeException implements Serializable
-
-
Package com.ibm.wala.util.strings
-
Class com.ibm.wala.util.strings.Atom extends Object implements Serializable
- serialVersionUID:
- -3256390509887654329L
-
Serialization Methods
-
readResolve
private Object readResolve()
Special method that is called by Java deserialization process. Any HashCons'ed object should implement it, in order to make sure that all equal objects are consolidated.
-
-
Serialized Fields
-
hash
int hash
Cached hash code for this atom key. -
val
byte[] val
The utf8 value this atom represents
-
-
-
Package com.ibm.wala.viz.viewer
-
Class com.ibm.wala.viz.viewer.CgPanel extends JSplitPane implements Serializable
-
Serialized Fields
-
cg
CallGraph cg
-
-
-
Class com.ibm.wala.viz.viewer.ChaPanel extends JSplitPane implements Serializable
-
Serialized Fields
-
cha
IClassHierarchy cha
-
-
-
Class com.ibm.wala.viz.viewer.IrViewer extends JPanel implements Serializable
-
Serialized Fields
-
irLineList
DefaultListModel irLineList
-
irLines
JList irLines
-
lineToPc
Map<Integer,Integer> lineToPc
-
lineToPosition
Map<Integer,Integer> lineToPosition
-
methodName
JTextField methodName
-
pcToLine
Map<Integer,Integer> pcToLine
-
selectedPcListners
Set<IrViewer.SelectedPcListner> selectedPcListners
-
-
-
Class com.ibm.wala.viz.viewer.PaPanel extends JSplitPane implements Serializable
-
Serialized Fields
-
cg
CallGraph cg
-
cgNodeIdToLocalPointers
MutableMapping<List<LocalPointerKey>> cgNodeIdToLocalPointers
-
cgNodeIdToReturnValue
MutableMapping<List<ReturnValueKey>> cgNodeIdToReturnValue
-
fullName
JTextField fullName
-
instanceKeyIdToInstanceFieldPointers
MutableMapping<List<InstanceFieldPointerKey>> instanceKeyIdToInstanceFieldPointers
-
irViewer
IrAndSourceViewer irViewer
-
pa
PointerAnalysis<InstanceKey> pa
-
-
-
Class com.ibm.wala.viz.viewer.SourceViewer extends JPanel implements Serializable
-
Serialized Fields
-
sourceCodeLines
JList sourceCodeLines
-
sourceCodeLinesList
DefaultListModel sourceCodeLinesList
-
sourceCodeLocation
JTextField sourceCodeLocation
-
sourceURL
URL sourceURL
-
-
-
Class com.ibm.wala.viz.viewer.WalaViewer extends JFrame implements Serializable
-