soot.options

Class NPCOptions

java.lang.Object

soot.options.NPCOptions

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

Option parser for Null Pointer Checker.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	enabled() Enabled
boolean	only_array_ref() Only Array Ref -- Annotate only array references.
boolean	profiling() Profiling -- Insert instructions to count safe pointer accesses.

Methods inherited from class java.lang.Object

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

Constructor Detail

NPCOptions

public NPCOptions(Map<String,String> options)

Method Detail

enabled

public boolean enabled()

Enabled

only_array_ref

public boolean only_array_ref()

Only Array Ref -- Annotate only array references. Annotate only array-referencing instructions, instead of all instructions that need null pointer checks.

profiling

public boolean profiling()

Profiling -- Insert instructions to count safe pointer accesses. Insert profiling instructions that at runtime count the number of eliminated safe null pointer checks. The inserted profiling code assumes the existence of a MultiCounter class implementing the methods invoked. For details, see the NullPointerChecker source code.