CIRCLE WITH A DOT

@andrewnez
I'm obliged to do some advertising for tools that were developed in a research context for just this use case: https://github.com/alien-tools/breakbot for Java, with static analysis (by Ochoa, Degueule and @jrfaller) and https://github.com/rocq-community/coq-nix-toolbox for Coq/Rocq project but which would be feasible to generalize to other ecosystems (by Cohen and me).
@djc