search

crytic / tealer

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

tealer detect with --exclude flag fails #201

Open aorumbayev opened 7 months ago

aorumbayev commented 7 months ago

I am getting an error when executing tealer against a simple approval.clear program. The --exclude flag as documented on this repo accepts a list of comma separated detector names. Hovewer when i rune against specific file and also have the exclude flag in-place i receive:

tealer detect --contracts approval.teal --exclude is-updatable

CommandLineError: --exclude, --exclude-stateless, --exclude-stateful and --filter-paths options are only available when --detect is selected.

I am using mac os and installed the latest tealer version based on main bracnh. Any suggestions for a fix/workaround are appeciated.

aorumbayev commented 7 months ago

The proposal for this bug and a bare minimum set of other tweaks required to make detect feature work is available in https://github.com/crytic/tealer/pull/202.

We are going to use our fork of tealer until we get the PR merged (no rush, but would be nice to at least patch detect command) and if you can then provide the pypi package so we will rely on official tealer repo.

cc @loedn