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
typefilter =
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 focused_callstacks : unit -> filter
val focus_on_callstacks : filter -> unit
val is_reachable_stmt : filter -> Cil_types.stmt -> bool
val is_non_terminating_instr : filter -> Cil_types.stmt -> bool
val register_to_zone_functions : (module Gui_eval.S) -> unit