PR Tests: update the way the static analyzer is run