⬢ DragonFlyBSD Kernel Audit
DF-5703 / run.2.log
← back to finding ↓ download raw
== kernel sys/libkern/strtol.c + strtoul.c vs libc strtol/strtoul ==
ENDPTR-DIFF s="0x"                         b=0   kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF u="0x"                         b=0   kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF s="0x"                         b=16  kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF u="0x"                         b=16  kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF s="0X"                         b=0   kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF u="0X"                         b=0   kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF s="0X"                         b=16  kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF u="0X"                         b=16  kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF s="0xg"                        b=0   kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF u="0xg"                        b=0   kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF s="0xg"                        b=16  kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF u="0xg"                        b=16  kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF s="0XG"                        b=0   kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF u="0XG"                        b=0   kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF s="0XG"                        b=16  kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF u="0XG"                        b=16  kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF s="0x 1"                       b=0   kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF u="0x 1"                       b=0   kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF s="0x 1"                       b=16  kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF u="0x 1"                       b=16  kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF s="0xz1"                       b=0   kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF u="0xz1"                       b=0   kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF s="0xz1"                       b=16  kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF u="0xz1"                       b=16  kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF s="0xz"                        b=0   kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF u="0xz"                        b=0   kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF s="0xz"                        b=16  kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ENDPTR-DIFF u="0xz"                        b=16  kernel=                   0 (off   0)  libc=                   0 (off   1)  libc_ERANGE=0
ERANGE-ONLY s="9223372036854775807"        b=16  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="9223372036854775807"        b=16  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="9223372036854775807"        b=36  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="9223372036854775807"        b=36  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="9223372036854775808"        b=0   value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="9223372036854775808"        b=10  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="9223372036854775808"        b=16  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="9223372036854775808"        b=16  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="9223372036854775808"        b=36  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="9223372036854775808"        b=36  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="-9223372036854775808"       b=16  value=-9223372036854775808 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="-9223372036854775808"       b=16  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="-9223372036854775808"       b=36  value=-9223372036854775808 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="-9223372036854775808"       b=36  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="-9223372036854775809"       b=0   value=-9223372036854775808 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="-9223372036854775809"       b=10  value=-9223372036854775808 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="-9223372036854775809"       b=16  value=-9223372036854775808 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="-9223372036854775809"       b=16  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="-9223372036854775809"       b=36  value=-9223372036854775808 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="-9223372036854775809"       b=36  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="18446744073709551615"       b=0   value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="18446744073709551615"       b=10  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="18446744073709551615"       b=16  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="18446744073709551615"       b=16  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="18446744073709551615"       b=36  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="18446744073709551615"       b=36  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="18446744073709551616"       b=0   value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="18446744073709551616"       b=0   value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="18446744073709551616"       b=10  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="18446744073709551616"       b=10  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="18446744073709551616"       b=16  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="18446744073709551616"       b=16  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="18446744073709551616"       b=36  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="18446744073709551616"       b=36  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="0x7fffffffffffffff"         b=36  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="0x7fffffffffffffff"         b=36  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="0x8000000000000000"         b=0   value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="0x8000000000000000"         b=16  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="0x8000000000000000"         b=36  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="0x8000000000000000"         b=36  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="0xffffffffffffffff"         b=0   value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="0xffffffffffffffff"         b=16  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="0xffffffffffffffff"         b=36  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="0xffffffffffffffff"         b=36  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="0x10000000000000000"        b=0   value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="0x10000000000000000"        b=0   value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="0x10000000000000000"        b=16  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="0x10000000000000000"        b=16  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="0x10000000000000000"        b=36  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="0x10000000000000000"        b=36  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="-0x8000000000000000"        b=36  value=-9223372036854775808 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="-0x8000000000000000"        b=36  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="-0x8000000000000001"        b=0   value=-9223372036854775808 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="-0x8000000000000001"        b=16  value=-9223372036854775808 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="-0x8000000000000001"        b=36  value=-9223372036854775808 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="-0x8000000000000001"        b=36  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="1777777777777777777777"     b=0   value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="1777777777777777777777"     b=0   value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="1777777777777777777777"     b=8   value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="1777777777777777777777"     b=10  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="1777777777777777777777"     b=10  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="1777777777777777777777"     b=16  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="1777777777777777777777"     b=16  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY s="1777777777777777777777"     b=36  value= 9223372036854775807 (identical saturation; libc sets ERANGE, kernel cannot)
ERANGE-ONLY u="1777777777777777777777"     b=36  value=                  -1 (identical saturation; libc sets ERANGE, kernel cannot)

SUMMARY:
  kernel-vs-libc VALUE divergences      : 0  (must be 0)
  kernel-vs-libc ENDPTR divergences     : 28  (DF-5703: 0x-prefix-no-xdigit class, valid bases)
  invalid-base semantic diffs           : 306  (legacy BSD behavior; no kernel caller passes these)
  saturation w/o ERANGE (DF-2230 class) : 65  (known, not re-reported)
  patched-kernel residual ENDPTR diffs  : 0  (fix validation; must be 0)
  patched-kernel VALUE regressions      : 0  (must be 0)
harness exit: 0