soot.options
Class NPCOptions

java.lang.Object
  extended by soot.options.NPCOptions

public class NPCOptions
extends Object

Option parser for Null Pointer Checker.


Constructor Summary
NPCOptions(Map options)
           
 
Method Summary
 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 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.