diff --git a/src/kernel_services/abstract_interp/eva_types.ml b/src/kernel_services/abstract_interp/eva_types.ml
index b04b176cbffdd4e30de0a5a31c41b0d54f9d8424..2873a253980227085d5d0ad2965730e0605fed33 100644
--- a/src/kernel_services/abstract_interp/eva_types.ml
+++ b/src/kernel_services/abstract_interp/eva_types.ml
@@ -122,7 +122,7 @@ struct
     | (kf, stmt) :: _ -> kf, Cil_types.Kstmt stmt
     | [] -> cs.entry_point, Cil_types.Kglobal
 
-  let last_caller cs =
+  let top_caller cs =
     match cs.stack with
     | _ :: (kf, _) :: _ -> Some kf
     | [_] -> Some cs.entry_point
diff --git a/src/kernel_services/abstract_interp/eva_types.mli b/src/kernel_services/abstract_interp/eva_types.mli
index 5dadaf28974407c9365a0f8614ac63c7837a634f..3c4477c1e608b426426d0b62d0fbaad8fa9495f5 100644
--- a/src/kernel_services/abstract_interp/eva_types.mli
+++ b/src/kernel_services/abstract_interp/eva_types.mli
@@ -51,7 +51,7 @@ sig
   val top_kf : t -> Cil_types.kernel_function
   val top_callsite : t -> Cil_types.stmt option
   val top_call : t -> Cil_types.kernel_function * Cil_types.kinstr
-  val last_caller : t -> Cil_types.kernel_function option
+  val top_caller : t -> Cil_types.kernel_function option
 
   val to_kf_list : t -> Cil_types.kernel_function list
   val to_stmt_list : t -> Cil_types.stmt list
diff --git a/src/plugins/eva/Eva.mli b/src/plugins/eva/Eva.mli
index b1cda1de9bdbfcc2d4d7f6ba72cd285d33f20684..53a0656e15365f005efa10c7891fac4ffadb2ccf 100644
--- a/src/plugins/eva/Eva.mli
+++ b/src/plugins/eva/Eva.mli
@@ -166,7 +166,7 @@ module Callstack: sig
   val top_call : t -> Cil_types.kernel_function * Cil_types.kinstr
 
   (** Returns the function that called the topmost function of the callstack. *)
-  val last_caller : t -> Cil_types.kernel_function option
+  val top_caller : t -> Cil_types.kernel_function option
 
   (** {2 Conversion} *)
 
diff --git a/src/plugins/eva/engine/function_calls.ml b/src/plugins/eva/engine/function_calls.ml
index 044ee16e2bf3e9593e37c5e656acc0ac1443ab19..8e0817904cab16f7cb9a1ca1b6f9acaeb6cf5466 100644
--- a/src/plugins/eva/engine/function_calls.ml
+++ b/src/plugins/eva/engine/function_calls.ml
@@ -53,7 +53,7 @@ let register_call kinstr kf =
   let kf', kinstr' = Callstack.top_call callstack in
   assert (Kernel_function.equal kf kf');
   assert (Cil_datatype.Kinstr.equal kinstr kinstr');
-  match kinstr, Callstack.last_caller callstack with
+  match kinstr, Callstack.top_caller callstack with
   | Kglobal, _ -> CallersTable.add kf Kernel_function.Map.empty
   | Kstmt _, None -> assert false
   | Kstmt stmt, Some caller ->
diff --git a/src/plugins/eva/types/callstack.mli b/src/plugins/eva/types/callstack.mli
index c3ede6737cfabb0afbf8bc24f68e85a20bcb77f6..a25b8cbe023b5199355d8ef39f1b873572457816 100644
--- a/src/plugins/eva/types/callstack.mli
+++ b/src/plugins/eva/types/callstack.mli
@@ -71,7 +71,7 @@ val top_callsite : t -> Cil_types.stmt option
 val top_call : t -> Cil_types.kernel_function * Cil_types.kinstr
 
 (** Returns the function that called the topmost function of the callstack. *)
-val last_caller : t -> Cil_types.kernel_function option
+val top_caller : t -> Cil_types.kernel_function option
 
 (** {2 Conversion} *)
 
diff --git a/src/plugins/eva/utils/eva_perf.ml b/src/plugins/eva/utils/eva_perf.ml
index e8bd382190ec9b9a71970290f74b19f38cd7ae72..4c0ae010c6ff1309e2e1fd7e93d48f702691b2bf 100644
--- a/src/plugins/eva/utils/eva_perf.ml
+++ b/src/plugins/eva/utils/eva_perf.ml
@@ -287,7 +287,7 @@ let display fmt =
 ;;
 
 let caller_callee_callinfo callstack =
-  match Callstack.last_caller callstack with
+  match Callstack.top_caller callstack with
   | Some caller_kf ->
     let callee_kf = Callstack.top_kf callstack in
     let caller_flat = Kernel_function.Hashtbl.find flat caller_kf in