Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 9e4a1bb0084bf3bf64595f57effe496cb2cf1863 / test / Analysis / null-deref-ps.c
  1. 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
  2. c4d2c90 [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. by Argyrios Kyrtzidis · 14 years ago
  3. bd90076 [analyzer] Migrate AttrNonNullChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  4. 65d3925 [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't have any checkers associated with it anymore. by Argyrios Kyrtzidis · 14 years ago
  5. c9f2e0f [analyzer] Use the new registration mechanism on the IdempotentOperationChecker. by Argyrios Kyrtzidis · 14 years ago
  6. 646c3c3 Tweak null dereference checker to give better diagnostics for null dereferences resulting from array accesses. by Ted Kremenek · 14 years ago
  7. 818b433 Clean up obtuse wording of checker diagnostic of using an uninitialized value in a function call. by Ted Kremenek · 14 years ago
  8. 8205c1a Put the tautological-comparison-of-unsigned-against-zero warnings in by John McCall · 14 years ago
  9. 40bfbbc sabre points out that the timing here is pretty pessimal; I'll retry the by John McCall · 14 years ago
  10. 51b0a52 Experimentally move the tautological comparison warnings from -Wsign-compare by John McCall · 14 years ago
  11. 9edd4d0 Added checking of (x == x) and (x != x) to IdempotentOperationChecker and updated test cases flagged by it. by Tom Care · 14 years ago
  12. 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
  13. 245adab Added psuedo-constant analysis and integrated it into the false positive reduction stage in IdempotentOperationChecker. by Tom Care · 14 years ago
  14. a7a8a45 Improved IdempotentOperationChecker false positives and false negatives. by Tom Care · 14 years ago
  15. 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
  16. 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
  17. 184aa4e fix PR7280 by making the warning on code like this: by Chris Lattner · 14 years ago
  18. 9a12685 If a nonnull argument evaluates to UnknownVal, don't warn (and don't crash). by Jordy Rose · 14 years ago
  19. d4eea83 Improve diagnostics when we fail to convert from a source type to a by Douglas Gregor · 15 years ago
  20. 452b84d Tweak null dereference diagnostics to give clearer diagnostics when by Ted Kremenek · 15 years ago
  21. 565e465 Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. by Ted Kremenek · 15 years ago
  22. a572887 Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'. by Daniel Dunbar · 15 years ago
  23. ef74f4c Replace clang-cc with clang -cc1. by Zhongxing Xu · 15 years ago
  24. e576af2 Enhance null dereference diagnostics by indicating what variable (if any) was dereferenced. Addresses <rdar://problem/7039161>. by Ted Kremenek · 15 years ago
  25. 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
  26. 8382cf5 Add clang-cc option "--analyzer-experimental-internal-checks". This by Ted Kremenek · 15 years ago
  27. 4fcfde4 Eliminate &&s in tests. by Daniel Dunbar · 15 years ago
  28. f8add9b Remove test case's dependency on platform headers. by Ted Kremenek · 15 years ago
  29. ac50213 Add test case for PR 4759. by Ted Kremenek · 15 years ago
  30. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
  31. f0549e2 Prep for new warning. by Mike Stump · 15 years ago
  32. c26a8b0 Migrate the path-sensitive checking of 'nonnull' arguments over to the new by Ted Kremenek · 15 years ago
  33. 339d52a Prep for new warning. by Mike Stump · 15 years ago
  34. c037eac Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 15 years ago
  35. e1cea75 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 15 years ago
  36. 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 15 years ago
  37. 65d80fd Fix false positive null dereference by unifying code paths in GRSimpleVals for by Ted Kremenek · 15 years ago
  38. 1308f57 Update test case. by Ted Kremenek · 15 years ago
  39. 935022a Add another null pointer check test case. by Ted Kremenek · 15 years ago
  40. 2c0ccd0 Warn about invalid return statements by default. by Steve Naroff · 15 years ago
  41. d7d5f02 Rename clang to clang-cc. by Daniel Dunbar · 16 years ago
  42. efcfcc0 GRExprEngine: Polish up handling of casting integer constants to pointers and back. by Ted Kremenek · 16 years ago
  43. be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
  44. 9800dad Test passes with -analyzer-range-contraints. by Ted Kremenek · 16 years ago
  45. bcd2f76 Put the region store specific test in a separate file. by Zhongxing Xu · 16 years ago
  46. a48f737 Create ElementRegion when the base is SymbolicRegion. This is like what we do by Zhongxing Xu · 16 years ago
  47. 19e8744 Enhance test case to test RegionStore with -checker-cfref. by Ted Kremenek · 16 years ago
  48. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 16 years ago
  49. 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
  50. e1c2a67 static analyzer: Handle casts from arrays to integers. This fixes PR 3297. by Ted Kremenek · 16 years ago
  51. ff944a8 Add an option to make 'RemoveDeadBindings' a configurable behavior. This enables by Zhongxing Xu · 16 years ago
  52. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
  53. a317e90 Add 'expected-warning' to make test case pass. by Ted Kremenek · 16 years ago
  54. 1e10011 Add another static analyzer test case involving attribute(nonnull). by Ted Kremenek · 16 years ago
  55. a96ac06 Add another test case for attribute(nonnull) checking. by Ted Kremenek · 16 years ago
  56. d7ff487 BasicConstraintManager: by Ted Kremenek · 16 years ago
  57. 73abd13 BasicConstraintManager: by Ted Kremenek · 16 years ago
  58. 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
  59. 12b49d9 Add && to test command. by Zhongxing Xu · 16 years ago
  60. fe81bc2 Add region store model to path-sensitive testing. by Zhongxing Xu · 16 years ago
  61. dacd67a This test now passes again. by Ted Kremenek · 16 years ago
  62. 3397e46 Mark these tests XFAIL. We need to add back assumption logic when doing array and field accesses. by Ted Kremenek · 16 years ago
  63. cafd908 Updated test case. by Ted Kremenek · 16 years ago
  64. 0a41e5a Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu. by Ted Kremenek · 16 years ago
  65. f6e5ec4 Add path-sensitivity test case. by Ted Kremenek · 16 years ago
  66. e2b0083 Fix copy-paste error in test case. by Ted Kremenek · 16 years ago
  67. 8c3e7fb Minor pass-sensitivity improvement: by Ted Kremenek · 16 years ago
  68. 7fb43c1 Tidy up sema processing of attribute "nonull": by Ted Kremenek · 16 years ago
  69. dd463b8 Enhance null-dereference checker test. by Ted Kremenek · 16 years ago
  70. 4489fe1 Add EXTWARN Diagnostic class. by Daniel Dunbar · 16 years ago
  71. 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
  72. 584def7 Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. by Ted Kremenek · 16 years ago
  73. e2013f5 Added test case to test null dereference checking with lval::ArrayOffset. by Ted Kremenek · 16 years ago
  74. a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 16 years ago
  75. 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
  76. 9704eac Added null dereference test involving arrays. by Ted Kremenek · 16 years ago
  77. 3603d73 Added missing expected-warning. by Ted Kremenek · 16 years ago
  78. b9ab690 Added null dereference test case looking for null dereferences involving MemberExpr. by Ted Kremenek · 16 years ago
  79. d71ed26 Refactored all logic to run the GRSimpleVals and CFRef checker into a common by Ted Kremenek · 17 years ago
  80. 2f54af4 Added path-sensitive null dereference test case. by Ted Kremenek · 17 years ago