package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = Dba.LValue.t
module Map : Map.S with type key = t
val name_of : t -> string option

name_of lval returns Some name if the lvalue is named, None otherwise

val bitsize : t -> Size.Bit.t
val unsafe_bitsize : t -> int
val is_temporary : t -> bool
val is_flag : t -> bool