Commits · 55dbac9f078e655aff62dc692e05e60485fa1850 · Roger Ferrer / llvm-epi · GitLab

Sep 14, 2018
- [analyzer][UninitializedObjectChecker] Correct dynamic type is acquired for record pointees · 3ef3dd7c
  Kristof Umann authored Sep 14, 2018
  3ef3dd7c
- [analyzer][UninitializedObjectChecker] Updated comments · ceb5f654
  Kristof Umann authored Sep 14, 2018
  ceb5f654
- [analyzer][UninitializedObjectChecker] Fixed dereferencing · f0dd1016
  Kristof Umann authored Sep 14, 2018
  f0dd1016
Sep 10, 2018
- [Analyzer] Iterator Checker - Part 8: Support for assign, clear, insert,... · 2e7cb34d
  Adam Balogh authored Sep 10, 2018
  2e7cb34d
- [Analyzer] Iterator Checker - Part 7: Support for push and pop operations · 9a48ba6b
  Adam Balogh authored Sep 10, 2018
  9a48ba6b
- [Analyzer] Iterator Checker - Part 6: Mismatched iterator checker for constructors and comparisons · 3659f7a8
  Adam Balogh authored Sep 10, 2018
  3659f7a8
- [Analyzer] Iterator Checker - Part 5: Move Assignment of Containers · 6b23b1a7
  Adam Balogh authored Sep 10, 2018
  6b23b1a7
- [Analyzer] Iterator Checker - Part 4: Mismatched iterator checker for function parameters · 21583b73
  Adam Balogh authored Sep 10, 2018
  21583b73
Sep 08, 2018
- [analyzer] [NFC] Move methods for dumping the coverage in HTMLDiagnostics into the class · 33108932
  George Karpenkov authored Sep 07, 2018
  33108932
- [analyzer] [NFC] Use StringRef when returning a large string literal in HTMLDiagnostics · e4707e7a
  George Karpenkov authored Sep 07, 2018
  e4707e7a
- [analyzer] Remove the "postponed" hack, deal with derived symbols using an extra map · 5577cb70
  George Karpenkov authored Sep 07, 2018
  5577cb70
Sep 07, 2018
- Revert "Revert "Revert "Revert "[analyzer] Add coverage information to plist... · 8a88c835
  George Karpenkov authored Sep 07, 2018
  8a88c835
- Revert "Revert "Revert "[analyzer] Add coverage information to plist output, update tests""" · b746df0b
  Simon Pilgrim authored Sep 07, 2018
  b746df0b
- Revert "Revert "[analyzer] Add coverage information to plist output, update tests"" · d7acacab
  George Karpenkov authored Sep 07, 2018
  d7acacab
- Revert "[analyzer] Add coverage information to plist output, update tests" · 4762fb5d
  George Karpenkov authored Sep 07, 2018
  4762fb5d
- [analyzer] Add coverage information to plist output, update tests · bb313b79
  George Karpenkov authored Sep 07, 2018
  bb313b79
- [analyzer] [NFC] Prefer passing around reference to std::unique_ptr& · 784c60ac
  George Karpenkov authored Sep 07, 2018
  784c60ac
- [analyzer] Executed lines: store file IDs, not hashes. · a3fdd179
  George Karpenkov authored Sep 07, 2018
  a3fdd179
- [analyzer] Do not add invalid source location to the coverage information · 55e3d1ec
  George Karpenkov authored Sep 07, 2018
  55e3d1ec
- [analyzer] Push updating-the-executed-lines logic into the BugReporter. · 5f8d361c
  George Karpenkov authored Sep 07, 2018
  5f8d361c
- [analyzer] Skip printing trivial nodes in exploded graph · 98bee022
  George Karpenkov authored Sep 07, 2018
  98bee022
- [analyzer] [NFC] Move dumping program point into a separate function · d0d0cb38
  George Karpenkov authored Sep 06, 2018
  d0d0cb38
- [analyzer] Dump stable identifiers for exploded nodes · 84a2b30b
  George Karpenkov authored Sep 06, 2018
  84a2b30b
- [analyzer] Remove traces of ubigraph visualization · 95363e37
  George Karpenkov authored Sep 06, 2018
  95363e37
- [analyzer] Dump a reproducible, deterministic ID of program state to exploded graph · e40d4053
  George Karpenkov authored Sep 06, 2018
  e40d4053
Aug 30, 2018
- [analyzer] InnerPointerChecker: Fix a segfault when checking symbolic strings. · 73b38668
  Artem Dergachev authored Aug 30, 2018
  73b38668
- [analyzer] Improve tracing for uninitialized struct fields · 574d78e7
  George Karpenkov authored Aug 29, 2018
  574d78e7
- [analyzer] Support modeling no-op BaseToDerived casts in ExprEngine. · 4e864b83
  Artem Dergachev authored Aug 29, 2018
  4e864b83
- [analyzer] CFRetainReleaseChecker: Don't check C++ methods with the same name. · 5a3beea0
  Artem Dergachev authored Aug 29, 2018
  5a3beea0
- [CFG] [analyzer] Disable argument construction contexts for variadic functions. · ed19831f
  Artem Dergachev authored Aug 29, 2018
  ed19831f
Aug 29, 2018
- [analyzer] Resolve the crash in ReturnUndefChecker · 9ff67a9d
  George Karpenkov authored Aug 29, 2018
  9ff67a9d
- [analyzer] [NFC] Move class definition out of the function · eae57a2b
  George Karpenkov authored Aug 29, 2018
  eae57a2b
- [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default · a393e68b
  George Karpenkov authored Aug 29, 2018
  a393e68b
- [analyzer] [NFC] Remove unused "state" argument from makeSymExprValNN · bd3e5dbf
  George Karpenkov authored Aug 29, 2018
  bd3e5dbf
- [analyzer] Better retain count rules for OSObjects · d5ef0d2a
  George Karpenkov authored Aug 29, 2018
  d5ef0d2a
- [analyzer] [NFC] Follow the convention when naming classes · cf0b9cbd
  George Karpenkov authored Aug 29, 2018
  cf0b9cbd
Aug 28, 2018
- [Analyzer] Iterator Checker - Part 3: Invalidation check, first for (copy) assignments · 2cfbe933
  Adam Balogh authored Aug 28, 2018
  2cfbe933
Aug 27, 2018
- fix comment typo · 5946e5be
  Nico Weber authored Aug 27, 2018
  5946e5be
Aug 23, 2018
- [analyzer] Moved all CSA code from the SMT API to a new header, `SMTConv.h`. NFC. · 766a189d
  Mikhail R. Gadelha authored Aug 23, 2018
  766a189d
- [analyzer] Templatefy SMTConstraintManager so more generic code can be moved... · b0670d34
  Mikhail R. Gadelha authored Aug 23, 2018
  b0670d34