Audit the following candidate code to determine whether it presents a real vulnerability.
This sample may come from a noisy retrieval or transformation stage, so reason from the supplied code and context rather than assuming the label.

Repository: git.kernel.org/pub/scm/linux/kernel/git/stable/linux
Language: Assembly
File: arch/riscv/kernel/entry.S
Function: handle_exception

Call path: handle_exception (arch/riscv/kernel/entry.S) → trace_hardirqs_off (kernel/trace/trace_preemptirq.c) → trace_hardirqs_on (kernel/trace/trace_preemptirq.c) → __trace_hardirqs_off (arch/riscv/kernel/trace_irq.c) → __trace_hardirqs_on (arch/riscv/kernel/trace_irq.c)

### Primary Function

```assembly
.globl handle_exception
handle_exception:
	csrrw tp, CSR_SCRATCH, tp
	bnez tp, _save_context
_restore_kernel_tpsp:
	csrr tp, CSR_SCRATCH
	REG_S sp, TASK_TI_KERNEL_SP(tp)
_save_context:
	REG_S sp, TASK_TI_USER_SP(tp)
	REG_L sp, TASK_TI_KERNEL_SP(tp)
	addi sp, sp, -(PT_SIZE_ON_STACK)
	REG_S x1,  PT_RA(sp)
	REG_S x3,  PT_GP(sp)
	REG_S x5,  PT_T0(sp)
	REG_S x6,  PT_T1(sp)
	REG_S x7,  PT_T2(sp)
	REG_S x8,  PT_S0(sp)
	REG_S x9,  PT_S1(sp)
	REG_S x10, PT_A0(sp)
	REG_S x11, PT_A1(sp)
	REG_S x12, PT_A2(sp)
	REG_S x13, PT_A3(sp)
	REG_S x14, PT_A4(sp)
	REG_S x15, PT_A5(sp)
	REG_S x16, PT_A6(sp)
	REG_S x17, PT_A7(sp)
	REG_S x18, PT_S2(sp)
	REG_S x19, PT_S3(sp)
	REG_S x20, PT_S4(sp)
	REG_S x21, PT_S5(sp)
	REG_S x22, PT_S6(sp)
	REG_S x23, PT_S7(sp)
	REG_S x24, PT_S8(sp)
	REG_S x25, PT_S9(sp)
	REG_S x26, PT_S10(sp)
	REG_S x27, PT_S11(sp)
	REG_S x28, PT_T3(sp)
	REG_S x29, PT_T4(sp)
	REG_S x30, PT_T5(sp)
	REG_S x31, PT_T6(sp)
	li t0, SR_SUM | SR_FS
	REG_L s0, TASK_TI_USER_SP(tp)
	csrrc s1, CSR_STATUS, t0
	csrr s2, CSR_EPC
	csrr s3, CSR_TVAL
	csrr s4, CSR_CAUSE
	csrr s5, CSR_SCRATCH
	REG_S s0, PT_SP(sp)
	REG_S s1, PT_STATUS(sp)
	REG_S s2, PT_EPC(sp)
	REG_S s3, PT_BADADDR(sp)
	REG_S s4, PT_CAUSE(sp)
	REG_S s5, PT_TP(sp)
	csrw CSR_SCRATCH, x0
.option push
.option norelax
	la gp, __global_pointer$
.option pop
#ifdef CONFIG_TRACE_IRQFLAGS
	call __trace_hardirqs_off
#endif
#ifdef CONFIG_CONTEXT_TRACKING
	li   a0, SR_PP
	and a0, s1, a0
	bnez a0, skip_context_tracking
	call context_tracking_user_exit
skip_context_tracking:
#endif
	bge s4, zero, 1f
	la ra, ret_from_exception
	move a0, sp
	la a1, handle_arch_irq
	REG_L a1, (a1)
	jr a1
1:
	andi t0, s1, SR_PIE
	beqz t0, 1f
#ifdef CONFIG_TRACE_IRQFLAGS
	call __trace_hardirqs_on
#endif
	csrs CSR_STATUS, SR_IE
1:
	la ra, ret_from_exception
	li t0, EXC_SYSCALL
	beq s4, t0, handle_syscall
	slli t0, s4, RISCV_LGPTR
	la t1, excp_vect_table
	la t2, excp_vect_table_end
	move a0, sp
	add t0, t1, t0
	bgeu t0, t2, 1f
	REG_L t0, 0(t0)
	jr t0
1:
	tail do_trap_unknown
handle_syscall:
#ifdef CONFIG_RISCV_M_MODE
	csrs CSR_STATUS, SR_IE
#endif
#if defined(CONFIG_TRACE_IRQFLAGS) || defined(CONFIG_CONTEXT_TRACKING)
	REG_L a0, PT_A0(sp)
	REG_L a1, PT_A1(sp)
	REG_L a2, PT_A2(sp)
	REG_L a3, PT_A3(sp)
	REG_L a4, PT_A4(sp)
	REG_L a5, PT_A5(sp)
	REG_L a6, PT_A6(sp)
	REG_L a7, PT_A7(sp)
#endif
	REG_S a0, PT_ORIG_A0(sp)
	addi s2, s2, 0x4
	REG_S s2, PT_EPC(sp)
	REG_L t0, TASK_TI_FLAGS(tp)
	andi t0, t0, _TIF_SYSCALL_WORK
	bnez t0, handle_syscall_trace_enter
check_syscall_nr:
	li t0, __NR_syscalls
	la s0, sys_ni_syscall
	bgeu a7, t0, 1f
	la s0, sys_call_table
	slli t0, a7, RISCV_LGPTR
	add s0, s0, t0
	REG_L s0, 0(s0)
1:
	jalr s0
ret_from_syscall:
	REG_S a0, PT_A0(sp)
ret_from_syscall_rejected:
	REG_L t0, TASK_TI_FLAGS(tp)
	andi t0, t0, _TIF_SYSCALL_WORK
	bnez t0, handle_syscall_trace_exit
ret_from_exception:
	REG_L s0, PT_STATUS(sp)
	csrc CSR_STATUS, SR_IE
#ifdef CONFIG_TRACE_IRQFLAGS
	call __trace_hardirqs_off
#endif
#ifdef CONFIG_RISCV_M_MODE
	li t0, SR_MPP
	and s0, s0, t0
#else
	andi s0, s0, SR_SPP
#endif
	bnez s0, resume_kernel
resume_userspace:
	REG_L s0, TASK_TI_FLAGS(tp)
	andi s1, s0, _TIF_WORK_MASK
	bnez s1, work_pending
#ifdef CONFIG_CONTEXT_TRACKING
	call context_tracking_user_enter
#endif
	addi s0, sp, PT_SIZE_ON_STACK
	REG_S s0, TASK_TI_KERNEL_SP(tp)
	csrw CSR_SCRATCH, tp
restore_all:
#ifdef CONFIG_TRACE_IRQFLAGS
	REG_L s1, PT_STATUS(sp)
	andi t0, s1, SR_PIE
	beqz t0, 1f
	call __trace_hardirqs_on
	j 2f
1:
	call __trace_hardirqs_off
2:
#endif
	REG_L a0, PT_STATUS(sp)
```

### Cross-File Context

[CALLER_ADDR1 — macro — include/linux/ftrace.h:807]
CALLER_ADDR1 → ((unsigned long)ftrace_return_address(1))  (include/linux/ftrace.h:807)

[__trace_hardirqs_off — helper — arch/riscv/kernel/trace_irq.c:17-21]
```assembly
void __trace_hardirqs_off(void)
{
	trace_hardirqs_off();
}
NOKPROBE_SYMBOL(__trace_hardirqs_off);
```

[__trace_hardirqs_on — helper — arch/riscv/kernel/trace_irq.c:11-15]
```assembly
void __trace_hardirqs_on(void)
{
	trace_hardirqs_on();
}
NOKPROBE_SYMBOL(__trace_hardirqs_on);
```

[NOKPROBE_SYMBOL — macro — include/linux/kprobes.h]
NOKPROBE_SYMBOL → #define NOKPROBE_SYMBOL(sym) __NOKPROBE_LABEL(sym)  (include/linux/kprobes.h)

[ftrace_return_address — function — include/linux/ftrace.h:800]
```assembly
# define ftrace_return_address(n) __builtin_return_address(n)
```

Control flow: handle_exception begins by swapping tp with CSR_SCRATCH to retrieve the task pointer, then sets up the kernel stack and saves all architectural registers. After saving the user SP to the stack and clearing CSR_SCRATCH, it optionally calls __trace_hardirqs_off when CONFIG_TRACE_IRQFLAGS is enabled. Control then branches based on CSR_CAUSE: synchronous exceptions (cause < 0) go directly to ret_from_exception, while interrupts (cause >= 0) check if interrupts were previously enabled and may call __trace_hardirqs_on before enabling interrupts. Exception vectors are looked up in excp_vect_table with bounds checking against excp_vect_table_end. Syscalls have special handling that includes bounds validation of the syscall number against __NR_syscalls before dispatching via sys_call_table. ret_from_exception clears interrupts, optionally calls __trace_hardirqs_off, and determines whether to resume kernel or user mode, with context tracking and TIF flag checks on the return paths.

Data flow: The task pointer (tp) is restored from CSR_SCRATCH at entry and used to access TASK_TI_KERNEL_SP and TASK_TI_USER_SP for stack management. All integer registers and key CSRs (STATUS, EPC, TVAL, CAUSE, SCRATCH) are saved to the stack frame. The syscall number in a7 is bounded against __NR_syscalls before indexing into sys_call_table with slli a7, RISCV_LGPTR for proper addressing. Task flags are checked via TASK_TI_FLAGS(tp) masked with _TIF_SYSCALL_WORK and _TIF_WORK_MASK to determine tracing and work pending behavior. CSR_SCRATCH is explicitly zeroed after tp is extracted and restored to tp before returning to userspace.

Verdict: Not Vulnerable

