search

nowarp / misti

TON Static Analyzer
https://nowarp.io/tools/misti
Apache License 2.0
23 stars 0 forks source link

Does single-file mode use `--all-detectors`? #112

Open anton-trunov opened 2 weeks ago

anton-trunov commented 2 weeks ago

If I run mist file.tact, does it activate all the detectors?

If it does, it would be nice to document it in the misti --help command.

jubnzv commented 2 weeks ago

If I run mist file.tact, does it activate all the detectors?

No, it doesn't. You can inspect the enabled detectors when running misti with --verbose (added today on the master branch).