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

Jan 18, 2019
- [analyzer] Make sure base-region and its sub-regions are either all alive or all dead. · 2ed0e79b
  Artem Dergachev authored Jan 18, 2019
  2ed0e79b
Dec 15, 2018
- [analyzer] Assume that we always have a SubEngine available · 21aa8db6
  Gabor Horvath authored Dec 15, 2018
  21aa8db6
Dec 10, 2018
- Misc typos fixes in ./lib folder · b23ccecb
  Raphael Isemann authored Dec 10, 2018
  b23ccecb
Dec 03, 2018
- [analyzer] Dump stable identifiers for objects under construction. · ca3ace55
  Artem Dergachev authored Dec 03, 2018
  ca3ace55
Dec 01, 2018
- Revert "Revert r347417 "Re-Reinstate 347294 with a fix for the failures."" · 407659ab
  Fangrui Song authored Nov 30, 2018
  407659ab
Nov 30, 2018
- Revert r347417 "Re-Reinstate 347294 with a fix for the failures." · f5d3335d
  Fangrui Song authored Nov 30, 2018
  f5d3335d
- [analyzer] Evaluate all non-checker config options before analysis · 549f9cd4
  Kristof Umann authored Nov 30, 2018
  549f9cd4
- [analyzer] Fix the "Zombie Symbols" bug. · bbc6d682
  Artem Dergachev authored Nov 30, 2018
  bbc6d682
Nov 28, 2018
- Re-commit r347417 "Re-Reinstate 347294 with a fix for the failures." · 48ee4ad3
  Hans Wennborg authored Nov 28, 2018
  48ee4ad3
Nov 27, 2018
- Revert r347417 "Re-Reinstate 347294 with a fix for the failures." · 8c79706e
  Hans Wennborg authored Nov 27, 2018
  8c79706e
Nov 21, 2018
- Re-Reinstate 347294 with a fix for the failures. · 6ff1751f
  Bill Wendling authored Nov 21, 2018
  6ff1751f
- Revert r347364 again, the fix was incomplete. · 9f0246d4
  Nico Weber authored Nov 21, 2018
  9f0246d4
- Reinstate 347294 with a fix for the failures. · 91549ed1
  Bill Wendling authored Nov 20, 2018
  91549ed1
Nov 20, 2018
- Revert 347294, it turned many bots on lab.llvm.org:8011/console red. · 64389725
  Nico Weber authored Nov 20, 2018
  64389725
- Use is.constant intrinsic for __builtin_constant_p · 107b0e98
  Bill Wendling authored Nov 20, 2018
  107b0e98
Nov 09, 2018
- Compound literals, enums, et al require const expr · 8003edc9
  Bill Wendling authored Nov 09, 2018
  8003edc9
Oct 31, 2018
- Create ConstantExpr class · 7c44da27
  Bill Wendling authored Oct 31, 2018
  7c44da27
Oct 20, 2018
- [analyzer] Be more plugin-friendly by moving static locals into .cpp files. · 25dac79e
  Artem Dergachev authored Oct 20, 2018
  25dac79e
Oct 14, 2018
- Move some helpers from the global namespace into anonymous ones. · c55e9975
  Benjamin Kramer authored Oct 13, 2018
  c55e9975
Sep 28, 2018
- [analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter · c82d457d
  George Karpenkov authored Sep 28, 2018
  c82d457d
- [analyzer] Provide an option to dump generated exploded graphs to a given file. · c704f4fb
  George Karpenkov authored Sep 28, 2018
  c704f4fb
- [analyzer] Hotfix for the bug in exploded graph printing · 6d229be5
  George Karpenkov authored Sep 27, 2018
  6d229be5
Sep 27, 2018
- [analyzer] Highlight nodes which have error reports in them in red in exploded graph · 2b7682d1
  George Karpenkov authored Sep 27, 2018
  2b7682d1
- [analyzer] [NFC] Move the code for dumping the program point to ProgramPoint · 27ec210f
  George Karpenkov authored Sep 27, 2018
  27ec210f
Sep 21, 2018
- [analyzer] Highlight sink nodes in red · 200e809d
  George Karpenkov authored Sep 21, 2018
  200e809d
- [analyzer] Associate diagnostics created in checkEndFunction with a return statement, if possible · 33e5a158
  George Karpenkov authored Sep 21, 2018
  33e5a158
- [analyzer] [NFC] Dead code removal · 649e0132
  George Karpenkov authored Sep 21, 2018
  649e0132
Sep 17, 2018
- [analyzer] ExplodedGraph printing fixes · 8639c5d5
  George Karpenkov authored Sep 17, 2018
  8639c5d5
Sep 15, 2018
- [analyzer] Further printing improvements: use declarations, · 64c431c9
  George Karpenkov authored Sep 15, 2018
  64c431c9
- [analyzer] Dump reproducible identifiers for statements in exploded graph in store · fc042f95
  George Karpenkov authored Sep 15, 2018
  fc042f95
- [analyzer] Use correct end-of-line character when printing statements for exploded graph · 141b448e
  George Karpenkov authored Sep 15, 2018
  141b448e
- [analyzer] Dump unique identifiers for statements in exploded graph · 43965236
  George Karpenkov authored Sep 15, 2018
  43965236
- [analyzer] Skip printing duplicate nodes, even if nodes have multiple predecessors/successors · 40cbde9c
  George Karpenkov authored Sep 15, 2018
  40cbde9c
Sep 07, 2018
- [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] Dump a reproducible, deterministic ID of program state to exploded graph · e40d4053
  George Karpenkov authored Sep 06, 2018
  e40d4053
Aug 30, 2018
- [CFG] [analyzer] Disable argument construction contexts for variadic functions. · ed19831f
  Artem Dergachev authored Aug 29, 2018
  ed19831f
Aug 29, 2018
- [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default · a393e68b
  George Karpenkov authored Aug 29, 2018
  a393e68b
Aug 15, 2018
- [analyzer] Add support for constructors of arguments. · 3ccf14eb
  Artem Dergachev authored Aug 15, 2018
  3ccf14eb