13 Jul 2026, 11:22 UTC34 viewsread 11 August 2026 Photo
A miscompilation is not a vulnerability until someone deploys it
Three PolkaVM recompiler bugs I recently found got announced as "critical" by someone. They are not.
Here is the taxonomy:
• A bug is a deviation from intent.
• A vulnerability is a bug with a reachable attack path.
• Risk is a vulnerability plus an asset.
CVSS notes this: the Base Score is intrinsic severity, assuming a reasonable worst case across …
Signed Georgiy Komarov
27 Jun 2026, 13:33 UTC56 viewsread 11 August 2026 Photo
Part 2 of the compiler fuzzing series is out — this time hunting miscompilations: bugs where the compiler accepts a valid program and silently emits code that behaves differently. On smart-contract platforms this is the bug class that can drain user funds, and it's invisible to auditors because the source is correct.
Where Part 1 went after compiler crashes (ICE), Part 2 targets semantic drifts and miscompilations a…
Signed Georgiy Komarov
21 May 2026, 17:38 UTC95 viewsread 11 August 2026 A 20-year-old JDK bug, reincarnated in Tolk
I was experimenting with approaches and techniques to find miscompilation errors. Not crashes – those are the easy ones. This time — the Ethereum ecosystem. Every codebase there has been audited to death; bug-hunting is desperate, and each find I made was complicated.
So I tried a similar approach on TON, with the latest Tolk compiler. Just for fun. It took about 30 minut…
Signed Georgiy Komarov
24 Apr 2026, 10:22 UTC105 viewsread 11 August 2026 Photo
100+ compiler bugs found across 5 smart-contract compilers — Sui Move, Cairo, Solang, Solidity, and Leo — in a fresh blog post on compiler fuzzing. Only bugs in later compilation passes are reported; no malformed-input crashes.
The post shares experience, heuristics, and an overview of approaches for setting up a low-effort fuzzing workflow to test compiler implementations. Part 1 focuses only on ICE.
What the post…
Channel name was changed to «nowarp | Web3 Security»
20 Jan 2026, 13:19 UTC162 viewsread 11 August 2026 Photo
Skry: Hybrid LLM Static Analysis for Sui Move contracts
The tool is static analysis-first and uses LLMs only for constrained semantic classification, focused around access control, governance, and centralization risks non-detectable by pure static analysis.
This is a proof-of-concept tool showing the approach is viable.
Blog post: nowarp.io/blog/skry
Source code: github.com/nowarp/skry
25 Jun 2025, 12:57 UTC621 viewsread 11 August 2026 Photo
🎉Misti 0.9 has just landed on NPM!
⚡️ More Detectors: New Tact detectors: DuplicatedImport, TransitiveImport, RedundantBooleanExpression, UnusedMethodArgument and PreferGlobalFunction.
🖥 Improved Github Actions integration: Better user experience via SARIF output format support.
🛠 Custom Tools: Misti now enables users to write Custom Tools, just like Custom Detectors.
🔧Fixes & Enhancements: Check out the full cha…
18 Jun 2025, 09:50 UTC666 viewsread 11 August 2026 🚀 Introducing Scanner: Mass Static Analysis for TON Smart Contracts
We've released a demo showcasing our static analysis tooling for TON contracts.
🔍 Features:
- ~20 curated contracts with zero vulnerabilities
- Detailed analysis results
- Great for learning Tact development best practices and exploring the tooling capabilities
🛡️ We scan everything for research but only display clean contracts without vulnerabili…
11 May 2025, 10:15 UTC209 viewsread 11 August 2026 💬 Follow us: x.com/nowarp_io
Check out our first thread for an overview of Misti: https://x.com/nowarp_io/status/1921501042534908240
10 May 2025, 08:18 UTC177 viewsread 11 August 2026 Photo
We live on the TON Talent Directory 🚀
4 May 2025, 13:16 UTC820 viewsread 11 August 2026 🔧 Announcing: OCaml library for FunC parsing: nowarp/ocaml-func
For developers working with FunC, this library provides AST and parser functionality.
19 Apr 2025, 12:18 UTC634 viewsread 11 August 2026 Misti 0.8.1 has just been released.
🔧 This patch release introduces Tact 1.6.6 support and includes minor changes and fixes. Check out the full changelog.
Showing the 12 most recent of 18 posts we hold for @nowarp_io. View and reaction counts are the latest single reading for each post, not a live figure, and a recent post is still accumulating both. A view count marked ≈ was rounded by Telegram before we ever saw it — t.me prints views in full below 1,000 and to three significant figures above, so ≈1,200,000 means somewhere between 1,150,000 and 1,249,999. Unmarked counts are exact. Text is reproduced from the public post preview and truncated for length.