Commits · d65379c8d4768ddae143672f5d4827acafe22553 · Roger Ferrer / llvm-epi · GitLab

Mar 04, 2023
- [analyzer] Remove the loop from the exploded graph caused by missing information in program points · d65379c8
  isuckatcs authored Feb 10, 2023
  d65379c8
Feb 17, 2023
- [analyzer] Remove unjustified assert from EquivalenceClass::simplify · afcf70aa
  Balazs Benics authored Feb 17, 2023
  afcf70aa
- [clang] fix -Wuninitialized for asm goto outputs on indirect edges. · af665633
  Nick Desaulniers authored Feb 16, 2023
  af665633
Feb 15, 2023
- [clang][analyzer] Make messages of StdCLibraryFunctionsChecker user-friendly · ddc5d40d
  Balázs Kéri authored Feb 15, 2023
  ddc5d40d
Feb 10, 2023
- [llvm-driver] Reinvoke clang as described by llvm driver extra args · 3e57aa30
  Alex Brachet authored Feb 10, 2023
  3e57aa30
Jan 26, 2023
- [analyzer] Fix crash exposed by D140059 · f027dd55
  einvbri authored Jan 26, 2023
  f027dd55
- [analyzer] Fix assertion failure in SMT conversion for unary operator on floats · 3674421c
  Tomasz Kamiński authored Jan 26, 2023
  3674421c
- Fix assertion failure "PathDiagnosticSpotPiece's must have a valid location."... · 98d55095
  Arseniy Zaostrovnykh authored Jan 26, 2023
  98d55095
Jan 24, 2023
- [analyzer][solver] Improve reasoning for not equal to operator · 5f02ad88
  Manas authored Jan 25, 2023
  5f02ad88
Jan 21, 2023
- [clang] Add ElaboratedType sugaring for types on implicit special members · 028d13b1
  Brad King authored Jan 20, 2023
  028d13b1
Jan 12, 2023
- [analyzer] Don't escape local static memregions on bind · 840edd8a
  Balazs Benics authored Jan 12, 2023
  840edd8a
Jan 09, 2023
- [clang][analyzer] Remove report of null stream from StreamChecker. · 570bf972
  Balázs Kéri authored Jan 09, 2023
  570bf972
Jan 06, 2023
- [clang][analyzer] Extend StreamChecker with some new functions. · 5cf85323
  Balázs Kéri authored Jan 06, 2023
  5cf85323
- [clang][analyzer] Add stream related functions to StdLibraryFunctionsChecker. · 3c7fe7d0
  Balázs Kéri authored Jan 06, 2023
  3c7fe7d0
Dec 19, 2022
- [analyzer] Fix crash inside RangeConstraintManager.cpp introduced by D112621 · f61a08b6
  Balazs Benics authored Dec 19, 2022
  f61a08b6
Dec 15, 2022
- [clang] Convert tests to check 'target=...' · e0f2150e
  Paul Robinson authored Dec 15, 2022
  e0f2150e
Dec 14, 2022
- [clang][analyzer] No new nodes when bug is detected in StdLibraryFunctionsChecker. · da066069
  Balázs Kéri authored Dec 14, 2022
  da066069
Dec 12, 2022
- [analyzer] Nullability: Enable analysis of non-inlined nullable objc properties. · 6ab01d4a
  Paul Pelzl authored Dec 12, 2022
  6ab01d4a
- [ZOS] Convert tests to check 'target={{.*}}-zos{{.*}}' · 7793e676
  Paul Robinson authored Dec 12, 2022
  7793e676
- [analyzer] Fix assertion in getAPSIntType · 443b46e6
  einvbri authored Dec 09, 2022
  443b46e6
Dec 09, 2022
- [analyzer][solver] Introduce reasoning for not equal to operator · 77ab7281
  Manas authored Dec 09, 2022
  77ab7281
Dec 05, 2022
- [clang] Use std::nullopt instead of None in comments (NFC) · 35b4fbb5
  Kazu Hirata authored Dec 04, 2022
  35b4fbb5
Dec 02, 2022
- [lit][AIX] Convert clang tests to use 'target={{.*}}-aix{{.*}}' · 64e4d03c
  Paul Robinson authored Nov 04, 2022
  64e4d03c
Nov 30, 2022
- [analyzer] Test depends on windows as host, not target · b6a73d06
  Paul Robinson authored Nov 30, 2022
  
  b6a73d06
Nov 25, 2022
- [analyzer] Deprecate FAM analyzer-config, recommend -fstrict-flex-arrays instead · 097ce761
  Balazs Benics authored Nov 25, 2022
  097ce761
- [analyzer] Consider single-elem arrays as FAMs by default · 36481758
  Balazs Benics authored Nov 25, 2022
  36481758
Nov 23, 2022
- [analyzer] getBinding should auto-detect type only if it was not given · 93b98eb3
  Balazs Benics authored Nov 23, 2022
  93b98eb3
Nov 17, 2022
- Refactor StaticAnalyzer to use `clang::SarifDocumentWriter` · 7b6fe711
  Vaibhav Yenamandra authored Nov 17, 2022
  7b6fe711
Nov 09, 2022
- [analyzer] Fix crash for array-delete of UnknownVal values. · 2fb3bec9
  Tomasz Kamiński authored Nov 09, 2022
  2fb3bec9
Nov 08, 2022
- Fix duplicate word typos; NFC · 94738a5a
  Rageking8 authored Nov 08, 2022
  94738a5a
Oct 26, 2022
- [analyzer] Initialize regions returned by CXXNew to undefined · a504ddc8
  Kristóf Umann authored Oct 05, 2022
  a504ddc8
- [analyzer][StdLibraryFunctionsChecker] Add NoteTags for applied arg · 82a50812
  Gabor Marton authored Oct 14, 2022
  82a50812
- [analyzer] Fix assertion failure with conflicting prototype calls · aa12a48c
  Balazs Benics authored Oct 26, 2022
  aa12a48c
Oct 20, 2022
- [analyzer] Move unexecuted test block into it's own source file · ea8aebf9
  isuckatcs authored Oct 14, 2022
  ea8aebf9
Oct 19, 2022
- [analyzer] Make directly bounded LazyCompoundVal as lazily copied · 6194229c
  Tomasz Kamiński authored Oct 19, 2022
  6194229c
- [analyzer] Fix the liveness of Symbols for values in regions referred by LazyCompoundVal · a6b42040
  Tomasz Kamiński authored Oct 19, 2022
  a6b42040
Oct 13, 2022
- [analyzer] Workaround crash on encountering Class non-type template parameters · b062ee7d
  Balazs Benics authored Oct 13, 2022
  b062ee7d
Oct 12, 2022
- Fix false positive related to handling of [[noreturn]] function pointers · ec6da3fb
  Arseniy Zaostrovnykh authored Oct 12, 2022
  ec6da3fb
Oct 03, 2022
- [analyzer][NFC] Add tests for D132236 · 73716baa
  Tomasz Kamiński authored Oct 03, 2022
  73716baa
Sep 28, 2022
- [Clang] Don't warn if deferencing void pointers in unevaluated context · 89e56e73
  Jun Zhang authored Sep 28, 2022
  89e56e73