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