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<java.lang.String,java.lang.String> options)

Method Summary

Methods

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<java.lang.String,java.lang.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.