]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe97f09) | patch
analyzer: add kf_fopen
authorDavid Malcolm <dmalcolm@redhat.com>
Tue, 22 Aug 2023 01:13:19 +0000 (21:13 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Tue, 22 Aug 2023 01:13:19 +0000 (21:13 -0400)
commit4325c82736d9e8a14b312fd1558e2788b69278cd
tree8e53b80ff5ae389d5c0e2540b85e54fbbeac04b2tree
parentfe97f09a0caeff2a22cc41b26bf08692bff8686dcommit | diff
analyzer: add kf_fopen

Add checking to -fanalyzer that both params of calls to "fopen" are
valid null-terminated strings.

gcc/analyzer/ChangeLog:
* kf.cc (class kf_fopen): New.
(register_known_functions): Register it.

gcc/testsuite/ChangeLog:
* gcc.dg/analyzer/fopen-1.c: New test.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/kf.cc diff | blob | blame | history
gcc/testsuite/gcc.dg/analyzer/fopen-1.c [new file with mode: 0644] blob
Mirror of https://gcc.gnu.org/git/gcc.git