Reviewed region:
[arch/riscv/kernel/entry.S]
```assembly
.globl handle_exception
handle_exception:
	csrrw tp, CSR_SCRATCH, tp
	bnez tp, _save_context
_restore_kernel_tpsp:
	csrr tp, CSR_SCRATCH
	REG_S sp, TASK_TI_KERNEL_SP(tp)
_save_context:
	REG_S sp, TASK_TI_USER_SP(tp)
	REG_L sp, TASK_TI_KERNEL_SP(tp)
	addi sp, sp, -(PT_SIZE_ON_STACK)
	REG_S x1,  PT_RA(sp)
	REG_S x3,  PT_GP(sp)
	REG_S x5,  PT_T0(sp)
	REG_S x6,  PT_T1(sp)
	REG_S x7,  PT_T2(sp)
	REG_S x8,  PT_S0(sp)
	REG_S x9,  PT_S1(sp)
	REG_S x10, PT_A0(sp)
	REG_S x11, PT_A1(sp)
	REG_S x12, PT_A2(sp)
	REG_S x13, PT_A3(sp)
	REG_S x14, PT_A4(sp)
	REG_S x15, PT_A5(sp)
	REG_S x16, PT_A6(sp)
	REG_S x17, PT_A7(sp)
	REG_S x18, PT_S2(sp)
	REG_S x19, PT_S3(sp)
	REG_S x20, PT_S4(sp)
	REG_S x21, PT_S5(sp)
	REG_S x22, PT_S6(sp)
	REG_S x23, PT_S7(sp)
	REG_S x24, PT_S8(sp)
	REG_S x25, PT_S9(sp)
	REG_S x26, PT_S10(sp)
	REG_S x27, PT_S11(sp)
	REG_S x28, PT_T3(sp)
	REG_S x29, PT_T4(sp)
	REG_S x30, PT_T5(sp)
	REG_S x31, PT_T6(sp)
	li t0, SR_SUM | SR_FS
	REG_L s0, TASK_TI_USER_SP(tp)
	csrrc s1, CSR_STATUS, t0
	csrr s2, CSR_EPC
	csrr s3, CSR_TVAL
	csrr s4, CSR_CAUSE
	csrr s5, CSR_SCRATCH
	REG_S s0, PT_SP(sp)
	REG_S s1, PT_STATUS(sp)
	REG_S s2, PT_EPC(sp)
	REG_S s3, PT_BADADDR(sp)
	REG_S s4, PT_CAUSE(sp)
	REG_S s5, PT_TP(sp)
	csrw CSR_SCRATCH, x0
.option push
.option norelax
	la gp, __global_pointer$
.option pop
#ifdef CONFIG_TRACE_IRQFLAGS
	call __trace_hardirqs_off
#endif
#ifdef CONFIG_CONTEXT_TRACKING
	li   a0, SR_PP
	and a0, s1, a0
	bnez a0, skip_context_tracking
	call context_tracking_user_exit
skip_context_tracking:
#endif
	bge s4, zero, 1f
	la ra, ret_from_exception
	move a0, sp
	la a1, handle_arch_irq
	REG_L a1, (a1)
	jr a1
1:
	andi t0, s1, SR_PIE
	beqz t0, 1f
#ifdef CONFIG_TRACE_IRQFLAGS
	call __trace_hardirqs_on
#endif
	csrs CSR_STATUS, SR_IE
1:
	la ra, ret_from_exception
	li t0, EXC_SYSCALL
	beq s4, t0, handle_syscall
	slli t0, s4, RISCV_LGPTR
	la t1, excp_vect_table
	la t2, excp_vect_table_end
	move a0, sp
	add t0, t1, t0
	bgeu t0, t2, 1f
	REG_L t0, 0(t0)
	jr t0
1:
	tail do_trap_unknown
handle_syscall:
#ifdef CONFIG_RISCV_M_MODE
	csrs CSR_STATUS, SR_IE
#endif
#if defined(CONFIG_TRACE_IRQFLAGS) || defined(CONFIG_CONTEXT_TRACKING)
	REG_L a0, PT_A0(sp)
	REG_L a1, PT_A1(sp)
	REG_L a2, PT_A2(sp)
	REG_L a3, PT_A3(sp)
	REG_L a4, PT_A4(sp)
	REG_L a5, PT_A5(sp)
	REG_L a6, PT_A6(sp)
	REG_L a7, PT_A7(sp)
#endif
	REG_S a0, PT_ORIG_A0(sp)
	addi s2, s2, 0x4
	REG_S s2, PT_EPC(sp)
	REG_L t0, TASK_TI_FLAGS(tp)
	andi t0, t0, _TIF_SYSCALL_WORK
	bnez t0, handle_syscall_trace_enter
check_syscall_nr:
	li t0, __NR_syscalls
	la s0, sys_ni_syscall
	bgeu a7, t0, 1f
	la s0, sys_call_table
	slli t0, a7, RISCV_LGPTR
	add s0, s0, t0
	REG_L s0, 0(s0)
1:
	jalr s0
ret_from_syscall:
	REG_S a0, PT_A0(sp)
ret_from_syscall_rejected:
	REG_L t0, TASK_TI_FLAGS(tp)
	andi t0, t0, _TIF_SYSCALL_WORK
	bnez t0, handle_syscall_trace_exit
ret_from_exception:
	REG_L s0, PT_STATUS(sp)
	csrc CSR_STATUS, SR_IE
#ifdef CONFIG_TRACE_IRQFLAGS
	call __trace_hardirqs_off
#endif
#ifdef CONFIG_RISCV_M_MODE
	li t0, SR_MPP
	and s0, s0, t0
#else
	andi s0, s0, SR_SPP
#endif
	bnez s0, resume_kernel
resume_userspace:
	REG_L s0, TASK_TI_FLAGS(tp)
	andi s1, s0, _TIF_WORK_MASK
	bnez s1, work_pending
#ifdef CONFIG_CONTEXT_TRACKING
	call context_tracking_user_enter
#endif
	addi s0, sp, PT_SIZE_ON_STACK
	REG_S s0, TASK_TI_KERNEL_SP(tp)
	csrw CSR_SCRATCH, tp
restore_all:
#ifdef CONFIG_TRACE_IRQFLAGS
	REG_L s1, PT_STATUS(sp)
	andi t0, s1, SR_PIE
	beqz t0, 1f
	call __trace_hardirqs_on
	j 2f
1:
	call __trace_hardirqs_off
2:
#endif
	REG_L a0, PT_STATUS(sp)
```

Why it is not vulnerable: The task pointer (tp) register, which serves as the thread pointer, is properly initialized at entry via csrrw tp, CSR_SCRATCH, tp and csrr tp, CSR_SCRATCH, and remains unchanged throughout the execution paths that call __trace_hardirqs_off and __trace_hardirqs_on. The csrw CSR_SCRATCH, x0 instruction after the register save block only clears the scratch CSR and does not affect tp. All trace function calls occur on a valid kernel stack with tp pointing to valid task memory. Syscall dispatch properly bounds-checks a7 against __NR_syscalls before table lookup. Exception vector table lookups are bounded by excp_vect_table_end.

Security invariants:
- tp (task/thread pointer) must remain valid when trace functions are called; enforced by initializing tp at entry (csrrw tp, CSR_SCRATCH, tp) and not modifying it before __trace_hardirqs_off or __trace_hardirqs_on calls
- Syscall number must be bounded before table indexing; enforced by bgeu a7, t0, 1f where t0 is __NR_syscalls, defaulting to sys_ni_syscall on out-of-range
- Exception vector table lookup must be bounds-checked; enforced by computing the offset with slli t0, s4, RISCV_LGPTR and checking bgeu t0, t2 where t2 is excp_vect_table_end, falling back to do_trap_unknown on out-of-range
- Kernel stack must be valid when registers are saved and functions are called; enforced by REG_L sp, TASK_TI_KERNEL_SP(tp) followed by addi sp, sp, -(PT_SIZE_ON_STACK) to allocate the stack frame
- CSR_SCRATCH must be restored before returning to userspace; enforced by csrw CSR_SCRATCH, tp at resume_userspace before restore_all

Invariant verification:
- tp register validity before __trace_hardirqs_off call: holds=true. Evidence: tp is loaded via csrrw tp, CSR_SCRATCH, tp and csrr tp, CSR_SCRATCH at the start of handle_exception, and the subsequent csrw CSR_SCRATCH, x0 only clears the CSR, not tp; no instruction between tp initialization and the call __trace_hardirqs_off modifies tp
- tp register validity before __trace_hardirqs_on call: holds=true. Evidence: The same tp value initialized at entry flows through all paths to __trace_hardirqs_on; no intervening code modifies tp between initialization and the call site
- Syscall number bounds validation before table dispatch: holds=true. Evidence: li t0, __NR_syscalls followed by bgeu a7, t0, 1f ensures out-of-range syscall numbers fall through to sys_ni_syscall rather than performing an unbounded table lookup
- Exception vector table bounds checking: holds=true. Evidence: la t1, excp_vect_table; la t2, excp_vect_table_end; bgeu t0, t2, 1f ensures the computed table offset does not exceed the table bounds, with fallback to tail do_trap_unknown
- Kernel stack frame properly allocated before register saves and function calls: holds=true. Evidence: REG_L sp, TASK_TI_KERNEL_SP(tp) loads kernel stack pointer, then addi sp, sp, -(PT_SIZE_ON_STACK) reserves stack space before all register saves and trace function invocations

Residual risk notes: The __trace_hardirqs_off and __trace_hardirqs_on helper functions invoke trace_hardirqs_off() and trace_hardirqs_on() respectively, which may perform stack walking using CALLER_ADDR1 that ultimately relies on ftrace_return_address(1) / __builtin_return_address(1). While this mechanism uses the return address on the stack rather than a frame pointer walk, the correctness of stack frame layout and return address preservation depends on proper calling convention adherence by all intermediate call chain functions. Additionally, the context_tracking_user_exit and context_tracking_user_enter calls similarly may perform operations that depend on valid execution context state.

Control flow: The handle_exception function serves as the RISC-V exception entry point. It saves all general-purpose registers to the kernel stack, reads exception CSRs (STATUS, EPC, TVAL, CAUSE, SCRATCH), and conditionally calls __trace_hardirqs_off when CONFIG_TRACE_IRQFLAGS is enabled. It then checks the exception cause: negative values dispatch to handle_arch_irq, while non-negative values either handle syscalls directly or jump to an exception vector table entry after bounds validation. On return, it conditionally calls __trace_hardirqs_on based on the interrupt enable state, restores registers, and returns to the appropriate context.

Data flow: Exception CSRs are read into temporary registers and saved to the stack frame (PT_* offsets). The exception cause (s4) determines the control path. For syscalls, the syscall number in a7 is validated against __NR_syscalls before indexing into sys_call_table. The trace functions __trace_hardirqs_off and __trace_hardirqs_on are called from assembly context to update IRQ tracing state, with their implementations marked with NOKPROBE_SYMBOL to prevent instrumentation.

Verdict: Not Vulnerable

