boolean function ( ) { return soot . PhaseOptions . getBoolean ( options , "srini_string" ) ; }
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 . concode_field_sep Map<String,String> options concode_field_sep boolean only_array_ref concode_elem_sep boolean enabled