本研究提出了一种新型自动化分析器JANUS,旨在解决智能合约中因特权账户管理用户资产而导致的中心化风险。JANUS通过识别特权账户与普通账户的状态差异,准确检测财务中心化风险,实验结果显示其准确性优于现有工具。
完成下面两步后,将自动完成登录并继续当前操作。