Option parser for Type Assigner.
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 --
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
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.