> P.S. For a list of tools (of very diverse quality and complexity) have a look 
> at the awesome static verifier list at github.

For the reference: [Awesome Static 
Analysis](https://github.com/mre/awesome-static-analysis)

Reply via email to