package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val name : t -> string

name var return the name of the variable var

val line : t -> int

line var return the line of the declaration of the variable var

val typ : t -> Type.t

typ var return the type of the declaration of the variable var

val loc : t -> (int -> Dba.Expr.t option) -> int -> Dba.Expr.t

loc var cfa addr return the location where the compiler store the variable var at the given program point addr

include Sigs.PRINTABLE with type t := t
val pp : Format.formatter -> t -> unit