本文介绍了 OtterSec 发布的用于 Solana 程序逆向工程的 Binary Ninja 插件,该插件支持 Solana-flavored EBPF,并提供了诸如指令提升、精确的内存映射、Solana ELF 重定位、系统调用函数签名以及 Solana SDK 类型等功能,旨在帮助安全研究人员分析闭源的 Solana 程序。