most importantly provide a way to run the static analyzer consistently. This is done via docker container.
Rainer Gerhards