reverse-engineering - 使用 Angr 在基本块中查找字符串

Question

我有一个二进制文件。现在，我想从指定的基本块中提取字符串。例如：

#include<stdio.h>
int main()
{
    int x=5;
    printf("Hello World %d\n",x);
}

现在我想从二进制文件中提取“Hello World %d\n”。我为此目的使用 Angr，但我做不到。用Angr如何完成上述任务？