DF-4229 decisive runs (audit guest, cc 8.3, -O0, x86-64), 3/3 deterministic:
$ cc -O0 -Wall -o model_uninit_error model_uninit_error.c
$ ./model_uninit_error            (x3)
write(/dev/cyapa*, buf, 0) returned: 0xabababab (-1414812757)
RESULT: UNINITIALIZED STACK VALUE LEAKED (poison 0xABABABAB observed)
rc=0
--- every run of the exact-control-flow model of cyapawrite() (cyapa.c:785-1056)
--- for write(fd, buf, 0) returned the stack poison through `return error;`
--- (cyapa.c:1056). In the kernel this slot contains stale thread-stack data.