动态运行到跳转出时“Negate” 选项仍然是灰色的……
另外请问对符号执行感兴趣从哪里下手？网上这方面的资源不是很多……
[注意]传递专业知识、拓宽行业人脉——看雪讲师团队等你加入！
在github上看了这个项目的介绍，但是总卡在这一步：不能对输入的参数进行符号化（就是例子里面的aaaaa）
但是我的这里是灰色的……
