From a7eb19e3f469141c5b09509fe5756c776ee510fd Mon Sep 17 00:00:00 2001 From: Felix Ruess Date: Fri, 23 Oct 2015 18:51:53 +0200 Subject: [PATCH 01/35] [tests] travis runs coverity scan --- .travis.yml | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/.travis.yml b/.travis.yml index e852023cd6e..a2e314f5d06 100644 --- a/.travis.yml +++ b/.travis.yml @@ -14,6 +14,22 @@ script: - arm-none-eabi-gcc --version - make test +env: + global: + # The next declaration is the encrypted COVERITY_SCAN_TOKEN, created + # via the "travis encrypt" command using the project repo's public key + - secure: "QGE7s/sTIX3F4hG8YYbpYjB2x0YsUUo9qHf+Dv5BqNcTtZ2TLO0tHPWxoI5wlRLiMEOOnINNwYk7ooM3oOXa0Fm9urja9k78cFutbbDtvGD6DjUFajwJ0KnwXnLulCgG+l67umGitSazQpyEQE4pvX/8EnB9/pgq706DlmCbkds=" + +addons: + coverity_scan: + project: + name: "paparazzi/paparazzi" + description: "Build submitted via Travis CI" + notification_email: paparazzi-builds@nongnu.org + build_command_prepend: "make ext" + build_command: "make" + branch_pattern: coverity_scan + notifications: webhooks: urls: From 44b80e9dfd5cd395797fc29205e557c3762cf4b9 Mon Sep 17 00:00:00 2001 From: Felix Ruess Date: Thu, 7 Jul 2016 13:14:07 +0200 Subject: [PATCH 02/35] [tests] coverity: run full make test we'll see if that is too much... --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index a2e314f5d06..7a6836a91b6 100644 --- a/.travis.yml +++ b/.travis.yml @@ -27,7 +27,7 @@ addons: description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org build_command_prepend: "make ext" - build_command: "make" + build_command: "make test" branch_pattern: coverity_scan notifications: From 48421dbe81c9ab6e9a360768b8a58fdb1672c6c1 Mon Sep 17 00:00:00 2001 From: Felix Ruess Date: Thu, 7 Jul 2016 14:31:46 +0200 Subject: [PATCH 03/35] [test] coverity: only build with gcc and disable normal make test hopefully this allows it to run in time --- .travis.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index 7a6836a91b6..3729e5c3ad9 100644 --- a/.travis.yml +++ b/.travis.yml @@ -3,7 +3,7 @@ dist: trusty language: c compiler: - gcc - - clang +# - clang before_install: - sudo add-apt-repository ppa:paparazzi-uav/ppa -y - sudo add-apt-repository ppa:team-gcc-arm-embedded/ppa -y @@ -12,7 +12,7 @@ install: - sudo apt-get install -y paparazzi-dev paparazzi-jsbsim gcc-arm-embedded libipc-run-perl script: - arm-none-eabi-gcc --version - - make test +# - make test env: global: From 47c61afda985e059e09f35ca0a5b054ab93461c9 Mon Sep 17 00:00:00 2001 From: Felix Ruess Date: Thu, 7 Jul 2016 14:35:26 +0200 Subject: [PATCH 04/35] [test] coverity: only run make test if not running coverity tests --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 3729e5c3ad9..318cb51d619 100644 --- a/.travis.yml +++ b/.travis.yml @@ -12,7 +12,7 @@ install: - sudo apt-get install -y paparazzi-dev paparazzi-jsbsim gcc-arm-embedded libipc-run-perl script: - arm-none-eabi-gcc --version -# - make test + - if [ "${COVERITY_SCAN_BRANCH}" != 1 ]; then make test; fi env: global: From 9feb613245529e48a55203a6b669573fd5d6f137 Mon Sep 17 00:00:00 2001 From: Michal Podhradsky Date: Fri, 8 Jul 2016 17:29:38 -0700 Subject: [PATCH 05/35] Change coverity compiler to arn-embedded This should allow coverity to use arm-none-eabi-gcc instead of default gcc, see https://github.com/Nitrokey/nitrokey-pro-firmware/commit/f2f98c7c59874fddc006e1d6607438f60bc2f0a8 --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 318cb51d619..6e2896759ba 100644 --- a/.travis.yml +++ b/.travis.yml @@ -26,7 +26,7 @@ addons: name: "paparazzi/paparazzi" description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org - build_command_prepend: "make ext" + build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc" build_command: "make test" branch_pattern: coverity_scan From b40c9474716929fd25d2bdbb9be291c55e34e106 Mon Sep 17 00:00:00 2001 From: podhrmic Date: Wed, 13 Jul 2016 19:06:05 -0700 Subject: [PATCH 06/35] Set coverity for arm-embedded compiler --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 6e2896759ba..ad626c8c182 100644 --- a/.travis.yml +++ b/.travis.yml @@ -26,7 +26,7 @@ addons: name: "paparazzi/paparazzi" description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org - build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc" + build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template build_command: "make test" branch_pattern: coverity_scan From c57b9264533bfed0bb5a450dde4443fd6b9552f4 Mon Sep 17 00:00:00 2001 From: Michal Podhradsky Date: Wed, 13 Jul 2016 19:15:56 -0700 Subject: [PATCH 07/35] Typo in travis.yml --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index ad626c8c182..936f3b7f296 100644 --- a/.travis.yml +++ b/.travis.yml @@ -26,7 +26,7 @@ addons: name: "paparazzi/paparazzi" description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org - build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template + build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template" build_command: "make test" branch_pattern: coverity_scan From 1a980fa0c25a63b3b03795c357c8e1f0592c06d9 Mon Sep 17 00:00:00 2001 From: Michal Podhradsky Date: Thu, 14 Jul 2016 08:45:01 -0700 Subject: [PATCH 08/35] An attempt to fix travis --- .travis.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index 936f3b7f296..8a679217cfc 100644 --- a/.travis.yml +++ b/.travis.yml @@ -26,8 +26,8 @@ addons: name: "paparazzi/paparazzi" description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org - build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template" - build_command: "make test" + build_command_prepend: make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template + build_command: make test branch_pattern: coverity_scan notifications: From 7cf0a0b75fe1933d12a7afb4e3a1f157b1a5b65c Mon Sep 17 00:00:00 2001 From: Felix Ruess Date: Fri, 23 Oct 2015 18:51:53 +0200 Subject: [PATCH 09/35] [tests] travis runs coverity scan --- .travis.yml | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/.travis.yml b/.travis.yml index 105f86c916e..8b70c81586f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -14,6 +14,22 @@ script: - arm-none-eabi-gcc --version - make test +env: + global: + # The next declaration is the encrypted COVERITY_SCAN_TOKEN, created + # via the "travis encrypt" command using the project repo's public key + - secure: "QGE7s/sTIX3F4hG8YYbpYjB2x0YsUUo9qHf+Dv5BqNcTtZ2TLO0tHPWxoI5wlRLiMEOOnINNwYk7ooM3oOXa0Fm9urja9k78cFutbbDtvGD6DjUFajwJ0KnwXnLulCgG+l67umGitSazQpyEQE4pvX/8EnB9/pgq706DlmCbkds=" + +addons: + coverity_scan: + project: + name: "paparazzi/paparazzi" + description: "Build submitted via Travis CI" + notification_email: paparazzi-builds@nongnu.org + build_command_prepend: "make ext" + build_command: "make" + branch_pattern: coverity_scan + notifications: webhooks: urls: From a33dca5becce0c73960ffe3eb870bffe5e49791a Mon Sep 17 00:00:00 2001 From: Felix Ruess Date: Thu, 7 Jul 2016 13:14:07 +0200 Subject: [PATCH 10/35] [tests] coverity: run full make test we'll see if that is too much... --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 8b70c81586f..f546893b64a 100644 --- a/.travis.yml +++ b/.travis.yml @@ -27,7 +27,7 @@ addons: description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org build_command_prepend: "make ext" - build_command: "make" + build_command: "make test" branch_pattern: coverity_scan notifications: From e8623d43f624356863b0f75c1525dcb2c07e0251 Mon Sep 17 00:00:00 2001 From: Felix Ruess Date: Thu, 7 Jul 2016 14:31:46 +0200 Subject: [PATCH 11/35] [test] coverity: only build with gcc and disable normal make test hopefully this allows it to run in time --- .travis.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index f546893b64a..f55c35be6c8 100644 --- a/.travis.yml +++ b/.travis.yml @@ -3,7 +3,7 @@ dist: trusty language: c compiler: - gcc - - clang +# - clang before_install: - sudo add-apt-repository ppa:paparazzi-uav/ppa -y - sudo add-apt-repository ppa:team-gcc-arm-embedded/ppa -y @@ -12,7 +12,7 @@ install: - sudo apt-get install -y paparazzi-dev paparazzi-jsbsim gcc-arm-embedded libipc-run-perl cmake script: - arm-none-eabi-gcc --version - - make test +# - make test env: global: From 937043f712c27cbc05196484b25cce58efaf518b Mon Sep 17 00:00:00 2001 From: Felix Ruess Date: Thu, 7 Jul 2016 14:35:26 +0200 Subject: [PATCH 12/35] [test] coverity: only run make test if not running coverity tests --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index f55c35be6c8..0c5899cf3fc 100644 --- a/.travis.yml +++ b/.travis.yml @@ -12,7 +12,7 @@ install: - sudo apt-get install -y paparazzi-dev paparazzi-jsbsim gcc-arm-embedded libipc-run-perl cmake script: - arm-none-eabi-gcc --version -# - make test + - if [ "${COVERITY_SCAN_BRANCH}" != 1 ]; then make test; fi env: global: From ad08a6106e8326c98e2ae6df19ce3da7acfe830b Mon Sep 17 00:00:00 2001 From: Michal Podhradsky Date: Fri, 8 Jul 2016 17:29:38 -0700 Subject: [PATCH 13/35] Change coverity compiler to arn-embedded This should allow coverity to use arm-none-eabi-gcc instead of default gcc, see https://github.com/Nitrokey/nitrokey-pro-firmware/commit/f2f98c7c59874fddc006e1d6607438f60bc2f0a8 --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 0c5899cf3fc..89a2300123a 100644 --- a/.travis.yml +++ b/.travis.yml @@ -26,7 +26,7 @@ addons: name: "paparazzi/paparazzi" description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org - build_command_prepend: "make ext" + build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc" build_command: "make test" branch_pattern: coverity_scan From e6fc92a5d7cd4f00e5c983dc54e32b09ca475317 Mon Sep 17 00:00:00 2001 From: podhrmic Date: Wed, 13 Jul 2016 19:06:05 -0700 Subject: [PATCH 14/35] Set coverity for arm-embedded compiler --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 89a2300123a..a4c0d668d97 100644 --- a/.travis.yml +++ b/.travis.yml @@ -26,7 +26,7 @@ addons: name: "paparazzi/paparazzi" description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org - build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc" + build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template build_command: "make test" branch_pattern: coverity_scan From b19afd788927839e64b790dd16acce2862f708da Mon Sep 17 00:00:00 2001 From: Michal Podhradsky Date: Wed, 13 Jul 2016 19:15:56 -0700 Subject: [PATCH 15/35] Typo in travis.yml --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index a4c0d668d97..8b79bab1752 100644 --- a/.travis.yml +++ b/.travis.yml @@ -26,7 +26,7 @@ addons: name: "paparazzi/paparazzi" description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org - build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template + build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template" build_command: "make test" branch_pattern: coverity_scan From dbef36b4f99561f28323799451d381ffa6b75f6a Mon Sep 17 00:00:00 2001 From: Michal Podhradsky Date: Thu, 14 Jul 2016 08:45:01 -0700 Subject: [PATCH 16/35] An attempt to fix travis --- .travis.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index 8b79bab1752..f6faf7740b8 100644 --- a/.travis.yml +++ b/.travis.yml @@ -26,8 +26,8 @@ addons: name: "paparazzi/paparazzi" description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org - build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template" - build_command: "make test" + build_command_prepend: make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template + build_command: make test branch_pattern: coverity_scan notifications: From 043dfe7a984fd4e93364ce971121c613f6b963e9 Mon Sep 17 00:00:00 2001 From: Felix Ruess Date: Fri, 23 Oct 2015 18:51:53 +0200 Subject: [PATCH 17/35] [tests] travis runs coverity scan --- .travis.yml | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/.travis.yml b/.travis.yml index 105f86c916e..8b70c81586f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -14,6 +14,22 @@ script: - arm-none-eabi-gcc --version - make test +env: + global: + # The next declaration is the encrypted COVERITY_SCAN_TOKEN, created + # via the "travis encrypt" command using the project repo's public key + - secure: "QGE7s/sTIX3F4hG8YYbpYjB2x0YsUUo9qHf+Dv5BqNcTtZ2TLO0tHPWxoI5wlRLiMEOOnINNwYk7ooM3oOXa0Fm9urja9k78cFutbbDtvGD6DjUFajwJ0KnwXnLulCgG+l67umGitSazQpyEQE4pvX/8EnB9/pgq706DlmCbkds=" + +addons: + coverity_scan: + project: + name: "paparazzi/paparazzi" + description: "Build submitted via Travis CI" + notification_email: paparazzi-builds@nongnu.org + build_command_prepend: "make ext" + build_command: "make" + branch_pattern: coverity_scan + notifications: webhooks: urls: From 1ae7c5022601617d49cb9e50c0132ae6d611c9ec Mon Sep 17 00:00:00 2001 From: Felix Ruess Date: Thu, 7 Jul 2016 13:14:07 +0200 Subject: [PATCH 18/35] [tests] coverity: run full make test we'll see if that is too much... --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 8b70c81586f..f546893b64a 100644 --- a/.travis.yml +++ b/.travis.yml @@ -27,7 +27,7 @@ addons: description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org build_command_prepend: "make ext" - build_command: "make" + build_command: "make test" branch_pattern: coverity_scan notifications: From 214e25a17b9c4421af658ecfb3ad65c23747b1ba Mon Sep 17 00:00:00 2001 From: Felix Ruess Date: Thu, 7 Jul 2016 14:31:46 +0200 Subject: [PATCH 19/35] [test] coverity: only build with gcc and disable normal make test hopefully this allows it to run in time --- .travis.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index f546893b64a..f55c35be6c8 100644 --- a/.travis.yml +++ b/.travis.yml @@ -3,7 +3,7 @@ dist: trusty language: c compiler: - gcc - - clang +# - clang before_install: - sudo add-apt-repository ppa:paparazzi-uav/ppa -y - sudo add-apt-repository ppa:team-gcc-arm-embedded/ppa -y @@ -12,7 +12,7 @@ install: - sudo apt-get install -y paparazzi-dev paparazzi-jsbsim gcc-arm-embedded libipc-run-perl cmake script: - arm-none-eabi-gcc --version - - make test +# - make test env: global: From e74ee0a5611d869500ffcbcac614b424040a76fb Mon Sep 17 00:00:00 2001 From: Felix Ruess Date: Thu, 7 Jul 2016 14:35:26 +0200 Subject: [PATCH 20/35] [test] coverity: only run make test if not running coverity tests --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index f55c35be6c8..0c5899cf3fc 100644 --- a/.travis.yml +++ b/.travis.yml @@ -12,7 +12,7 @@ install: - sudo apt-get install -y paparazzi-dev paparazzi-jsbsim gcc-arm-embedded libipc-run-perl cmake script: - arm-none-eabi-gcc --version -# - make test + - if [ "${COVERITY_SCAN_BRANCH}" != 1 ]; then make test; fi env: global: From 18134dfe522b08be288697c38c76f7710c8b68d8 Mon Sep 17 00:00:00 2001 From: Michal Podhradsky Date: Fri, 8 Jul 2016 17:29:38 -0700 Subject: [PATCH 21/35] Change coverity compiler to arn-embedded This should allow coverity to use arm-none-eabi-gcc instead of default gcc, see https://github.com/Nitrokey/nitrokey-pro-firmware/commit/f2f98c7c59874fddc006e1d6607438f60bc2f0a8 --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 0c5899cf3fc..89a2300123a 100644 --- a/.travis.yml +++ b/.travis.yml @@ -26,7 +26,7 @@ addons: name: "paparazzi/paparazzi" description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org - build_command_prepend: "make ext" + build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc" build_command: "make test" branch_pattern: coverity_scan From c2e80e1e66f4a694dc810835b3aa908bfa920630 Mon Sep 17 00:00:00 2001 From: podhrmic Date: Wed, 13 Jul 2016 19:06:05 -0700 Subject: [PATCH 22/35] Set coverity for arm-embedded compiler --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 89a2300123a..a4c0d668d97 100644 --- a/.travis.yml +++ b/.travis.yml @@ -26,7 +26,7 @@ addons: name: "paparazzi/paparazzi" description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org - build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc" + build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template build_command: "make test" branch_pattern: coverity_scan From 7b806c4ee5fce2f0cf8ccc103ae1567b4ad6ec96 Mon Sep 17 00:00:00 2001 From: Michal Podhradsky Date: Wed, 13 Jul 2016 19:15:56 -0700 Subject: [PATCH 23/35] Typo in travis.yml --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index a4c0d668d97..8b79bab1752 100644 --- a/.travis.yml +++ b/.travis.yml @@ -26,7 +26,7 @@ addons: name: "paparazzi/paparazzi" description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org - build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template + build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template" build_command: "make test" branch_pattern: coverity_scan From 725af07093f4f02cfd8d838072ecbaef22466e98 Mon Sep 17 00:00:00 2001 From: Michal Podhradsky Date: Thu, 14 Jul 2016 08:45:01 -0700 Subject: [PATCH 24/35] An attempt to fix travis --- .travis.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index 8b79bab1752..f6faf7740b8 100644 --- a/.travis.yml +++ b/.travis.yml @@ -26,8 +26,8 @@ addons: name: "paparazzi/paparazzi" description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org - build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template" - build_command: "make test" + build_command_prepend: make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template + build_command: make test branch_pattern: coverity_scan notifications: From c4d25248d1d596d02b8474659f911bd898549818 Mon Sep 17 00:00:00 2001 From: Felix Ruess Date: Fri, 23 Oct 2015 18:51:53 +0200 Subject: [PATCH 25/35] [tests] travis runs coverity scan --- .travis.yml | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/.travis.yml b/.travis.yml index f6faf7740b8..ef48abe3a6e 100644 --- a/.travis.yml +++ b/.travis.yml @@ -30,6 +30,22 @@ addons: build_command: make test branch_pattern: coverity_scan +env: + global: + # The next declaration is the encrypted COVERITY_SCAN_TOKEN, created + # via the "travis encrypt" command using the project repo's public key + - secure: "QGE7s/sTIX3F4hG8YYbpYjB2x0YsUUo9qHf+Dv5BqNcTtZ2TLO0tHPWxoI5wlRLiMEOOnINNwYk7ooM3oOXa0Fm9urja9k78cFutbbDtvGD6DjUFajwJ0KnwXnLulCgG+l67umGitSazQpyEQE4pvX/8EnB9/pgq706DlmCbkds=" + +addons: + coverity_scan: + project: + name: "paparazzi/paparazzi" + description: "Build submitted via Travis CI" + notification_email: paparazzi-builds@nongnu.org + build_command_prepend: "make ext" + build_command: "make" + branch_pattern: coverity_scan + notifications: webhooks: urls: From 19044b24f0a3c9f62aacba32c1ed5f90ecd5530b Mon Sep 17 00:00:00 2001 From: Felix Ruess Date: Thu, 7 Jul 2016 13:14:07 +0200 Subject: [PATCH 26/35] [tests] coverity: run full make test we'll see if that is too much... --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index ef48abe3a6e..621a45b286c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -43,7 +43,7 @@ addons: description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org build_command_prepend: "make ext" - build_command: "make" + build_command: "make test" branch_pattern: coverity_scan notifications: From 41b86dce76efe9316c2aa2b3e326d4bb6c0bdb3c Mon Sep 17 00:00:00 2001 From: Felix Ruess Date: Thu, 7 Jul 2016 14:31:46 +0200 Subject: [PATCH 27/35] [test] coverity: only build with gcc and disable normal make test hopefully this allows it to run in time --- .travis.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.travis.yml b/.travis.yml index 621a45b286c..1b01aed33e9 100644 --- a/.travis.yml +++ b/.travis.yml @@ -12,6 +12,7 @@ install: - sudo apt-get install -y paparazzi-dev paparazzi-jsbsim gcc-arm-embedded libipc-run-perl cmake script: - arm-none-eabi-gcc --version +<<<<<<< HEAD - if [ "${COVERITY_SCAN_BRANCH}" != 1 ]; then make test; fi env: @@ -29,6 +30,9 @@ addons: build_command_prepend: make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template build_command: make test branch_pattern: coverity_scan +======= +# - make test +>>>>>>> [test] coverity: only build with gcc and disable normal make test env: global: From 5e0d23a98c1dbd811dca3f4df4ed8421be42de49 Mon Sep 17 00:00:00 2001 From: Felix Ruess Date: Thu, 7 Jul 2016 14:35:26 +0200 Subject: [PATCH 28/35] [test] coverity: only run make test if not running coverity tests --- .travis.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.travis.yml b/.travis.yml index 1b01aed33e9..33dee67b750 100644 --- a/.travis.yml +++ b/.travis.yml @@ -12,6 +12,7 @@ install: - sudo apt-get install -y paparazzi-dev paparazzi-jsbsim gcc-arm-embedded libipc-run-perl cmake script: - arm-none-eabi-gcc --version +<<<<<<< HEAD <<<<<<< HEAD - if [ "${COVERITY_SCAN_BRANCH}" != 1 ]; then make test; fi @@ -33,6 +34,9 @@ addons: ======= # - make test >>>>>>> [test] coverity: only build with gcc and disable normal make test +======= + - if [ "${COVERITY_SCAN_BRANCH}" != 1 ]; then make test; fi +>>>>>>> [test] coverity: only run make test if not running coverity tests env: global: From 56b681cea732c7a1b1fc846f6ea5ebede3ff53e9 Mon Sep 17 00:00:00 2001 From: Michal Podhradsky Date: Fri, 8 Jul 2016 17:29:38 -0700 Subject: [PATCH 29/35] Change coverity compiler to arn-embedded This should allow coverity to use arm-none-eabi-gcc instead of default gcc, see https://github.com/Nitrokey/nitrokey-pro-firmware/commit/f2f98c7c59874fddc006e1d6607438f60bc2f0a8 --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 33dee67b750..9dcf07463c6 100644 --- a/.travis.yml +++ b/.travis.yml @@ -50,7 +50,7 @@ addons: name: "paparazzi/paparazzi" description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org - build_command_prepend: "make ext" + build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc" build_command: "make test" branch_pattern: coverity_scan From a1f0daf1f339cc68cff577ba96e21dabd2d81224 Mon Sep 17 00:00:00 2001 From: podhrmic Date: Wed, 13 Jul 2016 19:06:05 -0700 Subject: [PATCH 30/35] Set coverity for arm-embedded compiler --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 9dcf07463c6..160edadbeaa 100644 --- a/.travis.yml +++ b/.travis.yml @@ -50,7 +50,7 @@ addons: name: "paparazzi/paparazzi" description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org - build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc" + build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template build_command: "make test" branch_pattern: coverity_scan From 679e54a7745379d9ef38baf697e0d55c802c5640 Mon Sep 17 00:00:00 2001 From: Michal Podhradsky Date: Wed, 13 Jul 2016 19:15:56 -0700 Subject: [PATCH 31/35] Typo in travis.yml --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 160edadbeaa..2afc9ff768f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -50,7 +50,7 @@ addons: name: "paparazzi/paparazzi" description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org - build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template + build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template" build_command: "make test" branch_pattern: coverity_scan From c57e5ef00ed08e7e292dda0355fda552229ac9db Mon Sep 17 00:00:00 2001 From: Michal Podhradsky Date: Thu, 14 Jul 2016 08:45:01 -0700 Subject: [PATCH 32/35] An attempt to fix travis --- .travis.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index 2afc9ff768f..3c5538b6b2c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -50,8 +50,8 @@ addons: name: "paparazzi/paparazzi" description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org - build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template" - build_command: "make test" + build_command_prepend: make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template + build_command: make test branch_pattern: coverity_scan notifications: From baf7a085546ebe536693e03d14818978c3b10d55 Mon Sep 17 00:00:00 2001 From: podhrmic Date: Tue, 26 Jul 2016 10:51:47 -0700 Subject: [PATCH 33/35] Restore proper travis config --- .travis.yml | 25 +------------------------ 1 file changed, 1 insertion(+), 24 deletions(-) diff --git a/.travis.yml b/.travis.yml index 3c5538b6b2c..074edeaa0c0 100644 --- a/.travis.yml +++ b/.travis.yml @@ -12,32 +12,8 @@ install: - sudo apt-get install -y paparazzi-dev paparazzi-jsbsim gcc-arm-embedded libipc-run-perl cmake script: - arm-none-eabi-gcc --version -<<<<<<< HEAD -<<<<<<< HEAD - if [ "${COVERITY_SCAN_BRANCH}" != 1 ]; then make test; fi -env: - global: - # The next declaration is the encrypted COVERITY_SCAN_TOKEN, created - # via the "travis encrypt" command using the project repo's public key - - secure: "QGE7s/sTIX3F4hG8YYbpYjB2x0YsUUo9qHf+Dv5BqNcTtZ2TLO0tHPWxoI5wlRLiMEOOnINNwYk7ooM3oOXa0Fm9urja9k78cFutbbDtvGD6DjUFajwJ0KnwXnLulCgG+l67umGitSazQpyEQE4pvX/8EnB9/pgq706DlmCbkds=" - -addons: - coverity_scan: - project: - name: "paparazzi/paparazzi" - description: "Build submitted via Travis CI" - notification_email: paparazzi-builds@nongnu.org - build_command_prepend: make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template - build_command: make test - branch_pattern: coverity_scan -======= -# - make test ->>>>>>> [test] coverity: only build with gcc and disable normal make test -======= - - if [ "${COVERITY_SCAN_BRANCH}" != 1 ]; then make test; fi ->>>>>>> [test] coverity: only run make test if not running coverity tests - env: global: # The next declaration is the encrypted COVERITY_SCAN_TOKEN, created @@ -61,3 +37,4 @@ notifications: on_success: change # options: [always|never|change] default: always on_failure: always # options: [always|never|change] default: always on_start: false # default: false + From 3fcdd8c286ec44e447b27d4c5d812f067689d9c5 Mon Sep 17 00:00:00 2001 From: podhrmic Date: Tue, 26 Jul 2016 10:57:11 -0700 Subject: [PATCH 34/35] Coveriry test configuration that passes travis build time limit --- Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Makefile b/Makefile index 29c9dd78efc..05c85b598ee 100644 --- a/Makefile +++ b/Makefile @@ -304,6 +304,10 @@ ab_clean: # test: test_math test_examples +# subset of airframes for coverity test to pass the limited build time on travis +test_coverity: all + CONF_XML=conf/conf_tests_coverity.xml prove tests/aircrafts/ + # compiles all aircrafts in conf_tests.xml test_examples: all CONF_XML=conf/conf_tests.xml prove tests/aircrafts/ From cbc0744d9b96800494277866f5dd714eabf28fbb Mon Sep 17 00:00:00 2001 From: podhrmic Date: Tue, 26 Jul 2016 10:58:16 -0700 Subject: [PATCH 35/35] Added new coverity test configuration --- .travis.yml | 2 +- conf/conf_tests_coverity.xml | 299 +++++++++++++++++++++++++++++++++++ 2 files changed, 300 insertions(+), 1 deletion(-) create mode 100644 conf/conf_tests_coverity.xml diff --git a/.travis.yml b/.travis.yml index 074edeaa0c0..8d77b8678d7 100644 --- a/.travis.yml +++ b/.travis.yml @@ -27,7 +27,7 @@ addons: description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org build_command_prepend: make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template - build_command: make test + build_command: make test_coverity branch_pattern: coverity_scan notifications: diff --git a/conf/conf_tests_coverity.xml b/conf/conf_tests_coverity.xml new file mode 100644 index 00000000000..c09e88bd9d9 --- /dev/null +++ b/conf/conf_tests_coverity.xml @@ -0,0 +1,299 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + +