“…The build system used to build the images supports static code analysis and instrumentation of the code in order to find out potential memory leaks in the program and to collect coverage data of the regression test package [25,26]. This is needed to ensure that the applications can run unattended for years.…”