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 (18)

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.9.0.tbz
sha256=d959c2351b6cac10ffbdaf112769a676c9ad84bf6bc7fefa5cb1daa8d086cc97
sha512=1a3951896f05fb3a4cb05e81830373c75409a69c49323dc82e97c94889927b5f9561e704565a22c2a608842f67063d6c89a330477165b197a40d6ac231c09a7e

doc/binsec.sse/Libsse/Dcode/Make/Fiber/index.html

Module Make.FiberSource

Sourcetype 'a t =
  1. | Debug : {
    1. msg : string;
    2. mutable succ : [ `All ] t;
    } -> [< `All ] t
  2. | Print : {
    1. output : Types.Output.t;
    2. mutable succ : [ `All ] t;
    } -> [< `All ] t
  3. | Step : {
    1. addr : Binsec.Virtual_address.t;
    2. n : int;
    3. mutable succ : [ `All ] t;
    } -> [< `All ] t
  4. | Assign : {
    1. var : Libsse.Types.Var.t;
    2. rval : Libsse.Types.Expr.t;
    3. mutable succ : [ `All ] t;
    } -> [< `All ] t
  5. | Clobber : {
    1. var : Libsse.Types.Var.t;
    2. mutable succ : [ `All ] t;
    } -> [< `All ] t
  6. | Load : {
    1. var : Libsse.Types.Var.t;
    2. base : Types.A.t;
    3. dir : Binsec.Machine.endianness;
    4. addr : Libsse.Types.Expr.t;
    5. mutable succ : [ `All ] t;
    } -> [< `All ] t
  7. | Store : {
    1. base : Types.A.t;
    2. dir : Binsec.Machine.endianness;
    3. addr : Libsse.Types.Expr.t;
    4. rval : Libsse.Types.Expr.t;
    5. mutable succ : [ `All ] t;
    } -> [< `All ] t
  8. | Symbolize : {
    1. var : Libsse.Types.Var.t;
    2. mutable succ : [ `All ] t;
    } -> [< `All ] t
  9. | Assume : {
    1. test : Libsse.Types.Expr.t;
    2. mutable succ : [ `All ] t;
    } -> [< `Assume | `All ] t
  10. | Assert : {
    1. test : Libsse.Types.Expr.t;
    2. mutable succ : [ `All ] t;
    } -> [< `Assert | `All ] t
  11. | Branch : {
    1. test : Libsse.Types.Expr.t;
    2. mutable taken : [ `All ] t;
    3. mutable fallthrough : [ `All ] t;
    } -> [< `Branch | `All ] t
  12. | Goto : Binsec.Virtual_address.t -> [< `All ] t
  13. | Jump : Libsse.Types.Expr.t -> [< `Jump | `All ] t
  14. | Halt : [< `All ] t
  15. | Probe : {
    1. kind : Probe.t;
    2. mutable succ : [ `All ] t;
    } -> [< `Probe | `All ] t
  16. | Builtin : {
    1. f : Binsec.Virtual_address.t -> Path.t -> int -> State.t -> (State.t, Types.status) Result.t;
    2. mutable succ : [ `All ] t;
    } -> [ `All ] t
  17. | Cut : [< `All ] t
  18. | Die : string -> [< `All ] t