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

2017-10-03 Thread Julien Grall
Hi, On 03/10/17 17:19, Andrew Cooper wrote: On 03/10/17 17:03, Wei Liu wrote: diff --git a/xen/common/ubsan/ubsan.c b/xen/common/ubsan/ubsan.c new file mode 100644 index 00..aa359e712c --- /dev/null +++ b/xen/common/ubsan/ubsan.c @@ -0,0 +1,486 @@ +/* + * UBSAN error reporting functions

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

2017-10-03 Thread Wei Liu
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.

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

2017-10-03 Thread Julien Grall
Hi Wei, 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 o

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

2017-10-03 Thread Andrew Cooper
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

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

2017-10-03 Thread Wei Liu
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 t