commit 50e20023cceba80730950a06aa572014da610e46
author Davide Pesavento <davide.pesavento@lip6.fr> Sat Sep 17 18:50:27 2016 +0200
committer Davide Pesavento <davide.pesavento@lip6.fr> Sat Sep 17 21:40:49 2016 +0200
tree 0242266c718442bfdcb87c56ff8bc41c82eaf7bd
parent 848a1e6f862b7940de5eba20e82c285ceee7d870

ci: enable AddressSanitizer for unit tests

Change-Id: Iddac2075fe27d57cb8bf5c13846cfb1deceadcdd
Refs: #2589

.jenkins.d/20-tests.sh

diff --git a/.jenkins.d/20-tests.sh b/.jenkins.d/20-tests.sh
index f0583ca..51aac69 100755
--- a/.jenkins.d/20-tests.sh
+++ b/.jenkins.d/20-tests.sh
@@ -31,6 +31,17 @@
     fi
 }
 
+ASAN_OPTIONS="color=always"
+ASAN_OPTIONS+=":detect_leaks=false"
+ASAN_OPTIONS+=":detect_stack_use_after_return=true"
+ASAN_OPTIONS+=":check_initialization_order=true"
+ASAN_OPTIONS+=":strict_init_order=true"
+ASAN_OPTIONS+=":detect_invalid_pointer_pairs=1"
+ASAN_OPTIONS+=":detect_container_overflow=false"
+ASAN_OPTIONS+=":strict_string_checks=true"
+ASAN_OPTIONS+=":strip_path_prefix=${PWD}/"
+export ASAN_OPTIONS
+
 # Run unit tests
 ./build/unit-tests $(ut_log_args)