package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

sha256=d959c2351b6cac10ffbdaf112769a676c9ad84bf6bc7fefa5cb1daa8d086cc97

sha512=1a3951896f05fb3a4cb05e81830373c75409a69c49323dc82e97c94889927b5f9561e704565a22c2a608842f67063d6c89a330477165b197a40d6ac231c09a7e

Sourcetype status =

Sourcemodule type TERM = sig ... end

Sourcemodule type S = sig ... end

An incremental solver instance.

Sourcemodule type F = functor () -> S

A solver instance factory.

type ('bl, 'bv, 'ax) t =
  (module S
  with type Ax.t = 'ax
   and type Bl.t = 'bl
   and type Bv.t = 'bv)

Sourceval bitwuzla_c : (module F) option

Factory for the legacy Bitwuzla solver.

Sourceval bitwuzla_cxx : (module F) option

Factory for the Bitwuzla solver.