aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
AgeCommit message (Expand)AuthorFilesLines
8 daysReland [Clang] Make the SizeType, SignedSizeType and PtrdiffType be named sug...YexuanXiao1-36/+44
9 daysRevert "[Clang] Make the SizeType, SignedSizeType and PtrdiffType be named su...Kazu Hirata1-44/+36
10 days[Clang] Make the SizeType, SignedSizeType and PtrdiffType be named sugar type...YexuanXiao1-36/+44
2025-05-25[StaticAnalyzer] Drop const from a return type (NFC) (#141414)Kazu Hirata1-3/+3
2025-05-23[clang][analyzer] Refine modeling of 'getcwd' in StdCLibraryFunctions checker...Balázs Kéri1-4/+10
2025-05-12Reland [Clang][analyzer] replace Stmt* with ConstCFGElement in SymbolConjured...Fangyi Zhou1-1/+1
2025-04-25[clang][analyzer][NFC] Add a helper for conjuring symbols at call events (#13...Fangyi Zhou1-7/+4
2025-04-25Revert "[Clang][analyzer] replace Stmt* with ConstCFGElementRef in SymbolConj...Balazs Benics1-4/+3
2025-04-25[Clang][analyzer] Replace Stmt* with ConstCFGElementRef in SymbolConjured (#1...Fangyi Zhou1-3/+4
2025-03-28[NFC] Fix a typo in StdLibraryFunctionsChecker.cpp comments (#133375)Qinkun Bao1-1/+1
2025-03-25[NFC][StaticAnalyzer] Rename `NotNullConstraint` & `NotNullBufferConstraint` ...Ziqing Luo1-28/+31
2025-03-11[StaticAnalyzer] Relax the pre-condition of 'setsockopt' (#130683)Ziqing Luo1-2/+3
2024-12-19[analyzer][NFC] Introduce APSIntPtr, a safe wrapper of APSInt (1/4) (#120435)Balazs Benics1-7/+7
2024-11-15Revert "[analyzer][Solver] Early return if sym is concrete on assuming" (#116...Balazs Benics1-2/+0
2024-11-15[analyzer][Solver] Early return if sym is concrete on assuming (#115579)Ding Fei1-0/+2
2024-08-29Revert "Revert "[Support] Validate number of arguments passed to formatv()"" ...Rahul Joshi1-1/+4
2024-08-29Revert "[Support] Validate number of arguments passed to formatv()" (#106589)Mehdi Amini1-4/+1
2024-08-29[Support] Validate number of arguments passed to formatv() (#105745)Rahul Joshi1-1/+4
2024-06-28[analyzer][NFC] Use ArrayRef for input parameters (#93203)Balazs Benics1-2/+2
2024-04-08[NFC] Fix misspellings of effects (#87795)Zentrik1-1/+1
2024-02-21[clang][analyzer] Change modeling of 'fileno' in checkers. (#81842)Balázs Kéri1-3/+6
2024-02-08[clang][analyzer] Add missing stream related functions to StdLibraryFunctions...Balázs Kéri1-11/+68
2024-01-31[clang][analyzer] Improve modeling of 'realpath' in StdLibraryFunctionsChecke...Ben Shi1-2/+6
2024-01-27[clang][analyzer] Improve modeling of 'popen' and 'pclose' in StdLibraryFunct...Ben Shi1-15/+19
2024-01-25[clang][analyzer] Improve modeling of 'execv' and 'execvp' in StdLibraryFunct...Ben Shi1-2/+2
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-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-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éri1-0/+19
2024-01-09Improve modeling of 'getcwd' in the StdLibraryFunctionsChecker (#77040)Ben Shi1-1/+12
2024-01-03[clang][analyzer] Improve 'errno' modeling of 'mkdtemp' (#76671)Ben Shi1-2/+5
2024-01-01[analyzer][NFC] Cleanup BugType lazy-init patterns (#76655)Balazs Benics1-6/+2
2023-12-30[clang][analyzer] Support 'fflush' in the StdLibraryFunctionsChecker (#76557)Ben Shi1-0/+8
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éri1-45/+63
2023-11-14[clang][analyzer] Improve StdLibraryFunctionsChecker 'readlink' modeling. (#7...Balázs Kéri1-4/+14
2023-09-14[analyzer] Fix StdLibraryFunctionsChecker crash on surprising sink node (#66109)DonatNagyE1-3/+8
2023-08-07[clang][analyzer] Improve StdCLibraryFunctions socket send/recv functions.Balázs Kéri1-6/+18
2023-07-19[clang][analyzer] StdLibraryFunctionsChecker: Allow NULL buffer in `fread` an...Balázs Kéri1-4/+106
2023-07-18[clang][analyzer] Add all success/failure messages to StdLibraryFunctionsChec...Balázs Kéri1-175/+222
2023-07-18[clang][analyzer] Display notes in StdLibraryFunctionsChecker only if interes...Balázs Kéri1-6/+12
2023-07-18[clang][analyzer] Add and change NoteTags in StdLibraryFunctionsChecker.Balázs Kéri1-51/+81
2023-07-05[analyzer][NFC] Move away from using raw-for loops inside StaticAnalyzerBalazs Benics1-8/+6
2023-06-01[clang][analyzer] Merge apiModeling.StdCLibraryFunctions and StdCLibraryFunct...Balázs Kéri1-27/+16
2023-05-17[clang][analyzer] Display buffer sizes in StdCLibraryFunctionArgs checkerBalázs Kéri1-0/+35
2023-05-16[clang][analyzer] Handle special value AT_FDCWD in affected standard functionsBalázs Kéri1-16/+25
2023-04-12[clang][analyzer] Improve bug reports of StdLibraryFunctionsChecker.Balázs Kéri1-129/+207
2023-03-09[clang][analyzer][NFC] Refactor code of StdLibraryFunctionsChecker.Balázs Kéri1-276/+330