alpharush

Can you use solc `0.8.12`? https://github.com/crytic/slither/issues/1319#issuecomment-1231620830

I have labeled this issue as a bug. Yes, having a typed AST would be nice; however, it is not our highest priority. We do our best to keep up...

When I run slither on this contract, I only get: ``` A.myVal (test.sol#1) should be constant Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#state-variables-that-could-be-declared-constant ``` Perhaps you had something like this? ``` contract A { uint256...

This is an example of it causing issues https://github.com/ethereum/solidity/issues/13311

We can look into tightening the heuristics to ignore transfers to addresses where the amount sent is based on the address i.e. used as key in a mapping or argument...

I'll have to think about this more before modifying the detector as we'd prefer false positives over false negatives. For now, you can add an `onlyProxy` modifier on the `initializer`...

Without looking at the code, it's difficult for me to assess whether this a false negative. This detector looks for an `initialize` function and a `selfdestruct` that is reachable. I...

Thanks for sharing the code. The vulnerability slither is warning of would be an attacker calling `Game.initialize` and setting themself as the `owner`. Then, they could call `Game.destroyContract` on the...

Can you show the output of running `slither .` (leaving Echidna aside) on the codebase?

Note to self: check if fixed by https://github.com/crytic/slither/pull/1271