JPF Inspector is a purpose specific debuger.
JPF Inspector is a tool for inspection and control of JPF execution. It supports breakpoints and "single step" execution (forward and backward) at different levels of granularity, and it allows the user to examine program's state (threads, call stacks, and heap), like in a standard debugger (GDB).
These details are provided for information only. No information here is legal advice and should not be used as such.