soot.options
Class ShimpleOptions
java.lang.Object
|
+--soot.options.ShimpleOptions
- public class ShimpleOptions
- extends java.lang.Object
Option parser for Shimple Control.
Method Summary |
boolean |
enabled()
Enabled --
. |
int |
phi_elim_opt()
Phi Node Elimination Optimizations --
Phi node elimination optimizations. |
boolean |
standard_local_names()
Local Name Standardization --
Uses naming scheme of the Local Name Standardizer.. |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
phi_elim_opt_none
public static final int phi_elim_opt_none
phi_elim_opt_pre
public static final int phi_elim_opt_pre
phi_elim_opt_post
public static final int phi_elim_opt_post
phi_elim_opt_pre_and_post
public static final int phi_elim_opt_pre_and_post
ShimpleOptions
public ShimpleOptions(java.util.Map options)
enabled
public boolean enabled()
- Enabled --
.
standard_local_names
public boolean standard_local_names()
- Local Name Standardization --
Uses naming scheme of the Local Name Standardizer..
If enabled, the Local Name Standardizer is applied
after Shimple creates new locals. Normally, Shimple
will retain the original local names as far as
possible and use an underscore notation to denote
SSA subscripts. This transformation does not
otherwise affect Shimple behaviour.
phi_elim_opt
public int phi_elim_opt()
- Phi Node Elimination Optimizations --
Phi node elimination optimizations.