Hi Adrian,
I have pushed a commit to Github which removes the usage of UBSAN. I am
happy to go with this method. 

Do let me know if you prefer ASAN to be added alongside UBSAN, rather
than simply removing UBSAN.
Best wishes,
Fufu

Reply via email to