[GSOC 2026] Extending GCC Static Analyzer and POSIX API checking

[Saish Kambali]

Hello,
Today, testing POSIX *pipe() *using -fanalyzer i found it currently tracks
file description for double close and use after close.

I found that the -fanalyzer do not model the semantics roles of pipe
descriptor.
After pipe (pipefd) , pipefd[0] is read end, pipefd[1] is write end, but
incorrectly used in program as write (pipefd[0], ...) or read (pipefd[1],
...) does not produced diagnostics.

It would be an interest to know whether it was intentionall behaviour or
could be a useful improvement.

Looking for your guidance

Your sincerely
Saish Kambali