符号执行

一个关于符号执行技术的投票，

动态符号执行