use static analyzer