Toward the efficient use of multiple explicitly managed memory subsystems
dynamic binary analysis and instrumentation .