Module Gui_callstacks_filters

module Gui_callstacks_filters: sig .. end
Filtering on analysis callstacks

type rcallstack 
List.rev on a callstack, enforced by strong typing outside of this module
val empty : rcallstack
val from_callstack : Value_types.callstack -> rcallstack
type filter = rcallstack list option 
Filters on callstacks. None means that all callstacks are active
val callstack_matches : filter -> rcallstack -> bool
val callsite_matches : filter -> Cil_types.stmt -> bool
val is_reachable_stmt : filter -> Cil_types.stmt -> bool
val is_non_terminating_instr : filter -> Cil_types.stmt -> bool
val set_callstacks_filter : filter -> unit
This function must be called when callstacks are focused. The callstacks are used by some dynamic functions like lval_to_zone_gui