manticore

符号执行之manticore工具演练 参考资料：SANS SEC 554 https://docs.soliditylang.org/en/v0.8.0/ ziion虚拟机：区块链智能合约中的kali(ziion涵盖演练中所以提及到的工具) 动静态之分 IDA是静态分析工具，常用于检测脆弱性；man ......