#report

4 posts tagged with report.

Solana formal verification: a case study

We present a novel framework for formal verification of Solana Anchor programs — and a case study application to the Squads multisig.
Harrison Green

Rust, realloc, and references

Rust is safe... right? Not if your dependencies are unsafe... A deep dive into a subtle Solana SDK bug, Rust internals, and how we found it all.
Ethan Wu

The story of the curious rent thief

A tale of pickpockets preying on the Solana ecosystem. Read our investigation into the persistent theft of rent from uninitialized accounts. This is the story of the Solend rent thief.
OtterSec

Becoming a millionaire, 0.000150 BTC at a time

How we discovered a critical issue in Solana's stable swap implementation. A story about arbitrage and rounding.
OtterSec