Package com.ibm.wala.ipa.slicer
package com.ibm.wala.ipa.slicer
-
ClassDescriptionA
Statementrepresenting the exceptional return value in a callee, immediately before returning to the caller.AStatementrepresenting the exceptional return value in a caller, immediately after returning to the caller.identifier of a GetCaughtException instructionheap locations that should be excluded from data dependence during slicingHeapReachingDefs<T extends InstanceKey>Computation of reaching definitions for heap locations, relying on pointer analysisInterface for an SDG (loosely defined here as a graph ofStatements.A statement representing method entry, used for managing control dependence.AStatementrepresenting method exit used as a dummy exit for starting propagation to a seed statement in backwards slicing.AStatementrepresenting the normal return value in a callee, immediately before returning to the caller.AStatementrepresenting the normal return value in a caller, immediately after returning to the caller.A statement that has a corresponding index in the SSA IRAStatementrepresenting a formal parameterAStatementrepresenting an actual parameterPDG<T extends InstanceKey>Program dependence graph for a single call graph nodeidentifier of a phi instructionidentifier of a Pi instructionTrivial flow functions to represent simple reachability.SDG<T extends InstanceKey>System dependence graph.flow functions for flow-sensitive context-sensitive slicerA demand-driven context-sensitive slicer.options to control control dependence edges in the sdgoptions to control data dependence edges in the SDGTabulation problem representing slicingutility methods for working with slices and sliceStatementsIdentifier of a statement in an SDG.AStatementwhich carries an instruction index, representing the index of anSSAInstructionin the IR instruction array.