package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

Dune Dependency

binsec.github.io Readme Changelog LGPL-2.1-or-later License Edit opam file Versions (18)

Authors

Maintainers

B

BINSEC <binsec@saxifrage.saclay.cea.fr>

Sources

binsec-0.6.1.tbz

sha256=ebc732ef78d3f6d94a0d179f8ef76a74dedd4d23f9783c3875091695c1ceee56

sha512=cf91afa2223681c9b50b71429d739fc37c792264e43f72212ac405088d3de5c9f04d40ef6ae92526c727569982d48d1678811341b5d9b4bbc596fbc55d45b79e

doc/binsec.sse/Se/Sse_types/index.html

Module `Se.Sse_types`Source

Sourceexception Unknown

Sourcetype 'a test =

| True of 'a
| False of 'a
| Both of {
1. t : 'a;
2. f : 'a;
}

Sourcemodule type STATE = sig ... end

Sourcemodule type EXPLORATION_STATISTICS = sig ... end

Sourcemodule type QUERY_STATISTICS = sig ... end

Sourcemodule type STATE_FACTORY = functor (QS : QUERY_STATISTICS) -> STATE

Sourcemodule Pragma : sig ... end

Sourcemodule Script : sig ... end

Source

module C : 
  Binsec.Instr_cfg.S
    with type addr = Binsec.Virtual_address.t
     and type inst = Binsec.Instruction.t
     and type symb = Binsec.Basic_types.Int.t

Sourcemodule Path_state (S : STATE) : sig ... end

Sourcemodule type WORKLIST = sig ... end

Source

module type WORKLIST_FACTORY =
  functor (E : Binsec.Sigs.ANY) ->
  WORKLIST with type elt := E.t

Sourcemodule Dfs : WORKLIST_FACTORY

Sourcemodule Bfs : WORKLIST_FACTORY

Sourcemodule Nurs : WORKLIST_FACTORY