Changed the configuration for the static analyzer