[Xen-devel] [PATCH v2 0/3] Add support for using the Undefined Behaviour Sanitizer

[Wei Liu <wei.liu2@xxxxxxxxxx>]

Andrew Cooper (2):
  xen/ubsan: Import ubsan implementation from Linux 4.13
  xen/ubsan: Implement __ubsan_handle_nonnull_arg()

Wei Liu (1):
  xen: hook up UBSAN with CONFIG_UBSAN

Cc: Jan Beulich <jbeulich@xxxxxxxx>
Cc: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
Cc: Stefano Stabellini <sstabellini@xxxxxxxxxx>
Cc: Julien Grall <julien.grall@xxxxxxx>

 xen/Kconfig               |   6 +
 xen/Kconfig.debug         |  10 +
 xen/Rules.mk              |   4 +
 xen/arch/x86/Kconfig      |   2 +
 xen/common/Kconfig        |   3 +
 xen/common/Makefile       |   1 +
 xen/common/ubsan/Makefile |   1 +
 xen/common/ubsan/ubsan.c  | 480 ++++++++++++++++++++++++++++++++++++++++++++++
 xen/common/ubsan/ubsan.h  |  84 ++++++++
 9 files changed, 591 insertions(+)
 create mode 100644 xen/common/ubsan/Makefile
 create mode 100644 xen/common/ubsan/ubsan.c
 create mode 100644 xen/common/ubsan/ubsan.h

-- 
2.11.0


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