com.ibm.wala.ipa.slicer.thin

Class CISlicer

java.lang.Object

com.ibm.wala.ipa.slicer.thin.CISlicer

Direct Known Subclasses:

ThinSlicer

public class CISlicer
extends java.lang.Object

A cheap, context-insensitive slicer based on reachability over a custom SDG.

This is a prototype implementation; not tuned.

Currently supports backward slices only.

TODO: Introduce a slicer interface common between this and the CS slicer. TODO: This hasn't been tested much. Need regression tests.

Constructor Summary

Constructors

Constructor and Description
CISlicer(CallGraph cg, PointerAnalysis<InstanceKey> pa, ModRef<InstanceKey> modRef, Slicer.DataDependenceOptions dOptions, Slicer.ControlDependenceOptions cOptions)
CISlicer(CallGraph cg, PointerAnalysis<InstanceKey> pa, Slicer.DataDependenceOptions dOptions, Slicer.ControlDependenceOptions cOptions)
CISlicer(SDG<InstanceKey> sdg, PointerAnalysis<InstanceKey> pa, ModRef<InstanceKey> modRef)

Method Summary

Modifier and Type	Method and Description
java.util.Collection<Statement>	computeBackwardThinSlice(java.util.Collection<Statement> seeds)
java.util.Collection<Statement>	computeBackwardThinSlice(Statement seed)
static java.util.Map<Statement,java.util.Set<PointerKey>>	scanForMod(SDG<InstanceKey> sdg, PointerAnalysis<InstanceKey> pa) Compute the set of pointer keys each statement mods
static java.util.Map<Statement,java.util.Set<PointerKey>>	scanForMod(SDG<InstanceKey> sdg, PointerAnalysis<InstanceKey> pa, boolean ignoreAllocHeapDefs, ModRef<InstanceKey> modRef) Compute the set of pointer keys each statement mods.
static java.util.Map<Statement,java.util.Set<PointerKey>>	scanForMod(SDG<InstanceKey> sdg, PointerAnalysis<InstanceKey> pa, ModRef<InstanceKey> modRef) Compute the set of pointer keys each statement mods
static java.util.Map<Statement,java.util.Set<PointerKey>>	scanForRef(SDG<InstanceKey> sdg, PointerAnalysis<InstanceKey> pa) Compute the set of pointer keys each statement refs
static java.util.Map<Statement,java.util.Set<PointerKey>>	scanForRef(SDG<InstanceKey> sdg, PointerAnalysis<InstanceKey> pa, ModRef<InstanceKey> modRef) Compute the set of PointerKeys each statement refs.Be careful to avoid eager PDG construction here! That means ..

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CISlicer

public CISlicer(CallGraph cg,
                PointerAnalysis<InstanceKey> pa,
                Slicer.DataDependenceOptions dOptions,
                Slicer.ControlDependenceOptions cOptions)

CISlicer

public CISlicer(CallGraph cg,
                PointerAnalysis<InstanceKey> pa,
                ModRef<InstanceKey> modRef,
                Slicer.DataDependenceOptions dOptions,
                Slicer.ControlDependenceOptions cOptions)
         throws java.lang.IllegalArgumentException

Throws:

java.lang.IllegalArgumentException

CISlicer

public CISlicer(SDG<InstanceKey> sdg,
                PointerAnalysis<InstanceKey> pa,
                ModRef<InstanceKey> modRef)

Method Detail

computeBackwardThinSlice

public java.util.Collection<Statement> computeBackwardThinSlice(Statement seed)

computeBackwardThinSlice

public java.util.Collection<Statement> computeBackwardThinSlice(java.util.Collection<Statement> seeds)

scanForMod

public static java.util.Map<Statement,java.util.Set<PointerKey>> scanForMod(SDG<InstanceKey> sdg,
                                                                            PointerAnalysis<InstanceKey> pa)

Compute the set of pointer keys each statement mods

scanForRef

public static java.util.Map<Statement,java.util.Set<PointerKey>> scanForRef(SDG<InstanceKey> sdg,
                                                                            PointerAnalysis<InstanceKey> pa)

Compute the set of pointer keys each statement refs

scanForMod

public static java.util.Map<Statement,java.util.Set<PointerKey>> scanForMod(SDG<InstanceKey> sdg,
                                                                            PointerAnalysis<InstanceKey> pa,
                                                                            ModRef<InstanceKey> modRef)

Compute the set of pointer keys each statement mods

scanForMod

public static java.util.Map<Statement,java.util.Set<PointerKey>> scanForMod(SDG<InstanceKey> sdg,
                                                                            PointerAnalysis<InstanceKey> pa,
                                                                            boolean ignoreAllocHeapDefs,
                                                                            ModRef<InstanceKey> modRef)

Compute the set of pointer keys each statement mods. Be careful to avoid eager PDG construction here! That means .. don't iterate over SDG statements!

scanForRef

public static java.util.Map<Statement,java.util.Set<PointerKey>> scanForRef(SDG<InstanceKey> sdg,
                                                                            PointerAnalysis<InstanceKey> pa,
                                                                            ModRef<InstanceKey> modRef)

Compute the set of PointerKeys each statement refs.Be careful to avoid eager PDG construction here! That means .. don't iterate over SDG statements!