Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 112ba7e57e23c2310479fd6bb116d9570fc2b77d / test / Analysis / uninit-vals-ps.c
  1. 112ba7e Shorten the static analyzer diagnostic for 'use of garbage value'. by Ted Kremenek · 15 years ago
  2. 7c039bf Have divide-by-zero checker not handled undefined denominators. This is handled by the generic checking for undefined operands for BinaryOperators. by Ted Kremenek · 15 years ago
  3. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
  4. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
  5. f3bfa21 Fix PR 4631. The compound initializers of unions were not being evaluated, which by Ted Kremenek · 15 years ago
  6. bb97722 Fix regression in attribute 'nonnull' checking when a transition node by Ted Kremenek · 15 years ago
  7. c037eac Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 15 years ago
  8. e1cea75 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 15 years ago
  9. 0c31317 Enhance diagnostics value tracking logic for null dereferences and uninitialized values. by Ted Kremenek · 16 years ago
  10. ef77d54 Add a few more analyzer test cases. by Ted Kremenek · 16 years ago
  11. d7d5f02 Rename clang to clang-cc. by Daniel Dunbar · 16 years ago
  12. ed8a93d Fix PR3509 by providing correct starting locations for initializer lists by Douglas Gregor · 16 years ago
  13. be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
  14. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 16 years ago
  15. 90b3236 Fix <rdar://problem/6451816>: by Ted Kremenek · 16 years ago
  16. 7c68666 Add checker test case: warn about returning an uninitialized value to the caller. by Ted Kremenek · 16 years ago
  17. 9f49055 Enable test file for 'region store' in addition to basic store. by Ted Kremenek · 16 years ago
  18. e8e4d8c Split region store specific test cases. by Zhongxing Xu · 16 years ago
  19. 89e8a07 Add test for path-sensitive uninit-val detection involving struct field. by Zhongxing Xu · 16 years ago
  20. 5c96c27 Fixed bug in the transfer function for dereferences: the loaded value from EvalLoad should bind to the UnaryOperator*, not its subexpression. by Ted Kremenek · 17 years ago
  21. 5c454ab When reporting branch conditions that evaluate to an uninitialized value, by Ted Kremenek · 17 years ago
  22. 43ae4b0 Added uninitialized-values (path-sensitive) test case as a regression test by Ted Kremenek · 17 years ago