This is exactly what we do on Linux. When the application registers a signal handler, we register our handler instead. When we receive a signal, we then execute the application's handler inside our code cache.