BugMagnifier: TON Transaction Simulator for Revealing Smart Contract Vulnerabilities. - Yury Yanovich; Victoria Kovalevskaya; Maksim Egorov; Elizaveta Smirnova; Matvey Mishuris; Yash Madhwal; Kirill Ziborov; Vladimir Gorgadze; Subodh Sharma (CoRR, 2025)