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

Authors

Maintainers

B

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

Sources

binsec-0.11.0.tbz

sha256=4cf70a0367fef6f33ee3165f05255914513ea0539b94ddfef0bd46fc9b42fa8a

sha512=cd67a5b7617f661a7786bef0c828ee55307cef5260dfecbb700a618be795d81b1ac49fc1a18c4904fd2eb8a182dc862b0159093028651e78e7dc743f5babf9e3

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.