package binsec

Overview
Docs

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

A

Adel Djoudi
B

Benjamin Farinier
C

Chakib Foulani
D

Dorian Lesbre
F

Frédéric Recoules
G

Guillaume Girol
J

Josselin Feist
L

Lesly-Ann Daniel
M

Manh-Dung Nguyen
M

Mathéo Vergnolle
M

Mathilde Ollivier
M

Matthieu Lemerre
O

Olivier Nicole
R

Richard Bonichon
R

Robin David
S

Sébastien Bardin
S

Soline Ducousso
T

Ta Thanh Dinh
Y

Yaëlle Vinçont

Maintainers

B

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

Sources

binsec-0.7.2.tbz

sha256=5e1d0f26a567df4abcbeb964b454cf8b2c8484194ff2d9639bdeb94d63edcb3b

sha512=a638c665407fde9aadbd57a7b9f84260db8f03c0cbf65722732d43dfc93122d801e31977e0ba7cd249b340262caf216bca746a3520d0e01d487a5baf6a6c77e6

doc/binsec/Binsec/Cfg/index.html

Module `Binsec.Cfg`

Control Flow Graphs

type direction =

| Forward
| Backward

module type S = sig ... end

module Make
  (A : Sigs.HASHABLE)
  (I : Hashtbl.HashedType)
  (S : Hashtbl.HashedType) : 
  S with type addr = A.t and type inst = I.t and type symb = S.t