`type path_filter``= InferBase.SourceFile.t ‑> bool```

Filter type for a source file

`type error_filter``= InferBase.IssueType.t ‑> bool```

Filter type for an error name.

`type proc_filter``= InferIR.Typ.Procname.t ‑> bool```

Filter type for a procedure name

`type filters````=` `{`

`path_filter : path_filter;`
`error_filter : error_filter;`
`proc_filter : proc_filter;`

`}```
`val create_filters : InferBase.Config.analyzer ‑> filters`

Create filters based on the config file

`val never_return_null_matcher : InferBase.SourceFile.t ‑> InferIR.Typ.Procname.t ‑> bool`
`val skip_translation_matcher : InferBase.SourceFile.t ‑> InferIR.Typ.Procname.t ‑> bool`
`val skip_implementation_matcher : InferBase.SourceFile.t ‑> InferIR.Typ.Procname.t ‑> bool`
`val modeled_expensive_matcher : (string ‑> bool) ‑> InferIR.Typ.Procname.t ‑> bool`
`val test : unit ‑> unit`

Load the config file and list the files to report on