package binsec

  1. Overview
  2. Docs
On This Page
  1. API
    1. Library binsec
    2. Library binsec.base
    3. Library binsec.cli
    4. Library binsec.domains
    5. Library binsec.dwarf
    6. Library binsec.isa
    7. Library binsec.kernel
    8. Library binsec.script
    9. Library binsec.smtlib
    10. Library binsec.sse
    11. Library binsec.symbolic
    12. Library binsec.unix
    13. Library binsec_cli_bbsse
    14. Library binsec_cli_disasm
    15. Library binsec_cli_ghidra
    16. Library binsec_cli_sse
    17. Library binsec_cli_xtrasec
    18. Library binsec_isa_armv7
    19. Library binsec_isa_armv8
    20. Library binsec_isa_ppc64
    21. Library binsec_isa_riscv
    22. Library binsec_isa_sparcv8
    23. Library binsec_isa_x86_32
    24. Library binsec_isa_x86_64
    25. Library binsec_kernel_dba
    26. Library binsec_kernel_isa
    27. Library binsec_kernel_loader
    28. Library binsec_kernel_parser
    29. Library binsec_script_ast
    30. Library binsec_smtlib_bindings
    31. Library binsec_sse_checkct
    32. Library binsec_sse_loader
    33. Library binsec_sse_quick_merge
    34. Library binsec_sse_shadow_stack
    35. Library binsec_sse_stake
    36. Library checkct
    37. Library shadow_stack
    38. Library stake
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/index.html

binsec

API

Library binsec

Library binsec.base

Library binsec.cli

Library binsec.domains

Library binsec.dwarf

Library binsec.isa

No module.

Library binsec.kernel

Library binsec.script

Library binsec.smtlib

Library binsec.sse

Library binsec.symbolic

Library binsec.unix

Library binsec_cli_bbsse

Library binsec_cli_disasm

Library binsec_cli_ghidra

Library binsec_cli_sse

Library binsec_cli_xtrasec

Library binsec_isa_armv7

Library binsec_isa_armv8

Library binsec_isa_ppc64

Library binsec_isa_riscv

Library binsec_isa_sparcv8

Library binsec_isa_x86_32

Library binsec_isa_x86_64

Library binsec_kernel_dba

Library binsec_kernel_isa

Library binsec_kernel_loader

Library binsec_kernel_parser

Library binsec_script_ast

Library binsec_smtlib_bindings

Library binsec_sse_checkct

Library binsec_sse_loader

Library binsec_sse_quick_merge

Library binsec_sse_shadow_stack

Library binsec_sse_stake

Library checkct

Library shadow_stack

Library stake