package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

dune-project

Dependency

binsec.github.io Readme Changelog LGPL-2.1-or-later License Edit opam file Versions (22)

Authors

Maintainers

B

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

Sources

binsec-0.11.3.tbz

sha256=93f6fe439d486b166062ef6dd92c4ce3aa0947b5e18b1c3aa7de2fc3003aa6d9

sha512=98feb2b0a3f0a33fe912e9885311dd1c051768c707437f8ef038a8489fec019960142b588c6973eb8f726a14d9b2a1b4c765d915539911cb9f6ed6da9f1e51f2

doc/binsec.base/Binsec_base/Logger/index.html

Module `Binsec_base.Logger`Source

Sourcemodule Color : sig ... end

Sourcemodule Emphasis : sig ... end

Sourcetype font = Color.t * Emphasis.t

Sourcetype Format.stag +=

| Font of font

Sourcemodule Profile : sig ... end

Sourceval set_profile : Profile.t -> unit

set_profile p sets the global color profile used by loggers.

Sourceval get_profile : unit -> Profile.t

get_profile () returns the current color profile used by loggers.

Logging/output facilities

Sourcemodule type S = sig ... end

Sourcemodule type ChannelGroup = sig ... end

Sourcemodule type GROUP = sig ... end

Sourcemodule Make (_ : ChannelGroup) : S

Sourcemodule Group (_ : ChannelGroup) : GROUP

Source

val with_tags_on : 
  Format.formatter ->
  ('a, Format.formatter, unit) format ->
  'a

with_tags_on ppf fmt pretty-prints fmt on the pretty-printing formatter ppf with tag marking and printing functions activated. Before it quits, those functions are deactivated.

This allows delimits an environment where tags simply need to be interpreted or might have specific semantics.