---
id: 1947
title: "Avoiding Smart Contract “Gridlock” with Slither"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2019/07/03/avoiding-smart-contract-gridlock-with-slither/"
published_at: "2019-07-03T18:42:53Z"
tags: ["web3", "smart-contracts", "static-analysis", "blockchain", "ethereum", "slither", "dos"]
phying_url: "https://phying.com/item/1947"
lang: en
---

# Avoiding Smart Contract “Gridlock” with Slither

## Summary

Slither's dangerous-strict-equality detector catches the Edgeware 'Gridlock' DoS, where a strict balance assertion let attackers pre-fund a future contract address and freeze its lock() function.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2019-07-03T18:42:53Z
- **Original:** https://blog.trailofbits.com/2019/07/03/avoiding-smart-contract-gridlock-with-slither/
- **Phying News:** https://phying.com/item/1947