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

!14698 bpf: Fix narrow scalar spill onto 64-bit spilled scalar slots 

Merge Pull Request from: @ci-robot 
 
PR sync from: Chen Zhongjin <chenzhongjin@huawei.com>
https://mailweb.openeuler.org/hyperkitty/list/kernel@openeuler.org/message/4YC6SVQRWVMFOXNZSI74UVDLUSD2WDLS/ 
 
https://gitee.com/openeuler/kernel/issues/IBFYC8 
 
Link:https://gitee.com/openeuler/kernel/pulls/14698

 

Reviewed-by: default avatarXu Kuohai <xukuohai@huawei.com>
Signed-off-by: default avatarZhang Peng <zhangpeng362@huawei.com>
parents b2de7669 0dd239f9

kernel/bpf/verifier.c

+1 −0
Original line number Diff line number Diff line
@@ -4630,6 +4630,7 @@ static int check_stack_write_fixed_off(struct bpf_verifier_env *env, 
	 */

	if (!env->allow_ptr_leaks &&

	    is_spilled_reg(&state->stack[spi]) &&

	    !is_spilled_scalar_reg(&state->stack[spi]) &&

	    size != BPF_REG_SIZE) {

		verbose(env, "attempt to corrupt spilled pointer on stack\n");

		return -EACCES;