aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer
AgeCommit message (Expand)AuthorFilesLines
2024-01-23[clang][analyzer] Remove unused variable in StreamChecker.cpp (NFC)Jie Fu1-1/+0
2024-01-23[clang][analyzer] Support 'getdelim' and 'getline' in StreamChecker (#78693)Ben Shi1-0/+66
2024-01-22[clang][analyzer] Add function 'fscanf' to StreamChecker. (#78180)Balázs Kéri1-0/+69
2024-01-22[clang][analyzer][NFC] Simplify ranges in StdLibraryFunctionsChecker (#78886)Ben Shi1-9/+7
2024-01-20[clang][analyzer] Improve modeling of 'fdopen' in StdLibraryFunctionsChecker ...Ben Shi1-9/+10
2024-01-18[Clang][NFC] Rename CXXMethodDecl::isPure -> is VirtualPure (#78463)cor3ntin1-1/+1
2024-01-17[clang] Upstream XROS support in Clang (#78392)Jonas Devlieghere1-0/+2
2024-01-16Improve modeling of two functions in StdLibraryFunctionsChecker (#78079)Ben Shi1-8/+11
2024-01-16[clang][analyzer] Improve modeling of 'fseeko' and 'ftello' in StdLibraryFunc...Ben Shi1-15/+22
2024-01-12[clang][analyzer] Add function 'fprintf' to StreamChecker. (#77613)Balázs Kéri1-0/+49
2024-01-11[StaticAnalyzer] Use StringRef::contains_insensitive (NFC)Kazu Hirata1-3/+3
2024-01-11[analyzer] NFC: Don't regenerate duplicate HTML reports.Artem Dergachev1-1/+13
2024-01-11[clang][analyzer] Support 'tello' and 'fseeko' in the StreamChecker (#77580)Ben Shi1-5/+9
2024-01-11[clang][analyzer] Fix incorrect range of 'ftell' in the StdLibraryFunctionsCh...Ben Shi1-1/+1
2024-01-10[clang][analyzer] Add function 'ungetc' to StreamChecker. (#77331)Balázs Kéri2-0/+64
2024-01-09Improve modeling of 'getcwd' in the StdLibraryFunctionsChecker (#77040)Ben Shi1-1/+12
2024-01-04[clang][analyzer] Support 'fdopen' in the StreamChecker (#76776)Ben Shi1-0/+1
2024-01-03[clang][analyzer] Improve 'errno' modeling of 'mkdtemp' (#76671)Ben Shi1-2/+5
2024-01-01[analyzer][NFC] Take SVal and NonLoc by valueBalazs Benics12-73/+62
2024-01-01[analyzer][NFC] Take StringRef by valueBalazs Benics2-14/+10
2024-01-01[analyzer][NFC] Cleanup BugType lazy-init patterns (#76655)Balazs Benics51-504/+271
2023-12-30[clang][analyzer] Support 'fflush' in the StdLibraryFunctionsChecker (#76557)Ben Shi1-0/+8
2023-12-28[analyzer] Fix "sprintf" parameter modeling in CStringCheckerBalazs Benics1-2/+1
2023-12-28[analyzer][NFC] Prefer CallEvent over CallExpr in APIsBalazs Benics1-178/+203
2023-12-25[clang] Use StringRef::consume_front (NFC)Kazu Hirata1-4/+2
2023-12-21[clang][analyzer] Support `fflush` in the StreamChecker (#74296)Ben Shi1-0/+86
2023-12-13[attributes][analyzer] Implement [[clang::suppress]] - suppress static analys...Artem Dergachev3-0/+183
2023-12-13[clang] Use StringRef::{starts,ends}_with (NFC) (#75149)Kazu Hirata15-40/+39
2023-12-12[analyzer] Move alpha checker EnumCastOutOfRange to optin (#67157)DonatNagyE1-0/+3
2023-12-07[analyzer] EnumCastOutOfRangeChecker: report the value (#74503)DonatNagyE1-9/+16
2023-12-07[analyzer][NFC] Simplify BugType handling in core.BitwiseShift (#74609)DonatNagyE1-6/+2
2023-12-06[clang][analyzer][NFC] Supplement comments in `evalFtell` of StreamChecker (#...Ben Shi1-0/+3
2023-12-05[analyzer] Switch to PostStmt callbacks in ArrayBoundV2 (#72107)DonatNagyE1-38/+101
2023-12-04[analyzer] Let the checkers query upper and lower bounds on symbols (#74141)DonatNagyE3-11/+83
2023-11-29[clang][analyzer] Support `fgets` in the SteamChecker (#73638)Ben Shi1-36/+58
2023-11-28[analyzer] Use AllocaRegion in MallocChecker (#72402)DonatNagyE3-21/+29
2023-11-28[clang][analyzer] Support `fputs` in the StreamChecker (#73335)Ben Shi1-29/+76
2023-11-24[clang][analyzer] Support `fprintf` in the SecuritySyntaxChecker (#73247)Ben Shi1-37/+39
2023-11-23[clang][analyzer] Support `fgetc` in StreamChecker (#72627)Ben Shi1-18/+66
2023-11-21[analyzer] Add std::variant checker (#66481)Gábor Spaits4-0/+418
2023-11-16[StaticAnalyzer] Fix warnings about missing overrideKazu Hirata1-2/+2
2023-11-16[clang][analyzer] Improve 'errno' handling in StdLibraryFunctionsChecker. (#7...Balázs Kéri3-72/+64
2023-11-16[clang][Analyzer][NFC] Use condition type for comparison in several checkers ...Ben Shi3-5/+6
2023-11-16[clang][analyzer] Support `fputc` in StreamChecker (#71518)Ben Shi1-8/+53
2023-11-15[clang][analyzer] Restrict 'fopen' modeling to POSIX versions in SimpleStream...Ben Shi1-1/+1
2023-11-14[clang][analyzer] Improve StdLibraryFunctionsChecker 'readlink' modeling. (#7...Balázs Kéri1-4/+14
2023-11-11[clang] Stop including llvm/ADT/DenseSet.h (NFC)Kazu Hirata3-3/+0
2023-11-11[StaticAnalyzer] Stop including llvm/ADT/ImmutableMap.h (NFC)Kazu Hirata1-1/+0
2023-11-10Fix WebKit static analyzers to support ref and deref methods to be defined on...Ryosuke Niwa3-36/+81
2023-11-07[analyzer] Improve diagnostics from ArrayBoundCheckerV2 (#70056)DonatNagyE1-54/+154