On Fri, 2019-11-15 at 20:23 -0500, David Malcolm wrote:
> This patch adds a state machine checker for stdio's FILE stream API.
>
> gcc/ChangeLog:
> * analyzer/sm-file.cc: New file.
I note this seems somewhat incomplete -- which is fine given my
recommendation was to focus on the double-free
This patch adds a state machine checker for stdio's FILE stream API.
gcc/ChangeLog:
* analyzer/sm-file.cc: New file.
---
gcc/analyzer/sm-file.cc | 338
1 file changed, 338 insertions(+)
create mode 100644 gcc/analyzer/sm-file.cc
diff --gi
