alpharush

This seems to be an issue with your installation. There may be a conflict between the packages pysha3 and sha3. Try running `pip freeze | grep "sha3"`. If you see...

@thedavidmeister Would you mind seeing if this branch fixes the issue you ran into? https://github.com/crytic/slither/pull/1267

Thanks for checking. I'm looking into it. As of now, I expect it is in edge case in how slither parses assembly. I'll working on a fix.

The first issue has to do with the declaration of yul variables without assigning them: ``` function sub(uint256 operand_, uint256 stackTopLocation_) internal pure returns (uint256) { assembly { let location_...

I haven't tested it but I think `let intermediate_ := 0x0` may bypass the first error. Not sure about the second issue unfortunately.

Likely related to https://github.com/crytic/slither/pull/1227

Can you share the code to reproduce this bug?

It may be related to one of these two issues https://github.com/crytic/slither/issues?q=is%3Aissue+hang+is%3Aclosed, so I'd start there. If the issue persists, it'd be helpful to share the codebase so we can debug...

What version of slither are you using? This works on 0.8.3. Note, truffle needs to be installed for before running slither.

You can use `solc-select install all` and crytic-compile will attempt to automatically switch for most compilation platforms.