Reviewed region:
[arch/riscv/kernel/entry.S]
```assembly
.globl handle_exception
handle_exception:
	csrrw tp, CSR_SCRATCH, tp
	bnez tp, _save_context
_restore_kernel_tpsp:
	csrr tp, CSR_SCRATCH
	REG_S sp, TASK_TI_KERNEL_SP(tp)
_save_context:
	REG_S sp, TASK_TI_USER_SP(tp)
	REG_L sp, TASK_TI_KERNEL_SP(tp)
	addi sp, sp, -(PT_SIZE_ON_STACK)
	REG_S x1,  PT_RA(sp)
	REG_S x3,  PT_GP(sp)
	REG_S x5,  PT_T0(sp)
	REG_S x6,  PT_T1(sp)
	REG_S x7,  PT_T2(sp)
	REG_S x8,  PT_S0(sp)
	REG_S x9,  PT_S1(sp)
	REG_S x10, PT_A0(sp)
	REG_S x11, PT_A1(sp)
	REG_S x12, PT_A2(sp)
	REG_S x13, PT_A3(sp)
	REG_S x14, PT_A4(sp)
	REG_S x15, PT_A5(sp)
	REG_S x16, PT_A6(sp)
	REG_S x17, PT_A7(sp)
	REG_S x18, PT_S2(sp)
	REG_S x19, PT_S3(sp)
	REG_S x20, PT_S4(sp)
	REG_S x21, PT_S5(sp)
	REG_S x22, PT_S6(sp)
	REG_S x23, PT_S7(sp)
	REG_S x24, PT_S8(sp)
	REG_S x25, PT_S9(sp)
	REG_S x26, PT_S10(sp)
	REG_S x27, PT_S11(sp)
	REG_S x28, PT_T3(sp)
	REG_S x29, PT_T4(sp)
	REG_S x30, PT_T5(sp)
	REG_S x31, PT_T6(sp)
	li t0, SR_SUM | SR_FS
	REG_L s0, TASK_TI_USER_SP(tp)
	csrrc s1, CSR_STATUS, t0
	csrr s2, CSR_EPC
	csrr s3, CSR_TVAL
	csrr s4, CSR_CAUSE
	csrr s5, CSR_SCRATCH
	REG_S s0, PT_SP(sp)
	REG_S s1, PT_STATUS(sp)
	REG_S s2, PT_EPC(sp)
	REG_S s3, PT_BADADDR(sp)
	REG_S s4, PT_CAUSE(sp)
	REG_S s5, PT_TP(sp)
	csrw CSR_SCRATCH, x0
.option push
.option norelax
	la gp, __global_pointer$
.option pop
#ifdef CONFIG_TRACE_IRQFLAGS
	call __trace_hardirqs_off
#endif
#ifdef CONFIG_CONTEXT_TRACKING
	li   a0, SR_PP
	and a0, s1, a0
	bnez a0, skip_context_tracking
	call context_tracking_user_exit
skip_context_tracking:
#endif
	bge s4, zero, 1f
	la ra, ret_from_exception
	move a0, sp
	la a1, handle_arch_irq
	REG_L a1, (a1)
	jr a1
1:
	andi t0, s1, SR_PIE
	beqz t0, 1f
#ifdef CONFIG_TRACE_IRQFLAGS
	call __trace_hardirqs_on
#endif
	csrs CSR_STATUS, SR_IE
1:
	la ra, ret_from_exception
	li t0, EXC_SYSCALL
	beq s4, t0, handle_syscall
	slli t0, s4, RISCV_LGPTR
	la t1, excp_vect_table
	la t2, excp_vect_table_end
	move a0, sp
	add t0, t1, t0
	bgeu t0, t2, 1f
	REG_L t0, 0(t0)
	jr t0
1:
	tail do_trap_unknown
handle_syscall:
#ifdef CONFIG_RISCV_M_MODE
	csrs CSR_STATUS, SR_IE
#endif
#if defined(CONFIG_TRACE_IRQFLAGS) || defined(CONFIG_CONTEXT_TRACKING)
	REG_L a0, PT_A0(sp)
	REG_L a1, PT_A1(sp)
	REG_L a2, PT_A2(sp)
	REG_L a3, PT_A3(sp)
	REG_L a4, PT_A4(sp)
	REG_L a5, PT_A5(sp)
	REG_L a6, PT_A6(sp)
	REG_L a7, PT_A7(sp)
#endif
	REG_S a0, PT_ORIG_A0(sp)
	addi s2, s2, 0x4
	REG_S s2, PT_EPC(sp)
	REG_L t0, TASK_TI_FLAGS(tp)
	andi t0, t0, _TIF_SYSCALL_WORK
	bnez t0, handle_syscall_trace_enter
check_syscall_nr:
	li t0, __NR_syscalls
	la s0, sys_ni_syscall
	bgeu a7, t0, 1f
	la s0, sys_call_table
	slli t0, a7, RISCV_LGPTR
	add s0, s0, t0
	REG_L s0, 0(s0)
1:
	jalr s0
ret_from_syscall:
	REG_S a0, PT_A0(sp)
ret_from_syscall_rejected:
	REG_L t0, TASK_TI_FLAGS(tp)
	andi t0, t0, _TIF_SYSCALL_WORK
	bnez t0, handle_syscall_trace_exit
ret_from_exception:
	REG_L s0, PT_STATUS(sp)
	csrc CSR_STATUS, SR_IE
#ifdef CONFIG_TRACE_IRQFLAGS
	call __trace_hardirqs_off
#endif
#ifdef CONFIG_RISCV_M_MODE
	li t0, SR_MPP
	and s0, s0, t0
#else
	andi s0, s0, SR_SPP
#endif
	bnez s0, resume_kernel
resume_userspace:
	REG_L s0, TASK_TI_FLAGS(tp)
	andi s1, s0, _TIF_WORK_MASK
	bnez s1, work_pending
#ifdef CONFIG_CONTEXT_TRACKING
	call context_tracking_user_enter
#endif
	addi s0, sp, PT_SIZE_ON_STACK
	REG_S s0, TASK_TI_KERNEL_SP(tp)
	csrw CSR_SCRATCH, tp
restore_all:
#ifdef CONFIG_TRACE_IRQFLAGS
	REG_L s1, PT_STATUS(sp)
	andi t0, s1, SR_PIE
	beqz t0, 1f
	call __trace_hardirqs_on
	j 2f
1:
	call __trace_hardirqs_off
2:
#endif
	REG_L a0, PT_STATUS(sp)
```

Why it is not vulnerable: The trace functions __trace_hardirqs_off and __trace_hardirqs_on, which are called from the exception handler assembly context, are explicitly marked with NOKPROBE_SYMBOL in their definitions. This macro expands to __NOKPROBE_LABEL(sym), which instructs the kernel's kprobe/ftrace infrastructure to exclude these symbols from instrumentation. This prevents the trace functions from being instrumented with probes that could cause recursive calls, stack corruption, or deadlocks when invoked from the critical exception handling path. Both helper functions in arch/riscv/kernel/trace_irq.c carry this protection, ensuring that calls to trace_hardirqs_off() and trace_hardirqs_on() from the exception context remain safe from instrumentation-related issues.

Security invariants:
- Functions called from exception handler assembly context must not be instrumentable by kprobes/ftrace. Enforced by NOKPROBE_SYMBOL(__trace_hardirqs_off) and NOKPROBE_SYMBOL(__trace_hardirqs_on) in arch/riscv/kernel/trace_irq.c.
- Syscall number must be within valid range before table lookup. Enforced by 'bgeu a7, t0, 1f' which branches to sys_ni_syscall if a7 >= __NR_syscalls.
- Exception vector table index must be within bounds before indirect jump. Enforced by 'bgeu t0, t2, 1f' which checks the computed address against excp_vect_table_end.
- Stack frame size must be consistent for register save/restore. Enforced by fixed PT_SIZE_ON_STACK offset and symmetric register save/restore sequences.
- CSR_SCRATCH must be properly managed across exception entry/exit. Enforced by csrrw at entry and csrw at restore_all.

Invariant verification:
- NOKPROBE protection on trace functions called from exception context: holds=true. Evidence: Both __trace_hardirqs_off and __trace_hardirqs_on in arch/riscv/kernel/trace_irq.c are annotated with NOKPROBE_SYMBOL, which expands to __NOKPROBE_LABEL(sym) per include/linux/kprobes.h. This prevents kprobe/ftrace instrumentation of these functions.
- Syscall number bounds validation before dispatch: holds=true. Evidence: The instruction 'bgeu a7, t0, 1f' (where t0 = __NR_syscalls) branches to label 1 which sets s0 to sys_ni_syscall, preventing out-of-bounds table access.
- Exception vector table bounds check before indirect jump: holds=true. Evidence: The computed address t0 is compared against t2 (excp_vect_table_end) via 'bgeu t0, t2, 1f', with out-of-bounds cases falling through to do_trap_unknown.
- Balanced register save/restore for exception frame: holds=true. Evidence: All registers x1-x31 are saved at entry using REG_S with PT_* offsets, and restored at exit using REG_L from the same offsets, with sp managed via PT_SIZE_ON_STACK.

Residual risk notes: The NOKPROBE_SYMBOL protection relies on the kernel's kprobe infrastructure correctly respecting the __NOKPROBE_LABEL markers. If the kprobe subsystem were to have a bug that ignores these markers, instrumentation could still occur. Additionally, while the syscall and exception vector bounds checks are present, they depend on the integrity of __NR_syscalls, sys_call_table, excp_vect_table, and excp_vect_table_end not being corrupted by other vulnerabilities. The trace functions themselves call into trace_hardirqs_off() and trace_hardirqs_on() which may have further callees; the safety of those deeper calls depends on their own instrumentation protections.

