alpharush

Adding a mutex to functions that write after external calls would not address cases where separate functions read from stale values or overwrite the same storage value. Take an example...

With regards to a higher level intermediate representation, I think it would be ideal to go beyond Yul++ and use something that does not access memory/ storage directly a la...

Maker liquidations?

Can you run pylint and black https://github.com/crytic/slither/blob/master/CONTRIBUTING.md#linters please?

This solidity feature hasn't been added to slither yet, so this is the correct place to have opened an issue.

We will bump the crytic-compile version once the upcoming release is finished. In the meantime, you can build from the [dev branch](https://github.com/crytic/crytic-compile/tree/dev) of crytic-compile.

Are you using a framework like hardhat? Can you run `crytic-compile ` and let us know if that works?

I think it'd be worthwhile to mention unchecked blocks.

Thanks for reporting. The function reported as dead code is used here: https://github.com/keep-network/tbtc-v2/blob/f15ef11af4344698c71de0b5388be656e50d7376/solidity/contracts/bridge/BridgeGovernance.sol#L392

Can you put this on github?