package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Bbsse_smt.Translate`

val expr : 
  Sse_symbolic.State.t ->
  Dba.Expr.t ->
  Formula.bv_term * Sse_symbolic.State.t

missing bitvectors are implicitely declared so this returns a new symbolic state

val expr' : 
  Bbsse_types.Path_state.t ->
  Dba.Expr.t ->
  Formula.bv_term * Bbsse_types.Path_state.t

wrapper over expr for Path state

val assign : 
  ?wild:bool ->
  Dba.LValue.t ->
  Dba.Expr.t ->
  Sse_symbolic.State.t ->
  Sse_symbolic.State.t

val assignment : 
  ?wild:bool ->
  Dba.LValue.t ->
  Dba.Expr.t ->
  Bbsse_types.Path_state.t ->
  Bbsse_types.Path_state.t

val nondet : 
  ?naming_hint:string ->
  ?wild:bool ->
  Dba.LValue.t ->
  Bbsse_types.Path_state.t ->
  Bbsse_types.Path_state.t

val assume : Dba.Expr.t -> Bbsse_types.Path_state.t -> Bbsse_types.Path_state.t