C++ S2E中的内存消耗

当我用S2E测试一个简单的程序时，我观察了RAM的使用情况，似乎S2E将继续运行并消耗RAM，直到没有足够的内存来做其他事情，Linux必须杀死它

奇怪的是，即使它正在杀死状态（我使用一个函数s2e_kill_state（）来做到这一点），RAM的使用仍然在增长

---

为什么？感谢高级版。

可能您的代码中存在内存泄漏。您可能需要澄清什么是S2E。它没有标签，这暗示着你正在使用一些不寻常的技术。我建议你将你的问题发布在，一些S2E开发人员可能会帮助你。