naszam

If the proposed changes are ok, just need to explore the inputJSON a bit more, if working on the missing `libraries` field or trying to fix and use `mk-standard-json` instead...

Hi @transmissions11, Thanks for your interest! The only blocker so far is the `dapp-mk-standard-json` that doesn't work out-of-the-box for multi-file verification as it's used mainly in [dapp-build](https://github.com/dapphub/dapptools/blob/master/src/dapp/libexec/dapp/dapp-build#L66) to compile source...

Hi @0xalpharush, I just tried https://github.com/crytic/slither/pull/1188 out via: `pip install "git+https://github.com/crytic/slither@top-level-yul-identifier"` and it seems to fix the issue. Thanks!

I've encountered a similar issue when running slither as follow: - `slither src/DssDirectDepositHub.sol` ```bash File "/home/naszam/.local/lib/python3.8/site-packages/slither/utils/expression_manipulations.py", line 144, in copy_expression raise SlitherException( slither.exceptions.SlitherException: Ternary operation not handled uint256() Error: Ternary...

> Still needs a test but wanted to open the PR for discussion on whether there are any edge cases that this could introduce. We could add tests and start...

@brianmcmichael It seems we should resolve merging conflicts before proceeding with another run of reviews.