https://github.com/mre/awesome-static-analysis крутая коллекция статических анализаторов