package binsec

  1. Overview
  2. Docs
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

  1. A
    Adel Djoudi
  2. B
    Benjamin Farinier
  3. C
    Chakib Foulani
  4. D
    Dorian Lesbre
  5. F
    Frédéric Recoules
  6. G
    Guillaume Girol
  7. J
    Josselin Feist
  8. L
    Lesly-Ann Daniel
  9. M
    Mahmudul Faisal Al Ameen
  10. M
    Manh-Dung Nguyen
  11. M
    Mathéo Vergnolle
  12. M
    Mathilde Ollivier
  13. M
    Matthieu Lemerre
  14. N
    Nicolas Bellec
  15. O
    Olivier Nicole
  16. R
    Richard Bonichon
  17. R
    Robin David
  18. S
    Sébastien Bardin
  19. S
    Soline Ducousso
  20. T
    Ta Thanh Dinh
  21. Y
    Yaëlle Vinçont
  22. Y
    Yanis Sellami

Maintainers

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

Sources

binsec-0.11.0.tbz
sha256=4cf70a0367fef6f33ee3165f05255914513ea0539b94ddfef0bd46fc9b42fa8a
sha512=cd67a5b7617f661a7786bef0c828ee55307cef5260dfecbb700a618be795d81b1ac49fc1a18c4904fd2eb8a182dc862b0159093028651e78e7dc743f5babf9e3

doc/binsec.sse/Binsec_sse/Ir/index.html

Module Binsec_sse.IrSource

include module type of struct include Binsec_sse_loader.Ir end
type builtin = Binsec_sse_loader.Ir.builtin = ..
type builtin +=
  1. | Inline of Binsec_kernel.Dhunk.t
  2. | EndOfHook
val pp_builtin : Format.formatter -> builtin -> unit
val register_builtin_printer : (Format.formatter -> builtin -> bool) -> unit
type 'a opcode = 'a Binsec_sse_loader.Ir.opcode =
  1. | Nop : [ `Fallthrough ] opcode
  2. | Instruction : Binsec_kernel.Instruction.t -> [< `Label | `Fallthrough ] opcode
  3. | Hook : {
    1. addr : Binsec_kernel.Virtual_address.t;
    2. info : string;
    } -> [< `Label | `Fallthrough ] opcode
  4. | Assign : {
    1. var : Binsec_kernel.Dba.Var.t;
    2. rval : Binsec_kernel.Dba.Expr.t;
    } -> [ `Fallthrough ] opcode
  5. | Clobber : Binsec_kernel.Dba.Var.t -> [ `Fallthrough ] opcode
  6. | Forget : Binsec_kernel.Dba.Var.t -> [ `Fallthrough ] opcode
  7. | Load : {
    1. var : Binsec_kernel.Dba.Var.t;
    2. base : string option;
    3. dir : Binsec_kernel.Machine.endianness;
    4. addr : Binsec_kernel.Dba.Expr.t;
    } -> [ `Fallthrough ] opcode
  8. | Store : {
    1. base : string option;
    2. dir : Binsec_kernel.Machine.endianness;
    3. addr : Binsec_kernel.Dba.Expr.t;
    4. rval : Binsec_kernel.Dba.Expr.t;
    } -> [ `Fallthrough ] opcode
  9. | Symbolize : Binsec_kernel.Dba.Var.t -> [ `Fallthrough ] opcode
  10. | Assume : Binsec_kernel.Dba.Expr.t -> [ `Fallthrough ] opcode
  11. | Assert : Binsec_kernel.Dba.Expr.t -> [ `Fallthrough ] opcode
  12. | Builtin : builtin -> [< `Fallthrough | `Terminator ] opcode
  13. | Goto : {
    1. target : Binsec_kernel.Virtual_address.t;
    2. tag : Binsec_kernel.Dba.tag;
    } -> [< `Fallthrough | `Terminator ] opcode
  14. | Jump : {
    1. target : Binsec_kernel.Dba.Expr.t;
    2. tag : Binsec_kernel.Dba.tag;
    } -> [ `Terminator ] opcode
  15. | Halt : [ `Terminator ] opcode
  16. | Cut : [ `Terminator ] opcode
  17. | Die : string -> [ `Terminator ] opcode
and label = [ `Label ] opcode
and fallthrough = [ `Fallthrough ] opcode
and terminator = [ `Terminator ] opcode
val pp_opcode : Format.formatter -> 'a opcode -> unit
type node = Binsec_sse_loader.Ir.node =
  1. | Fallthrough of {
    1. label : label;
    2. kind : fallthrough;
    3. succ : int;
    }
  2. | Branch of {
    1. label : label;
    2. test : Binsec_kernel.Dba.Expr.t;
    3. target : int;
    4. fallthrough : int;
    }
  3. | Terminator of {
    1. label : label;
    2. kind : terminator;
    }
val pp_node : Format.formatter -> node -> unit
val label_of : node -> label
type stmt = Binsec_sse_loader.Ir.stmt =
  1. | Nop
  2. | Label of string
    (*

    label:

    *)
  3. | Opcode of fallthrough
  4. | If of Binsec_kernel.Dba.Expr.t * string
    (*

    if rval then goto label

    *)
  5. | Goto of string
    (*

    goto label

    *)
  6. | End of terminator
module type GRAPH = Binsec_sse_loader.Ir.GRAPH
module type INSTRUMENT = Binsec_sse_loader.Ir.INSTRUMENT