static-analysis-tools topic

An analysis tool providing insight into the portability and maintainability of an application’s source code.

intel

eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.

forefy