I rewrote an older llvm/clang based static analysis tool for asserting properties about a given callgraph for use with C/C++ programs http://github.com/fundamen

I rewrote an older llvm/clang based static analysis tool for asserting properties about a given callgraph for use with C/C++ programs http://github.com/fundamental/stoat http://github.com/fundamental/stoat This one only really took a few days to get it working to a reasonable degree and it was worth every minute to replace the older project with maintenance issues. Other projects were worked on of course, but none of them are at a nicely completed stage.