密码学原语混合执行分析：Sandshrew工具的技术探索_符号执行_qife122