标签： c++
当我用S2E测试一个简单的程序时，我看着RAM的使用情况，似乎S2E将继续运行并占用RAM，直到没有足够的剩余用于其他任何东西，并且Linux必须杀死它。
奇怪的是，即使它处于杀戮状态（我使用函数s2e_kill_state（）来执行此操作），RAM的使用率仍在增长。
为什么？感谢先进。