Unverified Commit 84404f24 authored by openeuler-ci-bot's avatar openeuler-ci-bot Committed by Gitee
Browse files

!11556 bpf: Fix a kernel verifier crash in stacksafe() 

Merge Pull Request from: @ci-robot 
 
PR sync from: Pu Lehui <pulehui@huawei.com>
https://mailweb.openeuler.org/hyperkitty/list/kernel@openeuler.org/message/M2MWYBHXKE4AZMWYDEC3FHM6YO4NMKVX/ 
 
https://gitee.com/src-openeuler/kernel/issues/IAQOJD 
 
Link:https://gitee.com/openeuler/kernel/pulls/11556

 

Reviewed-by: default avatarYe Weihua <yeweihua4@huawei.com>
Signed-off-by: default avatarZhang Peng <zhangpeng362@huawei.com>
parents 1910604f f9dba09e

kernel/bpf/verifier.c

+3 −2
Original line number Diff line number Diff line
@@ -16128,8 +16128,9 @@ static bool stacksafe(struct bpf_verifier_env *env, struct bpf_func_state *old, 
		spi = i / BPF_REG_SIZE;









		if (exact &&









		    (i >= cur->allocated_stack ||









		     old->stack[spi].slot_type[i % BPF_REG_SIZE] !=









		    cur->stack[spi].slot_type[i % BPF_REG_SIZE])









		     cur->stack[spi].slot_type[i % BPF_REG_SIZE]))









			return false;

















		if (!(old->stack[spi].spilled_ptr.live & REG_LIVE_READ) && !exact) {