```json
{
  "vulnerable": false,
  "cwe": null,
  "severity": "NONE",
  "reviewed_region": {
    "file_path": "arch/riscv/kernel/entry.S",
    "symbol": "handle_exception",
    "code": ".globl handle_exception\nhandle_exception:\n\tcsrrw tp, CSR_SCRATCH, tp\n\tbnez tp, _save_context\n_restore_kernel_tpsp:\n\tcsrr tp, CSR_SCRATCH\n\tREG_S sp, TASK_TI_KERNEL_SP(tp)\n_save_context:\n\tREG_S sp, TASK_TI_USER_SP(tp)\n\tREG_L sp, TASK_TI_KERNEL_SP(tp)\n\taddi sp, sp, -(PT_SIZE_ON_STACK)\n\tREG_S x1,  PT_RA(sp)\n\tREG_S x3,  PT_GP(sp)\n\tREG_S x5,  PT_T0(sp)\n\tREG_S x6,  PT_T1(sp)\n\tREG_S x7,  PT_T2(sp)\n\tREG_S x8,  PT_S0(sp)\n\tREG_S x9,  PT_S1(sp)\n\tREG_S x10, PT_A0(sp)\n\tREG_S x11, PT_A1(sp)\n\tREG_S x12, PT_A2(sp)\n\tREG_S x13, PT_A3(sp)\n\tREG_S x14, PT_A4(sp)\n\tREG_S x15, PT_A5(sp)\n\tREG_S x16, PT_A6(sp)\n\tREG_S x17, PT_A7(sp)\n\tREG_S x18, PT_S2(sp)\n\tREG_S x19, PT_S3(sp)\n\tREG_S x20, PT_S4(sp)\n\tREG_S x21, PT_S5(sp)\n\tREG_S x22, PT_S6(sp)\n\tREG_S x23, PT_S7(sp)\n\tREG_S x24, PT_S8(sp)\n\tREG_S x25, PT_S9(sp)\n\tREG_S x26, PT_S10(sp)\n\tREG_S x27, PT_S11(sp)\n\tREG_S x28, PT_T3(sp)\n\tREG_S x29, PT_T4(sp)\n\tREG_S x30, PT_T5(sp)\n\tREG_S x31, PT_T6(sp)\n\tli t0, SR_SUM | SR_FS\n\tREG_L s0, TASK_TI_USER_SP(tp)\n\tcsrrc s1, CSR_STATUS, t0\n\tcsrr s2, CSR_EPC\n\tcsrr s3, CSR_TVAL\n\tcsrr s4, CSR_CAUSE\n\tcsrr s5, CSR_SCRATCH\n\tREG_S s0, PT_SP(sp)\n\tREG_S s1, PT_STATUS(sp)\n\tREG_S s2, PT_EPC(sp)\n\tREG_S s3, PT_BADADDR(sp)\n\tREG_S s4, PT_CAUSE(sp)\n\tREG_S s5, PT_TP(sp)\n\tcsrw CSR_SCRATCH, x0\n.option push\n.option norelax\n\tla gp, __global_pointer$\n.option pop\n#ifdef CONFIG_TRACE_IRQFLAGS\n\tcall __trace_hardirqs_off\n#endif\n#ifdef CONFIG_CONTEXT_TRACKING\n\tli   a0, SR_PP\n\tand a0, s1, a0\n\tbnez a0, skip_context_tracking\n\tcall context_tracking_user_exit\nskip_context_tracking:\n#endif\n\tbge s4, zero, 1f\n\tla ra, ret_from_exception\n\tmove a0, sp\n\tla a1, handle_arch_irq\n\tREG_L a1, (a1)\n\tjr a1\n1:\n\tandi t0, s1, SR_PIE\n\tbeqz t0, 1f\n#ifdef CONFIG_TRACE_IRQFLAGS\n\tcall __trace_hardirqs_on\n#endif\n\tcsrs CSR_STATUS, SR_IE\n1:\n\tla ra, ret_from_exception\n\tli t0, EXC_SYSCALL\n\tbeq s4, t0, handle_syscall\n\tslli t0, s4, RISCV_LGPTR\n\tla t1, excp_vect_table\n\tla t2, excp_vect_table_end\n\tmove a0, sp\n\tadd t0, t1, t0\n\tbgeu t0, t2, 1f\n\tREG_L t0, 0(t0)\n\tjr t0\n1:\n\ttail do_trap_unknown\nhandle_syscall:\n#ifdef CONFIG_RISCV_M_MODE\n\tcsrs CSR_STATUS, SR_IE\n#endif\n#if defined(CONFIG_TRACE_IRQFLAGS) || defined(CONFIG_CONTEXT_TRACKING)\n\tREG_L a0, PT_A0(sp)\n\tREG_L a1, PT_A1(sp)\n\tREG_L a2, PT_A2(sp)\n\tREG_L a3, PT_A3(sp)\n\tREG_L a4, PT_A4(sp)\n\tREG_L a5, PT_A5(sp)\n\tREG_L a6, PT_A6(sp)\n\tREG_L a7, PT_A7(sp)\n#endif\n\tREG_S a0, PT_ORIG_A0(sp)\n\taddi s2, s2, 0x4\n\tREG_S s2, PT_EPC(sp)\n\tREG_L t0, TASK_TI_FLAGS(tp)\n\tandi t0, t0, _TIF_SYSCALL_WORK\n\tbnez t0, handle_syscall_trace_enter\ncheck_syscall_nr:\n\tli t0, __NR_syscalls\n\tla s0, sys_ni_syscall\n\tbgeu a7, t0, 1f\n\tla s0, sys_call_table\n\tslli t0, a7, RISCV_LGPTR\n\tadd s0, s0, t0\n\tREG_L s0, 0(s0)\n1:\n\tjalr s0\nret_from_syscall:\n\tREG_S a0, PT_A0(sp)\nret_from_syscall_rejected:\n\tREG_L t0, TASK_TI_FLAGS(tp)\n\tandi t0, t0, _TIF_SYSCALL_WORK\n\tbnez t0, handle_syscall_trace_exit\nret_from_exception:\n\tREG_L s0, PT_STATUS(sp)\n\tcsrc CSR_STATUS, SR_IE\n#ifdef CONFIG_TRACE_IRQFLAGS\n\tcall __trace_hardirqs_off\n#endif\n#ifdef CONFIG_RISCV_M_MODE\n\tli t0, SR_MPP\n\tand s0, s0, t0\n#else\n\tandi s0, s0, SR_SPP\n#endif\n\tbnez s0, resume_kernel\nresume_userspace:\n\tREG_L s0, TASK_TI_FLAGS(tp)\n\tandi s1, s0, _TIF_WORK_MASK\n\tbnez s1, work_pending\n#ifdef CONFIG_CONTEXT_TRACKING\n\tcall context_tracking_user_enter\n#endif\n\taddi s0, sp, PT_SIZE_ON_STACK\n\tREG_S s0, TASK_TI_KERNEL_SP(tp)\n\tcsrw CSR_SCRATCH, tp\nrestore_all:\n#ifdef CONFIG_TRACE_IRQFLAGS\n\tREG_L s1, PT_STATUS(sp)\n\tandi t0, s1, SR_PIE\n\tbeqz t0, 1f\n\tcall __trace_hardirqs_on\n\tj 2f\n1:\n\tcall __trace_hardirqs_off\n2:\n#endif\n\tREG_L a0, PT_STATUS(sp)"
  },
  "vulnerable_region": null,
  "root_cause": null,
  "exploitability": null,
  "attack_preconditions": [],
  "impact": "No concrete vulnerability impact is demonstrated in the supplied code and context.",
  "non_vulnerable_reason": "The trace functions __trace_hardirqs_off and __trace_hardirqs_on, which are called from the exception handler assembly context, are explicitly marked with NOKPROBE_SYMBOL in their definitions. This macro expands to __NOKPROBE_LABEL(sym), which instructs the kernel's kprobe/ftrace infrastructure to exclude these symbols from instrumentation. This prevents the trace functions from being instrumented with probes that could cause recursive calls, stack corruption, or deadlocks when invoked from the critical exception handling path. Both helper functions in arch/riscv/kernel/trace_irq.c carry this protection, ensuring that calls to trace_hardirqs_off() and trace_hardirqs_on() from the exception context remain safe from instrumentation-related issues.",
  "security_invariants": [
    "Functions called from exception handler assembly context must not be instrumentable by kprobes/ftrace. Enforced by NOKPROBE_SYMBOL(__trace_hardirqs_off) and NOKPROBE_SYMBOL(__trace_hardirqs_on) in arch/riscv/kernel/trace_irq.c.",
    "Syscall number must be within valid range before table lookup. Enforced by 'bgeu a7, t0, 1f' which branches to sys_ni_syscall if a7 >= __NR_syscalls.",
    "Exception vector table index must be within bounds before indirect jump. Enforced by 'bgeu t0, t2, 1f' which checks the computed address against excp_vect_table_end.",
    "Stack frame size must be consistent for register save/restore. Enforced by fixed PT_SIZE_ON_STACK offset and symmetric register save/restore sequences.",
    "CSR_SCRATCH must be properly managed across exception entry/exit. Enforced by csrrw at entry and csrw at restore_all."
  ],
  "invariant_verification": [
    {
      "property": "NOKPROBE protection on trace functions called from exception context",
      "holds": true,
      "evidence": "Both __trace_hardirqs_off and __trace_hardirqs_on in arch/riscv/kernel/trace_irq.c are annotated with NOKPROBE_SYMBOL, which expands to __NOKPROBE_LABEL(sym) per include/linux/kprobes.h. This prevents kprobe/ftrace instrumentation of these functions."
    },
    {
      "property": "Syscall number bounds validation before dispatch",
      "holds": true,
      "evidence": "The instruction 'bgeu a7, t0, 1f' (where t0 = __NR_syscalls) branches to label 1 which sets s0 to sys_ni_syscall, preventing out-of-bounds table access."
    },
    {
      "property": "Exception vector table bounds check before indirect jump",
      "holds": true,
      "evidence": "The computed address t0 is compared against t2 (excp_vect_table_end) via 'bgeu t0, t2, 1f', with out-of-bounds cases falling through to do_trap_unknown."
    },
    {
      "property": "Balanced register save/restore for exception frame",
      "holds": true,
      "evidence": "All registers x1-x31 are saved at entry using REG_S with PT_* offsets, and restored at exit using REG_L from the same offsets, with sp managed via PT_SIZE_ON_STACK."
    }
  ],
  "residual_risk_notes": "The NOKPROBE_SYMBOL protection relies on the kernel's kprobe infrastructure correctly respecting the __NOKPROBE_LABEL markers. If the kprobe subsystem were to have a bug that ignores these markers, instrumentation could still occur. Additionally, while the syscall and exception vector bounds checks are present, they depend on the integrity of __NR_syscalls, sys_call_table, excp_vect_table, and excp_vect_table_end not being corrupted by other vulnerabilities. The trace functions themselves call into trace_hardirqs_off() and trace_hardirqs_on() which may have further callees; the safety of those deeper calls depends on their own instrumentation protections.",
  "call_path": [
    "handle_exception",
    "trace_hardirqs_off",
    "trace_hardirqs_on",
    "__trace_hardirqs_off",
    "__trace_hardirqs_on"
  ]
}
```


System:
You are a senior application security auditor reviewing code for potential vulnerabilities.

You will be given a candidate function, repository and file metadata, a reduced call path, and resolved cross-file context such as helper functions, structs, macros, constants, and related definitions. Use the supplied context actively, but stay strictly grounded in what is actually shown.

Work from the supplied code and surrounding context as the primary evidence. Do not assume a bug exists just because the sample was retrieved.

Analyze both control flow and data flow. Trace the relevant execution paths and track security-relevant data through inputs, transformations, conditions, helper calls, outputs, and side effects.

Reason about attacker influence, identify relevant guards or missing guards, and explain exploitability or non-exploitability before reaching a verdict.

When the code is vulnerable, explain the vulnerable behavior, root cause, realistic attack preconditions, likely impact, and the most precise vulnerability classification justified by the supplied code.

When the code is not vulnerable, explain the concrete invariants and guards that prevent the suspected issue, and note any residual uncertainty that remains from the supplied context.

Keep the analysis concrete and code-grounded. Separate observed evidence from inferred conclusion.

Audit the following candidate code to determine whether it presents a real vulnerability.
This sample may come from a noisy retrieval or transformation stage, so reason from the supplied code and context rather than assuming the label.

Repository: github.com/k3s-io/k3s
Language: Go
File: pkg/daemons/agent/agent.go
Function: defaultKubeletConfig

Call path: kubeletArgsAndConfig (pkg/daemons/agent/agent_linux.go) → defaultKubeletConfig (pkg/daemons/agent/agent.go) → writeKubeletConfig (pkg/daemons/agent/agent.go) → yaml.Marshal (builtin)

### Primary Function

```go
func defaultKubeletConfig(cfg *daemonconfig.Agent) (*kubeletconfig.KubeletConfiguration, error) {
	bindAddress := "127.0.0.1"
	isIPv6 := utilsnet.IsIPv6(net.ParseIP([]string{cfg.NodeIP}[0]))
	if isIPv6 {
		bindAddress = "::1"
	}

	defaultConfig := &kubeletconfig.KubeletConfiguration{
		TypeMeta: metav1.TypeMeta{
			APIVersion: "kubelet.config.k8s.io/v1beta1",
			Kind:       "KubeletConfiguration",
		},
		CPUManagerReconcilePeriod:        metav1.Duration{Duration: time.Second * 10},
		CgroupDriver:                     "cgroupfs",
		ClusterDomain:                    cfg.ClusterDomain,
		EvictionPressureTransitionPeriod: metav1.Duration{Duration: time.Minute * 5},
		FailSwapOn:                       utilsptr.To(false),
		FileCheckFrequency:               metav1.Duration{Duration: time.Second * 20},
		HTTPCheckFrequency:               metav1.Duration{Duration: time.Second * 20},
		HealthzBindAddress:               bindAddress,
		ImageMinimumGCAge:                metav1.Duration{Duration: time.Minute * 2},
		NodeStatusReportFrequency:        metav1.Duration{Duration: time.Minute * 5},
		NodeStatusUpdateFrequency:        metav1.Duration{Duration: time.Second * 10},
		ProtectKernelDefaults:            cfg.ProtectKernelDefaults,
		ReadOnlyPort:                     0,
		RuntimeRequestTimeout:            metav1.Duration{Duration: time.Minute * 2},
		StreamingConnectionIdleTimeout:   metav1.Duration{Duration: time.Hour * 4},
		SyncFrequency:                    metav1.Duration{Duration: time.Minute},
		VolumeStatsAggPeriod:             metav1.Duration{Duration: time.Minute},
		EvictionHard: map[string]string{
			"imagefs.available": "5%",
			"nodefs.available":  "5%",
		},
		EvictionMinimumReclaim: map[string]string{
			"imagefs.available": "10%",
			"nodefs.available":  "10%",
		},
		Authentication: kubeletconfig.KubeletAuthentication{
			Anonymous: kubeletconfig.KubeletAnonymousAuthentication{
				Enabled: utilsptr.To(false),
			},
			Webhook: kubeletconfig.KubeletWebhookAuthentication{
				Enabled:  utilsptr.To(true),
				CacheTTL: metav1.Duration{Duration: time.Minute * 2},
			},
		},
		Authorization: kubeletconfig.KubeletAuthorization{
			Mode: kubeletconfig.KubeletAuthorizationModeWebhook,
			Webhook: kubeletconfig.KubeletWebhookAuthorization{
				CacheAuthorizedTTL:   metav1.Duration{Duration: time.Minute * 5},
				CacheUnauthorizedTTL: metav1.Duration{Duration: time.Second * 30},
			},
		},
		Logging: logsv1.LoggingConfiguration{
			Format:    "text",
			Verbosity: logsv1.VerbosityLevel(cfg.VLevel),
			FlushFrequency: logsv1.TimeOrMetaDuration{
				Duration:          metav1.Duration{Duration: time.Second * 5},
				SerializeAsString: true,
			},
		},
	}

	if cfg.ListenAddress != "" {
		defaultConfig.Address = cfg.ListenAddress
	}

	if cfg.ClientCA != "" {
		defaultConfig.Authentication.X509.ClientCAFile = cfg.ClientCA
	}

	if cfg.ServingKubeletCert != "" && cfg.ServingKubeletKey != "" {
		defaultConfig.TLSCertFile = cfg.ServingKubeletCert
		defaultConfig.TLSPrivateKeyFile = cfg.ServingKubeletKey
	}

	for _, addr := range cfg.ClusterDNSs {
		defaultConfig.ClusterDNS = append(defaultConfig.ClusterDNS, addr.String())
	}

	if cfg.ResolvConf != "" {
		defaultConfig.ResolverConfig = utilsptr.To(cfg.ResolvConf)
	}

	if cfg.PodManifests != "" && defaultConfig.StaticPodPath == "" {
		defaultConfig.StaticPodPath = cfg.PodManifests
	}
	if err := os.MkdirAll(defaultConfig.StaticPodPath, 0750); err != nil {
		return nil, pkgerrors.WithMessagef(err, "failed to create static pod manifest dir %s", defaultConfig.StaticPodPath)
	}

	if t, _, err := taints.ParseTaints(cfg.NodeTaints); err != nil {
		return nil, pkgerrors.WithMessage(err, "failed to parse node taints")
	} else {
		defaultConfig.RegisterWithTaints = t
	}

	logsv1.VModuleConfigurationPflag(&defaultConfig.Logging.VModule).Set(cfg.VModule)

	return defaultConfig, nil
}
```

