Ponce

https://github.com/illera88/Ponce

angr

挺好用的图形化操作符号执行，可以用来可视化追踪输入污染情况，解方程的话还是在调用库的时候不大行，一个个手动比对的检查话还是可以的

不知道手动 hook 一下会不会可以解决这个问题？