bart1e

After giving it more thought, I think that it might be a correct `Slither` behaviour, because `g` in this case belongs to the contract `B` (since it inherits from `A`),...

@0xalpharush I think it's sligthly different since I was referring to the use (not the declaration) of function `f` in `g` in the example I gave. It was confusing to...

@0xalpharush Thanks a lot for the feedback! I will try to make use of these `_user_defined_value_types` you mentioned - this will definitely make the code shorter and easier to read....

I have just checked both options (using compilation unit and scope) and indeed, I can iterate over user defined types (aliases), but their references aren't updated correctly. So there are...

@0xalpharush, I will try to make the changes as you suggested. Can I do them in this PR, or create a separate one? And, perhaps, I have expressed myself wrong...

@0xalpharush OK, I will try to submit a separate PR tomorrow.

@0xalpharush Before this will be merged, I have to know how the detector should deal with the following things: - as I have mentioned before, sometimes there are files that...

I have added a code that will ignore "import containers" while printing the output. In the future, I may also handle cyclic imports (right now, if cyclic imports are detected,...

I've removed the code responsible for detecting "redundant" imports. Now, only imports whose own import graph doesn't contain any needed import will be listed. So, for example, if we have...