Direct_analysis.Callstack
type t =
| Root
| Frame of {
id : int;
calling_function : Frama_c_kernel.Kernel_function.t;
calling_instr : Frama_c_kernel.Cil_types.kinstr;
parent : t;
}
val hash : t -> int
module FrameHash : sig ... end
val framehash : FrameHash.t
val cons :
Frama_c_kernel.Kernel_function.t ->
Frama_c_kernel.Cil_types.kinstr ->
t ->
FrameHash.data