val rename_bl_var : (string -> string) -> Formula.bl_var -> Formula.bl_varval rename_bv_var : (string -> string) -> Formula.bv_var -> Formula.bv_varval rename_ax_var : (string -> string) -> Formula.ax_var -> Formula.ax_varval rename_bl_term : (string -> string) -> Formula.bl_term -> Formula.bl_termval rename_bv_term : (string -> string) -> Formula.bv_term -> Formula.bv_termval rename_ax_term : (string -> string) -> Formula.ax_term -> Formula.ax_termval replace_bl_term : Formula.def -> Formula.bl_term -> Formula.bl_termval replace_bv_term : Formula.def -> Formula.bv_term -> Formula.bv_termval replace_ax_term : Formula.def -> Formula.ax_term -> Formula.ax_termval constant_propagation :
?keep:Binsec.Formula.VarSet.t ->
Formula.formula ->
Formula.formulaval prune_and_inline :
?keep:Binsec.Formula.VarSet.t ->
Formula.formula ->
Formula.formulaval read_over_write :
?lst:int ->
?rbs:bool ->
?itv:bool ->
Formula.formula ->
Formula.formulaval static_single_assignment : Formula.formula -> Formula.formulaval taint : (Formula.var -> bool) -> Formula.formula -> Formula.formulaval optimize :
?keep:Binsec.Formula.VarSet.t ->
?lst:int ->
?cst:bool ->
?itv:bool ->
?prn:bool ->
?rbs:bool ->
?row:bool ->
?ssa:bool ->
?is_controlled:(Binsec.Formula.VarSet.elt -> bool) ->
Formula.formula ->
Formula.formulaval optimize_from_options :
?keep:Binsec.Formula.VarSet.t ->
?is_controlled:(Binsec.Formula.VarSet.elt -> bool) ->
Formula.formula ->
Formula.formula