### Cross-File Context

[writeKubeletConfig — helper — pkg/daemons/agent/agent.go:156-162]
```go
func writeKubeletConfig(path string, config *kubeletconfig.KubeletConfiguration) error {
	b, err := yaml.Marshal(config)
	if err != nil {
		return err
	}
	return os.WriteFile(filepath.Join(path, "00-"+version.Program+"-defaults.conf"), b, 0600)
}
```

[KubeletConfiguration — type — k8s.io/kubelet/config/v1beta1]
kubeletconfig.KubeletConfiguration (from k8s.io/kubelet/config/v1beta1)

Provide the final verdict as strict JSON.

Return only one JSON object and no surrounding prose.

Return one JSON object with these keys:
- vulnerable
- cwe
- severity
- reviewed_region
- vulnerable_region
- root_cause
- exploitability
- attack_preconditions
- impact
- non_vulnerable_reason
- security_invariants
- invariant_verification
- residual_risk_notes
- call_path

Control flow: kubeletArgsAndConfig calls defaultKubeletConfig to create a KubeletConfiguration struct, then writeKubeletConfig marshals it to YAML and writes to file. The YAML marshaller omits zero values, so ReadOnlyPort=0 is not written to config.

Data flow: ReadOnlyPort=0 is set in struct literal, passed to writeKubeletConfig, marshalled to YAML (where zero is omitted), and written to config file. The kubelet never receives the explicit 0 value.

Verdict: Vulnerable
Vulnerable region:
[pkg/daemons/agent/agent.go]
```go
defaultConfig := &kubeletconfig.KubeletConfiguration{
		TypeMeta: metav1.TypeMeta{
			APIVersion: "kubelet.config.k8s.io/v1beta1",
			Kind:       "KubeletConfiguration",
		},
		CPUManagerReconcilePeriod:        metav1.Duration{Duration: time.Second * 10},
		CgroupDriver:                     "cgroupfs",
		ClusterDomain:                    cfg.ClusterDomain,
		EvictionPressureTransitionPeriod: metav1.Duration{Duration: time.Minute * 5},
		FailSwapOn:                       utilsptr.To(false),
		FileCheckFrequency:               metav1.Duration{Duration: time.Second * 20},
		HTTPCheckFrequency:               metav1.Duration{Duration: time.Second * 20},
		HealthzBindAddress:               bindAddress,
		ImageMinimumGCAge:                metav1.Duration{Duration: time.Minute * 2},
		NodeStatusReportFrequency:        metav1.Duration{Duration: time.Minute * 5},
		NodeStatusUpdateFrequency:        metav1.Duration{Duration: time.Second * 10},
		ProtectKernelDefaults:            cfg.ProtectKernelDefaults,
		ReadOnlyPort:                     0,
		RuntimeRequestTimeout:            metav1.Duration{Duration: time.Minute * 2},
		StreamingConnectionIdleTimeout:   metav1.Duration{Duration: time.Hour * 4},
		SyncFrequency:                    metav1.Duration{Duration: time.Minute},
		VolumeStatsAggPeriod:             metav1.Duration{Duration: time.Minute},
		EvictionHard: map[string]string{
			"imagefs.available": "5%",
			"nodefs.available":  "5%",
		},
		EvictionMinimumReclaim: map[string]string{
			"imagefs.available": "10%",
			"nodefs.available":  "10%",
		},
		Authentication: kubeletconfig.KubeletAuthentication{
			Anonymous: kubeletconfig.KubeletAnonymousAuthentication{
				Enabled: utilsptr.To(false),
			},
			Webhook: kubeletconfig.KubeletWebhookAuthentication{
				Enabled:  utilsptr.To(true),
				CacheTTL: metav1.Duration{Duration: time.Minute * 2},
			},
		},
		Authorization: kubeletconfig.KubeletAuthorization{
			Mode: kubeletconfig.KubeletAuthorizationModeWebhook,
			Webhook: kubeletconfig.KubeletWebhookAuthorization{
				CacheAuthorizedTTL:   metav1.Duration{Duration: time.Minute * 5},
				CacheUnauthorizedTTL: metav1.Duration{Duration: time.Second * 30},
			},
		},
		Logging: logsv1.LoggingConfiguration{
			Format:    "text",
			Verbosity: logsv1.VerbosityLevel(cfg.VLevel),
			FlushFrequency: logsv1.TimeOrMetaDuration{
				Duration:          metav1.Duration{Duration: time.Second * 5},
				SerializeAsString: true,
			},
		},
```
CWE: CWE-1188
Severity: MEDIUM

Root cause: In defaultKubeletConfig(), the ReadOnlyPort field is set to 0 in the KubeletConfiguration struct. When writeKubeletConfig() marshals this struct to YAML using yaml.Marshal(), zero values are omitted from the output. This means the kubelet would not receive any read-only port configuration from the config file, causing it to use an unintended default value (likely non-zero), creating an unintended unauthenticated endpoint.

Exploitability: An attacker with network access to the kubelet read-only port (default 10255) can retrieve sensitive node and pod information without authentication. The read-only port may be unintentionally exposed when the YAML configuration omits the zero-value ReadOnlyPort field.

Attack preconditions:
- Network access to kubelet read-only port (10255) on a k3s node
- Kubelet not explicitly configured to disable read-only port via both CLI flag and config file

Likely impact: An attacker with network access to the kubelet read-only port (default 10255) can retrieve sensitive node and pod information without authentication. The read-only port may be unintentionally exposed when the YAML configuration omits the zero-value ReadOnlyPort field.

kubeletArgsAndConfig defaultKubeletConfig writeKubeletConfig yaml.Marshal

Control flow: The function constructs a KubeletConfiguration struct with default values, then conditionally overrides fields based on the agent configuration (ListenAddress, ClientCA, ServingKubeletCert/Key, ClusterDNSs, ResolvConf, PodManifests, NodeTaints, VModule). It creates the static pod manifest directory with os.MkdirAll, parses node taints, and returns the configuration. Error paths return early on directory creation failure or taint parsing failure.

Data flow: Input cfg (*daemonconfig.Agent) fields flow into the KubeletConfiguration struct. Sensitive fields include TLS certificates (ServingKubeletCert, ServingKubeletKey), CA files (ClientCA), and authentication/authorization settings. The constructed config is returned to the caller, which passes it to writeKubeletConfig. In writeKubeletConfig, the config is marshaled to YAML via yaml.Marshal and written to a file at a constructed path with os.WriteFile using permission 0600.

Verdict: Not Vulnerable

Reviewed region:
[pkg/daemons/agent/agent.go]
```go
func defaultKubeletConfig(cfg *daemonconfig.Agent) (*kubeletconfig.KubeletConfiguration, error) {
	bindAddress := "127.0.0.1"
	isIPv6 := utilsnet.IsIPv6(net.ParseIP([]string{cfg.NodeIP}[0]))
	if isIPv6 {
		bindAddress = "::1"
	}

	defaultConfig := &kubeletconfig.KubeletConfiguration{
		TypeMeta: metav1.TypeMeta{
			APIVersion: "kubelet.config.k8s.io/v1beta1",
			Kind:       "KubeletConfiguration",
		},
		CPUManagerReconcilePeriod:        metav1.Duration{Duration: time.Second * 10},
		CgroupDriver:                     "cgroupfs",
		ClusterDomain:                    cfg.ClusterDomain,
		EvictionPressureTransitionPeriod: metav1.Duration{Duration: time.Minute * 5},
		FailSwapOn:                       utilsptr.To(false),
		FileCheckFrequency:               metav1.Duration{Duration: time.Second * 20},
		HTTPCheckFrequency:               metav1.Duration{Duration: time.Second * 20},
		HealthzBindAddress:               bindAddress,
		ImageMinimumGCAge:                metav1.Duration{Duration: time.Minute * 2},
		NodeStatusReportFrequency:        metav1.Duration{Duration: time.Minute * 5},
		NodeStatusUpdateFrequency:        metav1.Duration{Duration: time.Second * 10},
		ProtectKernelDefaults:            cfg.ProtectKernelDefaults,
		ReadOnlyPort:                     0,
		RuntimeRequestTimeout:            metav1.Duration{Duration: time.Minute * 2},
		StreamingConnectionIdleTimeout:   metav1.Duration{Duration: time.Hour * 4},
		SyncFrequency:                    metav1.Duration{Duration: time.Minute},
		VolumeStatsAggPeriod:             metav1.Duration{Duration: time.Minute},
		EvictionHard: map[string]string{
			"imagefs.available": "5%",
			"nodefs.available":  "5%",
		},
		EvictionMinimumReclaim: map[string]string{
			"imagefs.available": "10%",
			"nodefs.available":  "10%",
		},
		Authentication: kubeletconfig.KubeletAuthentication{
			Anonymous: kubeletconfig.KubeletAnonymousAuthentication{
				Enabled: utilsptr.To(false),
			},
			Webhook: kubeletconfig.KubeletWebhookAuthentication{
				Enabled:  utilsptr.To(true),
				CacheTTL: metav1.Duration{Duration: time.Minute * 2},
			},
		},
		Authorization: kubeletconfig.KubeletAuthorization{
			Mode: kubeletconfig.KubeletAuthorizationModeWebhook,
			Webhook: kubeletconfig.KubeletWebhookAuthorization{
				CacheAuthorizedTTL:   metav1.Duration{Duration: time.Minute * 5},
				CacheUnauthorizedTTL: metav1.Duration{Duration: time.Second * 30},
			},
		},
		Logging: logsv1.LoggingConfiguration{
			Format:    "text",
			Verbosity: logsv1.VerbosityLevel(cfg.VLevel),
			FlushFrequency: logsv1.TimeOrMetaDuration{
				Duration:          metav1.Duration{Duration: time.Second * 5},
				SerializeAsString: true,
			},
		},
	}

	if cfg.ListenAddress != "" {
		defaultConfig.Address = cfg.ListenAddress
	}

	if cfg.ClientCA != "" {
		defaultConfig.Authentication.X509.ClientCAFile = cfg.ClientCA
	}

	if cfg.ServingKubeletCert != "" && cfg.ServingKubeletKey != "" {
		defaultConfig.TLSCertFile = cfg.ServingKubeletCert
		defaultConfig.TLSPrivateKeyFile = cfg.ServingKubeletKey
	}

	for _, addr := range cfg.ClusterDNSs {
		defaultConfig.ClusterDNS = append(defaultConfig.ClusterDNS, addr.String())
	}

	if cfg.ResolvConf != "" {
		defaultConfig.ResolverConfig = utilsptr.To(cfg.ResolvConf)
	}

	if cfg.PodManifests != "" && defaultConfig.StaticPodPath == "" {
		defaultConfig.StaticPodPath = cfg.PodManifests
	}
	if err := os.MkdirAll(defaultConfig.StaticPodPath, 0750); err != nil {
		return nil, pkgerrors.WithMessagef(err, "failed to create static pod manifest dir %s", defaultConfig.StaticPodPath)
	}

	if t, _, err := taints.ParseTaints(cfg.NodeTaints); err != nil {
		return nil, pkgerrors.WithMessage(err, "failed to parse node taints")
	} else {
		defaultConfig.RegisterWithTaints = t
	}

	logsv1.VModuleConfigurationPflag(&defaultConfig.Logging.VModule).Set(cfg.VModule)

	return defaultConfig, nil
}
```

