plotchy

A test contract full of abundance for one-level deeper (also grabbing & iterating on addresses in storage) is [UniswapV2Factory](https://etherscan.io/address/0x5C69bEe701ef814a2B6a3EDD4B1652CB9cc5aA6f). If you'd like to experiment with reading mappings w/o replaying historical...

Files with `using A for B` or `using {x, y, x} for A` in a top-level scope (outside of contracts) isn't supported atm. Error also manifests as `InvalidCompilation` Contract taken...

Good work! This is so useful. I wanted to suggest a simpler alternative that in the vast majority of situations saves more gas for a typical user. The usecase of...

This would be nice when using `--skip-simulation` and gas estimation fails. Gas estimation failure happens frequently with txs that may fail due to randomness, etc. but you may want to...

I ran into this same issue. It appears that if any modifiers in the function declaration pass the `pattern-not-regex`, you get a false match. This doesn't fix the issue, but...

Currently this means that walking along node sons - typically used in `explore()` fns - would not accurately have `continue` statements with an increment block amongst its sons. Could lead...

Adding to this discussion, a detector I made for "unreachable code" does flag on this difference with `continue` not being succeeded by the `increment` expression. ```python def _detect(self): # pylint:...

@0xalpharush @montyly Would this be a good application for checking post-dominance of any form of loop breaking statement to remove costly operations false positives? In cases where a loop-breaker is...

@0xalpharush I looked into this a little bit, but I think it's over my head. From what I can see Slither uses this algo: ``` Naive implementation of Cooper, Harvey,...

@montyly My very naive impl using `node.sons` over `node.fathers` and extending all relevant objects to have `post_dominance` properties produced this post dominator tree: #### Contract: Taken from https://github.com/crytic/slither/pull/629 ```js pragma...