The showcase of bugs found by Goshawk serves a variety of purpose:
- Show the effect of the summarize-base memory corruption bug detection (i.e., Goshawk mitigate the path explosion problem of static symbolic execution via memory operation synopsis).
- Provide insight into detection latent bugs in complex porjects.
If you detect a bug by using Goshawk, please consider to pull a requst of the confirmed bug's url. Greatly thanks.
https://github.com/torvalds/linux/commit/3093ee182f
https://github.com/torvalds/linux/commit/2bb817712e
https://github.com/torvalds/linux/commit/db74623a38
https://github.com/torvalds/linux/commit/ea45b6008f
https://github.com/torvalds/linux/commit/63415767a2
https://github.com/torvalds/linux/commit/6e5a03bcba
https://github.com/torvalds/linux/commit/8392df5d7e
https://github.com/torvalds/linux/commit/f7cae626ca
https://github.com/torvalds/linux/commit/b25b343db0
https://github.com/torvalds/linux/commit/a8e083ee8e
https://github.com/torvalds/linux/commit/076de75de1
https://github.com/torvalds/linux/commit/6bf24dc0cc
https://github.com/torvalds/linux/commit/6d72e7c767
https://github.com/torvalds/linux/commit/643001b47a
https://github.com/torvalds/linux/commit/7525858679
https://github.com/torvalds/linux/commit/37df9f3fed
https://github.com/torvalds/linux/commit/1b479fb801
https://github.com/torvalds/linux/commit/9ceee7d084
https://github.com/torvalds/linux/commit/bdc2ab5c61
https://github.com/torvalds/linux/commit/adb76a520d
https://github.com/torvalds/linux/commit/c8c165dea4
https://github.com/torvalds/linux/commit/abec6561fc
https://github.com/torvalds/linux/commit/1c98f57440
https://github.com/torvalds/linux/commit/34b39efa5a
https://github.com/torvalds/linux/commit/72ce11ddfa
https://github.com/torvalds/linux/commit/4fb44dd2c1
https://github.com/torvalds/linux/commit/7b0ddc134
https://github.com/torvalds/linux/commit/aadb22ba2f6
https://github.com/torvalds/linux/commit/f973795a
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=255859
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=255862
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=255863
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=255864
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=255865
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=255866
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=255868
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=255869
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=255871
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=255872
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=255874