module Debug: sig
.. end
Module which simplifies print of debug
Module which simplifies print of debug
val type2string : Types.type_c -> string
Deserialize type
Returns The deserialized string of the type providen
val arith_expr_needs_parenthesis : Types.arith_expr -> bool
Remove sometimes some parenthesis
a
An arithmetic expression
Returns Are parenthesis important around the
a
val arith_expr2string : Types.arith_expr -> string
Deserialize arithmetic expressions
a
The arithmetic expression
Returns The deserialized string of the arithmetic expression providen
val bool_expr2string : Types.bool_expr -> string
Deserialize boolean expressions
Returns The deserialized string of the boolean expression providen
val loc2string : Types.loc -> string
Deserialize location
Returns The deserialized string of the location providen
val args2string : Types.arith_expr list -> string
Deserialize arguments of a C function (which is a list of arithmetic expressions)
Returns The deserialized string of the arguments providen
val reg2string : Types.reg32 -> string
Deserialize register
Returns The name of the register providen
val ptrVar2string : Types.ptr_var -> string
Deserialize a pointer variable
Returns The deserialized string of the pointer variable providen
val asm_expr2string : Types.asm_expr -> string
Deserialize ASM expression
Returns The deserialized string of the ASM expression providen
val stat_c2string : Types.stat_c -> string -> string
Deserialize C statement
stat
The C statement
indent
The initial prefix of the line
Returns The deserialized string of the C statement providen wich begins by the
indent
val stat_a2string : Types.stat_a -> string -> string
Deserialize ASM statements
stat
The ASM statement
indent
The initial prefix of the line
Returns The deserialized string of the ASM statement providen which begins by the
indent
val stat_a_block2string : (Types.stat_a * Types.loc) list -> string -> string
Deserialize block of ASM statements
block
The block of ASM statements
indent
The initial indent of each line
Returns The deserialized string of the block of ASM statements providen which begins by the
indent
val block_c2string : Types.loc_stat_c -> string -> string
Deserialize block of C statements
stat
The block of C statements
Returns The deserialized string of the block of C statements providen which begins by the
indent
val args_def2string : Types.arguments -> string
Deserialize definition of arguments of a C function
args
The definition of the arguments
Returns The deserialized string of the arguments providen
val global_statement2string : Types.global_statement -> string
Deserialize global statements
stat
The global statement
Returns The deserialized string of the global statement
val program2string : Types.program -> string
Deserialize located programs
l
The entry point of program
program
The C program with inline assembly
Returns The deserialized string of the program
val abstrD2string : Types.abstrD -> string
Deserialize an abstract domain
value
The abstract domain
Returns The deserialized string of the abstract domain
val print_context : Types.abstrContext -> Types.abstrEnvironment Pervasives.ref -> unit
Print a deserialized version of a context
context
The context
env
The environment
Returns unit
val print_memoryStack : Types.memoryStack -> unit
Print a deserialized version of a memory stack
Returns unit
val print_environment : Types.abstrEnvironment Pervasives.ref -> unit
Print a deserialized version of an environment
Returns unit
val print_callStack : Types.callStack Pervasives.ref -> unit
Print a deserialized version of a call stack
stack
The reference to a call stack
env
The environment
Returns unit