soot.options

Class CPOptions

java.lang.Object

soot.options.CPOptions

public class CPOptions
extends java.lang.Object

Option parser for Copy Propagator.

Constructor Summary

Constructors

Constructor and Description
CPOptions(java.util.Map<java.lang.String,java.lang.String> options)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	enabled() Enabled -- .
boolean	only_regular_locals() Only Regular Locals -- .
boolean	only_stack_locals() Only Stack Locals -- .

Methods inherited from class java.lang.Object

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

Constructor Detail

CPOptions

public CPOptions(java.util.Map<java.lang.String,java.lang.String> options)

Method Detail

enabled

public boolean enabled()

Enabled -- .

only_regular_locals

public boolean only_regular_locals()

Only Regular Locals -- . Only propagate copies through ``regular'' locals, that is, those declared in the source bytecode.

only_stack_locals

public boolean only_stack_locals()

Only Stack Locals -- . Only propagate copies through locals that represent stack locations in the original bytecode.