Why it is not vulnerable: The configuration file containing sensitive credentials (TLS certificates, private keys, CA files, authentication settings) is written with restrictive permissions. In writeKubeletConfig, os.WriteFile is called with permission mode 0600, which grants read/write access only to the file owner and no access to group or others. The static pod manifest directory is created with 0750 permissions via os.MkdirAll, restricting access to owner and group. These permission settings ensure that sensitive kubelet configuration data is not accessible to unauthorized users.

Security invariants:
- Configuration files containing credentials must be written with restrictive file permissions (0600 or stricter)
- Directories containing sensitive configuration must be created with restrictive directory permissions (0750 or stricter)
- File paths for configuration output must not be controllable by untrusted input
- Error conditions during directory creation must be handled before proceeding

Invariant verification:
- Config file permissions are restrictive (0600): holds=true. Evidence: In writeKubeletConfig: os.WriteFile(filepath.Join(path, "00-"+version.Program+"-defaults.conf"), b, 0600) - the third argument 0600 ensures only the owner has read/write access
- Static pod directory permissions are restrictive (0750): holds=true. Evidence: In defaultKubeletConfig: os.MkdirAll(defaultConfig.StaticPodPath, 0750) - permission 0750 grants owner rwx, group rx, and no access to others
- File path is not user-controlled: holds=true. Evidence: In writeKubeletConfig, the filename is constructed as filepath.Join(path, "00-"+version.Program+"-defaults.conf") where version.Program is a fixed constant and the path parameter comes from the internal call chain, not from external input
- Directory creation errors are handled: holds=true. Evidence: if err := os.MkdirAll(defaultConfig.StaticPodPath, 0750); err != nil { return nil, pkgerrors.WithMessagef(err, "failed to create static pod manifest dir %s", defaultConfig.StaticPodPath) } - errors cause early return

Residual risk notes: The writeKubeletConfig function is not directly called within defaultKubeletConfig but is part of the call path. The actual file write occurs in writeKubeletConfig which uses appropriate 0600 permissions. The static pod path (cfg.PodManifests) influences where the directory is created, but since it is created with 0750 permissions and the config file within uses 0600, the sensitive data remains protected. The yaml.Marshal operation is a standard serialization that does not introduce security concerns for this use case.


Audit the following candidate code to determine whether it presents a real vulnerability.
This sample may come from a noisy retrieval or transformation stage, so reason from the supplied code and context rather than assuming the label.

Repository: github.com/cakephp/cakephp
Language: PHP
File: cake/libs/controller/components/security.php
Function: _validatePost

Call path: SecurityComponent::startup (cake/libs/controller/components/security.php) → SecurityComponent::_validatePost (cake/libs/controller/components/security.php) → unserialize (PHP builtin)

### Primary Function

```php
function _validatePost(&$controller) {
	if (empty($controller->data)) {
		return true;
	}
	$data = $controller->data;

	if (!isset($data['_Token']) || !isset($data['_Token']['fields']) || !isset($data['_Token']['key'])) {
		return false;
	}
	$token = $data['_Token']['key'];

	if ($this->Session->check('_Token')) {
		$tokenData = unserialize($this->Session->read('_Token'));

		if ($tokenData['expires'] < time() || $tokenData['key'] !== $token) {
			return false;
		}
	}

	$locked = null;
	$check = $controller->data;
	$token = urldecode($check['_Token']['fields']);

	if (strpos($token, ':')) {
		list($token, $locked) = explode(':', $token, 2);
	}
	unset($check['_Token']);

	$lockedFields = array();
	$fields = Set::flatten($check);
	$fieldList = array_keys($fields);
	$locked = unserialize(str_rot13($locked));
	$multi = array();

	foreach ($fieldList as $i => $key) {
		if (preg_match('/\.\d+$/', $key)) {
			$multi[$i] = preg_replace('/\.\d+$/', '', $key);
			unset($fieldList[$i]);
		}
	}
	if (!empty($multi)) {
		$fieldList += array_unique($multi);
	}

	foreach ($fieldList as $i => $key) {
		$isDisabled = false;
		$isLocked = (is_array($locked) && in_array($key, $locked));

		if (!empty($this->disabledFields)) {
			foreach ((array)$this->disabledFields as $disabled) {
				$disabled = explode('.', $disabled);
				$field = array_values(array_intersect(explode('.', $key), $disabled));
				$isDisabled = ($field === $disabled);
				if ($isDisabled) {
					break;
				}
			}
		}

		if ($isDisabled || $isLocked) {
			unset($fieldList[$i]);
			if ($isLocked) {
				$lockedFields[$key] = $fields[$key];
			}
		}
	}
	sort($fieldList, SORT_STRING);
	ksort($lockedFields, SORT_STRING);

	$fieldList += $lockedFields;
	$check = Security::hash(serialize($fieldList) . Configure::read('Security.salt'));
	return ($token === $check);
}
```

### Cross-File Context

[SecurityComponent — class — cake/libs/controller/components/security.php:33]
class SecurityComponent extends Object

[unserialize — sink — PHP builtin]
unserialize(string $data): mixed

[str_rot13 — builtin — PHP builtin]
str_rot13(string $data): string

[Set::flatten — method — cake/libs/set.php:1036]
function flatten($data, $separator = '.')

[Security::hash — method — cake/libs/security.php]
function hash($data, $type = null)

Control flow: The _validatePost method validates form tokens by extracting the 'fields' parameter from POST data, URL-decoding it, splitting on ':' to get the 'locked' value, then unserializing the rot13-decoded locked value to check which fields are locked.

Data flow: User-controlled POST data flows through: $controller->data['_Token']['fields'] -> urldecode() -> explode() -> str_rot13() -> unserialize(). The tainted $locked variable reaches the unsafe unserialize() call at line 624 without validation.

Verdict: Vulnerable
Vulnerable region:
[cake/libs/controller/components/security.php]
```php
$locked = unserialize(str_rot13($locked));
```
CWE: CWE-20
Severity: HIGH

Root cause: The _validatePost method accepts serialized data from the _Token['fields'] POST parameter. The locked field is extracted, rot13 decoded, and then directly passed to unserialize() without any validation. This allows an attacker to send crafted serialized objects that could manipulate file map caches or execute arbitrary code when deserialized.

Exploitability: An unauthenticated attacker can craft a POST request with a malicious serialized object in the _Token[fields] parameter. The object is rot13 encoded before sending, then decoded and unserialized without validation on the server side.

Attack preconditions:
- Attacker can send HTTP POST requests to a CakePHP endpoint using SecurityComponent
- Target application has form token validation enabled via SecurityComponent
- Attacker can craft a rot13-encoded serialized PHP object containing malicious payload

Likely impact: An unauthenticated attacker can craft a POST request with a malicious serialized object in the _Token[fields] parameter. The object is rot13 encoded before sending, then decoded and unserialized without validation on the server side.

Control flow: The function _validatePost first checks if controller data exists, then validates the presence of _Token fields. It reads and unserializes session token data to verify expiration and key match. The critical path extracts the 'locked' portion from the user-supplied _Token['fields'] parameter (after splitting on ':'), applies str_rot13 transformation, and passes the result directly to unserialize(). The function then processes field lists, checks disabled/locked fields, and compares a computed hash against the provided token.

Data flow: User-controlled POST data flows through $controller->data -> $data -> $check['_Token']['fields'] -> $token (after urldecode) -> $locked (extracted via explode on ':') -> str_rot13($locked) -> unserialize($locked). The str_rot13 transformation is trivially reversible and provides no security. The $locked value is directly deserialized without validation, type checking, or allowlisting.

Verdict: Vulnerable
Vulnerable region:
[cake/libs/controller/components/security.php]
```php
$locked = unserialize(str_rot13($locked));
```
CWE: CWE-434
Severity: HIGH

Root cause: The _validatePost method deserializes user-controlled data from the _Token['fields'] POST parameter via unserialize(str_rot13($locked)). The str_rot13 transformation is trivially reversible (applying it twice restores the original data), so an attacker can craft a malicious serialized PHP object that will be deserialized when the security component validates POST requests.

Exploitability: An attacker can craft a POST request with a malicious serialized PHP object in the _Token['fields'] parameter. The str_rot13 transformation is easily reversed (applying str_rot13 twice restores original data), so the attacker can prepare a payload that will be deserialized by unserialize(). This requires no authentication and can be exploited by any user who can submit POST requests to the application.

Attack preconditions:
- The application must use CakePHP's SecurityComponent with CSRF protection enabled
- The attacker must be able to send POST requests to the application
- The attacker must craft a malicious serialized PHP object and apply str_rot13 to it
- The _Token['fields'] parameter must be present in the POST data with a ':' separator to trigger the locked field parsing path

Likely impact: An attacker can craft a POST request with a malicious serialized PHP object in the _Token['fields'] parameter. The str_rot13 transformation is easily reversed (applying str_rot13 twice restores original data), so the attacker can prepare a payload that will be deserialized by unserialize(). This requires no authentication and can be exploited by any user who can submit POST requests to the application.


Audit the following candidate code to determine whether it presents a real vulnerability.
This sample may come from a noisy retrieval or transformation stage, so reason from the supplied code and context rather than assuming the label.

Repository: github.com/fossbilling/fossbilling.git
Language: PHP
File: src/modules/Cart/Service.php
Function: createFromCart

Call path: Box\Mod\Cart\Api\Guest::checkout (src/modules/Cart/Api/Guest.php) → Box\Mod\Cart\Service::createFromCart (src/modules/Cart/Service.php) → Box\Mod\Cart\Service::getCartProducts (src/modules/Cart/Service.php) → Box\Mod\Cart\Service::cartProductToApiArray (src/modules/Cart/Service.php)

### Primary Function

