Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities. (arXiv:2112.14771v1 [cs.CR])

In recent years we have witnessed a dramatic increase in the adoption and
application of smart contracts in a variety of contexts such as decentralized
finance, supply chain management, and identity management. However, a critical
stumbling block to the further adoption of smart contracts is their security. A
particularly widespread class of security vulnerabilities that afflicts
Ethereum smart contracts is the gas limit denial of service(DoS) on a contract
via unbounded operations. These vulnerabilities result in a failed transaction
with …

analysis contract security smart smart contract tool vulnerabilities