slotmachine
slotmachine copied to clipboard
detect hazardous storage writes in Solidity contracts
getting the following log when running `./slotmachine.sh Counter` and `forge test -vvv` ``` -------- [SLOT] 0x0bec8ab077af1e12783ac8c970bca6dada042613c1ff87b4d0953dea6b0115fd [VALUE] 0x0000000000000000000000000000000000000000000000000000000000001234 => [keccack] 0xd80ad16edadc649234107b79b30fd0bd6b3dc724d12ebb3a6c085b65ac3620b2 [!OK!] -------- [SLOT] 0x0bec8ab077af1e12783ac8c970bca6dada042613c1ff87b4d0953dea6b011600 [VALUE] 0x0000000000000000000000000000000000000000000000000000000000000000 => [keccack] 0x5935cfefbbd8605fc2d5027f8ea298804734a63f6e8acc97a88d646e14f53be0...