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

Authors

Maintainers

B

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

Sources

binsec-0.11.1.tbz

sha256=bb48234a4b60a872015a88282df4873f01dcc984753d49ad2583d49c1ae7d705

sha512=e8aa47a736b83bfd47d5b5e96d0988859b4873ad4a112fee7cd21d02bc72ecec61b7de610a959e38d2f2f5eef8082a2c100c201e5eae5ae3a880c747dce6ae63

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.