[Numpy-discussion] Re: Fuzzing integration of Numpy into OSS-Fuzz

2022-06-09 Thread david korczynski
space and finding as many possible issues as possible, even if there isn't the immediate possibility of them becoming fixed. I've used Hypothesis on several projects that depend on NumPy and incidentally found several bugs in NumPy with it (for example, https://github.com/numpy/numpy/issu

[Numpy-discussion] Re: Fuzzing integration of Numpy into OSS-Fuzz

2022-06-08 Thread david korczynski
guage. For example, an effort in this domain is investigation into new bug oracles for Python (like sanitizers but targeted memory safe languages). On 07/06/2022 15:10, Matti Picus wrote: On 7/6/22 14:02, david korczynski wrote: Hi Numpy maintainers, Would you be interested in integrating continuo

[Numpy-discussion] Fuzzing integration of Numpy into OSS-Fuzz

2022-06-07 Thread david korczynski
Hi Numpy maintainers, Would you be interested in integrating continuous fuzzing by way of OSS-Fuzz? Fuzzing is a way to automate test-case generation and has been heavily used for memory unsafe languages. Recently efforts have been put into fuzzing memory safe languages and Python is one of the l