package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

dune-project

Dependency

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

Authors

Maintainers

B

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

Sources

binsec-0.11.0.tbz

sha256=4cf70a0367fef6f33ee3165f05255914513ea0539b94ddfef0bd46fc9b42fa8a

sha512=cd67a5b7617f661a7786bef0c828ee55307cef5260dfecbb700a618be795d81b1ac49fc1a18c4904fd2eb8a182dc862b0159093028651e78e7dc743f5babf9e3

doc/binsec_cli_xtrasec/Binsec_cli_xtrasec/Xtrasec/Make/argument-1-Param/Binary/index.html

Module `Param.Binary`

include Transfer_functions.Binary_Forward
  with module Arity :=
         Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State))
   and type binary = binary
   and type boolean = boolean

include Transfer_functions.Binary_Backward
  with module Arity :=
         Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State))
  with type binary = binary
  with type boolean = boolean

type binary = binary

type boolean = boolean

val biadd : 
  size:int ->
  (binary, binary, binary)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val bisub : 
  size:int ->
  (binary, binary, binary)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val bimul : 
  size:int ->
  (binary, binary, binary)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val beq : 
  size:int ->
  (binary, binary, boolean)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val bisle : 
  size:int ->
  (binary, binary, boolean)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val bislt : 
  size:int ->
  (binary, binary, boolean)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val biule : 
  size:int ->
  (binary, binary, boolean)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val biult : 
  size:int ->
  (binary, binary, boolean)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val bconcat : 
  size1:int ->
  size2:int ->
  (binary, binary, binary)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val bextract : 
  lo:int ->
  hi:int ->
  oldsize:int ->
  (binary, binary)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar1

val band : 
  size:int ->
  (binary, binary, binary)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val bor : 
  size:int ->
  (binary, binary, binary)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val bxor : 
  size:int ->
  (binary, binary, binary)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val buext : 
  size:int ->
  oldsize:int ->
  (binary, binary)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar1

val bsext : 
  size:int ->
  oldsize:int ->
  (binary, binary)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar1

val bisdiv : 
  size:int ->
  (binary, binary, binary)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val bisrem : 
  size:int ->
  (binary, binary, binary)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val biudiv : 
  size:int ->
  (binary, binary, binary)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val biurem : 
  size:int ->
  (binary, binary, binary)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val bshl : 
  size:int ->
  (binary, binary, binary)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val bashr : 
  size:int ->
  (binary, binary, binary)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val blshr : 
  size:int ->
  (binary, binary, binary)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val bv_left_rotate : 
  size:int ->
  (binary, binary, binary)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val bv_right_rotate : 
  size:int ->
  (binary, binary, binary)
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar2

val biconst : 
  size:int ->
  Binsec_cli_xtrasec.Transfer_functions.Integer.t ->
  binary
    Generic_decoder_sig.Monadic_Arity(Generic_decoder_sig.State_Monad(State)).ar0