Testing the static analyzer