Question about debugger

Dear authors, Thanks for your effort in this project. This project is very useful. 
Currently, we are conducting some experiments based on this project. Since the project is running on docker, we wonder that if it could be run on any c based debugger such as gcc.

Thank you,
You-Sz