```php
public function createFromCart(\Model_Client $client, $gateway_id = null)
    {
        $cart = $this->getSessionCart();
        $ca = $this->toApiArray($cart);
        if (0 == count($ca['items'])) {
            throw new \Box_Exception('Can not checkout empty cart.');
        }

        $currency = $this->di['db']->getExistingModelById('Currency', $cart->currency_id, 'Currency not found.');

        // set default client currency
        if (!$client->currency) {
            $client->currency = $currency->code;
            $this->di['db']->store($client);
        }

        if ($client->currency != $currency->code) {
            throw new \Box_Exception('Selected currency :selected does not match your profile currency :code. Please change cart currency to continue.', [':selected' => $currency->code, ':code' => $client->currency]);
        }

        $clientService = $this->di['mod_service']('client');
        $taxed = $clientService->isClientTaxable($client);

        $orders = [];
        $invoice_items = [];
        $master_order = null;
        $i = 0;

        foreach ($this->getCartProducts($cart) as $p) {
            $item = $this->cartProductToApiArray($p);

            /*
             * Convert the domain name to lowercase letters.
             * Using a capital letter in a domain name still points to the same name, so this isn't going to break anything
             * It will, however, avoid instances like this when a domain name is entered with a capital letter:
             * https://github.com/boxbilling/boxbilling/discussions/1022#discussioncomment-1311819
             */
            $item['register_sld'] = (isset($item['register_sld'])) ? strtolower($item['register_sld']) : null;
            $item['transfer_sld'] = (isset($item['transfer_sld'])) ? strtolower($item['transfer_sld']) : null;
            $item['sld'] = (isset($item['sld'])) ? strtolower($item['sld']) : null;
            $item['domain']['owndomain_sld'] = (isset($item['domain']['owndomain_sld'])) ? strtolower($item['domain']['owndomain_sld']) : null;
            $item['domain']['register_sld'] = (isset($item['domain']['register_sld'])) ? strtolower($item['domain']['register_sld']) : null;
            $item['domain']['transfer_sld'] = (isset($item['domain']['transfer_sld'])) ? strtolower($item['domain']['transfer_sld']) : null;

            // Domain TLD must begin with a period - add if not present for owndomain.
            $item['domain']['owndomain_tld'] = (isset( $item['domain']['owndomain_tld'])) ? (str_contains($item['domain']['owndomain_tld'], '.') ? $item['domain']['owndomain_tld'] : '.' . $item['domain']['owndomain_tld']) : null;

            $order = $this->di['db']->dispense('ClientOrder');
            $order->client_id = $client->id;
            $order->promo_id = $cart->promo_id;
            $order->product_id = $item['product_id'];
            $order->form_id = $item['form_id'];

            $order->group_id = $cart->id;
            $order->group_master = (0 == $i);
            $order->invoice_option = 'issue-invoice';
            $order->title = $item['title'];
            $order->currency = $currency->code;
            $order->service_type = $item['type'];
            $order->unit = $item['unit'] ?? null;
            $order->period = $item['period'] ?? null;
            $order->quantity = $item['quantity'] ?? null;
            $order->price = $item['price'] * $currency->conversion_rate;
            $order->discount = $item['discount_price'] * $currency->conversion_rate;
            $order->status = \Model_ClientOrder::STATUS_PENDING_SETUP;
            $order->notes = $item['notes'] ?? null;
            $order->config = json_encode($item);
            $order->created_at = date('Y-m-d H:i:s');
            $order->updated_at = date('Y-m-d H:i:s');
            $this->di['db']->store($order);

            $orders[] = $order;

            // mark promo as used
            if ($cart->promo_id) {
                $promo = $this->di['db']->getExistingModelById('Promo', $cart->promo_id, 'Promo not found.');
                $this->usePromo($promo);

                // set promo info for later use
                $order->promo_recurring = $promo->recurring;
                $order->promo_used = 1;
                $this->di['db']->store($order);
            }

            $orderService = $this->di['mod_service']('order');
            $orderService->saveStatusChange($order, 'Order created');

            $invoice_items[] = [
                'title' => $order->title,
                'price' => $order->price,
                'quantity' => $order->quantity,
                'unit' => $order->unit,
                'period' => $order->period,
                'taxed' => $taxed,
                'type' => \Model_InvoiceItem::TYPE_ORDER,
                'rel_id' => $order->id,
                'task' => \Model_InvoiceItem::TASK_ACTIVATE,
            ];

            if ($order->discount > 0) {
                $invoice_items[] = [
                    'title' => __trans('Discount: :product', [':product' => $order->title]),
                    'price' => $order->discount * -1,
                    'quantity' => 1,
                    'unit' => 'discount',
                    'rel_id' => $order->id,
                    'taxed' => $taxed,
                ];
            }

            if ($item['setup_price'] > 0) {
                $setup_price = ($item['setup_price'] * $currency->conversion_rate) - ($item['discount_setup'] * $currency->conversion_rate);
                $invoice_items[] = [
                    'title' => __trans(':product setup', [':product' => $order->title]),
                    'price' => $setup_price,
                    'quantity' => 1,
                    'unit' => 'service',
                    'taxed' => $taxed,
                ];
            }

            // define master order to be returned
            if (null === $master_order) {
                $master_order = $order;
            }

            ++$i;
        }

        if ($ca['total'] > 0) { // crete invoice if order total > 0
            $invoiceService = $this->di['mod_service']('Invoice');
            $invoiceModel = $invoiceService->prepareInvoice($client, ['client_id' => $client->id, 'items' => $invoice_items, 'gateway_id' => $gateway_id]);

            $clientBalanceService = $this->di['mod_service']('Client', 'Balance');
            $balanceAmount = $clientBalanceService->getClientBalance($client);
            $useCredits = $balanceAmount >= $ca['total'];

            $invoiceService->approveInvoice($invoiceModel, ['id' => $invoiceModel->id, 'use_credits' => $useCredits]);

            if (\Model_Invoice::STATUS_UNPAID == $invoiceModel->status) {
                foreach ($orders as $order) {
                    $order->unpaid_invoice_id = $invoiceModel->id;
                    $this->di['db']->store($order);
                }
            }
        }

        // activate orders if product is setup to be activated after order place or order total is $0
        $orderService = $this->di['mod_service']('Order');
        $ids = [];
        foreach ($orders as $order) {
            $ids[] = $order->id;
            $oa = $orderService->toApiArray($order, false, $client);
            $product = $this->di['db']->getExistingModelById('Product', $oa['product_id']);
            try {
                if (\Model_ProductTable::SETUP_AFTER_ORDER == $product->setup) {
                    $orderService->activateOrder($order);
                }

                if ($ca['total'] <= 0 && \Model_ProductTable::SETUP_AFTER_PAYMENT == $product->setup && $oa['total'] - $oa['discount'] <= 0) {
                    $orderService->activateOrder($order);
                }

                if ($ca['total'] > 0 && \Model_ProductTable::SETUP_AFTER_PAYMENT == $product->setup && \Model_Invoice::STATUS_PAID == $invoiceModel->status) {
                    $orderService->activateOrder($order);
                }
            } catch (\Exception $e) {
                error_log($e->getMessage());
                $status = 'error';
                $notes = 'Order could not be activated after checkout due to error: ' . $e->getMessage();
                $orderService->orderStatusAdd($order, $status, $notes);
            }
        }

        return [
            $master_order,
            $invoiceModel ?? null,
            $ids,
        ];
    }
```

### Cross-File Context

[Box\Mod\Cart\Service — class — src/modules/Cart/Service.php:18]
class Service implements InjectionAwareInterface

[Box\Mod\Cart\Service::createFromCart — caller — src/modules/Cart/Service.php:472-664]
public function createFromCart(\Model_Client $client, $gateway_id = null) { $cart = $this->getSessionCart(); $ca = $this->toApiArray($cart); if (0 == count($ca['items'])) { throw new \Box_Exception('Can not checkout empty cart.'); } $currency = $this->di['db']->getExistingModelById('Currency', $cart->currency_id, 'Currency not found.'); // set default client currency if (!$client->currency) { $client->currency = $currency->code; $this->di['db']->store($client); } if ($client->currency != $currency->code) { throw new \Box_Exception('Selected currency :selected does not match your profile currency :code. Please change cart currency to continue.', [':selected' => $currency->code, ':code' => $client->currency]); } $clientService = $this->di['mod_service']('client'); $taxed = $clientService->isClientTaxable($client); $orders = []; $invoice_items = []; $master_order = null; $i = 0; foreach ($this->getCartProducts($cart) as $p) { $item = $this->cartProductToApiArray($p); /* * Convert the domain name to lowercase letters. * Using a capital letter in a domain name still points to the same name, so this isn't going to break anything * It will, however, avoid instances like this when a domain name is entered with a capital letter: * https://github.com/boxbilling/boxbilling/discussions/1022#discussioncomment-1311819 */ $item['register_sld'] = (isset($item['register_sld'])) ? strtolower($item['register_sld']) : null; $item['transfer_sld'] = (isset($item['transfer_sld'])) ? strtolower($item['transfer_sld']) : null; $item['sld'] = (isset($item['sld'])) ? strtolower($item['sld']) : null; $item['domain']['owndomain_sld'] = (isset($item['domain']['owndomain_sld'])) ? strtolower($item['domain']['owndomain_sld']) : null; $item['domain']['register_sld'] = (isset($item['domain']['register_sld'])) ? strtolower($item['domain']['register_sld']) : null; $item['domain']['transfer_sld'] = (isset($item['domain']['transfer_sld'])) ? strtolower($item['domain']['transfer_sld']) : null; // Domain TLD must begin with a period - add if not present for owndomain. $item['domain']['owndomain_tld'] = (isset( $item['domain']['owndomain_tld'])) ? (str_contains($item['domain']['owndomain_tld'], '.') ? $item['domain']['owndomain_tld'] : '.' . $item['domain']['owndomain_tld']) : null; $order = $this->di['db']->dispense('ClientOrder'); $order->client_id = $client->id; $order->promo_id = $cart->promo_id; $order->product_id = $item['product_id']; $order->form_id = $item['form_id']; $order->group_id = $cart->id; $order->group_master = (0 == $i); $order->invoice_option = 'issue-invoice'; $order->title = $item['title']; $order->currency = $currency->code; $order->service_type = $item['type']; $order->unit = $item['unit'] ?? null; $order->period = $item['period'] ?? null; $order->quantity = $item['quantity'] ?? null; $order->price = $item['price'] * $currency->conversion_rate; $order->discount = $item['discount_price'] * $currency->conversion_rate; $order->status = \Model_ClientOrder::STATUS_PENDING_SETUP; $order->notes = $item['notes'] ?? null; $order->config = json_encode($item); $order->created_at = date('Y-m-d H:i:s'); $order->updated_at = date('Y-m-d H:i:s'); $this->di['db']->store($order); $orders[] = $order; // mark promo as used if ($cart->promo_id) { $promo = $this->di['db']->getExistingModelById('Promo', $cart->promo_id, 'Promo not found.'); $this->usePromo($promo); // set promo info for later use $order->promo_recurring = $promo->recurring; $order->promo_used = 1; $this->di['db']->store($order); } $orderService = $this->di['mod_service']('order'); $orderService->saveStatusChange($order, 'Order created'); $invoice_items[] = [ 'title' => $order->title, 'price' => $order->price, 'quantity' => $order->quantity, 'unit' => $order->unit, 'period' => $order->period, 'taxed' => $taxed, 'type' => \Model_InvoiceItem::TYPE_ORDER, 'rel_id' => $order->id, 'task' => \Model_InvoiceItem::TASK_ACTIVATE, ]; if ($order->discount > 0) { $invoice_items[] = [ 'title' => __trans('Discount: :product', [':product' => $order->title]), 'price' => $order->discount * -1, 'quantity' => 1, 'unit' => 'discount', 'rel_id' => $order->id, 'taxed' => $taxed, ]; } if ($item['setup_price'] > 0) { $setup_price = ($item['setup_price'] * $currency->conversion_rate) - ($item['discount_setup'] * $currency->conversion_rate); $invoice_items[] = [ 'title' => __trans(':product setup', [':product' => $order->title]), 'price' => $setup_price, 'quantity' => 1, 'unit' => 'service', 'taxed' => $taxed, ]; } // define master order to be returned if (null === $master_order) { $master_order = $order; } ++$i; } if ($ca['total'] > 0) { // crete invoice if order total > 0 $invoiceService = $this->di['mod_service']('Invoice'); $invoiceModel = $invoiceService->prepareInvoice($client, ['client_id' => $client->id, 'items' => $invoice_items, 'gateway_id' => $gateway_id]); $clientBalanceService = $this->di['mod_service']('Client', 'Balance'); $balanceAmount = $clientBalanceService->getClientBalance($client); $useCredits = $balanceAmount >= $ca['total']; $invoiceService->approveInvoice($invoiceModel, ['id' => $invoiceModel->id, 'use_credits' => $useCredits]); if (\Model_Invoice::STATUS_UNPAID == $invoiceModel->status) { foreach ($orders as $order) { $order->unpaid_invoice_id = $invoiceModel->id; $this->di['db']->store($order); } } } // activate orders if product is setup to be activated after order place or order total is $0 $orderService = $this->di['mod_service']('Order'); $ids = []; foreach ($orders as $order) { $ids[] = $order->id; $oa = $orderService->toApiArray($order, false, $client); $product = $this->di['db']->getExistingModelById('Product', $oa['product_id']); try { if (\Model_ProductTable::SETUP_AFTER_ORDER == $product->setup) { $orderService->activateOrder($order); } if ($ca['total'] <= 0 && \Model_ProductTable::SETUP_AFTER_PAYMENT == $product->setup && $oa['total'] - $oa['discount'] <= 0) { $orderService->activateOrder($order); } if ($ca['total'] > 0 && \Model_ProductTable::SETUP_AFTER_PAYMENT == $product->setup && \Model_Invoice::STATUS_PAID == $invoiceModel->status) { $orderService->activateOrder($order); } } catch (\Exception $e) { error_log($e->getMessage()); $status = 'error'; $notes = 'Order could not be activated after checkout due to error: ' . $e->getMessage(); $orderService->orderStatusAdd($order, $status, $notes); } } return [ $master_order, $invoiceModel ?? null, $ids, ]; }

[Box\Mod\Cart\Service::getCartProducts — helper — src/modules/Cart/Service.php:458-461]
private function getCartProducts(\Model_Cart $model) { return $this->di['db']->find('CartProduct', 'cart_id = ?', [$model->id]); }

[Box\Mod\Cart\Service::cartProductToApiArray — helper — src/modules/Cart/Service.php:787-820]
public function cartProductToApiArray(\Model_CartProduct $model): array { $product = $this->di['db']->load('Product', $model->product_id); $repo = $product->getTable(); $config = $this->getItemConfig($model); $setup = $repo->getProductSetupPrice($product, $config); $price = $repo->getProductPrice($product, $config); $qty = $config['quantity'] ?? 1; [$discount_price, $discount_setup] = $this->getProductDiscount($model, $setup); $discount_total = $discount_price + $discount_setup; $subtotal = ($price * $qty); if (abs($discount_total) > ($subtotal + $setup)) { $discount_total = $subtotal; $discount_price = $subtotal; } return array_merge($config, [ 'id' => $model->id, 'product_id' => $product->id, 'form_id' => $product->form_id, 'title' => $this->getItemTitle($model), 'type' => $product->type, 'quantity' => $qty, 'unit' => $repo->getUnit($product), 'price' => $price, 'setup_price' => $setup, 'discount' => $discount_total, 'discount_price' => $discount_price, 'discount_setup' => $discount_setup, 'total' => $subtotal, ]); }

Control flow: checkout API call -> createFromCart iterates cart products -> cartProductToApiArray extracts product_id -> orders created without product validation

Data flow: Cart products flow through cartProductToApiArray returning product_id in item array -> orders created using $item['product_id'] without verifying product status or existence

Verdict: Vulnerable
Vulnerable region:
[src/modules/Cart/Service.php]
```php
foreach ($this->getCartProducts($cart) as $p) {
            $item = $this->cartProductToApiArray($p);

            /*
             * Convert the domain name to lowercase letters.
             * Using a capital letter in a domain name still points to the same name, so this isn't going to break anything
             * It will, however, avoid instances like this when a domain name is entered with a capital letter:
             * https://github.com/boxbilling/boxbilling/discussions/1022#discussioncomment-1311819
             */
            $item['register_sld'] = (isset($item['register_sld'])) ? strtolower($item['register_sld']) : null;
            $item['transfer_sld'] = (isset($item['transfer_sld'])) ? strtolower($item['transfer_sld']) : null;
            $item['sld'] = (isset($item['sld'])) ? strtolower($item['sld']) : null;
            $item['domain']['owndomain_sld'] = (isset($item['domain']['owndomain_sld'])) ? strtolower($item['domain']['owndomain_sld']) : null;
            $item['domain']['register_sld'] = (isset($item['domain']['register_sld'])) ? strtolower($item['domain']['register_sld']) : null;
            $item['domain']['transfer_sld'] = (isset($item['domain']['transfer_sld'])) ? strtolower($item['domain']['transfer_sld']) : null;

            // Domain TLD must begin with a period - add if not present for owndomain.
            $item['domain']['owndomain_tld'] = (isset( $item['domain']['owndomain_tld'])) ? (str_contains($item['domain']['owndomain_tld'], '.') ? $item['domain']['owndomain_tld'] : '.' . $item['domain']['owndomain_tld']) : null;

            $order = $this->di['db']->dispense('ClientOrder');
```
CWE: CWE-840
Severity: MEDIUM

Root cause: The createFromCart method in src/modules/Cart/Service.php did not validate product existence and status before creating ClientOrder records. The foreach loop at line 500 (pre-state) directly uses $item['product_id'] from cartProductToApiArray without checking if the product is enabled or even exists.

Exploitability: An attacker with a customer account can add products to their cart that are disabled or deleted, and successfully complete checkout to create orders for those products.

Attack preconditions:
- Attacker must have a valid customer account
- Attacker must be able to add products to cart via the storefront API

Likely impact: An attacker with a customer account can add products to their cart that are disabled or deleted, and successfully complete checkout to create orders for those products.

Verdict: Vulnerable
Vulnerable region:
[src/modules/Cart/Service.php]
```php
foreach ($this->getCartProducts($cart) as $p) {
            $item = $this->cartProductToApiArray($p);

            /*
             * Convert the domain name to lowercase letters.
             * Using a capital letter in a domain name still points to the same name, so this isn't going to break anything
             * It will, however, avoid instances like this when a domain name is entered with a capital letter:
             * https://github.com/boxbilling/boxbilling/discussions/1022#discussioncomment-1311819
             */
            $item['register_sld'] = (isset($item['register_sld'])) ? strtolower($item['register_sld']) : null;
            $item['transfer_sld'] = (isset($item['transfer_sld'])) ? strtolower($item['transfer_sld']) : null;
            $item['sld'] = (isset($item['sld'])) ? strtolower($item['sld']) : null;
            $item['domain']['owndomain_sld'] = (isset($item['domain']['owndomain_sld'])) ? strtolower($item['domain']['owndomain_sld']) : null;
            $item['domain']['register_sld'] = (isset($item['domain']['register_sld'])) ? strtolower($item['domain']['register_sld']) : null;
            $item['domain']['transfer_sld'] = (isset($item['domain']['transfer_sld'])) ? strtolower($item['domain']['transfer_sld']) : null;

            // Domain TLD must begin with a period - add if not present for owndomain.
            $item['domain']['owndomain_tld'] = (isset( $item['domain']['owndomain_tld'])) ? (str_contains($item['domain']['owndomain_tld'], '.') ? $item['domain']['owndomain_tld'] : '.' . $item['domain']['owndomain_tld']) : null;

            $order = $this->di['db']->dispense('ClientOrder');
            $order->client_id = $client->id;
            $order->promo_id = $cart->promo_id;
            $order->product_id = $item['product_id'];
            $order->form_id = $item['form_id'];

            $order->group_id = $cart->id;
            $order->group_master = (0 == $i);
            $order->invoice_option = 'issue-invoice';
            $order->title = $item['title'];
            $order->currency = $currency->code;
            $order->service_type = $item['type'];
            $order->unit = $item['unit'] ?? null;
            $order->period = $item['period'] ?? null;
            $order->quantity = $item['quantity'] ?? null;
            $order->price = $item['price'] * $currency->conversion_rate;
            $order->discount = $item['discount_price'] * $currency->conversion_rate;
            $order->status = \Model_ClientOrder::STATUS_PENDING_SETUP;
            $order->notes = $item['notes'] ?? null;
            $order->config = json_encode($item);
            $order->created_at = date('Y-m-d H:i:s');
            $order->updated_at = date('Y-m-d H:i:s');
            $this->di['db']->store($order);

            $orders[] = $order;

            // mark promo as used
            if ($cart->promo_id) {
                $promo = $this->di['db']->getExistingModelById('Promo', $cart->promo_id, 'Promo not found.');
                $this->usePromo($promo);

                // set promo info for later use
                $order->promo_recurring = $promo->recurring;
                $order->promo_used = 1;
                $this->di['db']->store($order);
            }

            $orderService = $this->di['mod_service']('order');
            $orderService->saveStatusChange($order, 'Order created');

            $invoice_items[] = [
                'title' => $order->title,
                'price' => $order->price,
                'quantity' => $order->quantity,
                'unit' => $order->unit,
                'period' => $order->period,
                'taxed' => $taxed,
                'type' => \Model_InvoiceItem::TYPE_ORDER,
                'rel_id' => $order->id,
                'task' => \Model_InvoiceItem::TASK_ACTIVATE,
            ];

            if ($order->discount > 0) {
                $invoice_items[] = [
                    'title' => __trans('Discount: :product', [':product' => $order->title]),
                    'price' => $order->discount * -1,
                    'quantity' => 1,
                    'unit' => 'discount',
                    'rel_id' => $order->id,
                    'taxed' => $taxed,
                ];
            }

            if ($item['setup_price'] > 0) {
                $setup_price = ($item['setup_price'] * $currency->conversion_rate) - ($item['discount_setup'] * $currency->conversion_rate);
                $invoice_items[] = [
                    'title' => __trans(':product setup', [':product' => $order->title]),
                    'price' => $setup_price,
                    'quantity' => 1,
                    'unit' => 'service',
                    'taxed' => $taxed,
                ];
            }

            // define master order to be returned
            if (null === $master_order) {
                $master_order = $order;
            }

            ++$i;
        }

        if ($ca['total'] > 0) { // crete invoice if order total > 0
            $invoiceService = $this->di['mod_service']('Invoice');
            $invoiceModel = $invoiceService->prepareInvoice($client, ['client_id' => $client->id, 'items' => $invoice_items, 'gateway_id' => $gateway_id]);

            $clientBalanceService = $this->di['mod_service']('Client', 'Balance');
            $balanceAmount = $clientBalanceService->getClientBalance($client);
            $useCredits = $balanceAmount >= $ca['total'];

            $invoiceService->approveInvoice($invoiceModel, ['id' => $invoiceModel->id, 'use_credits' => $useCredits]);

            if (\Model_Invoice::STATUS_UNPAID == $invoiceModel->status) {
                foreach ($orders as $order) {
                    $order->unpaid_invoice_id = $invoiceModel->id;
                    $this->di['db']->store($order);
                }
            }
        }

        // activate orders if product is setup to be activated after order place or order total is $0
        $orderService = $this->di['mod_service']('Order');
        $ids = [];
        foreach ($orders as $order) {
            $ids[] = $order->id;
            $oa = $orderService->toApiArray($order, false, $client);
            $product = $this->di['db']->getExistingModelById('Product', $oa['product_id']);
            try {
                if (\Model_ProductTable::SETUP_AFTER_ORDER == $product->setup) {
                    $orderService->activateOrder($order);
                }

                if ($ca['total'] <= 0 && \Model_ProductTable::SETUP_AFTER_PAYMENT == $product->setup && $oa['total'] - $oa['discount'] <= 0) {
                    $orderService->activateOrder($order);
                }

                if ($ca['total'] > 0 && \Model_ProductTable::SETUP_AFTER_PAYMENT == $product->setup && \Model_Invoice::STATUS_PAID == $invoiceModel->status) {
                    $orderService->activateOrder($order);
                }
            } catch (\Exception $e) {
                error_log($e->getMessage());
                $status = 'error';
                $notes = 'Order could not be activated after checkout due to error: ' . $e->getMessage();
                $orderService->orderStatusAdd($order, $status, $notes);
            }
        }

        return [
            $master_order,
            $invoiceModel ?? null,
            $ids,
        ];
    }

    /**
     * @return \Model_CartProduct[]
     */
    private function getCartProducts(\Model_Cart $model)
    {
        return $this->di['db']->find('CartProduct', 'cart_id = ?', [$model->id]);
    }

    public function updateCartProduct($data)
    {
        $event_params = [
            'data' => $data,
        ];
```
CWE: CWE-20
Severity: MEDIUM

Root cause: The createFromCart method in Box\Mod\Cart\Service processes cart items and applies strtolower() to domain fields (register_sld, transfer_sld, sld, owndomain_sld, etc.) without validating that they are legitimate domain names. This allows potentially malicious domain names to be stored in the database, which could lead to domain registration for malicious purposes or other security issues.

Exploitability: An attacker can add a cart item with a malicious domain name (e.g., containing special characters, non-ASCII characters, or invalid format). The domain is lowercased but not validated before being stored in the order configuration. This requires the attacker to have access to the cart checkout flow.

Attack preconditions:
- Attacker must be able to add items to a cart
- Attacker must be able to reach the checkout flow
- Attacker provides a domain name that passes strtolower() but is not a valid domain

Likely impact: An attacker can add a cart item with a malicious domain name (e.g., containing special characters, non-ASCII characters, or invalid format). The domain is lowercased but not validated before being stored in the order configuration. This requires the attacker to have access to the cart checkout flow.