soot.options
Class JBTROptions

java.lang.Object
  soot.options.JBTROptions

public class JBTROptions
extends Object

Option parser for Type Assigner.

Constructor Summary

JBTROptions(Map options)

Method Summary

boolean	compare_type_assigners() Compare type assigners -- Compares Ben Bellamy's and the older type assigner.
boolean	enabled() Enabled -- .
boolean	ignore_wrong_staticness() Ignore wrong static-ness -- Ignores errors due to wrong staticness.
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 options)

Method Detail

enabled

public boolean enabled()

Enabled -- .

ignore_wrong_staticness

public boolean ignore_wrong_staticness()

Ignore wrong static-ness -- Ignores errors due to wrong staticness. Some projects have been shown to contain invalid bytecode that tries to access a static field or method in a non-static way or the other way around. The VM's bytecode verifier will reject such bytecode when loaded into the VM. This option, when enabled, causes to create Jimple bodies in such cases nontheless, ignoring the error.

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.