04.05.202513:16
🔧 Announcing: OCaml library for FunC parsing: nowarp/ocaml-func
For developers working with FunC, this library provides AST and parser functionality.
For developers working with FunC, this library provides AST and parser functionality.
06.03.202507:10
🎉 Misti 0.7 has just landed on NPM!
🔍 More Tact Detectors: StateMutationInGetter, UnprotectedCall and SuspiciousLoop.
⚡ Tact 1.6.1 support: Including new language syntax and features.
⚙️ Improved Tools: Added more Callgraph functionality to enhance contracts audits.
🔧 Fixes & Enhancements: Check out the full changelog.
🔍 More Tact Detectors: StateMutationInGetter, UnprotectedCall and SuspiciousLoop.
⚡ Tact 1.6.1 support: Including new language syntax and features.
⚙️ Improved Tools: Added more Callgraph functionality to enhance contracts audits.
🔧 Fixes & Enhancements: Check out the full changelog.
08.04.202503:13
🎉 Misti 0.8 has just landed on NPM!
⚡️ More Detectors: New detectors to find possible optimizations introduced in Tact 1.6: SuboptimalSend, PreferBinaryReceiver, PreferSenderFunction, ImplicitOpcode and SuboptimalCellOperation.
⚙️ Improved Integrability: Standartized JSON output for smoother integration.
👩💻 LSP Actions Support: Misti now provides API for LSP code actions, introducing quickfix suggestions for some detectors.
🔧 Fixes & Enhancements: Check out the full changelog.
⚡️ More Detectors: New detectors to find possible optimizations introduced in Tact 1.6: SuboptimalSend, PreferBinaryReceiver, PreferSenderFunction, ImplicitOpcode and SuboptimalCellOperation.
⚙️ Improved Integrability: Standartized JSON output for smoother integration.
👩💻 LSP Actions Support: Misti now provides API for LSP code actions, introducing quickfix suggestions for some detectors.
🔧 Fixes & Enhancements: Check out the full changelog.
10.03.202512:50
TON Security Risks: A Static Analysis Perspective
A new blog post dives into security risks in TON, with a focus on automated security tools. It argues for using static program analysis in audits and shows examples of bugs that tools like Misti can catch.
A new blog post dives into security risks in TON, with a focus on automated security tools. It argues for using static program analysis in audits and shows examples of bugs that tools like Misti can catch.
Көрсөтүлдү 1 - 5 ичинде 5
Көбүрөөк функцияларды ачуу үчүн кириңиз.