soot.options

Class NPCOptions

java.lang.Object

soot.options.NPCOptions

public class NPCOptions
extends java.lang.Object

Option parser for Null Pointer Checker.

Constructor Summary

Constructors

Constructor and Description
NPCOptions(java.util.Map 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(java.util.Map 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.