Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / b4b817d704287836b52b34369009e682f208aa2b / lib / Analysis / GRExprEngineInternalChecks.cpp
  1. b4b817d Refactor DereferenceChecker to use only the new Checker API instead of by Ted Kremenek · 15 years ago
  2. ede7eb2 Add check for pointer arithmetic on non-array variables. by Zhongxing Xu · 15 years ago
  3. 4f3dc69 Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer. by Zhongxing Xu · 15 years ago
  4. b10a7c2 Add checker for CWE-587: Assignment of a Fixed Address to a Pointer. by Zhongxing Xu · 15 years ago
  5. 3ce2dc3 Add checker for CWE-469: Use of Pointer Subtraction to Determine Size. This by Zhongxing Xu · 15 years ago
  6. 84b3595 Make the VLASizeChecker implementation private, and its creation only known to GRExprEngineInternalChecks.cpp. by Ted Kremenek · 15 years ago
  7. 36df58a Make the implementation of DivZeroChecker private. by Ted Kremenek · 15 years ago
  8. ceeb02d Add a checker for CWE-466: Return of Pointer Value Outside of Expected Range. by Zhongxing Xu · 15 years ago
  9. 1053d24 static analyzer: refactor checking logic for returning the address of a stack variable or a garbage by Ted Kremenek · 15 years ago
  10. b107c4b Catch uses of undefined values when they are used in assignment, thus catching such bugs closer to the source. by Ted Kremenek · 15 years ago
  11. 05a2338 Merge ZeroSizedVLAChecker and UndefSizedVLAChecker. by Zhongxing Xu · 15 years ago
  12. dc998c1 Merge NullDerefChecker.[h,cpp] and UndefDerefChecker.[h,cpp]. They are essentially two parts of the same check. by Ted Kremenek · 15 years ago
  13. 5206f0b Pull VLA size checker into its own files. by Zhongxing Xu · 15 years ago
  14. 94943b6 Pull AttrNonNullChecker into its own files. by Zhongxing Xu · 15 years ago
  15. 8958fff Pull UndefinedArgChecker into its own files. by Zhongxing Xu · 15 years ago
  16. 4f64e5f Pull BadCallChecker into its own files. by Zhongxing Xu · 15 years ago
  17. 9e56d23 Move CheckDivZero into its own files. by Zhongxing Xu · 15 years ago
  18. 246a9ad Move UndefDerefChecker into its own file. by Zhongxing Xu · 15 years ago
  19. d86caaa Move NullDerefChecker.h instead a 'Checkers' subdirectory. by Ted Kremenek · 15 years ago
  20. bc3a021 Move all logic for the null dereference checker from GRExprEngineInternalChecks.cpp to a separate .cpp file. by Ted Kremenek · 15 years ago
  21. 3f214b3 Fix accidental use of CheckSVal instead of CheckLocation, and add a by Ted Kremenek · 15 years ago
  22. ec9227f Move NullDeref and UndefDeref into their own checker. by Zhongxing Xu · 15 years ago
  23. 524e465 Rename: CheckBadDiv->CheckDivZero. by Zhongxing Xu · 15 years ago
  24. 112ba7e Shorten the static analyzer diagnostic for 'use of garbage value'. by Ted Kremenek · 15 years ago
  25. 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
  26. 24c411b Fix static analyzer regression when emitting undefined value warnings by Ted Kremenek · 15 years ago
  27. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
  28. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  29. 970e03a Fix regression introduced in r80786 and reported in PR 4867. We should use by Ted Kremenek · 15 years ago
  30. d2a8775 remove a debug output I introduced in the last commit. by Zhongxing Xu · 15 years ago
  31. 6403b57 Refactor the check for bad divide into a checker. by Zhongxing Xu · 15 years ago
  32. d99f361 Refactor bad callee check into a Checker. by Zhongxing Xu · 15 years ago
  33. 904e1e3 Still use BadArg bugtype in the checker. This saves us implement registerInitialVisitors by Zhongxing Xu · 15 years ago
  34. 27a36e9 Sentence-case bug category. by Ted Kremenek · 15 years ago
  35. 9a5bca3 Refactor undefined argument checking into a Checker. by Zhongxing Xu · 15 years ago
  36. 0878007 ConstraintManager::AssumeDual now accepts a 'DefinedSVal' instead of 'SVal' for by Ted Kremenek · 15 years ago
  37. 592362b Enhance static analyzer diagnostics by introducing a new 'EnhancedBugReporter' by Ted Kremenek · 15 years ago
  38. 031ccc0 Last step of template cleanup: merge *BuilderImpl to *Builder. by Zhongxing Xu · 15 years ago
  39. c5619d9 As GRState seems general enough, it is time to merge some template classes by Zhongxing Xu · 15 years ago
  40. bb97722 Fix regression in attribute 'nonnull' checking when a transition node by Ted Kremenek · 15 years ago
  41. 3111218 Mark destructor of Checker virtual. by Ted Kremenek · 15 years ago
  42. 5f85e17 Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. by Ted Kremenek · 15 years ago
  43. c26a8b0 Migrate the path-sensitive checking of 'nonnull' arguments over to the new by Ted Kremenek · 15 years ago
  44. 5350066 Move bug reporter "visitors" to their own file and make them part of the public by Ted Kremenek · 15 years ago
  45. f495456 Remove ASTContext::isObjCObjectPointerType(). by Steve Naroff · 15 years ago
  46. 40b598e Remove the ASTContext parameter from the attribute-related methods of Decl. by Argyrios Kyrtzidis · 15 years ago
  47. 233e913 Remove GRStateManager::GetSValAsScalarOrLoc()/GetSVal(). by Ted Kremenek · 15 years ago
  48. a43484a MemRegions: by Ted Kremenek · 15 years ago
  49. 23ec48c Move clients over from using GRStateManager::BindXXX and friends to by Ted Kremenek · 15 years ago
  50. a591bc0 libAnalysis: by Ted Kremenek · 15 years ago
  51. 68584ed Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>. by Douglas Gregor · 15 years ago
  52. 725b747 Use dyn_cast instead of cast to allow our assumptions to be safely wrong. by Ted Kremenek · 15 years ago
  53. 85ac934 Cleanup internal checks bug reporting, allowing intermediate diagnostics to be generated for bad argument warnings, bad branches, etc. by Ted Kremenek · 15 years ago
  54. 0c31317 Enhance diagnostics value tracking logic for null dereferences and uninitialized values. by Ted Kremenek · 15 years ago
  55. eaedfea analyzer: by Ted Kremenek · 15 years ago
  56. 7704a33 More attribute renaming: by Ted Kremenek · 15 years ago
  57. dd986cc Add preliminary support for enhancing null-pointer dereference diagnostics. by Ted Kremenek · 15 years ago
  58. d49967f BugReporter/PathDiagnostics: by Ted Kremenek · 15 years ago
  59. 369f447 get a CodeTextRegion when visiting FunctionDecl reference. by Zhongxing Xu · 15 years ago
  60. 899b3de New static analyzer check by Nikita Zhuk! by Ted Kremenek · 15 years ago
  61. 0fa9654 Remove period. by Ted Kremenek · 15 years ago
  62. 5d88ff8 Title-case the names of bug types. by Ted Kremenek · 15 years ago
  63. 17a8e07 Adjust wording of bug names. by Ted Kremenek · 16 years ago
  64. 21fe837 Implemented simple check in <rdar://problem/6600344>: When the receiver of a by Ted Kremenek · 16 years ago
  65. faea269 Tidy up bug descriptions. by Ted Kremenek · 16 years ago
  66. cf118d4 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 16 years ago
  67. f7cf85b more SourceLocation lexicon change: instead of referring to the by Chris Lattner · 16 years ago
  68. 159d248 [static analyzer] Extend VLA size checking to look for undefined sizes. by Ted Kremenek · 16 years ago
  69. efd5994 Add checking for zero-sized VLAs. by Ted Kremenek · 16 years ago
  70. 1c0c233 Add out-of-bound memory access warning report code. by Zhongxing Xu · 16 years ago
  71. 5917d78 - Clean up transfer function logic for 'return' statements. by Ted Kremenek · 16 years ago
  72. de8cd19 Enhance return-of-stack-address checker to recognize regions created by alloca(). by Ted Kremenek · 16 years ago
  73. ad51a60 Use llvm::raw_string_ostream instead of std::ostringstream. by Ted Kremenek · 16 years ago
  74. 8aed806 Enhance path-sensitive return-of-stack-address check to print out the line number of a compound literal (whose address is being returned) instead of printing out the hex representation of the pointer address of the CompoundLiteralExpr. by Ted Kremenek · 16 years ago
  75. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
  76. 9e24049 This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes. by Ted Kremenek · 16 years ago
  77. 2713347 Built-in checks now have a category: "Logic Errors" by Ted Kremenek · 16 years ago
  78. 8c036c7 Add "category" to BugTypes, allowing bugs to be grouped. by Ted Kremenek · 16 years ago
  79. 4adc81e Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 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. b7714b2 Add range highlighting for path-sensitive return-of-stack-address check. by Ted Kremenek · 16 years ago
  82. 78d4624 Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp. by Ted Kremenek · 16 years ago