run the static analyzer