On Fri, 2019-11-15 at 20:23 -0500, David Malcolm wrote: > This patch adds a state machine checker for malloc/free. > > gcc/ChangeLog: > * analyzer/sm-malloc.cc: New file. FWIW, I could easily see someone using this as a template for other checkers. It shows several key concepts that I suspect all kinds of other checkers might want to use.
This goes well beyond what we were originally targeting -- which begs the question, what's the state of the other checkers in here? Jeff