crytic / tealer

Static Analyzer for Teal
GNU Affero General Public License v3.0
62 stars 14 forks source link

Do not run stateless/stateful detectors for stateful/stateless code #158

Closed montyly closed 1 year ago

montyly commented 1 year ago

This can be overridden by using --detect X