package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

Dune Dependency

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

Authors

Maintainers

B

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

Sources

binsec-0.6.1.tbz

sha256=ebc732ef78d3f6d94a0d179f8ef76a74dedd4d23f9783c3875091695c1ceee56

sha512=cf91afa2223681c9b50b71429d739fc37c792264e43f72212ac405088d3de5c9f04d40ef6ae92526c727569982d48d1678811341b5d9b4bbc596fbc55d45b79e

doc/binsec.smt/Smt/Suid/index.html

Module `Smt.Suid`Source

Sourcetype t = private string

This module is intended to generate valid SMTLib2 short identifiers Are valid any non-empty sequence of letters, digits and the characters ~ ! @ $ % ^ & * _ - + < > . ? / that does not start with a digit To never clash with reserved keywords, generated identifiers always start with one of the special characters

Sourceval to_string : t -> string

Sourceval pp : Format.formatter -> t -> unit

Sourceval zero : t

Sourceval incr : t -> t