let get_concrete_value_of_call (f:string) sid paramlist =
let sid = match sid with | Some(v) -> v | None -> Aorai_option.fatal "Stmt id required !!" in
let (stmt,_) = Kernel_function.find_from_sid sid in
let kfunc = Globals.Functions.find_by_name f in
let formall = Globals.Functions.get_params kfunc in
match stmt.skind with
| Instr(Call(_,_,concretel,_)) ->
List.fold_left
(fun fl p ->
(get_concrete_param_from_formal p formall concretel f sid)::fl
)
[]
paramlist
| _ -> Aorai_option.fatal "The stmt %d have to be a call of the function %s, but it is not a call stmt." sid f