aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/sm-fd.cc
AgeCommit message (Expand)AuthorFilesLines
9 daysanalyzer: avoid implicit use of global_dc's pretty_printer [PR116613]David Malcolm1-134/+258
2024-07-04analyzer: convert sm_context * to sm_context &David Malcolm1-159/+159
2024-05-30Add new text_art::tree_widget and use it in analyzerDavid Malcolm1-0/+1
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-12-01diagnostics, analyzer: add optional per-diagnostic property bags to SARIFDavid Malcolm1-46/+29
2023-08-27analyzer: Move gcc.dg/analyzer tests to c-c++-common (1) [PR96395]benjamin priour1-6/+19
2023-08-09analyzer: remove default return value from region_model::on_call_preDavid Malcolm1-10/+41
2023-06-21analyzer: add text-art visualizations of out-of-bounds accesses [PR106626]David Malcolm1-7/+7
2023-02-07analyzer: fix -Wanalyzer-use-of-uninitialized-value false +ve on "read" [PR10...David Malcolm1-0/+33
2023-02-02analyzer: fix -Wanalyzer-fd-type-mismatch false +ve on "listen" [PR108633]David Malcolm1-2/+6
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2022-12-16analyzer: add src_region param to region_model::check_for_poison [PR106479]David Malcolm1-0/+1
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
generated by cgit v1.1 at 2024-11-03 00:19:11 +0000