inversive 的文章 - 登链社区

TA的文章 TA购买的 TA喜欢的 TA收藏的

Radiant 是一个用于 Solana 程序的二进制级符号执行框架，它结合了具体执行和符号执行，通过双引擎架构实现。Radiant 能够进行有针对性的基本块探索和跨 CPI 符号执行等操作，可以用于分析 Solana 程序的安全性，尤其是在多程序交互和复杂状态机的情况下。

Solana 符号执行 Concolic Execution 智能合约安全程序分析

发布于 2025-12-23 14:36 阅读(7) 点赞(0)

Solaris是一个用于Solana程序的状态化的、结构感知的、sBPF字节码覆盖引导的模糊测试工具。它通过跟踪跨交易序列的执行状态，理解程序结构，并使用字节码级别的覆盖反馈，系统地探索目标程序状态空间，从而发现需要特定状态条件和指令排序的漏洞。

模糊测试 Solana sBPF 字节码覆盖 Protocol Buffers fuzzing

发布于 2025-12-16 23:18 阅读(43) 点赞(0)