securify2 icon indicating copy to clipboard operation
securify2 copied to clipboard

Published 20 hours ago • verified publisher icon eth-sri

Does securify analyse all contracts in a contract file?

Open lukasdenk opened this issue 4 years ago • 3 comments

Some .sol-files contain several contracts. If so, does securify analyse all of them? If not, which one does it analyse?

lukasdenk avatar Oct 11 '20 19:10 lukasdenk

Hi Lukas, Securify2.0 analyzes all contracts. However, you can choose to get only the results for the contracts you are interested in by using the argument --include-contracts.

Yannis

YannisSach avatar Oct 12 '20 09:10 YannisSach

Hi, thank you!

lukasdenk avatar Oct 13 '20 07:10 lukasdenk

In the help-message, it says "Contracts to include in the output". Does this mean that securify analyses all contracts but only reports the specified ones or does it also just only analyse the specified ones?

lukasdenk avatar Oct 13 '20 07:10 lukasdenk