> 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)
> 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)