tealer icon indicating copy to clipboard operation
tealer copied to clipboard

tealer detect with --exclude flag fails

Open aorumbayev opened this issue 6 months ago • 1 comments

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 avatar Dec 11 '23 16:12 aorumbayev

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

aorumbayev avatar Dec 15 '23 16:12 aorumbayev