The CBMC proof debugger is a Visual Studio Code extension contributing a trace debugger for findings by CBMC. - View it on GitHub