Has anyone been able to configure Coverity for the GCC that ships with SES?
You'd probably be better asking in the Segger forum:
https://forum.segger.com/index.php/Board/9-SEGGER-Embedded-Studio-related/?s=3a70fb84aec3fbed85b48ac1f764947fef1a0861