# DF-0232 -- Low

## Verdict: REPRODUCED (source-confirmed)

REAL: fsetown(-(*(int*)data),...) negates a user-controlled int; INT_MIN input is signed-overflow UB (benign ESRCH on gcc x86_64 today, but the compiler may assume it never happens). Defense-in-depth.

## Impact ceiling
none

## Cited refs
- sys/kern/sys_socket.c:164
- sys/kern/sys_pipe.c:1032

## Fix
Guard the negation: reject the INT_MIN input (==(int)0x80000000) with EINVAL in sys_socket.c and sys_pipe.c.

## Validation
Combined 60-finding fix kernel (findings/poc/_low_merged.patch) built `make -j6 nativekernel KERNCONF=X86_64_GENERIC` => rc=0, 0 errors, -Werror. fix_status=fixed.