bap-primus

The BAP Microexecution Framework
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library bap_primus
Module Bap_primus . Std . Primus . Value . Make . Symbol
val to_value : string -> value Machine.t

to_value sym returns a value corresponding to the provided symbolic representation.

val of_value : value -> string Machine.t

of_value v returns a symbolic representation of the value v.

If the symbolic representation of a value wasn't established, then returns an empty string.