由于s2e过旧停止更新；新的repo：xuyongjiande/s2e-MemoryManager