The Checker Framework provides options to visualize the CFG: https://checkerframework.org/manual/#creating-debugging-dataflow-graph
It would be nice to optionally visualize the CFG for an example.
An earlier attempt can be found here, but wasn't finished:
https://github.com/eisop/webserver/pull/30/files
It might contain some inspiration, but a new PR should start from scratch.
The Checker Framework provides options to visualize the CFG: https://checkerframework.org/manual/#creating-debugging-dataflow-graph
It would be nice to optionally visualize the CFG for an example.
An earlier attempt can be found here, but wasn't finished:
https://github.com/eisop/webserver/pull/30/files
It might contain some inspiration, but a new PR should start from scratch.