Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 99c62cefb02726e7c082aef15a350466e6a01aeb / test / Analysis / null-deref-ps.c
  1. 651f13c Updated to Clang 3.5a. by Stephen Hines · 10 years ago
  2. cdc3a89 Fix analyzer tests. by Ted Kremenek · 12 years ago
  3. 7a0a31c [frontend] Don't allow a mapping to a warning override an error/fatal mapping. by Chad Rosier · 13 years ago
  4. a8180e5 Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>. by Ted Kremenek · 13 years ago
  5. 2cbe791 [analyzer] Do not invalidate arguments when the parameter's by Anna Zaks · 13 years ago
  6. 01f2a1e [analyzer] The compiler warning was disabling the analyzer in this test. by Anna Zaks · 13 years ago
  7. d309528 [analyzer] Add -analyzer-purge option which can take on multiple values, remove -analyzer-purge=none. (Small refactor as well: move the work of constructing AnalysisManager from the callers to the class itself.) by Anna Zaks · 13 years ago
  8. 033a07e [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. by Ted Kremenek · 13 years ago
  9. a4c7a43 Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. by Ted Kremenek · 13 years ago
  10. ade3195 Re-enable the IdempotentOperations checker for --analyze, and put it and the DeadStores checker into the "deadcode" group. by Ted Kremenek · 14 years ago
  11. c4d2c90 [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. by Argyrios Kyrtzidis · 14 years ago
  12. bd90076 [analyzer] Migrate AttrNonNullChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  13. 65d3925 [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't have any checkers associated with it anymore. by Argyrios Kyrtzidis · 14 years ago
  14. c9f2e0f [analyzer] Use the new registration mechanism on the IdempotentOperationChecker. by Argyrios Kyrtzidis · 14 years ago
  15. 646c3c3 Tweak null dereference checker to give better diagnostics for null dereferences resulting from array accesses. by Ted Kremenek · 14 years ago
  16. 818b433 Clean up obtuse wording of checker diagnostic of using an uninitialized value in a function call. by Ted Kremenek · 14 years ago
  17. 8205c1a Put the tautological-comparison-of-unsigned-against-zero warnings in by John McCall · 14 years ago
  18. 40bfbbc sabre points out that the timing here is pretty pessimal; I'll retry the by John McCall · 14 years ago
  19. 51b0a52 Experimentally move the tautological comparison warnings from -Wsign-compare by John McCall · 14 years ago
  20. 9edd4d0 Added checking of (x == x) and (x != x) to IdempotentOperationChecker and updated test cases flagged by it. by Tom Care · 14 years ago
  21. 6d0e6ce Enabled relaxed LiveVariables analysis in the path-sensitive engine to increase the coverage of bugs. Primarily affects IdempotentOperationChecker. by Tom Care · 14 years ago
  22. 245adab Added psuedo-constant analysis and integrated it into the false positive reduction stage in IdempotentOperationChecker. by Tom Care · 14 years ago
  23. a7a8a45 Improved IdempotentOperationChecker false positives and false negatives. by Tom Care · 14 years ago
  24. 3e5637f Finesse 'idempotent operations' analyzer issues to include the opcode of the binary operator for clearer error reporting. Also remove the 'Idempotent operation' prefix in messages; it's redundant since the bug type is the same. by Ted Kremenek · 14 years ago
  25. df4ca42 Improved false positive rate for the idempotent operations checker and moved it into the default path-sensitive analysis options. by Tom Care · 14 years ago
  26. 184aa4e fix PR7280 by making the warning on code like this: by Chris Lattner · 14 years ago
  27. 9a12685 If a nonnull argument evaluates to UnknownVal, don't warn (and don't crash). by Jordy Rose · 14 years ago
  28. d4eea83 Improve diagnostics when we fail to convert from a source type to a by Douglas Gregor · 14 years ago
  29. 452b84d Tweak null dereference diagnostics to give clearer diagnostics when by Ted Kremenek · 15 years ago
  30. 565e465 Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. by Ted Kremenek · 15 years ago
  31. a572887 Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'. by Daniel Dunbar · 15 years ago
  32. ef74f4c Replace clang-cc with clang -cc1. by Zhongxing Xu · 15 years ago
  33. e576af2 Enhance null dereference diagnostics by indicating what variable (if any) was dereferenced. Addresses <rdar://problem/7039161>. by Ted Kremenek · 15 years ago
  34. 53e8484 Switch -f{builtin,math-errno,rtti} and -analyzer-purge-dead to -...no... variants instead of using llvm::cl::init(true) arguments. by Daniel Dunbar · 15 years ago
  35. 8382cf5 Add clang-cc option "--analyzer-experimental-internal-checks". This by Ted Kremenek · 15 years ago
  36. 4fcfde4 Eliminate &&s in tests. by Daniel Dunbar · 15 years ago
  37. f8add9b Remove test case's dependency on platform headers. by Ted Kremenek · 15 years ago
  38. ac50213 Add test case for PR 4759. by Ted Kremenek · 15 years ago
  39. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
  40. f0549e2 Prep for new warning. by Mike Stump · 15 years ago
  41. c26a8b0 Migrate the path-sensitive checking of 'nonnull' arguments over to the new by Ted Kremenek · 15 years ago
  42. 339d52a Prep for new warning. by Mike Stump · 15 years ago
  43. c037eac Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 15 years ago
  44. e1cea75 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 15 years ago
  45. 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 15 years ago
  46. 65d80fd Fix false positive null dereference by unifying code paths in GRSimpleVals for by Ted Kremenek · 15 years ago
  47. 1308f57 Update test case. by Ted Kremenek · 15 years ago
  48. 935022a Add another null pointer check test case. by Ted Kremenek · 15 years ago
  49. 2c0ccd0 Warn about invalid return statements by default. by Steve Naroff · 15 years ago
  50. d7d5f02 Rename clang to clang-cc. by Daniel Dunbar · 16 years ago
  51. efcfcc0 GRExprEngine: Polish up handling of casting integer constants to pointers and back. by Ted Kremenek · 16 years ago
  52. be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
  53. 9800dad Test passes with -analyzer-range-contraints. by Ted Kremenek · 16 years ago
  54. bcd2f76 Put the region store specific test in a separate file. by Zhongxing Xu · 16 years ago
  55. a48f737 Create ElementRegion when the base is SymbolicRegion. This is like what we do by Zhongxing Xu · 16 years ago
  56. 19e8744 Enhance test case to test RegionStore with -checker-cfref. by Ted Kremenek · 16 years ago
  57. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 16 years ago
  58. 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
  59. e1c2a67 static analyzer: Handle casts from arrays to integers. This fixes PR 3297. by Ted Kremenek · 16 years ago
  60. ff944a8 Add an option to make 'RemoveDeadBindings' a configurable behavior. This enables by Zhongxing Xu · 16 years ago
  61. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
  62. a317e90 Add 'expected-warning' to make test case pass. by Ted Kremenek · 16 years ago
  63. 1e10011 Add another static analyzer test case involving attribute(nonnull). by Ted Kremenek · 16 years ago
  64. a96ac06 Add another test case for attribute(nonnull) checking. by Ted Kremenek · 16 years ago
  65. d7ff487 BasicConstraintManager: by Ted Kremenek · 16 years ago
  66. 73abd13 BasicConstraintManager: by Ted Kremenek · 16 years ago
  67. 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
  68. 12b49d9 Add && to test command. by Zhongxing Xu · 16 years ago
  69. fe81bc2 Add region store model to path-sensitive testing. by Zhongxing Xu · 16 years ago
  70. dacd67a This test now passes again. by Ted Kremenek · 16 years ago
  71. 3397e46 Mark these tests XFAIL. We need to add back assumption logic when doing array and field accesses. by Ted Kremenek · 16 years ago
  72. cafd908 Updated test case. by Ted Kremenek · 16 years ago
  73. 0a41e5a Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu. by Ted Kremenek · 16 years ago
  74. f6e5ec4 Add path-sensitivity test case. by Ted Kremenek · 16 years ago
  75. e2b0083 Fix copy-paste error in test case. by Ted Kremenek · 16 years ago
  76. 8c3e7fb Minor pass-sensitivity improvement: by Ted Kremenek · 16 years ago
  77. 7fb43c1 Tidy up sema processing of attribute "nonull": by Ted Kremenek · 16 years ago
  78. dd463b8 Enhance null-dereference checker test. by Ted Kremenek · 16 years ago
  79. 4489fe1 Add EXTWARN Diagnostic class. by Daniel Dunbar · 16 years ago
  80. 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
  81. 584def7 Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. by Ted Kremenek · 16 years ago
  82. e2013f5 Added test case to test null dereference checking with lval::ArrayOffset. by Ted Kremenek · 16 years ago
  83. a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 16 years ago
  84. 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
  85. 9704eac Added null dereference test involving arrays. by Ted Kremenek · 16 years ago
  86. 3603d73 Added missing expected-warning. by Ted Kremenek · 16 years ago
  87. b9ab690 Added null dereference test case looking for null dereferences involving MemberExpr. by Ted Kremenek · 16 years ago
  88. d71ed26 Refactored all logic to run the GRSimpleVals and CFRef checker into a common by Ted Kremenek · 16 years ago
  89. 2f54af4 Added path-sensitive null dereference test case. by Ted Kremenek · 17 years ago