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 (21)

Authors

Maintainers

B

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

Sources

binsec-0.11.2.tbz

sha256=b758f3428b62a03103403196af99a5bb7df77a35afbcc5ce2d2b1fbe6d2ab36b

sha512=afa4fdf09ae0c2ab02530d674f9f2c1473d156e0438b4cb9c262ffea2d98c448251de55cd6fb176562edaae3897aeabe873ffa1ad47f861c75e1943792d90261

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

Module `Binsec_base.Logger`Source

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.