package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Eva_gui.Gui_callstacks_filtersSource

Filtering on analysis callstacks

Sourcetype rcallstack

List.rev on a callstack, enforced by strong typing outside of this module

Sourceval empty : rcallstack
Sourceval from_callstack : Eva.Callstack.t -> rcallstack
Sourcetype filter = rcallstack list option

Filters on callstacks. None means that all callstacks are active

Sourceval callstack_matches : filter -> rcallstack -> bool
Sourceval callsite_matches : filter -> Frama_c_kernel.Cil_types.stmt -> bool
Sourceval focused_callstacks : unit -> filter
Sourceval focus_on_callstacks : filter -> unit
Sourceval is_reachable_stmt : filter -> Frama_c_kernel.Cil_types.stmt -> bool
Sourceval is_non_terminating_instr : filter -> Frama_c_kernel.Cil_types.stmt -> bool
Sourceval register_to_zone_functions : (module Gui_eval.S) -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct