I wrote a few posts on this topic that may be helpful: http://btorpey.github.io/blog/categories/static-analysis/