@0x3b33 It is valuable to attempt to categorize complex vulnerabilities of the same type, such as precision loss, which can be very simple or very complex.
Today I am releasing IsItVulnerable: a new tool I’ve been working on for the past several months:
https://t.co/kuEBczrnZp
It builds on recent LLM progress and over a decade of experience building security tools. I developed a new technique that combines abstract interpretation with machine learning
The key insight is that this method abstracts the intelligence away entirely. I call it Abstract Intelligence, or AI
The result is a major breakthrough in program analysis: IsItVulnerable finds all bugs with 100% recall
Yes, all bugs. Fully guaranteed
I have tested it extensively, and it has never failed. The results are honestly incredible
April 1, 2026 marks a turning point for security, and the industry will never be the same
My DMs are open for investors. Entry ticket starts at $500k.
Are AI agents ready for detecting and exploiting smart contract vulnerabilities?
We re-evaluated @OpenAI's EVMbench with a contamination-free dataset of real-world hacks.
Our data shows different results. 🧵
Paper: https://t.co/zDQ2aRdCXt