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.9.0.tbz

sha256=d959c2351b6cac10ffbdaf112769a676c9ad84bf6bc7fefa5cb1daa8d086cc97

sha512=1a3951896f05fb3a4cb05e81830373c75409a69c49323dc82e97c94889927b5f9561e704565a22c2a608842f67063d6c89a330477165b197a40d6ac231c09a7e

doc/checkct/Checkct/index.html

Module `Checkct`Source

module S = Binsec.Basic_types.String

module B = Binsec.Bitvector.Collection

include sig ... end

val is_enabled : unit -> bool

module Logger : Binsec.Logger.S

module Debug_level : sig ... end

module Loglevel : sig ... end

module Quiet : sig ... end

module Builder : sig ... end

Sourcetype leak_info =

| HaltLeak
(*
Halts at first leak
*)
| InstrLeak
(*
Reports leaky instructions (each one is reported only once)
*)

module LeakInfo : sig ... end

module Taint : sig ... end

module ChosenValues : sig ... end

module Relse : sig ... end

module StatsFile : sig ... end

Sourcemodule Kind : sig ... end

Sourcemodule Report : sig ... end

Sourcemodule Status : sig ... end

Sourcetype Binsec.Ast.Obj.t +=

| Bool of bool

Sourcetype Binsec.Ast.Instr.t +=

| Secret of Binsec.Ast.Loc.t Binsec.Ast.loc

Sourcetype Binsec.Ast.t +=

| Globals of bool * string list

Sourcetype Libsse.Ir.builtin +=

| Mirror of Binsec.Dba.Var.t
| Check of Binsec.Dba.Expr.t * Kind.t

Sourcemodule type OPTIONS = sig ... end

Sourceval make_options : unit -> (module OPTIONS)

Sourcemodule Ct_state : sig ... end

Source

module Make
  (Options : OPTIONS)
  (Stats : Libsse.Types.EXPLORATION_STATISTICS)
  (Path : Libsse.Path.S)
  (State : Libsse.Types.STATE with type Value.t = Libterm.Sexpr.Expr.t) : 
  Libsse.Exec.EXTENSION with type path = Path.t and type state = State.t