soot.options

Class JBTROptions

java.lang.Object

soot.options.JBTROptions

@Generated(value="Saxonica v3.0",
           comments="from soot_options.xml")
public class JBTROptions
extends Object

Option parser for Type Assigner.

Constructor Summary

Constructors

Constructor and Description
JBTROptions(Map<String,String> options)

Method Summary

Modifier and Type	Method and Description
boolean	compare_type_assigners() Compare type assigners -- Compares Ben Bellamy's and the older type assigner.
boolean	enabled() Enabled
boolean	ignore_nullpointer_dereferences() Ignore Nullpointer Dereferences -- Ignores virtual method calls on base objects that may only be null.
boolean	use_older_type_assigner() Use older type assigner -- Enables the older type assigner.

Methods inherited from class java.lang.Object

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

Constructor Detail

JBTROptions

public JBTROptions(Map<String,String> options)

Method Detail

enabled

public boolean enabled()

Enabled

use_older_type_assigner

public boolean use_older_type_assigner()

Use older type assigner -- Enables the older type assigner. This enables the older type assigner that was in use until May 2008. The current type assigner is a reimplementation by Ben Bellamy that uses an entirely new and faster algorithm which always assigns the most narrow type possible. If compare-type-assigners is on, this option causes the older type assigner to execute first. (Otherwise the newer one is executed first.)

compare_type_assigners

public boolean compare_type_assigners()

Compare type assigners -- Compares Ben Bellamy's and the older type assigner. Enables comparison (both runtime and results) of Ben Bellamy's type assigner with the older type assigner that was in Soot.

ignore_nullpointer_dereferences

public boolean ignore_nullpointer_dereferences()

Ignore Nullpointer Dereferences -- Ignores virtual method calls on base objects that may only be null. If this option is enabled, Soot wiil not check whether the base object of a virtual method call can only be null. This will lead to the null_type pseudo type being used in your Jimple code.