Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module WordSet = Cbat_clp_set_composite
module AI = Cbat_ai_representation
type vsa_sol = (Bap.Std.tid, AI.t) Graphlib.Std.Solution.t
val precond : Cbat_ai_representation.t Bap.Std.tag
val denote_mem_exp :
Bap.Std.exp ->
AI.t ->
(Cbat_ai_memmap.t, Bap.Std.Type.error) Core_kernel.Std.Result.t
val reachable_jumps :
AI.t ->
Bap.Std.jmp Bap.Std.term Bap.Std.seq ->
Bap.Std.jmp Bap.Std.term Bap.Std.seq
val load : Bap.Std.sub Bap.Std.term -> vsa_sol option