more static analyzer stuffs