aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/sm-fd.cc
AgeCommit message (Expand)AuthorFilesLines
2022-12-06analyzer: split out more stuff from region-model-impl-calls.ccDavid Malcolm1-0/+1
2022-11-30analyzer: fix ICE on bind/connect with a constant fd [PR107928]David Malcolm1-2/+4
2022-11-29analyzer work on issues with flex-generated lexers [PR103546]David Malcolm1-0/+79
2022-11-23analyzer: eliminate region_model::on_ fns for socketsDavid Malcolm1-95/+49
2022-11-23analyzer: move known funs for fds to sm-fd.ccDavid Malcolm1-0/+293
2022-11-22analyzer: fix ICE on 'bind(INT_CST, ...)' [PR107783]David Malcolm1-3/+6
2022-11-18analyzer: move more impl_* to known_functionDavid Malcolm1-6/+6
2022-11-16analyzer: use known_function to simplify region_model::on_call_{pre,post}David Malcolm1-5/+5
2022-11-15analyzer: add warnings relating to sockets [PR106140]David Malcolm1-16/+1094
2022-11-15c, analyzer: support named constants in analyzer [PR106302]David Malcolm1-10/+20
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm1-21/+37
2022-10-26analyzer: fixes to file-descriptor handlingDavid Malcolm1-17/+17
2022-10-24analyzer: handle "pipe" and "pipe2" [PR106300]David Malcolm1-4/+52
2022-10-05analyzer: simplify some includesDavid Malcolm1-4/+0
2022-08-15analyzer: fix for ICE in sm-fd.cc [PR106551]Immad Mir1-2/+1
2022-08-11analyzer: fix ICE casued by dup2 in sm-fd.cc[PR106551]Immad Mir1-4/+6
2022-08-02analyzer: support for creat, dup, dup2 and dup3 [PR106298]Immad Mir1-3/+126
2022-07-27analyzer: add get_meaning_for_state_change vfunc to fd_diagnostic in sm-fd.cc...Immad Mir1-0/+14
2022-07-25analyzer: fix coding style in sm-fd.ccMartin Liska1-1057/+1057
2022-07-23Adding three new function attributes for static analysis of file descriptorsImmad Mir1-69/+269
2022-07-06analyzer: reorder initialization of state m_invalid in sm-fd.cc [PR106184]Immad Mir1-2/+3
2022-07-06analyzer: show close event for use_after_close diagnosticImmad Mir1-3/+12
2022-07-02analyzer: implement five new warnings for misuse of POSIX file descriptor API...Immad Mir1-0/+847