Eva.Eva_results
Internal temporary API: please do not use it, as it should be removed in a future version.
val get_results : unit -> results
val set_results : results -> unit
val change_callstacks :
( Frama_c_kernel.Value_types.callstack ->
Frama_c_kernel.Value_types.callstack ) ->
results ->
results
Change the callstacks for the results for which this is meaningful. For technical reasons, the top of the callstack must currently be preserved.
val eval_tlval_as_location :
?result:Frama_c_kernel.Cil_types.varinfo ->
Frama_c_kernel.Cvalue.Model.t ->
Frama_c_kernel.Cil_types.term ->
Frama_c_kernel.Locations.location