GM builders. You write the future. We make sure it doesn’t get exploited.

We're continuing to push forward on Solana smart contract checkers. Today, we devised a method to extract Account Information from StableMIR, a novel intermediate representation in Rust. It analyzes the try_accounts function, identifies all structs implementing the Accounts

GM

🚨🔒 FINAL audit for Mage DEX kicked off yesterday — Chain Fox team are exploring through our code. 🗓 Report lands next Wednesday → green light. This will be the 4th audit of this DEX code… almost ready to roll. Stay hyped! 🚀🧙‍♂️ #Solana #DeFi Chain Fox is an innovative,

July 21 to 28 Weekly Report: 1. Continue the audit and discuss the findings. 2. Finish a new checker to detect two mutable accounts of the same type in the same Context.