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

Apr 13, 2017
- [analyzer] Simplify values in binary operations a bit more aggressively. · 12294f8d
  Artem Dergachev authored Apr 13, 2017
  12294f8d
- [analyzer] Add a check for IvarRegion in getExtraInvalidatedValues · 5f24c12d
  Alexander Shaposhnikov authored Apr 12, 2017
  5f24c12d
Apr 05, 2017
- [lit] Fix Analysis test format pickling error · 2ae37c15
  Reid Kleckner authored Apr 05, 2017
  2ae37c15
- [analyzer] alpha.core.Conversion - Fix false positive for 'U32 += S16;'... · 2641a52e
  Daniel Marjamaki authored Apr 05, 2017
  2641a52e
Apr 04, 2017
- [analyzer] Add new Z3 constraint manager backend · 08f943c5
  Dominic Chen authored Apr 04, 2017
  08f943c5
Mar 30, 2017
- Correcting a typo; NFC. · 4d3355a2
  Aaron Ballman authored Mar 30, 2017
  4d3355a2
Mar 28, 2017
- [analyzer] Fix symbolication for unknown unary increment/decrement results. · 7333a9ea
  Artem Dergachev authored Mar 28, 2017
  7333a9ea
- [analyzer] When creating a temporary object, properly copy the value into it. · 647804a8
  Artem Dergachev authored Mar 28, 2017
  647804a8
Mar 24, 2017
- [analyzer] Add MisusedMovedObjectChecker for detecting use-after-move errors. · 356151ff
  Artem Dergachev authored Mar 24, 2017
  356151ff
Mar 13, 2017
- [analyzer] Fix a rare crash for valist check. · 60eec1ac
  Gabor Horvath authored Mar 13, 2017
  60eec1ac
Mar 10, 2017
- [analyzer] Extend block in critical section check with C11 and Pthread APIs. · 829c6bc0
  Gabor Horvath authored Mar 10, 2017
  829c6bc0
- [analyzer] Turn suppress-c++-stdlib on by default · ae477214
  Anna Zaks authored Mar 10, 2017
  ae477214
Mar 09, 2017
- [analyzer] Extend taint propagation and checking to support LazyCompoundVal · 12d0c8d6
  Anna Zaks authored Mar 09, 2017
  12d0c8d6
- [analyzer] Improve usability of ExprInspectionChecker · 37faed97
  Anna Zaks authored Mar 09, 2017
  37faed97
- [analyzer] Add bug visitor for taint checker. · d4e43ae2
  Anna Zaks authored Mar 09, 2017
  d4e43ae2
- [analyzer] Teach the MallocChecker about about Glib API · bbec97ca
  Anna Zaks authored Mar 09, 2017
  bbec97ca
Mar 08, 2017
- [analyzer] Clarify 'uninitialized function argument' messages · 3d8d6ed0
  Daniel Marjamaki authored Mar 08, 2017
  3d8d6ed0
Mar 07, 2017
- [analyzer] Fix crashes in CastToStruct checker for undefined structs · cf715bd3
  Daniel Marjamaki authored Mar 07, 2017
  cf715bd3
- [analyzer] Improve valist checks and move it out from alpha state. · dbf2790a
  Gabor Horvath authored Mar 07, 2017
  dbf2790a
Mar 03, 2017
- Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers · 184c6242
  Dominic Chen authored Mar 03, 2017
  184c6242
- [Analyzer] Terminate analysis on OpenMP code instead of assertion crash · f82a6327
  Aleksei Sidorin authored Mar 03, 2017
  f82a6327
- Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support... · 09d66f75
  Dominic Chen authored Mar 02, 2017
  09d66f75
- Reland 3: [analyzer] NFC: Update test infrastructure to support multiple constraint managers · feaf9ff5
  Dominic Chen authored Mar 02, 2017
  feaf9ff5
Mar 02, 2017
- Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support... · 4a90bf8c
  Dominic Chen authored Mar 02, 2017
  4a90bf8c
- Reland 2: [analyzer] NFC: Update test infrastructure to support multiple constraint managers · 1cb0256a
  Dominic Chen authored Mar 02, 2017
  1cb0256a
Mar 01, 2017
- [analyzer] pr32088: Don't destroy the temporary if its initializer causes return. · bfa8e28d
  Devin Coughlin authored Mar 01, 2017
  bfa8e28d
- [Analyzer] Fix crash in ObjCPropertyChecker on protocol property · 1bf65c8c
  Devin Coughlin authored Mar 01, 2017
  1bf65c8c
Feb 28, 2017
- Revert "Reland: [analyzer] NFC: Update test infrastructure to support multiple constraint managers" · 00355a51
  Dominic Chen authored Feb 28, 2017
  00355a51
- Reland: [analyzer] NFC: Update test infrastructure to support multiple constraint managers · 59cd8933
  Dominic Chen authored Feb 28, 2017
  59cd8933
Feb 27, 2017
- [analyzer] clarify 'result is garbage value' when it is out of bounds · e97838f4
  Daniel Marjamaki authored Feb 27, 2017
  e97838f4
- Revert "[analyzer] NFC: Update test infrastructure to support multiple constraint managers" · 8589e10c
  Dominic Chen authored Feb 27, 2017
  8589e10c
- [analyzer] NFC: Update test infrastructure to support multiple constraint managers · 02064a30
  Dominic Chen authored Feb 27, 2017
  02064a30
Feb 20, 2017
- [analyzer] Do not duplicate call graph nodes for functions that have... · ee035163
  Aleksei Sidorin authored Feb 20, 2017
  ee035163
Feb 18, 2017
- [analyzer] Revert 295545. There are buildbot failures. · dc53b680
  Daniel Marjamaki authored Feb 18, 2017
  dc53b680
- [analyzer] Fix crash in CastToStruct when there is no record definition · 1149166b
  Daniel Marjamaki authored Feb 18, 2017
  1149166b
Feb 02, 2017
- [analyzer] Fix an assertion fail in CStringSyntaxChecker. · 3b008536
  Gabor Horvath authored Feb 02, 2017
  3b008536
Jan 31, 2017
- In VirtualCallChecker, handle indirect calls · 93590e09
  Sam McCall authored Jan 31, 2017
  93590e09
Jan 27, 2017
- [analyzer] Consider function call arguments while building CallGraph. · 12caf8e1
  Artem Dergachev authored Jan 27, 2017
  12caf8e1
Jan 25, 2017
- [test] Port clang tests to canonicalized booleans · 638ac70a
  Michal Gorny authored Jan 25, 2017
  638ac70a
- [analyzer] Fix MacOSXAPIChecker fp with static locals seen from nested blocks. · 55705955
  Artem Dergachev authored Jan 25, 2017
  55705955