From c79cce1d949a6b2483440e94f9823c760661c810 Mon Sep 17 00:00:00 2001
From: xxr0ss <pjx3231@163.com>
Date: Mon, 11 Mar 2024 20:47:27 +0800
Subject: [PATCH] fix eBPF exit instruction

---
 angr_platforms/ebpf/instrs_ebpf.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/angr_platforms/ebpf/instrs_ebpf.py b/angr_platforms/ebpf/instrs_ebpf.py
index a5f3afe..f1b75d8 100644
--- a/angr_platforms/ebpf/instrs_ebpf.py
+++ b/angr_platforms/ebpf/instrs_ebpf.py
@@ -757,7 +757,8 @@ class Exit64(Jump64Instruction):
     operation_bin = "1001"
 
     def compute_result(self):
-        self.jump(None, 0, JumpKind.Exit)  # irrelevant addr
+        # NOTE: BPF_EXIT actually means function return
+        self.jump(None, 0, JumpKind.Ret)  # irrelevant addr
 
 
 Jump = (