符号执行，即使用符号值代替真实值执行，是当下较为火的方向之一，在软件测试等领域有很好的应用前景，学术研究已经相对成熟，很多企业以及科研机构都在积极尝试将符号执行技术用于产品中。