Module IR.Inferconfig

type path_filter = IBase.SourceFile.t -> bool

Filter type for a source file

type error_filter = IBase.IssueType.t -> bool

Filter type for an error name.

type proc_filter = Procname.t -> bool

Filter type for a procedure name

type filters = {
  1. path_filter : path_filter;
  2. error_filter : error_filter;
  3. proc_filter : proc_filter;
}
val create_filters : unit -> filters

Create filters based on the config file

val never_return_null_matcher : IBase.SourceFile.t -> Procname.t -> bool
val capture_block_list_file_matcher : IBase.SourceFile.t -> bool
val modeled_expensive_matcher : (string -> bool) -> Procname.t -> bool