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