binsec 0.6.3

Libraries

This package provides the following libraries (via dune):

binsec

Documentation:

Binsec.Array_utils Extra functions over arrays
Binsec.Astbuilder
Binsec.Base_logger
Binsec.Basic_types Definitions of non-DBA types
Binsec.Binpatcher Definitions for binary patcher
Binsec.Binpatcher_options Options for binary patching
Binsec.Binstream Representation of binary streams
Binsec.Bitset Bitsets
Binsec.Bitvector
Binsec.Cfg Control Flow Graphs
Binsec.Cfgraph
Binsec.Cli Functors for command-line parameters declarations
Binsec.Colors General color definitions for outputs
Binsec.Concrete
Binsec.Dba Definition of DBA type
Binsec.Dba_printer Pretty-printing modules & functions for DBA
Binsec.Dba_to_formula Convert some DBA structure to Smtlib
Binsec.Dba_types Modules & types related to DBA types
Binsec.Dba_utils Shelter for functions over DBA
Binsec.Dba_visitor
Binsec.Dbacsl_parser
Binsec.Dbacsl_token
Binsec.Decode_utils
Binsec.Dhunk DBA hunks, aka dhunk
Binsec.Directive Directives are general located goals that one would like to achieve during an * analysis
Binsec.Disasm Disassemblers & utilities
Binsec.Disasm_cfg
Binsec.Disasm_core
Binsec.Disasm_options
Binsec.Dwarf
Binsec.Dwarf_cunit
Binsec.Dwarf_expr
Binsec.Dwarf_frame
Binsec.Dwarf_lines
Binsec.Dwarf_options Options for debug information printing
Binsec.Elf_options
Binsec.Errors
Binsec.File_utils Extra functions over files
Binsec.Formula Definition of abstract representation for logical formulas (based on SMTLIB's syntax and semantics)
Binsec.Formula_main Main entry point for formula handling
Binsec.Formula_options
Binsec.Formula_pp Formula printer
Binsec.Formula_to_smtlib Translation functions from BINSEC inner representation to SMT-LIB terms
Binsec.Formula_transformation
Binsec.Formula_utils Utility functions for formula creation
Binsec.Ghidra_cfg
Binsec.Ghidra_options
Binsec.Hash
Binsec.Hashamt Implementation of Hash-Array Mapped Tries
Binsec.Htx_main
Binsec.Htx_options
Binsec.Ida
Binsec.Ida_cfg
Binsec.Ida_cg
Binsec.Ida_options
Binsec.Ida_utils
Binsec.Imap
Binsec.Infos Abstract representation of configuration data for static analyses
Binsec.Instr_cfg
Binsec.Instruction Canonical representation of an instruction
Binsec.Interval
Binsec.Isa_helper
Binsec.Kernel_core Core kernel functions
Binsec.Kernel_functions Basic kernel functions
Binsec.Kernel_options
Binsec.Lexer
Binsec.Lexer_ghidra
Binsec.Lexer_infos
Binsec.List_utils Extra functions over lists
Binsec.Loader
Binsec.Loader_buf Generic representation of loader buffers
Binsec.Loader_elf
Binsec.Loader_pe
Binsec.Loader_raw
Binsec.Loader_sigs
Binsec.Loader_types
Binsec.Loader_utils Loader utility functions
Binsec.Location
Binsec.Logger Logging/output facilities
Binsec.Lreader Basic stream reader
Binsec.Machine Abstract description of machines
Binsec.Mcount_main
Binsec.Mcount_options
Binsec.Mnemonic
Binsec.Natural
Binsec.Parse_helpers
Binsec.Parse_utils General BINSEC related utilities
Binsec.Parser
Binsec.Parser_ghidra
Binsec.Parser_infos
Binsec.Predba First IL before producing DBA
Binsec.Prettytbl
Binsec.Print_utils Extra pretty-printing functions
Binsec.Prover
Binsec.Riscv_arch
Binsec.Riscv_options
Binsec.Riscv_to_dba
Binsec.Runtime
Binsec.Sequence
Binsec.Sigs Generic signatures used throughout BINSEC
Binsec.Simplification_dba
Binsec.Simplification_dba_block Intra-block simplifications
Binsec.Simplification_dba_prog
Binsec.Simplification_dba_utils Generic utility functions for DBA simplification
Binsec.Simplification_options
Binsec.Simulation
Binsec.Size
Binsec.Smt_model Internal model representation
Binsec.Smtlib
Binsec.Smtlib_lexer
Binsec.Smtlib_options
Binsec.Smtlib_parser
Binsec.Smtlib_pp
Binsec.Smtlib_to_formula
Binsec.Smtlib_utils
Binsec.Solver Interface with SMT solvers
Binsec.String_utils Extra functions over strings
Binsec.Subprocess
Binsec.Term
Binsec.Utils Generic utilities
Binsec.Virtual_address
Binsec.Worklist Worklist / Work queue implementation
Binsec.X86Instruction Interface for X86 instructions
Binsec.X86Types
Binsec.X86Util X86 utility functions
Binsec.X86_options
Binsec.X86decoder Decode a function from a reader
Binsec.X86pp Pretty-printers for X86
Binsec.X86toDba Lifter from X86 to DBA

Dependencies: str, bigarray, ocamlgraph, zarith, dune-site

binsec.amd64decoder

Documentation:

Dependencies: binsec

binsec.armv7decoder

Documentation:

Dependencies: binsec

binsec.armv8decoder

Documentation:

Dependencies: binsec

binsec.smt

Documentation:

Smt.Smt_bitwuzla
Smt.Smt_bitwuzla_utils
Smt.Smt_external
Smt.Smt_options Definition of command-line & programmatic options for SSE
Smt.Smt_sig
Smt.Smt_solver
Smt.Smt_symbolic Symbolic state
Smt.Suid

Dependencies: binsec

binsec.sse

Documentation:

Se.Native_solver
Se.Senv
Se.Sexpr
Se.Smt2_solver
Se.Solver_sig
Se.Sse Static Symbolic Execution (SSE)
Se.Sse_lexer
Se.Sse_options Definition of command-line & programmatic options for SSE
Se.Sse_parser
Se.Sse_screen
Se.Sse_symbolic
Se.Sse_tokens
Se.Sse_types
Se.Sse_utils

Dependencies: threads, toml, binsec, binsec.smt