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

sha256=b8e7b9c756245656c481e992549fb7b1864ee6eeb492e16488e7a9d962d39cdb

sha512=07a5e4105e5275751fcc6832743f5f9eedc72bd061273ec54c4466135032852120df3784ba571656c788e5f3cd971aad8a53f030336a364e77e940e26dff38d7

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