On Thu, Oct 05, 2017 at 08:49:36AM -0400, Konrad Rzeszutek Wilk wrote: > > +config UBSAN > > + bool "Undefined behaviour sanitizer" > > + depends on X86 > > + ---help--- > > + Enable undefined behaviour sanitizer. > > + > > + If unsure, say N here. > > Could you perhaps expand it a bit? How does it sanitize it? With soap :-)? > And what 'undefinded behaviour's are we talking about? opcodes?
It sanitizes undefined behaviour in C. It does so by using compiler black magic: the code in Xen is instrumented; appropriate calls to hooks are inserted; hooks are called once UB is detected during runtime. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
