aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-05-12Reland [Clang][analyzer] replace Stmt* with ConstCFGElement in SymbolConjured...Fangyi Zhou1-21/+22
2025-04-25Revert "[Clang][analyzer] replace Stmt* with ConstCFGElementRef in SymbolConj...Balazs Benics1-22/+21
2025-04-25[Clang][analyzer] Replace Stmt* with ConstCFGElementRef in SymbolConjured (#1...Fangyi Zhou1-21/+22
2024-12-19[analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (2/4) (#120436)Balazs Benics1-1/+1
2024-09-18[analyzer] Note last "fclose" call from "ensureStreamOpened" (#109112)Balazs Benics1-5/+45
2024-09-12[analyzer] Fix StreamChecker crash in fread modeling (#108393)Balazs Benics1-1/+1
2024-08-05[analyzer][NFC] Eliminate a dyn_cast (#100719)Kristóf Umann1-1/+10
2024-07-29[analyzer] Fix crash of StreamChecker when eval calling 'fopen' (#100990)Balazs Benics1-18/+10
2024-07-23[analyzer] Assume the result of 'fopen' can't alias with 'std{in,out,err}' (#...Balazs Benics1-1/+71
2024-07-01[analyzer] Fix crash in Stream checker when using void pointers (#97199)Balazs Benics1-8/+11
2024-06-24[analyzer] Add an ownership change visitor to StreamChecker (#94957)Kristóf Umann1-2/+92
2024-06-14StreamChecker.cpp: Use isa<> (for #93408) [-Wunused-but-set-variable]NAKAMURA Takumi1-2/+2
2024-06-13[analyzer] Refine invalidation caused by `fread` (#93408)Balazs Benics1-11/+125
2024-05-11[clang] Use StringRef::operator== instead of StringRef::equals (NFC) (#91844)Kazu Hirata1-1/+1
2024-05-07[analyzer] Use explicit call description mode in more checkers (#90974)Donát Nagy1-3/+5
2024-04-24[NFC][clang][analyzer] Initialize pointer field in StreamOperationEvaluator (...Mike Rice1-1/+1
2024-04-11[analyzer] Use CDM::CLibrary instead of isGlobalCFunction() (#88267)NagyDonat1-34/+35
2024-04-08[clang][analyzer] Add "pedantic" mode to StreamChecker. (#87322)Balázs Kéri1-6/+26
2024-04-02[clang][analyzer] Change modeling of `fseek` in StreamChecker. (#86919)Balázs Kéri1-14/+7
2024-03-22[clang][analyzer] Model getline/getdelim preconditions and evaluation (#83027)Alejandro Álvarez Ayllón1-2/+21
2024-03-08[clang][analyzer] Fix StreamChecker `ftell` and `fgetpos` at indeterminate fi...Balázs Kéri1-34/+57
2024-03-06Reapply "[clang][analyzer] StreamChecker: Model getc, vfscanf, putc, vfprintf...Alejandro Álvarez Ayllón1-5/+28
2024-03-01[clang][analyzer] Add StreamChecker note tags for "indeterminate stream posit...Balázs Kéri1-126/+171
2024-02-28Revert "[clang][analyzer] StreamChecker: Model getc, vfscanf, putc, vfprintf ...Balazs Benics1-19/+4
2024-02-28[clang][analyzer] StreamChecker: Model getc, vfscanf, putc, vfprintf (#82476)Alejandro Álvarez Ayllón1-4/+19
2024-02-23[clang][analyzer] Fix argument invalidations in StreamChecker. (#79470)Balázs Kéri1-1/+38
2024-02-21[clang][analyzer] Change modeling of 'fileno' in checkers. (#81842)Balázs Kéri1-82/+111
2024-02-20[clang][analyzer] Simplify code of StreamChecker - part 2 (NFC). (#82228)Balázs Kéri1-233/+113
2024-02-16[clang][analyzer] Simplify code of StreamChecker (NFC). (#79312)Balázs Kéri1-145/+132
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-12[clang][analyzer] Add function 'fprintf' to StreamChecker. (#77613)Balázs Kéri1-0/+49
2024-01-11[clang][analyzer] Support 'tello' and 'fseeko' in the StreamChecker (#77580)Ben Shi1-5/+9
2024-01-10[clang][analyzer] Add function 'ungetc' to StreamChecker. (#77331)Balázs Kéri1-0/+45
2024-01-04[clang][analyzer] Support 'fdopen' in the StreamChecker (#76776)Ben Shi1-0/+1
2023-12-21[clang][analyzer] Support `fflush` in the StreamChecker (#74296)Ben Shi1-0/+86
2023-12-06[clang][analyzer][NFC] Supplement comments in `evalFtell` of StreamChecker (#...Ben Shi1-0/+3
2023-11-29[clang][analyzer] Support `fgets` in the SteamChecker (#73638)Ben Shi1-36/+58
2023-11-28[clang][analyzer] Support `fputs` in the StreamChecker (#73335)Ben Shi1-29/+76
2023-11-23[clang][analyzer] Support `fgetc` in StreamChecker (#72627)Ben Shi1-18/+66
2023-11-16[clang][Analyzer][NFC] Use condition type for comparison in several checkers ...Ben Shi1-2/+2
2023-11-16[clang][analyzer] Support `fputc` in StreamChecker (#71518)Ben Shi1-8/+53
2023-11-07[clang][analyzer][NFC] Remove redundant code in StreamChecker (#71394)Ben Shi1-1/+0
2023-11-02[clang][analyzer] Restrict 'fopen' & 'tmpfile' modeling to POSIX versions in ...Ben Shi1-2/+2
2023-11-02[clang][analyzer]][NFC] Simplify method 'ensureStreamNonNull' of StreamChecke...Ben Shi1-1/+1
2023-10-25[clang][analyzer][NFC] Combine similar methods of StreamChecker (#70170)Ben Shi1-28/+13
2023-10-21[analyzer][NFC] Substitute operator() with lambda in StreamCheckerBen Shi1-15/+6
2023-06-30[clang][analyzer] No end-of-file when seek to file begin.Balázs Kéri1-5/+29
2023-06-22[CLANG] Fix potential null pointer dereference bugsManna, Soumi1-4/+6