Module `Biabduction.Buckets`

val classify_access : Absint.Localise.error_desc -> Absint.Localise.access option -> IR.DecompiledExp.t option -> bool -> Absint.Localise.error_desc: Classify the bucket of an error desc using Location.access and nullable information