diff --git a/Jenkinsfile b/Jenkinsfile index 51172f1433..427d948584 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -273,6 +273,25 @@ pipeline { } } + stage('tests (address sanitizer)') { + agent { + docker { + image 'px4io/px4-dev-base:2018-03-30' + args '-e CCACHE_BASEDIR=$WORKSPACE -v ${CCACHE_DIR}:${CCACHE_DIR}:rw' + } + } + environment { + PX4_ASAN = 1 + ASAN_OPTIONS = "color=always:check_initialization_order=1:detect_stack_use_after_return=1" + } + steps { + sh 'export' + sh 'make distclean' + sh 'make tests' + sh 'make distclean' + } + } + stage('check stack') { agent { docker {