(** This module implements a check for CWE-215: Information Exposure Through Debug Information. Sensitive debugging information can be leveraged to get a better understanding of a binary in less time. See {: https://cwe.mitre.org/data/definitions/215.html} for a detailed description. {1 How the check works} The binary is checked for debug strings using readelf. {1 False Positives} None known. {1 False Negatives} - There may be other debug information not found by readelf. *) val name : string val version : string val check_cwe : Bap.Std.program Bap.Std.term -> Bap.Std.project -> Bap.Std.word Bap.Std.Tid.Map.t -> string list list -> string list -> unit