Currently, all tools (except KEVM but that is something else) work on one contract. When it finds an external function it doesn't know what to do with it. Depending on the tool the function will revert, return a default value or does something else.
If we know the source we might could create an option where for certain stages in the scanning process we replace the external call with the known code. This should of course only be done for certain checks since otherwise, the tools may find problems in the replaced code and say it's from the original contract even though it isn't in reality.
Currently, all tools (except KEVM but that is something else) work on one contract. When it finds an external function it doesn't know what to do with it. Depending on the tool the function will revert, return a default value or does something else.
If we know the source we might could create an option where for certain stages in the scanning process we replace the external call with the known code. This should of course only be done for certain checks since otherwise, the tools may find problems in the replaced code and say it's from the original contract even though it isn't in reality.