| Package | Description |
|---|---|
| com.ibm.wala.analysis.reflection |
This package provides functions to deal with reflection.
|
| com.ibm.wala.analysis.reflection.java7 | |
| com.ibm.wala.analysis.typeInference |
This package provides intraprocedural type inference over the SSA form.
|
| com.ibm.wala.cfg |
This package provides control-flow graph utilities.
|
| com.ibm.wala.cfg.exc | |
| com.ibm.wala.cfg.exc.inter | |
| com.ibm.wala.cfg.exc.intra | |
| com.ibm.wala.classLoader |
This package provides functionality related to class loading and
management of loaded classes.
|
| com.ibm.wala.dataflow.IFDS |
This package provides an RHS solver for IFDS problems.
|
| com.ibm.wala.dataflow.ssa | |
| com.ibm.wala.demandpa.flowgraph | |
| com.ibm.wala.escape | |
| com.ibm.wala.ipa.callgraph |
This package provides basic interfaces and functions for call graph
construction.
|
| com.ibm.wala.ipa.callgraph.impl |
This package provides some implementations of basic functions needed for
various call graph construction algorithms.
|
| com.ibm.wala.ipa.callgraph.propagation |
This package provides the base layer for propagation-based call graph
construction and pointer analysis.
|
| com.ibm.wala.ipa.callgraph.propagation.cfa |
This package provides RTA call graph
construction.
|
| com.ibm.wala.ipa.cfg |
This package supports interprocedural control-flow graphs, and control-flow
graphs specialized for context.
|
| com.ibm.wala.ipa.modref | |
| com.ibm.wala.ipa.slicer | |
| com.ibm.wala.ipa.summaries |
This package provides class hierarchy analysis.
|
| com.ibm.wala.ssa |
This package provides the WALA SSA IR.
|
| com.ibm.wala.ssa.analysis |
This package provides analyses over the WALA SSA IR.
|
| com.ibm.wala.util.ssa |
A set of classes facilitating the construction of synthetic methods.
|
| com.ibm.wala.viz | |
| com.ibm.wala.viz.viewer |
| Class and Description |
|---|
| DefUse
An object which represent Def-Use information for an SSA
IR |
| IR
An SSA IR.
|
| ISSABasicBlock
Common interface to all SSA BasicBlocks
|
| SSAInstruction
An instruction in SSA form.
|
| SSAOptions
Options that govern SSA construction
|
| Class and Description |
|---|
| DefUse
An object which represent Def-Use information for an SSA
IR |
| IR
An SSA IR.
|
| ISSABasicBlock
Common interface to all SSA BasicBlocks
|
| SSAInstruction
An instruction in SSA form.
|
| Class and Description |
|---|
| IR
An SSA IR.
|
| IVisitorWithAddresses |
| SSAAddressOfInstruction
An
SSAAddressOfInstruction represents storing the address of some "source" level entity (@see SSAIndirectionData.Name) into an SSA
value number. |
| SSAArrayLengthInstruction
SSA instruction representing v_x := arraylength v_y
|
| SSAArrayLoadInstruction
SSA instruction representing an array load.
|
| SSABinaryOpInstruction |
| SSACheckCastInstruction
A checkcast (dynamic type test) instruction.
|
| SSAComparisonInstruction
SSA Instruction for comparisons between floats, longs and doubles
|
| SSAConversionInstruction
An instruction which converts a value of one primitive type into another primitive type.
|
| SSAGetCaughtExceptionInstruction
A "catch" instruction, inserted at the head of a catch block, which assigns a pending exception object to a local variable.
|
| SSAGetInstruction
SSA instruction that reads a field (i.e.
|
| SSAInstanceofInstruction
A dynamic type test (instanceof) instruction.
|
| SSAInstruction
An instruction in SSA form.
|
| SSAInstruction.IVisitor
This interface is used by Instruction.visit to dispatch based on the instruction type.
|
| SSAInstruction.Visitor
A base visitor implementation that does nothing.
|
| SSAInvokeInstruction |
| SSALoadIndirectInstruction
A load from a pointer.
|
| SSALoadMetadataInstruction
An instruction that represents a reflective or meta-programming operation, like loadClass in Java
|
| SSANewInstruction
An allocation instruction ("new") for SSA form.
|
| SSAPhiInstruction
A phi instruction in SSA form.
|
| SSAPiInstruction
A Pi instruction is a dummy assignment inserted at the tail of a basic block, in order
to get a new variable name to associate with some flow-insensitive dataflow fact.
|
| SSAStoreIndirectInstruction
A store from a pointer.
|
| SSAUnaryOpInstruction
An SSA instruction for some unary operator.
|
| Class and Description |
|---|
| IR
An SSA IR.
|
| ISSABasicBlock
Common interface to all SSA BasicBlocks
|
| SSAArrayLengthInstruction
SSA instruction representing v_x := arraylength v_y
|
| SSAArrayLoadInstruction
SSA instruction representing an array load.
|
| SSAArrayStoreInstruction
SSA instruction representing an array store.
|
| SSACheckCastInstruction
A checkcast (dynamic type test) instruction.
|
| SSAConditionalBranchInstruction
A conditional branch instruction, which tests two values according to some
IConditionalBranchInstruction.IOperator. |
| SSAGetInstruction
SSA instruction that reads a field (i.e.
|
| SSAGotoInstruction
Unconditional branch instruction for SSA form.
|
| SSAInstruction
An instruction in SSA form.
|
| SSAInstruction.IVisitor
This interface is used by Instruction.visit to dispatch based on the instruction type.
|
| SSAInstruction.Visitor
A base visitor implementation that does nothing.
|
| SSAInvokeInstruction |
| SSAMonitorInstruction
An instruction representing a monitorenter or monitorexit operation.
|
| SSANewInstruction
An allocation instruction ("new") for SSA form.
|
| SSAPhiInstruction
A phi instruction in SSA form.
|
| SSAPiInstruction
A Pi instruction is a dummy assignment inserted at the tail of a basic block, in order
to get a new variable name to associate with some flow-insensitive dataflow fact.
|
| SSAPutInstruction
A putfield or putstatic instruction
|
| SSAReturnInstruction
A return instruction.
|
| SSASwitchInstruction
SSA instruction representing a switch statement.
|
| SSAThrowInstruction
An instruction which unconditionally throws an exception
|
| Class and Description |
|---|
| IR
An SSA IR.
|
| ISSABasicBlock
Common interface to all SSA BasicBlocks
|
| SSAInstruction
An instruction in SSA form.
|
| Class and Description |
|---|
| SSAAbstractInvokeInstruction
A Call instruction.
|
| SSAInstruction
An instruction in SSA form.
|
| Class and Description |
|---|
| IR
An SSA IR.
|
| ISSABasicBlock
Common interface to all SSA BasicBlocks
|
| SSAAbstractInvokeInstruction
A Call instruction.
|
| SSAInstruction
An instruction in SSA form.
|
| Class and Description |
|---|
| IR
An SSA IR.
|
| IRFactory
This is intended as an internal interface; clients probably shouldn't be using this directly.
|
| SSAAbstractBinaryInstruction |
| SSAAddressOfInstruction
An
SSAAddressOfInstruction represents storing the address of some "source" level entity (@see SSAIndirectionData.Name) into an SSA
value number. |
| SSAArrayLengthInstruction
SSA instruction representing v_x := arraylength v_y
|
| SSAArrayLoadInstruction
SSA instruction representing an array load.
|
| SSAArrayStoreInstruction
SSA instruction representing an array store.
|
| SSACheckCastInstruction
A checkcast (dynamic type test) instruction.
|
| SSAComparisonInstruction
SSA Instruction for comparisons between floats, longs and doubles
|
| SSAConditionalBranchInstruction
A conditional branch instruction, which tests two values according to some
IConditionalBranchInstruction.IOperator. |
| SSAConversionInstruction
An instruction which converts a value of one primitive type into another primitive type.
|
| SSAGetCaughtExceptionInstruction
A "catch" instruction, inserted at the head of a catch block, which assigns a pending exception object to a local variable.
|
| SSAGetInstruction
SSA instruction that reads a field (i.e.
|
| SSAGotoInstruction
Unconditional branch instruction for SSA form.
|
| SSAInstanceofInstruction
A dynamic type test (instanceof) instruction.
|
| SSAInstruction
An instruction in SSA form.
|
| SSAInstructionFactory
An instruction factory for SSA.
|
| SSAInvokeInstruction |
| SSALoadIndirectInstruction
A load from a pointer.
|
| SSALoadMetadataInstruction
An instruction that represents a reflective or meta-programming operation, like loadClass in Java
|
| SSAMonitorInstruction
An instruction representing a monitorenter or monitorexit operation.
|
| SSANewInstruction
An allocation instruction ("new") for SSA form.
|
| SSAOptions
Options that govern SSA construction
|
| SSAPhiInstruction
A phi instruction in SSA form.
|
| SSAPiInstruction
A Pi instruction is a dummy assignment inserted at the tail of a basic block, in order
to get a new variable name to associate with some flow-insensitive dataflow fact.
|
| SSAPutInstruction
A putfield or putstatic instruction
|
| SSAReturnInstruction
A return instruction.
|
| SSAStoreIndirectInstruction
A store from a pointer.
|
| SSASwitchInstruction
SSA instruction representing a switch statement.
|
| SSAThrowInstruction
An instruction which unconditionally throws an exception
|
| SSAUnaryOpInstruction
An SSA instruction for some unary operator.
|
| Class and Description |
|---|
| IR
An SSA IR.
|
| SSAInstruction
An instruction in SSA form.
|
| Class and Description |
|---|
| IR
An SSA IR.
|
| SSAInstruction
An instruction in SSA form.
|
| Class and Description |
|---|
| DefUse
An object which represent Def-Use information for an SSA
IR |
| IR
An SSA IR.
|
| ISSABasicBlock
Common interface to all SSA BasicBlocks
|
| SSAAbstractInvokeInstruction
A Call instruction.
|
| SSAArrayLoadInstruction
SSA instruction representing an array load.
|
| SSAArrayStoreInstruction
SSA instruction representing an array store.
|
| SSACheckCastInstruction
A checkcast (dynamic type test) instruction.
|
| SSAGetCaughtExceptionInstruction
A "catch" instruction, inserted at the head of a catch block, which assigns a pending exception object to a local variable.
|
| SSAGetInstruction
SSA instruction that reads a field (i.e.
|
| SSAInstruction
An instruction in SSA form.
|
| SSAInstruction.IVisitor
This interface is used by Instruction.visit to dispatch based on the instruction type.
|
| SSAInstruction.Visitor
A base visitor implementation that does nothing.
|
| SSAInvokeInstruction |
| SSALoadMetadataInstruction
An instruction that represents a reflective or meta-programming operation, like loadClass in Java
|
| SSANewInstruction
An allocation instruction ("new") for SSA form.
|
| SSAPiInstruction
A Pi instruction is a dummy assignment inserted at the tail of a basic block, in order
to get a new variable name to associate with some flow-insensitive dataflow fact.
|
| SSAPutInstruction
A putfield or putstatic instruction
|
| SSAReturnInstruction
A return instruction.
|
| SSAThrowInstruction
An instruction which unconditionally throws an exception
|
| SymbolTable
A symbol table which associates information with each variable (value number) in an SSA IR.
|
| Class and Description |
|---|
| DefUse
An object which represent Def-Use information for an SSA
IR |
| IR
An SSA IR.
|
| Class and Description |
|---|
| DefUse
An object which represent Def-Use information for an SSA
IR |
| IR
An SSA IR.
|
| IRFactory
This is intended as an internal interface; clients probably shouldn't be using this directly.
|
| SSAAbstractInvokeInstruction
A Call instruction.
|
| SSACache
A mapping from IMethod -> SSAOptions -> SoftReference -> Something
This doesn't work very well ...
|
| SSAOptions
Options that govern SSA construction
|
| Class and Description |
|---|
| DefUse
An object which represent Def-Use information for an SSA
IR |
| IR
An SSA IR.
|
| ISSABasicBlock
Common interface to all SSA BasicBlocks
|
| SSAInstruction
An instruction in SSA form.
|
| SSAInstructionFactory
An instruction factory for SSA.
|
| SSAInvokeInstruction |
| SSANewInstruction
An allocation instruction ("new") for SSA form.
|
| SSAOptions
Options that govern SSA construction
|
| SSAReturnInstruction
A return instruction.
|
| Class and Description |
|---|
| DefUse
An object which represent Def-Use information for an SSA
IR |
| IR
An SSA IR.
|
| ISSABasicBlock
Common interface to all SSA BasicBlocks
|
| SSAAbstractInvokeInstruction
A Call instruction.
|
| SSAArrayLoadInstruction
SSA instruction representing an array load.
|
| SSAArrayStoreInstruction
SSA instruction representing an array store.
|
| SSACFG.BasicBlock
A Basic Block in an SSA IR
|
| SSACheckCastInstruction
A checkcast (dynamic type test) instruction.
|
| SSAGetCaughtExceptionInstruction
A "catch" instruction, inserted at the head of a catch block, which assigns a pending exception object to a local variable.
|
| SSAGetInstruction
SSA instruction that reads a field (i.e.
|
| SSAInstruction
An instruction in SSA form.
|
| SSAInstruction.IVisitor
This interface is used by Instruction.visit to dispatch based on the instruction type.
|
| SSAInstruction.Visitor
A base visitor implementation that does nothing.
|
| SSAInvokeInstruction |
| SSALoadMetadataInstruction
An instruction that represents a reflective or meta-programming operation, like loadClass in Java
|
| SSANewInstruction
An allocation instruction ("new") for SSA form.
|
| SSAPhiInstruction
A phi instruction in SSA form.
|
| SSAPiInstruction
A Pi instruction is a dummy assignment inserted at the tail of a basic block, in order
to get a new variable name to associate with some flow-insensitive dataflow fact.
|
| SSAPutInstruction
A putfield or putstatic instruction
|
| SSAReturnInstruction
A return instruction.
|
| SSAThrowInstruction
An instruction which unconditionally throws an exception
|
| SymbolTable
A symbol table which associates information with each variable (value number) in an SSA IR.
|
| Class and Description |
|---|
| DefUse
An object which represent Def-Use information for an SSA
IR |
| IR
An SSA IR.
|
| ISSABasicBlock
Common interface to all SSA BasicBlocks
|
| SSAInstruction
An instruction in SSA form.
|
| Class and Description |
|---|
| ISSABasicBlock
Common interface to all SSA BasicBlocks
|
| SSAInstruction
An instruction in SSA form.
|
| SSAPhiInstruction
A phi instruction in SSA form.
|
| SSAPiInstruction
A Pi instruction is a dummy assignment inserted at the tail of a basic block, in order
to get a new variable name to associate with some flow-insensitive dataflow fact.
|
| Class and Description |
|---|
| SSAArrayLengthInstruction
SSA instruction representing v_x := arraylength v_y
|
| SSAArrayLoadInstruction
SSA instruction representing an array load.
|
| SSAArrayStoreInstruction
SSA instruction representing an array store.
|
| SSAGetInstruction
SSA instruction that reads a field (i.e.
|
| SSAInstruction
An instruction in SSA form.
|
| SSAInstruction.IVisitor
This interface is used by Instruction.visit to dispatch based on the instruction type.
|
| SSAInstruction.Visitor
A base visitor implementation that does nothing.
|
| SSANewInstruction
An allocation instruction ("new") for SSA form.
|
| SSAPutInstruction
A putfield or putstatic instruction
|
| Class and Description |
|---|
| IR
An SSA IR.
|
| SSAAbstractInvokeInstruction
A Call instruction.
|
| SSAGetCaughtExceptionInstruction
A "catch" instruction, inserted at the head of a catch block, which assigns a pending exception object to a local variable.
|
| SSAInstruction
An instruction in SSA form.
|
| SSAPhiInstruction
A phi instruction in SSA form.
|
| SSAPiInstruction
A Pi instruction is a dummy assignment inserted at the tail of a basic block, in order
to get a new variable name to associate with some flow-insensitive dataflow fact.
|
| Class and Description |
|---|
| ConstantValue
The value of a constant which appears in an SSA IR.
|
| IR
An SSA IR.
|
| IR.SSA2LocalMap
A Map that gives the names of the local variables corresponding to SSA value numbers at particular IR instruction indices, if
such information is available from source code mapping.
|
| IRFactory
This is intended as an internal interface; clients probably shouldn't be using this directly.
|
| SSAIndirectionData
A mapping that tells, for a given instruction s, what "names" does s def and use indirectly.
|
| SSAIndirectionData.Name
A Name is a mock interface introduced just for strong typing.
|
| SSAInstruction
An instruction in SSA form.
|
| SSAInstructionFactory
An instruction factory for SSA.
|
| SSAInvokeDynamicInstruction |
| SSAOptions
Options that govern SSA construction
|
| Class and Description |
|---|
| CompoundPiPolicy
A Combination of 2
SSAPiNodePolicys. |
| ConstantValue
The value of a constant which appears in an SSA IR.
|
| DefUse
An object which represent Def-Use information for an SSA
IR |
| InstanceOfPiPolicy
A pi node policy with the following rule:
If we have the following code:
|
| IR
An SSA IR.
|
| IR.SSA2LocalMap
A Map that gives the names of the local variables corresponding to SSA value numbers at particular IR instruction indices, if
such information is available from source code mapping.
|
| IRFactory
This is intended as an internal interface; clients probably shouldn't be using this directly.
|
| ISSABasicBlock
Common interface to all SSA BasicBlocks
|
| NullTestPiPolicy
A pi node policy with the following rule:
If we have the following code:
|
| PhiValue
A value generated by a phi instruction.
|
| ShrikeIndirectionData
An implementation of
SSAIndirectionData specialized for IRs originated from Shrike. |
| ShrikeIndirectionData.ShrikeLocalName
In Shrike, the only "source" level entities which have names relevant to indirect pointer operations are bytecode locals.
|
| SSAAbstractBinaryInstruction |
| SSAAbstractInvokeInstruction
A Call instruction.
|
| SSAAbstractThrowInstruction
An instruction which unconditionally throws an exception
|
| SSAAbstractUnaryInstruction |
| SSAAddressOfInstruction
An
SSAAddressOfInstruction represents storing the address of some "source" level entity (@see SSAIndirectionData.Name) into an SSA
value number. |
| SSAArrayLengthInstruction
SSA instruction representing v_x := arraylength v_y
|
| SSAArrayLoadInstruction
SSA instruction representing an array load.
|
| SSAArrayReferenceInstruction
Abstract base class for instructions that load or store from array contents.
|
| SSAArrayStoreInstruction
SSA instruction representing an array store.
|
| SSABinaryOpInstruction |
| SSABuilder
This class constructs an SSA
IR from a backing ShrikeBT instruction stream. |
| SSACFG
A control-flow graph for ssa form.
|
| SSACFG.BasicBlock
A Basic Block in an SSA IR
|
| SSACheckCastInstruction
A checkcast (dynamic type test) instruction.
|
| SSAComparisonInstruction
SSA Instruction for comparisons between floats, longs and doubles
|
| SSAConditionalBranchInstruction
A conditional branch instruction, which tests two values according to some
IConditionalBranchInstruction.IOperator. |
| SSAConversionInstruction
An instruction which converts a value of one primitive type into another primitive type.
|
| SSAFieldAccessInstruction
Abstract base class for
SSAGetInstruction and SSAPutInstruction. |
| SSAGetCaughtExceptionInstruction
A "catch" instruction, inserted at the head of a catch block, which assigns a pending exception object to a local variable.
|
| SSAGetInstruction
SSA instruction that reads a field (i.e.
|
| SSAGotoInstruction
Unconditional branch instruction for SSA form.
|
| SSAIndirectionData
A mapping that tells, for a given instruction s, what "names" does s def and use indirectly.
|
| SSAIndirectionData.Name
A Name is a mock interface introduced just for strong typing.
|
| SSAInstanceofInstruction
A dynamic type test (instanceof) instruction.
|
| SSAInstruction
An instruction in SSA form.
|
| SSAInstruction.IVisitor
This interface is used by Instruction.visit to dispatch based on the instruction type.
|
| SSAInstruction.Visitor
A base visitor implementation that does nothing.
|
| SSAInstructionFactory
An instruction factory for SSA.
|
| SSAInvokeInstruction |
| SSALoadIndirectInstruction
A load from a pointer.
|
| SSALoadMetadataInstruction
An instruction that represents a reflective or meta-programming operation, like loadClass in Java
|
| SSAMonitorInstruction
An instruction representing a monitorenter or monitorexit operation.
|
| SSANewInstruction
An allocation instruction ("new") for SSA form.
|
| SSAOptions
Options that govern SSA construction
|
| SSAOptions.DefaultValues
While SSA form makes the not-unreasonable assumption that values must be defined before they are used, many
languages permit using undefined variables and simply give them some default value.
|
| SSAPhiInstruction
A phi instruction in SSA form.
|
| SSAPiInstruction
A Pi instruction is a dummy assignment inserted at the tail of a basic block, in order
to get a new variable name to associate with some flow-insensitive dataflow fact.
|
| SSAPiNodePolicy
The
SSABuilder consults this as an oracle to decide how to insert SSAPiInstructions |
| SSAPutInstruction
A putfield or putstatic instruction
|
| SSAReturnInstruction
A return instruction.
|
| SSAStoreIndirectInstruction
A store from a pointer.
|
| SSASwitchInstruction
SSA instruction representing a switch statement.
|
| SSAThrowInstruction
An instruction which unconditionally throws an exception
|
| SSAUnaryOpInstruction
An SSA instruction for some unary operator.
|
| SymbolTable
A symbol table which associates information with each variable (value number) in an SSA IR.
|
| Value
Representation of a particular value which appears in an SSA IR.
|
| Class and Description |
|---|
| IR
An SSA IR.
|
| ISSABasicBlock
Common interface to all SSA BasicBlocks
|
| SSAGetCaughtExceptionInstruction
A "catch" instruction, inserted at the head of a catch block, which assigns a pending exception object to a local variable.
|
| SSAInstruction
An instruction in SSA form.
|
| Class and Description |
|---|
| SSAArrayLoadInstruction
SSA instruction representing an array load.
|
| SSAArrayStoreInstruction
SSA instruction representing an array store.
|
| SSAConditionalBranchInstruction
A conditional branch instruction, which tests two values according to some
IConditionalBranchInstruction.IOperator. |
| SSAGetInstruction
SSA instruction that reads a field (i.e.
|
| SSAGotoInstruction
Unconditional branch instruction for SSA form.
|
| SSAInstruction
An instruction in SSA form.
|
| SSAInvokeInstruction |
| SSANewInstruction
An allocation instruction ("new") for SSA form.
|
| SSAPhiInstruction
A phi instruction in SSA form.
|
| SSAPutInstruction
A putfield or putstatic instruction
|
| SSAReturnInstruction
A return instruction.
|
| Class and Description |
|---|
| IR
An SSA IR.
|
| ISSABasicBlock
Common interface to all SSA BasicBlocks
|
| Class and Description |
|---|
| IR
An SSA IR.
|
Copyright © 2015. All rights reserved.