Simone

Hi, thanks for the great idea. I looked into it and i think at the moment by using only sierra it's not possible to implement a detector without too many...

Hi, it should be due to the warnings you see in the screenshot. If you run `pylint slither --rcfile pyproject.toml` locally you should get them.

I'm not sure about merging this one as it would be almost an exact duplicate of the `variable-order` printer. I would rather improve `variable-order`.

Hi, thanks for reporting it. This is due to an approximation on the data dependencies analysis on structs where if a `block.timestamp`/`now` is used for one field then it appears...

Hi, can you share the codebase causing this? Otherwise it's difficult to debug it

I cannot reproduce the issue. I'm running `slither .` and it works.

I see. I can't check it given that it's private and cannot build but it could be the same issue as in foundry-rs/foundry#572 and https://github.com/foundry-rs/compilers/issues/246. Basically check if in the...

The problem is in foundry generating multiple paths for the same file in the artifacts leading to crytic-compile crashing. It's an issue in foundry and for what i know there...

Yes it's that issue. If you look under ["output"]["sources"] and search for src/errors.sol you will see there are two: - lib/octant-v2-core/src/errors.sol with "id" 22 - src/errors.sol with "id" 48 and...

As a temporary fix just to make slither works rename [this](https://github.com/vechain/vebetterdao-contracts/blob/0dda53c6e151eee158b2528c4c80d674c422c382/contracts/interfaces/IVOT3.sol#L174) Checkpoints interface to something else. The issue is the same that PR #2167 was trying to fix.