nowarp | TON Security
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.
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.
20.02.202511:35
Misti static analyzer is officially live on Web IDE (ide.ton.org)
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.
15.02.202506:10
Security Audit: Proof of Capital
We've completed our security assessment of the Proof of Capital protocol - a market-making smart contract that protects interests of all holders.
Full report: [link]
We've completed our security assessment of the Proof of Capital protocol - a market-making smart contract that protects interests of all holders.
Full report: [link]
Ko'rsatilgan 1 - 8 dan 8
Ko'proq funksiyalarni ochish uchun tizimga kiring.