Static Analyzer for Solidity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
slither/tests/uninitialized_storage_point...

15 lines
218 B

contract Uninitialized{
struct St{
uint a;
}
function func() {
St st; // non init, but never read so its fine
St memory st2;
St st_bug;
st_bug.a += 1;
}
}