package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Stats.ExplorationSource

Parameters

Signature

include Types.EXPLORATION_STATISTICS
Sourceval get_paths : unit -> int
Sourceval get_completed_paths : unit -> int
Sourceval get_unknown_paths : unit -> int
Sourceval get_pending_paths : unit -> int
Sourceval get_status : Types.status -> int
Sourceval get_total_asserts : unit -> int
Sourceval get_failed_asserts : unit -> int
Sourceval get_branches : unit -> int
Sourceval get_max_depth : unit -> int
Sourceval get_instructions : unit -> int
Sourceval get_unique_insts : unit -> int
Sourceval get_time : unit -> float
Sourceval pp : Format.formatter -> unit -> unit
Sourceval to_toml : unit -> Toml.Types.table
Sourceval reset : unit -> unit
Sourceval add_path : unit -> unit
Sourceval terminate_path : Types.status -> unit
Sourceval add_assert : unit -> unit
Sourceval add_failed_assert : unit -> unit
Sourceval add_branch : unit -> unit
Sourceval update_depth : int -> unit
Sourceval add_instructions : int -> unit
Sourceval register_address : Binsec.Virtual_address.t -> 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