Georgiy Komarov

Tidy imports in the Tact codebase

1

We could add additional `yarn` rules to sort and report unused imports. For example, this configuration sorts them alphabetically and places local imports above external ones: https://github.com/nowarp/misti/blob/f95260498be6801beb0364e16ebd8034784d436c/.eslintrc.js#L28-L52 This setup allows...

Finalize `index.ts` and export it in package.json

3

Currently, Tact API users [must write imports](https://github.com/nowarp/misti/blob/2be8aae8b9fa23f4493270d1c4590039604db347/src/detectors/detector.ts#L10) in the following format: ``` import { SrcInfo } from "@tact-lang/compiler/dist/grammar/ast"; ``` It would be more convenient if they could write one of...

If we turn on `debug` mode in the `WriterContext.extract` function, incorrect FunC code will be generated. That feature might be quite useful for the compiler development, in particular for differential...

We should have an option to enable `debug` mode in `WriterContext.extract` when compiling a project, at least to ensure that the generated code can be compiled: https://github.com/tact-lang/tact/blob/12def54b4b17417dda06cbf0e7e411f003504f8a/src/generator/Writer.ts#L70 Related #805

Upgrade Misti with Advanced Tact Detectors

2

### Summary Enhance [Misti](https://nowarp.github.io/tools/misti) with more powerful Tact detectors to promote security best practices in the ecosystem. ### Context [Misti](https://github.com/nowarp/misti) is a static analyzer for the TON blockchain [supported](https://github.com/ton-society/grants-and-bounties/issues/436) by...

Check dead links in the CI

1

Could be implemented using `lychee`: https://github.com/nowarp/misti/blob/1ee515cd2eea19034647237f69c7d2c68c02f6b9/.github/workflows/ci.yml#L56-L61

The recent version of the compiler rejects the following code: https://github.com/tact-lang/tact-docs/blob/d285e25dc2a906cfb43e743b8f8430fd10c480de/pages/cookbook/data-structures.mdx?plain=1#L254 ``` Syntax error: src/routes/(examples)/04-arrays/contract.tact:47:13: Parse error: expected not a reservedWord Line 47, col 13: 46 | > 47 |...

`getCompilerConfigForContract` should be `export`ed: https://github.com/ton-org/blueprint/blob/9b1c238938047d3ca1a1b30e5706fcb759950025/src/compile/compile.ts#L27 This is needed in third-party plugins in order to get the information about the available projects, e.g. the language in use, since some plugins might...

Add `blueprint-misti` to the list of plugins

1

Towards #142

[Misti](https://nowarp.github.io/tools/misti/) is a static analyzer for the TON blockchain [funded](https://nowarp.github.io/tools/misti/docs/next/#funding) by the TON Foundation. Currently, it supports Tact, and FunC support is planned for one of the upcoming versions. The...