Release 0.3.0

Added

• Supported Tact 1.5: Issue #33
• StringReceiversOverlap detector: PR #122
• AsmIsUsed detector: Issue #119
• PreferredStdlibApi detector: Issue #132
• InheritedStateMutation detector: Issue #64
• ArgCopyMutation detector: Issue #125
• Allow running Misti without Souffle installation: Issue #45
• Add index.ts in order to simplify writing custom detectors: PR #140
• --dump-ast CLI option
• --suppress CLI option: Issue #135
• --souffle-binary CLI option to specify path to the Souffle executable
• --souffle-verbose CLI option to include comments to the generated Souffle files: PR #120
• Benchmarks for executing detectors: yarn benchmark ./test/good/sample-jetton.tact
• Public API to handle Tact stdlib paths
• Detector templates and the --new-detector CLI option: PR #105
• A script to generate detectors documentation: ./scripts/generateDetectorDocs.ts
• The --detectors CLI option can be used to quickly run Misti with the specified detectors, e.g., yarn misti --detectors ReadOnlyVariables,./examples/implicit-init/implicitInit.ts:ImplicitInit
• TactASTUtil: API functions to check mutability of the statement
• Asynchronous detectors and Souffle execution: PR #118

Changed

• Moved Souffle bindings to a its own repository https://github.com/nowarp/souffle.js: PR #120
• Refined the CLI interface
• The engines property in package.json and its strict checking to ensure minimal required Node.js version is 22 (follows-up changes in Tact)

Fixed

• Adjust option names in Config and JSONSchema
• Paths to custom detectors: Fix support for absolute paths and allow developers to specify the .ts extension to ensure it works exactly as described in the documentation: https://nowarp.github.io/tools/misti/docs/next/hacking/custom-detector/
• Don't show nowarp.io documentation links for custom detectors: Issue #128

Release contributors

• @jubnzv

Special thanks

• @anton-trunov