aboutsummaryrefslogtreecommitdiff
path: root/clang/test/Analysis
AgeCommit message (Expand)AuthorFilesLines
2024-05-06[test] %clang_cc1 -analyze: remove redundant actionsFangrui Song29-35/+35
2024-05-02[analyzer] Remove untrusted buffer size warning in the TaintPropagation check...Daniel Krupp2-45/+52
2024-05-01[alpha.webkit.UncountedCallArgsChecker] Ignore methods of WTF String classes....Ryosuke Niwa2-3/+124
2024-05-01[alpha.webkit.UncountedCallArgsChecker] Support more trivial expressions. (#9...Ryosuke Niwa1-0/+23
2024-04-30Revert "[alpha.webkit.UncountedCallArgsChecker] Ignore methods of WTF String ...Ryosuke Niwa2-119/+1
2024-04-30[alpha.webkit.UncountedCallArgsChecker] Ignore methods of WTF String classes....Ryosuke Niwa2-1/+119
2024-04-30[clang][analyzer] Move StreamChecker out of the alpha package. (#89247)Balázs Kéri16-41/+42
2024-04-29Fix a crash introduced by 3d5e9ab by adding a nullptr check. (#90301)Ryosuke Niwa1-0/+7
2024-04-26Revert "[clang] Enable sized deallocation by default in C++14 onwards (#83774...Vitaly Buka1-2/+2
2024-04-26[alpha.webkit.UncountedCallArgsChecker] Avoid emitting warnings for Ref, RefP...Ryosuke Niwa2-16/+53
2024-04-26[C++17] Support __GCC_[CON|DE]STRUCTIVE_SIZE (#89446)Aaron Ballman1-1/+1
2024-04-26[clang] Enable sized deallocation by default in C++14 onwards (#83774)Pengcheng Wang1-2/+2
2024-04-19[analyzer] Fix stores through label locations (#89265)Balazs Benics1-0/+14
2024-04-17[analyzer] Fix a security.cert.env.InvalidPtr crashBalazs Benics1-0/+10
2024-04-16[analyzer] Handle builtin functions in MallocChecker (#88416)NagyDonat9-15/+71
2024-04-12[analyzer] Support `PointerType` in `getCXXRecordDecl` for `ContainerModeling...JOSTAR1-1/+9
2024-04-09Reland "Rework the printing of attributes (#87281)"Vassil Vassilev1-1/+1
2024-04-09Revert "Rework the printing of attributes (#87281)"Vassil Vassilev1-1/+1
2024-04-09Rework the printing of attributes (#87281)Vassil Vassilev1-1/+1
2024-04-08[clang][analyzer] Add "pedantic" mode to StreamChecker. (#87322)Balázs Kéri9-4/+114
2024-04-02[clang][analyzer] Change modeling of `fseek` in StreamChecker. (#86919)Balázs Kéri2-26/+48
2024-03-25[analyzer] Set and display CSA analysis entry points as notes on debugging (#...Balazs Benics3-18/+130
2024-03-25Reapply "[analyzer] Accept C library functions from the `std` namespace" agai...NagyDonat2-1/+25
2024-03-25[clang][analyzer] Bring cplusplus.ArrayDelete out of alpha (#83985)Discookie1-1/+1
2024-03-22[analyzer] Support C++23 static operator calls (#84972)Balazs Benics1-0/+38
2024-03-22[clang][analyzer] Model getline/getdelim preconditions and evaluation (#83027)Alejandro Álvarez Ayllón2-0/+395
2024-03-21[analyzer] Wrap SymbolicRegions by ElementRegions before getting a FieldRegio...Balazs Benics1-0/+17
2024-03-19[clang-cl] Fix value of __FUNCTION__ in MSVC mode. (#84014)Zahira Ammarguellat1-12/+14
2024-03-19[analyzer] Mention possibility of underflow in array overflow errors (#84201)NagyDonat2-2/+56
2024-03-18 [clang][analyzer] Improve BlockInCriticalSectionsChecker (#80029)Endre Fülöp1-65/+205
2024-03-14[clang][analyzer] Fix crash in loop unrolling (#82089)huang-me1-0/+12
2024-03-08[clang][analyzer] Fix StreamChecker `ftell` and `fgetpos` at indeterminate fi...Balázs Kéri1-4/+23
2024-03-07[alpha.webkit.UncountedLocalVarsChecker] Allow uncounted object references wi...Ryosuke Niwa2-6/+97
2024-03-06[analyzer] Fix crash on dereference invalid return value of getAdjustedParame...Exile1-0/+11
2024-03-06[clang][analyzer] Model allocation behavior or getdelim/geline (#83138)Alejandro Álvarez Ayllón2-0/+96
2024-03-06[analyzer] Demonstrate superfluous unsigned >= 0 assumption (#78442)NagyDonat1-0/+19
2024-03-06[clang][NFC] Trim license header comments to 81 characters (#82919)Balazs Benics1-2/+2
2024-03-06Reapply "[clang][analyzer] StreamChecker: Model getc, vfscanf, putc, vfprintf...Alejandro Álvarez Ayllón5-2/+90
2024-03-04[clang][Sema] Warn on return of pointer/reference to compound literal (#83741)Youngsuk Kim1-2/+2
2024-03-04[clang][analyzer] Change value of checker option in unix.StdCLibraryFunctions...Balázs Kéri2-1/+6
2024-03-04Revert "[clang][analyzer] Change default value of checker option in unix.StdC...Balázs Kéri1-1/+1
2024-03-04[clang][analyzer] Change default value of checker option in unix.StdCLibraryF...Balázs Kéri1-1/+1
2024-03-01[clang][analyzer] Add StreamChecker note tags for "indeterminate stream posit...Balázs Kéri1-0/+67
2024-02-28Revert "[clang][analyzer] StreamChecker: Model getc, vfscanf, putc, vfprintf ...Balazs Benics5-86/+1
2024-02-28[clang][analyzer] StreamChecker: Model getc, vfscanf, putc, vfprintf (#82476)Alejandro Álvarez Ayllón5-1/+86
2024-02-27[alpha.webkit.UncountedCallArgsChecker] Allow a variable declaration in a tri...Ryosuke Niwa1-0/+17
2024-02-23[analyzer] Fix core.VLASize checker false positive taint reports (#68140)Daniel Krupp2-3/+12
2024-02-23[clang][analyzer] Fix argument invalidations in StreamChecker. (#79470)Balázs Kéri1-0/+147
2024-02-22[analyzer] Improve handling of unsigned values in ArrayBoundCheckerV2 (#81034)NagyDonat1-0/+8
2024-02-21[clang][analyzer] Change modeling of 'fileno' in checkers. (#81842)Balázs Kéri5-36/+42