Module Uaf_detection

module Uaf_detection: sig .. end

type heap_event_t = 
| ALLOC of (int * int64 * int64)
| ALLOC_UAF of (int * int64 * int64)
| FREE of (int * int64)
| DFREE of (int * int64)
exception DOUBLEFREE of int * int64
class uaf_detection : Options.trace_analysis_config -> object .. end