⬢ DragonFlyBSD Kernel Audit
DF-4339 / run_cases.log
← back to finding ↓ download raw
[data_header] Segmentation fault (core dumped)
[data_header] exit=139
[iio] Segmentation fault (core dumped)
[iio] exit=139
[name] Segmentation fault (core dumped)
[name] exit=139
[name_nul] case: name_nul
[name_nul]   strlen(name) after loop = 515  (>511 == NUL never written; kernel %s walks uninit stack)
[name_nul] exit=0
[shift] case: shift
[shift]   (0xffff << 40)=0x00000000  vs (0xffff << 8)=0x00ffff00  -> divergent
[shift]   IIO mask width=0: >>32 gives 0x12345678 (UB relied upon)
[shift] exit=0