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
... [More]
, and heap), like in a standard debugger (GDB). [Less]