Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / bd8405898be641ad9574b210fb70c5d449cef578 / lib / Analysis
  1. 4985e3e Add PreVisitReturn to Malloc checker. Now we can recognize returned memory by Zhongxing Xu · 15 years ago
  2. 243fde9 Add EvalEndPath interface to Checker. Now we can check memory leaked at the by Zhongxing Xu · 15 years ago
  3. c5419cc Clear the dest set. by Zhongxing Xu · 15 years ago
  4. a4923eb First part of changes to eliminate problems with cv-qualifiers and by Douglas Gregor · 15 years ago
  5. 652be34 * Do the same thing to the basicstore as in r84163. by Zhongxing Xu · 15 years ago
  6. 1eacb72 Remove an unused parameter. by Zhongxing Xu · 15 years ago
  7. d02e232 Change *BugReport constructors to take StringRefs. by Benjamin Kramer · 15 years ago
  8. 73099bf Move definition of GRExprEngine::ProcessEndPath() out-of-line. by Ted Kremenek · 15 years ago
  9. 8382cf5 Add clang-cc option "--analyzer-experimental-internal-checks". This by Ted Kremenek · 15 years ago
  10. fc7ac8f Malloc checker basically works now. by Zhongxing Xu · 15 years ago
  11. 7b76096 Hook up Malloc checker. by Zhongxing Xu · 15 years ago
  12. 9400613 Check in a new interface of Checker, which will soon be used. by Zhongxing Xu · 15 years ago
  13. ccd373a GRStateManager::CurrentStmt is not used. Remove it. by Zhongxing Xu · 15 years ago
  14. f0d8fff Pull static variable within function (for slightly faster startup time). by Ted Kremenek · 15 years ago
  15. b7ddd9b retain/release checker: refactor some of the summary lookup logic for instance method summaries. No real functionality change, but it paves the way for new enhancements. by Ted Kremenek · 15 years ago
  16. eb94113 Add clang-cc option "-analyzer-experimental-checks" to enable experimental path-sensitive checks. The idea is to separate "barely working" or "skunkworks" checks from ones that should always run. Later we need more fine-grain checker control. by Ted Kremenek · 15 years ago
  17. 221089b Fix MSVC build. by Benjamin Kramer · 15 years ago
  18. d430786 update CMakefile by Zhongxing Xu · 15 years ago
  19. 589c0f2 Add boilerplate logic for a malloc/free checker. by Zhongxing Xu · 15 years ago
  20. fe37d04 PthreadLockChecker doesn't need PreVisitCallExpr() yet. All the current logic should be done in PostVisitCallExpr() by Ted Kremenek · 15 years ago
  21. ac9bea8 Add most of the boilerplate logic for a simple pthread_mutux_lock() -> pthread_mutex_unlock() checker. We need to add a visitor method to Checker for handling dead symbols in order to detect locks that are not unlocked. by Ted Kremenek · 15 years ago
  22. 1acfe8e Remove obsolete 'struct NullDerefTag'. by Ted Kremenek · 15 years ago
  23. 31a241a Enhance Checker class (and GRExprEngine) to support PostVisitation for CallExprs. No clients (yet). by Ted Kremenek · 15 years ago
  24. 7422db3 Remove GRExprEngine::EvalCall(). It had a single callsite in GRExprEngine, and was easily inlined. by Ted Kremenek · 15 years ago
  25. e884ff8 Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal. by Zhongxing Xu · 15 years ago
  26. 10f51e8 Remove some stale ErrorNodes variables in GRExprEngine and the old buffer overflow logic in GRExprEngineInternalChecks.cpp. by Ted Kremenek · 15 years ago
  27. 0059f1c After drinking caffeine, add the two files missing from the previous submit. by Chandler Carruth · 15 years ago
  28. f465e85 Move the ManagerRegistry to the Analysis library to resolve the layering violation. by Chandler Carruth · 15 years ago
  29. d694485 Add undefined array subscript checker. by Zhongxing Xu · 15 years ago
  30. 6cc46ed Remove the old out-of-bound checking code. by Zhongxing Xu · 15 years ago
  31. 58e689f Reimplement out-of-bound array access checker with the new checker interface. by Zhongxing Xu · 15 years ago
  32. b991f48 ReturnPointerRangeChecker: use StripCasts() instead of checking for zero index by Zhongxing Xu · 15 years ago
  33. ead2a5e Update CMake. by Daniel Dunbar · 15 years ago
  34. de7d800 CastToStructChecker: use 'isStructureType()' instead of 'isRecordType()' to determine if a pointer is casted to a struct pointer. This fixes an observed false positive when a value is casted to a union. by Ted Kremenek · 15 years ago
  35. 1d9cbeb Fix display of "ANALYZE" statements in AnalysisConsumer by correctly resetting the flag indicating that the current Decl* has not yet been displayed. Also move this out of AnalysisManager, since AnalysisManager should not handle text output to the user. by Ted Kremenek · 15 years ago
  36. f493f49 Remove public headers for UndefinedArgChecker, AttrNonNullChecker, and BadCallChecker, making their implementations completely private. by Ted Kremenek · 15 years ago
  37. b4b817d Refactor DereferenceChecker to use only the new Checker API instead of by Ted Kremenek · 15 years ago
  38. b6aa69a Ignore parentheses when check the type of the expr. by Zhongxing Xu · 15 years ago
  39. 37e9c47 SizeofPointerChecker: Many false positives have the form 'sizeof *p'. by Zhongxing Xu · 15 years ago
  40. cbe091f Now we can safely use the argument expression's source range. by Zhongxing Xu · 15 years ago
  41. 52cb277 SizeofPointerChecker: If an explicit type specifier is used, do not issue warnings. by Zhongxing Xu · 15 years ago
  42. 572ea26 Use the source range of the whole sizeof expression, otherwise it crashes when by Zhongxing Xu · 15 years ago
  43. adca271 Refine PointerSubChecker: compare the base region instead of the original by Zhongxing Xu · 15 years ago
  44. 479529e Rename: StripCasts describes what it does better. by Zhongxing Xu · 15 years ago
  45. 3958b50 Fix clang's use of DenseMap iterators after r86636 fixed their constness. by Jeffrey Yasskin · 15 years ago
  46. 89c49f0 Make sure that Type::getAs<ArrayType>() (or Type::getAs<subclass of by Douglas Gregor · 15 years ago
  47. 99ef53a Remove stale FIXME. by Ted Kremenek · 15 years ago
  48. ede7eb2 Add check for pointer arithmetic on non-array variables. by Zhongxing Xu · 15 years ago
  49. bd842e3 Add check for obsolete function call of getpw(). by Zhongxing Xu · 15 years ago
  50. b23c869 remove redundant file name in CMakeLists.txt. by Zhongxing Xu · 15 years ago
  51. 483bfaa update CMakeList.txt by Zhongxing Xu · 15 years ago
  52. 671b9e2 Update CMake by Daniel Dunbar · 15 years ago
  53. aa30b3b Add comments. by Zhongxing Xu · 15 years ago
  54. 4f3dc69 Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer. by Zhongxing Xu · 15 years ago
  55. 2900ca3 Update CMake by Daniel Dunbar · 15 years ago
  56. dfed7a1 Put all long strings in 80-col. by Zhongxing Xu · 15 years ago
  57. b10a7c2 Add checker for CWE-587: Assignment of a Fixed Address to a Pointer. by Zhongxing Xu · 15 years ago
  58. 3ce2dc3 Add checker for CWE-469: Use of Pointer Subtraction to Determine Size. This by Zhongxing Xu · 15 years ago
  59. c24e9f3 Add a test case for CWE-467, and simplify the wording of the warning. by Zhongxing Xu · 15 years ago
  60. 7033d61 Update CMake file. by Benjamin Kramer · 15 years ago
  61. 28a109f Add a checker for CWE-467: Use of sizeof() on a Pointer Type. by Zhongxing Xu · 15 years ago
  62. 31d8cad Use SaveAndRestore to simplify logic in LiveVariables::runOnAllBlocks(). Patch by Kovarththanan Rajaratnam! by Ted Kremenek · 15 years ago
  63. ae16233 Remove Checker::CheckType() (and instead using CheckerVisitor::PreVisitDeclStmt()), and refactor VLASizeChecker to have only one Checker subclass (not two) and to not use the node builders directly (and instead use the newer CheckerContext). by Ted Kremenek · 15 years ago
  64. 84b3595 Make the VLASizeChecker implementation private, and its creation only known to GRExprEngineInternalChecks.cpp. by Ted Kremenek · 15 years ago
  65. 36df58a Make the implementation of DivZeroChecker private. by Ted Kremenek · 15 years ago
  66. 6f516f5 Sentence-case bug type, and pull tests from region-only-test.c into misc-ps-region.store.m (removing an extra unneeded test file). Also add a bunch of FIXME comments for future enhancements. by Ted Kremenek · 15 years ago
  67. abbbfd9 add some const qualifiers, patch by Kovarththanan Rajaratnam! by Chris Lattner · 15 years ago
  68. ceeb02d Add a checker for CWE-466: Return of Pointer Value Outside of Expected Range. by Zhongxing Xu · 15 years ago
  69. 1053d24 static analyzer: refactor checking logic for returning the address of a stack variable or a garbage by Ted Kremenek · 15 years ago
  70. 2c791bd Minor cleanup: use BuiltinBug (which will soon be renamed) for DeferenceChecker and friends so that they always report the same bug type. by Ted Kremenek · 15 years ago
  71. ae78447 Tweak wording and classifications of analyzer diagnostics. by Ted Kremenek · 15 years ago
  72. 50ecd15 Modify GRExprEngine::EvalBind() to take both a "store expression" and by Ted Kremenek · 15 years ago
  73. 29d63fc Update CMake. by Daniel Dunbar · 15 years ago
  74. 0360af5 Add FIXME. by Ted Kremenek · 15 years ago
  75. 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
  76. 05a2338 Merge ZeroSizedVLAChecker and UndefSizedVLAChecker. by Zhongxing Xu · 15 years ago
  77. f6f56d4 Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*, and modify GRExprEngine::EvalBind() to handle decl initialization as well. This paves the way for adding "checker" visitation in EvalBind(). by Ted Kremenek · 15 years ago
  78. 1fb7d0c Change GRTransferFuncs::RegisterChecks() to take a GRExprEngine& instead of a BugReporter&. This paves the way for pulling some of the retain/release checker into a "Checker" class. by Ted Kremenek · 15 years ago
  79. dc998c1 Merge NullDerefChecker.[h,cpp] and UndefDerefChecker.[h,cpp]. They are essentially two parts of the same check. by Ted Kremenek · 15 years ago
  80. 9d645b3 Update CMakeLists. by Benjamin Kramer · 15 years ago
  81. 5206f0b Pull VLA size checker into its own files. by Zhongxing Xu · 15 years ago
  82. 54cb7cc Implement: <rdar://problem/6250216> Warn against using -[NSAutoreleasePool release] in GC mode by Ted Kremenek · 15 years ago
  83. d5925bd Move 'static inline' functions GetNullarySelector() and GetUnarySelector() from CFRefCount.cpp to ASTContext.h. These functions are likely to be generally useful. by Ted Kremenek · 15 years ago
  84. 94943b6 Pull AttrNonNullChecker into its own files. by Zhongxing Xu · 15 years ago
  85. df5fd83 Update CMake file. by Zhongxing Xu · 15 years ago
  86. 29e0ef2 Rename NSErrorCheck to NSErrorChecker. by Ted Kremenek · 15 years ago
  87. ddceb0a Update CMake file. by Ted Kremenek · 15 years ago
  88. 8958fff Pull UndefinedArgChecker into its own files. by Zhongxing Xu · 15 years ago
  89. 4f64e5f Pull BadCallChecker into its own files. by Zhongxing Xu · 15 years ago
  90. 002174f retain/release checker: CGBitmapContextCreateWithData() returns an owned object. by Ted Kremenek · 15 years ago
  91. 882a51e retain/release checker: Add special handling of CGBitmapContextCreateWithData(). by Ted Kremenek · 15 years ago
  92. 0296c22 Remove GRExprEngine::CheckerVisitLocation(). It was only called in one place, so we inlined it in to GRExprEngine::EvalLocation(). by Ted Kremenek · 15 years ago
  93. 7e36e95 Update CMake file. by Benjamin Kramer · 15 years ago
  94. 9e56d23 Move CheckDivZero into its own files. by Zhongxing Xu · 15 years ago
  95. 246a9ad Move UndefDerefChecker into its own file. by Zhongxing Xu · 15 years ago
  96. ff04174 fix 80-col. by Zhongxing Xu · 15 years ago
  97. 12e6f03 Tighten computation of ExprVal using ?: expression. No functionality change. by Ted Kremenek · 15 years ago
  98. 094bef5 Make checkers run in deterministic order. by Ted Kremenek · 15 years ago
  99. d86caaa Move NullDerefChecker.h instead a 'Checkers' subdirectory. by Ted Kremenek · 15 years ago
  100. bc3a021 Move all logic for the null dereference checker from GRExprEngineInternalChecks.cpp to a separate .cpp file. by Ted Kremenek · 15 years ago