API relacionadas con el depurador