package binsec

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Module `Ai.Make`Source

Parameters

module D : Domains.S

module C : CONTEXT with type v := D.t

Signature

Sourcetype t = C.t

Sourceval eval : t -> Sexpr.Expr.t -> D.t

Sourceval refine : t -> Sexpr.Expr.t -> D.t -> unit