Module PulseTaintConfig.Unit
type procedure_matcher =
| ProcedureName of {
name : string;
}
| ProcedureNameRegex of {
name_regex : IStdlib.IStd.Str.regexp;
exclude_in : string list option;
exclude_names : string list option;
}
| ClassNameRegex of {
name_regex : IStdlib.IStd.Str.regexp;
exclude_in : string list option;
exclude_names : string list option;
}
| ClassAndMethodNames of {
class_names : string list;
method_names : string list;
}
| ClassNameAndMethodRegex of {
class_names : string list;
method_name_regex : IStdlib.IStd.Str.regexp;
exclude_in : string list option;
exclude_names : string list option;
}
| ClassRegexAndMethodRegex of {
class_name_regex : IStdlib.IStd.Str.regexp;
method_name_regex : IStdlib.IStd.Str.regexp;
exclude_in : string list option;
exclude_names : string list option;
}
| ClassAndMethodReturnTypeNames of {
class_names : string list;
method_return_type_names : string list;
}
| ClassWithAnnotation of {
annotation : string;
annotation_values : string list option;
}
| ClassWithAnnotationAndRegexAndMethodRegex of {
annotation : string;
annotation_values : string list option;
class_name_regex : IStdlib.IStd.Str.regexp;
method_name_regex : IStdlib.IStd.Str.regexp;
exclude_in : string list option;
exclude_names : string list option;
}
| OverridesOfClassWithAnnotation of {
annotation : string;
}
| MethodWithAnnotation of {
annotation : string;
annotation_values : string list option;
}
| Block of {
name : string;
}
| BlockNameRegex of {
name_regex : IStdlib.IStd.Str.regexp;
exclude_in : string list option;
}
| Allocation of {
class_name : string;
}
type field_matcher =
| FieldRegex of {
name_regex : IStdlib.IStd.Str.regexp;
exclude_in : string list option;
exclude_names : string list option;
}
| ClassAndFieldNames of {
class_names : string list;
field_names : string list;
}
| FieldWithAnnotation of {
annotation : string;
annotation_values : string list option;
}