RPCI: RPC Interpose
A C language library for interposing ports of a Hurd task running on top of GNU Mach micro-kernel. Using this library, it would be possible to implement a trace/replay system, RPC debugger, sandbox, etc.
A RPC level debugger with useful command set to analyze/manipulate a task at run time. For example, the user will be able to set RPC break points, manipulate port rights and data, trace and replay a task.
These details are provided for information only. No information here is legal advice and should not be used as such.