sanitizer

Credit to Author: Paul Ducklin| Date: Wed, 31 Aug 2022 11:48:01 +0000

24 existing bugs fixed. And, we hope, numerous potential future bugs prevented.