我试图从二进制可执行文件中找到所有函数的所有可能路径,作为一系列符号表达式和约束序列与Z3或claripy兼容的序列,或从任何函数开始到所有可能使用ANGR函数到达的所有可能终点。我找不到有关如何做的好资源。有人可以为其提供一个好的解决方案或可能有用的任何资源吗?符号执行的ANGR文档符合撰写本文并不完整。 谢谢。 我曾尝试阅读文档并阅读源代码,但是ANGR又大且精致。我尝试过的任何东西都没有想到我想要的东西。我希望有人为此提供任何解决方案或某些可能有帮助的资源的链接。