To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
package binsec
-
binsec
-
-
binsec.amd64decoder
-
binsec.armv7decoder
-
binsec.armv8decoder
-
binsec.sse
-
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
binsec 0.6.3
Libraries
This package provides the following libraries (via dune):
binsec
Documentation:
Binsec.Array_utils
Extra functions over arraysBinsec.Astbuilder
Binsec.Base_logger
Binsec.Basic_types
Definitions of non-DBA typesBinsec.Binpatcher
Definitions for binary patcherBinsec.Binpatcher_options
Options for binary patchingBinsec.Binstream
Representation of binary streamsBinsec.Bitset
BitsetsBinsec.Bitvector
Binsec.Cfg
Control Flow GraphsBinsec.Cfgraph
Binsec.Cli
Functors for command-line parameters declarationsBinsec.Colors
General color definitions for outputsBinsec.Concrete
Binsec.Dba
Definition of DBA typeBinsec.Dba_printer
Pretty-printing modules & functions for DBABinsec.Dba_to_formula
Convert some DBA structure to SmtlibBinsec.Dba_types
Modules & types related to DBA typesBinsec.Dba_utils
Shelter for functions over DBABinsec.Dba_visitor
Binsec.Dbacsl_parser
Binsec.Dbacsl_token
Binsec.Decode_utils
Binsec.Dhunk
DBA hunks, aka dhunkBinsec.Directive
Directives are general located goals that one would like to achieve during an * analysisBinsec.Disasm
Disassemblers & utilitiesBinsec.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 printingBinsec.Elf_options
Binsec.Errors
Binsec.File_utils
Extra functions over filesBinsec.Formula
Definition of abstract representation for logical formulas (based on SMTLIB's syntax and semantics)Binsec.Formula_main
Main entry point for formula handlingBinsec.Formula_options
Binsec.Formula_pp
Formula printerBinsec.Formula_to_smtlib
Translation functions from BINSEC inner representation to SMT-LIB termsBinsec.Formula_transformation
Binsec.Formula_utils
Utility functions for formula creationBinsec.Ghidra_cfg
Binsec.Ghidra_options
Binsec.Hash
Binsec.Hashamt
Implementation of Hash-Array Mapped TriesBinsec.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 analysesBinsec.Instr_cfg
Binsec.Instruction
Canonical representation of an instructionBinsec.Interval
Binsec.Isa_helper
Binsec.Kernel_core
Core kernel functionsBinsec.Kernel_functions
Basic kernel functionsBinsec.Kernel_options
Binsec.Lexer
Binsec.Lexer_ghidra
Binsec.Lexer_infos
Binsec.List_utils
Extra functions over listsBinsec.Loader
Binsec.Loader_buf
Generic representation of loader buffersBinsec.Loader_elf
Binsec.Loader_pe
Binsec.Loader_raw
Binsec.Loader_sigs
Binsec.Loader_types
Binsec.Loader_utils
Loader utility functionsBinsec.Location
Binsec.Logger
Logging/output facilitiesBinsec.Lreader
Basic stream readerBinsec.Machine
Abstract description of machinesBinsec.Mcount_main
Binsec.Mcount_options
Binsec.Mnemonic
Binsec.Natural
Binsec.Parse_helpers
Binsec.Parse_utils
General BINSEC related utilitiesBinsec.Parser
Binsec.Parser_ghidra
Binsec.Parser_infos
Binsec.Predba
First IL before producing DBABinsec.Prettytbl
Binsec.Print_utils
Extra pretty-printing functionsBinsec.Prover
Binsec.Riscv_arch
Binsec.Riscv_options
Binsec.Riscv_to_dba
Binsec.Runtime
Binsec.Sequence
Binsec.Sigs
Generic signatures used throughout BINSECBinsec.Simplification_dba
Binsec.Simplification_dba_block
Intra-block simplificationsBinsec.Simplification_dba_prog
Binsec.Simplification_dba_utils
Generic utility functions for DBA simplificationBinsec.Simplification_options
Binsec.Simulation
Binsec.Size
Binsec.Smt_model
Internal model representationBinsec.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 solversBinsec.String_utils
Extra functions over stringsBinsec.Subprocess
Binsec.Term
Binsec.Utils
Generic utilitiesBinsec.Virtual_address
Binsec.Worklist
Worklist / Work queue implementationBinsec.X86Instruction
Interface for X86 instructionsBinsec.X86Types
Binsec.X86Util
X86 utility functionsBinsec.X86_options
Binsec.X86decoder
Decode a function from a readerBinsec.X86pp
Pretty-printers for X86Binsec.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 SSESmt.Smt_sig
Smt.Smt_solver
Smt.Smt_symbolic
Symbolic stateSmt.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 SSESe.Sse_parser
Se.Sse_screen
Se.Sse_symbolic
Se.Sse_tokens
Se.Sse_types
Se.Sse_utils
Dependencies: threads, toml, binsec, binsec.smt
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page