Solar：面向 Solidity 的上下文无关交互式分析

Trail of Bits 实习项目 Solar 是一个概念验证型静态分析框架，可对 Solidity 智能合约进行上下文无关的交互式分析：用户可引导程序路径探索（展开函数调用、跟踪 if 分支）并给变量赋约束，配套的 IDE 风格工具演示了整数溢出推理。