fullseye

非有限入力監査

方法

登録表の全 942 件を列挙し、適用可能な op へ有限な基準入力、中央の1要素だけを NaN、+inf にした入力を渡した。 各呼出しは 20 秒で打ち切り、入れ子の数値出力も検査した。基準入力が失敗した行は注入結果から除外した。

結果

outcome NaN +inf
raises_fsvalueerror 0 0
raises_other 34 27
propagates_nan 300 225
silent_finite 282 392
silent_identical 258 230
timeout 0 0
baseline_failed 1 1
not_applicable 67 67

包み紙(fullseye.apply)経由

上の表は生の実装(登録表の関数を直接呼んだ結果)で、そちらは変えていない。公開の入口 fullseye.apply は 非有限な浮動小数の入力を op を呼ぶ前に FsValueError で拒否する(2026-10-23 の契約変更、逃げ道は allow_nonfinite=True)。適用可能な 875 op を同じ注入入力で入口経由に通した結果:

behaviour NaN +inf
raised_FsValueError 875 875

入口が拒否しなかった op(silent_finite の包み紙版): なし。

silent_finite

backends

backends_alife

backends_alife2

backends_aug

backends_auto

backends_color

backends_cv2b

backends_decomp

backends_deform

backends_extra

backends_filters2

backends_halcon_ext

backends_imgtools

backends_inverse

backends_kornia

backends_macro

backends_physics

backends_pil

backends_r3

backends_regions3

backends_scipy

backends_segment2

backends_ski2

backends_subpix

backends_tactile

backends_texture

backends_tomo

backends_transform2

backends_typed

ops

contaminated

基準入力が失敗したため、次の行は注入結果を判定していない: xsk_orb_count