Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Types of meta information.
val tracer : tracer Bap.Std.tag
description of a tracer that was used to create the trace
val binary : binary Bap.Std.tag
description of a target binary (executable) that was traced.
val arch : Bap.Std.arch Bap.Std.tag
description of binary architecture.
val binary_file_stats : file_stats Bap.Std.tag
file stats of the traced binary
val trace_stats : trace_stats Bap.Std.tag
generic information about the trace.