AddressSanitizer goodies
Merge pull request #900 from kholia/ASan

AddressSanitizer goodies