Re: [Xen-devel] [PATCH RFC] xen: add undefined behaviour sanitizer

[Wei Liu <wei.liu2@xxxxxxxxxx>]

On Tue, Oct 03, 2017 at 05:19:44PM +0100, Andrew Cooper wrote:
> On 03/10/17 17:03, Wei Liu wrote:
> > 1. Introduce Kconfig UBSAN option.
> > 2. Import and adapt a bunch of hooks from Linux kernel with as little
> >    modification as possible.
> > 3. Provide mechanism to filter out unwanted files.
> >
> > This is x86 only at the moment. It should be easy to make it work on
> > arm, but I don't have the test environment to figure out what files
> > need to be filtered out.
> >
> > Currently two files are filtered out:
> >
> > 1. arch/x86/setup.o -- xen crashes very early without any output
> 
> With GCC 6.3 and with unaligned access checking?  If so, it is probably
> the code which initially sets up the IDT.
> 

I suppose so. It's definitely somewhere inside __start_xen, before IDT
is ready.

I think misalign check should stay -- the false positive are reported
once anyway. It might catch real issues in the future.

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
https://lists.xen.org/xen-devel