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 = (