Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / d58c03f42ebb4e548c2b53fa25b1cfe02ebb9ac0 / test / Analysis / null-deref-ps.c
  1. 8382cf5 Add clang-cc option "--analyzer-experimental-internal-checks". This by Ted Kremenek · 15 years ago
  2. 4fcfde4 Eliminate &&s in tests. by Daniel Dunbar · 15 years ago
  3. f8add9b Remove test case's dependency on platform headers. by Ted Kremenek · 15 years ago
  4. ac50213 Add test case for PR 4759. by Ted Kremenek · 15 years ago
  5. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
  6. f0549e2 Prep for new warning. by Mike Stump · 15 years ago
  7. c26a8b0 Migrate the path-sensitive checking of 'nonnull' arguments over to the new by Ted Kremenek · 15 years ago
  8. 339d52a Prep for new warning. by Mike Stump · 15 years ago
  9. c037eac Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 15 years ago
  10. e1cea75 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 15 years ago
  11. 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 15 years ago
  12. 65d80fd Fix false positive null dereference by unifying code paths in GRSimpleVals for by Ted Kremenek · 15 years ago
  13. 1308f57 Update test case. by Ted Kremenek · 15 years ago
  14. 935022a Add another null pointer check test case. by Ted Kremenek · 15 years ago
  15. 2c0ccd0 Warn about invalid return statements by default. by Steve Naroff · 15 years ago
  16. d7d5f02 Rename clang to clang-cc. by Daniel Dunbar · 16 years ago
  17. efcfcc0 GRExprEngine: Polish up handling of casting integer constants to pointers and back. by Ted Kremenek · 16 years ago
  18. be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
  19. 9800dad Test passes with -analyzer-range-contraints. by Ted Kremenek · 16 years ago
  20. bcd2f76 Put the region store specific test in a separate file. by Zhongxing Xu · 16 years ago
  21. a48f737 Create ElementRegion when the base is SymbolicRegion. This is like what we do by Zhongxing Xu · 16 years ago
  22. 19e8744 Enhance test case to test RegionStore with -checker-cfref. by Ted Kremenek · 16 years ago
  23. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 16 years ago
  24. 72afb37 Fix analyzer crash found when scanning Wine sources where the analyzer used old logic to determine the value of a switch 'case' label. by Ted Kremenek · 16 years ago
  25. e1c2a67 static analyzer: Handle casts from arrays to integers. This fixes PR 3297. by Ted Kremenek · 16 years ago
  26. ff944a8 Add an option to make 'RemoveDeadBindings' a configurable behavior. This enables by Zhongxing Xu · 16 years ago
  27. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
  28. a317e90 Add 'expected-warning' to make test case pass. by Ted Kremenek · 16 years ago
  29. 1e10011 Add another static analyzer test case involving attribute(nonnull). by Ted Kremenek · 16 years ago
  30. a96ac06 Add another test case for attribute(nonnull) checking. by Ted Kremenek · 16 years ago
  31. d7ff487 BasicConstraintManager: by Ted Kremenek · 16 years ago
  32. 73abd13 BasicConstraintManager: by Ted Kremenek · 16 years ago
  33. 973e72a Add a test case for compound assignments that lazily symbolicate the value of the LHS when the computation type is an integer of more bits. by Ted Kremenek · 16 years ago
  34. 12b49d9 Add && to test command. by Zhongxing Xu · 16 years ago
  35. fe81bc2 Add region store model to path-sensitive testing. by Zhongxing Xu · 16 years ago
  36. dacd67a This test now passes again. by Ted Kremenek · 16 years ago
  37. 3397e46 Mark these tests XFAIL. We need to add back assumption logic when doing array and field accesses. by Ted Kremenek · 16 years ago
  38. cafd908 Updated test case. by Ted Kremenek · 16 years ago
  39. 0a41e5a Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu. by Ted Kremenek · 16 years ago
  40. f6e5ec4 Add path-sensitivity test case. by Ted Kremenek · 16 years ago
  41. e2b0083 Fix copy-paste error in test case. by Ted Kremenek · 16 years ago
  42. 8c3e7fb Minor pass-sensitivity improvement: by Ted Kremenek · 16 years ago
  43. 7fb43c1 Tidy up sema processing of attribute "nonull": by Ted Kremenek · 16 years ago
  44. dd463b8 Enhance null-dereference checker test. by Ted Kremenek · 16 years ago
  45. 4489fe1 Add EXTWARN Diagnostic class. by Daniel Dunbar · 16 years ago
  46. 22bda88 Enhanced path-sensitive return-of-stack-address check to print out the name of the variable whose address was returned. by Ted Kremenek · 16 years ago
  47. 584def7 Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. by Ted Kremenek · 16 years ago
  48. e2013f5 Added test case to test null dereference checking with lval::ArrayOffset. by Ted Kremenek · 16 years ago
  49. a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 16 years ago
  50. 0fe33bc Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers. by Ted Kremenek · 16 years ago
  51. 9704eac Added null dereference test involving arrays. by Ted Kremenek · 16 years ago
  52. 3603d73 Added missing expected-warning. by Ted Kremenek · 16 years ago
  53. b9ab690 Added null dereference test case looking for null dereferences involving MemberExpr. by Ted Kremenek · 16 years ago
  54. d71ed26 Refactored all logic to run the GRSimpleVals and CFRef checker into a common by Ted Kremenek · 16 years ago
  55. 2f54af4 Added path-sensitive null dereference test case. by Ted Kremenek · 17 years ago