cwe_367.mli 279 Bytes Edit 1 2 3 4 5 6 7 8 (** TODO CWE-367 (Time-of-check Time-of-use (TOCTOU) Race Condition) https://en.wikipedia.org/wiki/Time_of_check_to_time_of_use *) 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 -> unit
