add color tags -- add color tags to results of array bound check analysis . . add color tags to the results of the array bounds check analysis . concode_field_sep Map<String,String> options concode_field_sep boolean with_arrayref concode_elem_sep boolean with_fieldref concode_elem_sep boolean profiling concode_elem_sep boolean with_classfield concode_elem_sep boolean with_all concode_elem_sep boolean with_rectarray concode_elem_sep boolean enabled concode_elem_sep boolean with_cse
boolean function ( ) { return soot . PhaseOptions . getBoolean ( options , "srini_string" ) ; }