5.4.2 符号执行的优、缺点