Frama-C:
Plug-ins:
Libraries:

Frama-C API - Eva_ast_typing

val type_of_exp_node : Eva_ast_types.exp_node -> Eva_ast_types.typ
val type_of_lval_node : Eva_ast_types.lval_node -> Eva_ast_types.typ
val type_of_lhost : Eva_ast_types.lhost -> Eva_ast_types.typ