Release 0.4.0

Added

• OptimalMathFunction detector: Issue #146
• DuplicatedCondition detector: Issue #147
• UnusedOptional detector: Issue #86
• EnsurePrgSeed detector: Issue #151
• FalseCondition detector: Issue #93
• Introduces Misti tools – additional modules that can be used alongside detectors to cover various user tasks beyond warning generation: PR #154
• Support warnings suppression: Issue #152
• CFG Dump: Mermaid output: Issue #141
• Misti execution result in the JSON format using --output json/-o json: Issue #123
• ANSI escape sequences to colorize output and the --no-colors CLI option to disable it
• Driver in a single-contract mode tries to copy all the .tact and .fc files to resolve imports
• Short CLI options. See: https://nowarp.io/tools/misti/docs/next/tutorial/cli
• CLI: --min-severity/-m option to filter warnings
• More informative error messages when an incorrect Misti or Tact configuration file is set

Changed

• Include Git revision number to non-release version numbers
• Warnings now have more comprehensive descriptions and are sorted by severity
• DumpIsUsed: Report only dump calls with non-literal arguments
• Misti API to execute the driver programmatically
• ArgCopyMutation: Report once per function: Issue #150
• ArgCopyMutation: Don't report arguments returned from the function: Issue #149
• Rename CLI options: --suppress -> --disable-detectors; --detectors -> --enable-detectors

Fixed

• ReadOnlyVariables: Don't suggest creating constants from variables resulted from fields and method calls: Issue #148

Release contributors

• @jubnzv
• @Esorat

Special thanks

• @anton-trunov