Frama-C API - Eva_ast_builder
val mk_exp : Eva_ast_types.exp_node -> Eva_ast_types.expval mk_lval : Eva_ast_types.lval_node -> Eva_ast_types.lvalval translate_exp : Frama_c_kernel.Cil_types.exp -> Eva_ast_types.expval translate_host : Frama_c_kernel.Cil_types.lhost -> Eva_ast_types.lhostval translate_lval : Frama_c_kernel.Cil_types.lval -> Eva_ast_types.lvalval translate_offset : Frama_c_kernel.Cil_types.offset -> Eva_ast_types.offsetval translate_unop : Frama_c_kernel.Cil_types.unop -> Eva_ast_types.unopval translate_binop : Frama_c_kernel.Cil_types.binop -> Eva_ast_types.binopval translate_init : Frama_c_kernel.Cil_types.init -> Eva_ast_types.initval translate_init_or_str : Frama_c_kernel.Cil_types.init_or_str -> Eva_ast_types.init_or_strval invert_relation : Eva_ast_types.binop -> Eva_ast_types.binopInverse a relation, op must be a comparison operator
val conv_relation : Eva_ast_types.binop -> Frama_c_kernel.Abstract_interp.Comp.tConvert a relation to Abstract_interp.Comp, op must be a comparison operator
val normalize_condition : Eva_ast_types.exp -> bool -> Eva_ast_types.expnormalize_condition e positive returns the expression corresponding to e != 0 when positive is true, and e == 0 otherwise. The resulting expression will always have a comparison operation at its root.
val add_offset : Eva_ast_types.lval -> Eva_ast_types.offset -> Eva_ast_types.lvalmodule Build : sig ... end