符号执行

符号执行是一种程序分析技术，在区块链智能合约安全领域用于自动化检测潜在漏洞。它通过将程序输入建模为符号变量而非具体数值，系统性地探索不同执行路径，并生成相应路径约束条件。当应用于Solidity合约时，符号执行工具可识别整数溢出、重入、未校验返回值等逻辑缺陷，辅助开发者在部署前验证代码行为边界。