search

crytic / slither

Static Analyzer for Solidity and Vyper
https://blog.trailofbits.com/2018/10/19/slither-a-solidity-static-analysis-framework/
GNU Affero General Public License v3.0
5.35k stars 972 forks source link

Buidler/hardat output: filter `console` contract #767

Open montyly opened 3 years ago

montyly commented 3 years ago

buidler and hardat come with a console contract, which mostly contains a lot of log functions.

We should filter this contract from printers (and detectors?) output

0xalpharush commented 1 year ago

We should also filter DSTest and stuff like HEVM cheatcodes