Simone

Leaving this as reference for the future. When we are adding the exported symbols of an imported file [here](https://github.com/crytic/slither/blob/3befc968bcda024b9952aeff8b3a17fd427426de/slither/core/scope/scope.py#L82-L87) what happens is that the Checkpoints [interface](https://github.com/vechain/vebetterdao-contracts/blob/0dda53c6e151eee158b2528c4c80d674c422c382/contracts/interfaces/IVOT3.sol#L174-L178) symbol is also imported....

I'm not sure to understand the issue. If i run `slither contracts/utils/cryptography/EIP712.sol --detect constable-states` they are detected also in 0.10.4

I see the pattern used and it's quite complicated. I will try to see if it is possible to remove this false positive. You can also disable the detector with...

Hi, i cannot find a way to reproduce the issue. If you are able can you post a minimal proof of concept that triggers the issue otherwise you can add...

@0xCSMNT the issue should be fixed with https://github.com/crytic/slither/pull/2730 can you try it in your project and let me know if it works?

Leaving the cause as reference. This is due to the Dispatcher contract having the incorrect Lock contract set in the inheritance. Instead of the correct Lock contract it's set to...

At the momoent you can run slither by ranaming the Lock contract to something else

I added the fix in slither for this to not make it crashes but a string is implicitly convertible to bytesN so you don't need the cast, if even without...

I'm not sure to understand what do you mean with "to get the calle(asset)". As you said the asset is user controlled and slither is a static analysis tool so...

What do you want to do precisely? To know if it can be controlled by the user you can use the `is_tainted` function with just `ir.destination` and would work. For...