Skip to main content

Module write_after_write

forge_lint::sol::gas

Module write_after_write 

Source

Structs§

Analyzer 🔒
Tracks state variable writes that no later read has observed yet; a second write to such a variable makes the pending one redundant.

Statics§

WRITE_AFTER_WRITE