crytic / crytic/tealer

tealer detect with --exclude flag fails

Open
#201 1 comment 0 reactions 0 assignees View on GitHub
Dominant language
Python
Stars
63
Forks
13
PR merge metrics
No merged PRs in 30d

Description

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:

```zsh
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.

Contributor guide

Open the contributing guide

Research direction

Start at the CLI handling for `tealer detect`, focusing on how `--contracts` and `--exclude` are parsed and where the reported CommandLineError is raised. Reproduce `tealer detect --contracts approval.teal --exclude is-updatable`; done means the documented comma-separated exclusion works with a specific contract, with coverage for this invocation.

Written by the indexing model from the issue text.

Assessment

Tech stack
python
Domain
cli, security
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.