Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 0b36e614aa19df72885d5e0de996f7fbb9874ec3 / lib / Analysis
  1. 4e0cfa8 Improve CFG printing support for CXXOperatorCallExpr and CXXBindTemporaryExpr. by Ted Kremenek · 14 years ago
  2. a427f1d Explicitly handle CXXOperatorCallExpr when building CFGs. We should treat it the same as CallExprs. by Ted Kremenek · 14 years ago
  3. 5722b14 Revert my lame attempt at appeasing the CFGBuilder by Douglas Gregor · 14 years ago
  4. 35fe7ee Teach the CFGBuilder not do die on CXXBindTemporaryExpr, CXXOperatorCallExpr. Fixes a Boost.Graph crasher. by Douglas Gregor · 14 years ago
  5. 91c83e7 Delete the relaxedLiveness object in the dtor of AnalysisContext. by Ted Kremenek · 14 years ago
  6. 47e331e Explicitly handle CXXExprWithTemporaries during CFG construction by just visiting the subexpression. While we don't do anything intelligent right now, this obviates a bogus -Wunreahable-code warning reported in PR 6130. by Ted Kremenek · 14 years ago
  7. ec49bf4 Add alternate version of LiveVariables analysis that does not kill liveness at assignments. This 'relaxed' liveness is useful in path sensitive analysis for situations where the resulting extended liveness allows us to find some bugs. by Tom Care · 14 years ago
  8. 916d054 Add missing null checks in PseudoConstantAnalysis by Tom Care · 14 years ago
  9. 967fea6 Improved the handling of blocks and block variables in PseudoConstantAnalysis by Tom Care · 14 years ago
  10. 2de56d1 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 14 years ago
  11. 9325eaf Fix printf format string checking for '%lc' (which expects a wint_t or compatible argument). Fixes PR 7981. by Ted Kremenek · 14 years ago
  12. ef52bcb Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis by Tom Care · 14 years ago
  13. db34ab7 Several small changes to PseudoConstantAnalysis and the way IdempotentOperationChecker uses it. by Tom Care · 14 years ago
  14. a7e6845 Detabify. by Eli Friedman · 14 years ago
  15. 245adab Added psuedo-constant analysis and integrated it into the false positive reduction stage in IdempotentOperationChecker. by Tom Care · 14 years ago
  16. 334c195 Fix horrible CFG bug caused by a series of NullStmts appearing at the beginning of a do...while loop. This would cause by Ted Kremenek · 14 years ago
  17. d173dc7 CFGBuilder: don't create the empty "loop back" block for DoStmts if the loop edge can never be taken. by Ted Kremenek · 14 years ago
  18. b5049d8 Fix a bug where child statements could not be identified as being in a CFGBlock in CFGStmtMap::getBlock. by Tom Care · 14 years ago
  19. eea0d93 Remove bonehead redeclaration. by Ted Kremenek · 14 years ago
  20. 0fc67e2 Fix CFGBuilder to not blow out the stack when processing deeply nested CaseStmts. Fixes <rdar://problem/8268753>. by Ted Kremenek · 14 years ago
  21. a6d6930 Add CFGStmtMap, which defines a mapping from Stmt* to CFGBlock*. The immediate intended use is in the unreachable code analysis. by Ted Kremenek · 14 years ago
  22. 9b823e8 Add -cc1 option '-unoptimized-cfg' to toggle using a CFG (for static analysis) that doesn't prune CFG edges. by Ted Kremenek · 14 years ago
  23. ad5a894 Add 'AnalysisContext::getUnoptimizedCFG()' to allow clients to get access to the original by Ted Kremenek · 14 years ago
  24. 96827eb Revert r109428 "Hoist argument type checking into CheckFormatHandler. This is prep for scanf format" by Michael J. Spencer · 14 years ago
  25. 3c46e8d Fix namespace polution. by Dan Gohman · 14 years ago
  26. f762905 Hoist argument type checking into CheckFormatHandler. This is prep for scanf format by Ted Kremenek · 14 years ago
  27. 2ce43c8 Make a bunch of new data structures for the new analysis by Zhongxing Xu · 14 years ago
  28. 1e51c20 Hookup checking for invalid length modifiers in scanf format strings. by Ted Kremenek · 14 years ago
  29. a412a49 Move 'hasValidLengthModifier' from PrintfFormatSpecifier to FormatSpecifier. by Ted Kremenek · 14 years ago
  30. 7fdba13 Cleanup whitespace in switch statement. No functionality change. by Ted Kremenek · 14 years ago
  31. 6ecb950 Add 'ConversionSpecifier' root class in 'analyze_format_string' namespace and by Ted Kremenek · 14 years ago
  32. de183a4 Rename 'UnicodeStrArg' to 'SArg'. by Ted Kremenek · 14 years ago
  33. 35d353b Rename 'ConsumedSoFarArg' -> 'nArg' and 'OutIntPtrArg' to 'nArg' (scanf and printf checking). by Ted Kremenek · 14 years ago
  34. 6693205 Rename 'VoidPtrArg' to 'pArg' in printf/scanf checking. by Ted Kremenek · 14 years ago
  35. 99196b1 Rename 'CStrArg' to 'sArg' for printf checking to match with the analagous enum for scanf checking. by Ted Kremenek · 14 years ago
  36. 92a6feb Rename analyze_printf::ConversionSpecifier::IntAsCharArg to 'cArg' to match by Ted Kremenek · 14 years ago
  37. be86ecc Add missing conversion specifier parsing for 'u', 'x', 'o', and 's'. Fixes <rdar://problem/8204052>. by Ted Kremenek · 14 years ago
  38. c6238d2 Reapply r108617. by Zhongxing Xu · 14 years ago
  39. 9638eef BUILD_ARCHIVE is the default for libraries, no need to set it. by Chris Lattner · 14 years ago
  40. ee30965 Revert r108617, it broke the build. by Benjamin Kramer · 14 years ago
  41. 69b8194 Prepare the analyzer for the callee in another translation unit: by Zhongxing Xu · 14 years ago
  42. b7c2101 Hook up warning for an incomplete scanlist in scanf format strings. by Ted Kremenek · 14 years ago
  43. d9c904d Add the main scanf-parsing logic that I meant to include in my previous commit. by Ted Kremenek · 14 years ago
  44. d20b24c Add missing header file. by Ted Kremenek · 14 years ago
  45. 826a345 Add most of the boilerplate support for scanf format string checking. This includes by Ted Kremenek · 14 years ago
  46. 0c293ea Type Type::isRealFloatingType() that vectors are not floating-point by Douglas Gregor · 14 years ago
  47. 4c60219 Printf format strings: Added some more tests and fixed some minor bugs. by Tom Care · 14 years ago
  48. f521d6e Bug 7394 - Fixed toString representation of Precisions in format strings. by Tom Care · 14 years ago
  49. e4ee966 Bug 7377: Fixed several bad printf format string bugs. by Tom Care · 14 years ago
  50. ee6e4b4 Update CMake build for new attribute changes. by Sean Hunt · 14 years ago
  51. 13927a4 Extend format string type-checking to include '%p'. Fixes remaining cases PR 4468. by Ted Kremenek · 14 years ago
  52. 876e994 Small fixes regarding printf fix suggestions. by Tom Care · 14 years ago
  53. c8c4b40 Fix a typo that breaks the GCC build. Turns out that Clang isn't by Douglas Gregor · 14 years ago
  54. 3bfc5f4 Added FixIt support to printf format string checking. by Tom Care · 14 years ago
  55. c4dec1c Makefiles: Set Clang CPP compiler flags in a single location, instead of scattered throughout the project Makefiles. by Daniel Dunbar · 14 years ago
  56. afed099 Makefile: Switch Clang Makefiles to always include the top-level Clang Makefile. by Daniel Dunbar · 14 years ago
  57. 5d55376 Assignments to reference variables shouldn't kill the variable. by Jordy Rose · 14 years ago
  58. df11989 Make addStmt always add stmt. Delegate other cases to Visit() directly. by Zhongxing Xu · 14 years ago
  59. fc61d94 CFG: add all LHS of assingments as lvalue. This improves support for C++ reference. Patch by Jordy. by Zhongxing Xu · 14 years ago
  60. 9a55591 Convert DeclNodes to use TableGen. by Sean Hunt · 14 years ago
  61. 3f64a0e Fix crash in CFG construction for 'break' statements appearing in statement expressions by Ted Kremenek · 14 years ago
  62. fadebba Don't add a null successor to a CFGBlock when the contents of an @synchronized statement is empty. by Ted Kremenek · 14 years ago
  63. 71b1d0e Unbreak CMake build. by Douglas Gregor · 15 years ago
  64. f42e337 Add null check in CFGBuilder::VisitStmt() to make CFG construction by Ted Kremenek · 15 years ago
  65. 862b24f Fix CFG crasher involving statement expressions reported in PR 6938. by Ted Kremenek · 15 years ago
  66. 21f6d6e Use direct assignment instead of user defined conversion. by Zhongxing Xu · 15 years ago
  67. c5354a2 CFGBuilder: always add C++ member call expr as block-level expr. by Zhongxing Xu · 15 years ago
  68. 115c1b9 Fix CFG bug where bases of member expressions were not always evaluated in a lvalue context. Fixes <rdar://problem/7813989>. by Ted Kremenek · 15 years ago
  69. 431ac2d Fix bug in AddStmtChoice:asLValue() where 'AsLValueNotAlwaysAdd' would not be treated as indicating an lvalue. by Ted Kremenek · 15 years ago
  70. 7ea2136 Sort visitor methods. No functionality change. by Ted Kremenek · 15 years ago
  71. 264ba48 the big refactoring bits of PR3782. by Rafael Espindola · 15 years ago
  72. 802c66e Be a bit more consistent in using operator-> by Rafael Espindola · 15 years ago
  73. fdb703a Fix '+=' accumulation error when parsing numeric amounts in a format string. by Ted Kremenek · 15 years ago
  74. d064fdc Only perform CFG-based warnings on 'static inline' functions that by Ted Kremenek · 15 years ago
  75. 3352406 Allow users to set CPPFLAGS and CXXFLAGS on the make command line. by Jeffrey Yasskin · 15 years ago
  76. 2cfe28b When computing in AnalysisContext the variables referenced by Ted Kremenek · 15 years ago
  77. 792bea9 Simplify code a bit and remove unneeded semicolons. by Benjamin Kramer · 15 years ago
  78. ead78fd Fix an algorithmic bug in LiveVariables pointed out by Zhongxing. by Ted Kremenek · 15 years ago
  79. 5ba290a [CFG] by Ted Kremenek · 15 years ago
  80. 15f6b42 Register all parameters even if they didn't occur in the function body. by Zhongxing Xu · 15 years ago
  81. d49d877 Allow a '0' precision in format strings (as the man page says it is okay). by Ted Kremenek · 15 years ago
  82. efaff19 For printf format string checking, add support for positional format strings. by Ted Kremenek · 15 years ago
  83. 7f70dc8 For printf format string checking, move the tracking of the data argument index out of by Ted Kremenek · 15 years ago
  84. 9107166 Always add CallExpr as block-level expression. Inline-based interprocedural by Zhongxing Xu · 15 years ago
  85. 87260c7 Add support for '%C' and '%S' printf conversion specifiers. by Ted Kremenek · 15 years ago
  86. 72919a3 Move the rest of the unreachable code analysis from libSema by Ted Kremenek · 15 years ago
  87. 3d2eed8 Start moving some of the logic for the unreachable code analysis out of libSema by Ted Kremenek · 15 years ago
  88. c3daac5 Revert "Simplify code: Succ is guaranteed to be not NULL.", which turns out to by Daniel Dunbar · 15 years ago
  89. 8414a8c Simplify code: Succ is guaranteed to be not NULL. by Zhongxing Xu · 15 years ago
  90. 8ddf7ce Add a utility method. by Zhongxing Xu · 15 years ago
  91. 4e4b30e Refactor the logic for printf argument type-checking into analyze_printf::ArgTypeResult. by Ted Kremenek · 15 years ago
  92. df17f9d Convert tabs to spaces. by Ted Kremenek · 15 years ago
  93. 8524873 Teach RegionStore::InvalidateRegions() to also invalidate static variables referenced by blocks. by Ted Kremenek · 15 years ago
  94. 74d56a1 Move ParseFormatString() and FormatStringHandler back into the analyze_printf namespace. by Ted Kremenek · 15 years ago
  95. f911eba Add format string type checking support for 'long double'. by Ted Kremenek · 15 years ago
  96. 01aefc6 Recognize 'q' as a format length modifier (from BSD). by Daniel Dunbar · 15 years ago
  97. c9a89fe Add format string checking of 'double' arguments. Fixes <rdar://problem/6931734>. by Ted Kremenek · 15 years ago
  98. 40888ad Fix spacing. by Ted Kremenek · 15 years ago
  99. 33567d2 Per a suggestion from Cristian Draghici, add a method to FormatSpecifier that returns the expected type of the matching data argument. It isn't complete, but should handle several of the important cases. by Ted Kremenek · 15 years ago
  100. 4dcb18f Enhancements to the alternate (WIP) format string checking: by Ted Kremenek · 15 years ago