Module Trace_postprocessing

module Trace_postprocessing: sig .. end
Trace postprocessing operations

Natural conditions lifting

This post processing operation, translates low-level jump conditional condition into more natural ones (<, >, >= ..)

val get_merge_stats : unit -> int * Basic_types.Addr64.Set.t * int * Basic_types.Addr64.Set.t * int
Returns stats of the merge of operations that took place during the analysis execution. Values are:
val merge_natural_conditions : Trace_type.trace_inst_map -> Trace_type.trace_inst_map
apply the post processing computation replacing low-level condition by higher-level conditions