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 suspe
This patch adds a state machine checker for malloc/free.
gcc/ChangeLog:
* analyzer/sm-malloc.cc: New file.
---
gcc/analyzer/sm-malloc.cc | 799 ++
1 file changed, 799 insertions(+)
create mode 100644 gcc/analyzer/sm-malloc.cc
diff --git a/gcc/
