Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 5a9bd1169347783112b1fb472a2d8a177529ba73 / lib / Analysis
  1. 8524873 Teach RegionStore::InvalidateRegions() to also invalidate static variables referenced by blocks. by Ted Kremenek · 14 years ago
  2. 74d56a1 Move ParseFormatString() and FormatStringHandler back into the analyze_printf namespace. by Ted Kremenek · 14 years ago
  3. f911eba Add format string type checking support for 'long double'. by Ted Kremenek · 14 years ago
  4. 01aefc6 Recognize 'q' as a format length modifier (from BSD). by Daniel Dunbar · 14 years ago
  5. c9a89fe Add format string checking of 'double' arguments. Fixes <rdar://problem/6931734>. by Ted Kremenek · 14 years ago
  6. 40888ad Fix spacing. by Ted Kremenek · 14 years ago
  7. 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 · 14 years ago
  8. 4dcb18f Enhancements to the alternate (WIP) format string checking: by Ted Kremenek · 14 years ago
  9. 808015a Alternate format string checking: issue warnings for incomplete format specifiers. by Ted Kremenek · 14 years ago
  10. 26ac2e0 Alternate format string checking: issue a warning for invalid conversion specifiers. by Ted Kremenek · 14 years ago
  11. 4b220fa Yet another attempt to make the Linux buildbots happy. Apparently there are differences on how nested namespaces are handled... by Ted Kremenek · 14 years ago
  12. d7a3f01 Move definition of FormatStringHandler::~FormatStringHandler() within namespace directives. Hopefully this will make the Linux buildbots happy. by Ted Kremenek · 14 years ago
  13. 0d27735 Add precision/field width checking to AlternateCheckPrintfString(). by Ted Kremenek · 14 years ago
  14. e729acb Fix off-by-one error in ParseFormatSpecifier() when reporting the location of a null character. by Ted Kremenek · 14 years ago
  15. a8d8fec Add position of conversion specifier character to 'ConversionSpecifier'. by Ted Kremenek · 14 years ago
  16. d2dcece Rename namespace clang::printf to clang::analyze_printf to avoid problems where the reference to 'printf' is ambiguous. by Ted Kremenek · 14 years ago
  17. d5f2096 Allow HandleFormatSpecifier() to indicate that no more processing of the format string is desired. by Ted Kremenek · 14 years ago
  18. c7cbb9b Add '@' conversion specifier. by Ted Kremenek · 14 years ago
  19. f291976 Remove invalid conversion specifiers from format string checking. by Ted Kremenek · 14 years ago
  20. c7ae51a Add a few more conversion specifiers to ParseFormatSpecifier (these appear in SemaChecking). by Ted Kremenek · 14 years ago
  21. 8f0a1c7 Add skeleton for a more structured way to analyzing pring format by Ted Kremenek · 14 years ago
  22. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 14 years ago
  23. 0bb46d2 -fno-rtti is now the default. by Chris Lattner · 14 years ago
  24. b79b117 Process cast according to the cast kind. Prepare for more specific cast by Zhongxing Xu · 14 years ago
  25. 55f988e Improve unreachable code warnings with respect to dead binary and by Mike Stump · 14 years ago
  26. 4c45aa1 Speed up compilation by avoiding generating exceptional edges from by Mike Stump · 14 years ago
  27. b978a44 Add infrastructure to add base initializers and member initializers to by Mike Stump · 14 years ago
  28. 3689791 Correct comments. by Zhongxing Xu · 14 years ago
  29. f00cca5 Wire up the EH context for the catch clauses to the outer EH context. WIP. by Mike Stump · 14 years ago
  30. a1f9363 Add an exceptional edge from the try terminated block to the outer EH by Mike Stump · 14 years ago
  31. 079bd72 Add CFG support for the start and end of scopes and infrastructure for by Mike Stump · 14 years ago
  32. 3fa1e4b Tighten code and rework indentation of some if() branches (for readability). No functionality change. by Ted Kremenek · 14 years ago
  33. 6db0ad3 Remove extra space in uses of 'assert()'. by Ted Kremenek · 14 years ago
  34. 021c8af Re-alphabetize cases in switch statement. by Ted Kremenek · 14 years ago
  35. c39b2bd Fix a serious bug: Tmp3 is the wrong destination set. We should create a new by Zhongxing Xu · 14 years ago
  36. 5d1d202 Add try/catch CFG support. Also improve throw CFG support. WIP. by Mike Stump · 14 years ago
  37. 3ed04d3 Add support for computing size in elements for symbolic regions obtained from by Zhongxing Xu · 14 years ago
  38. 7e3cda9 If the symbol has not been tracked, do not free it. This is possible when free by Zhongxing Xu · 14 years ago
  39. 88c8bc8 Don't suggest the developer use 'arc4random' instead of 'rand' when that function is not available. Fixes PR 6012. by Ted Kremenek · 14 years ago
  40. c213b48 Teach BugReporter to "escape" the occurance of '%' characters in diagnostic messages when emitted results to the standard Diagnostics output. Fixes PR 6033. by Ted Kremenek · 14 years ago
  41. 8b93171 Convert a few more uses of std::string& to llvm::StringRef. by Ted Kremenek · 14 years ago
  42. 7b81e8f Fix pr6035. by Zhongxing Xu · 14 years ago
  43. fa6ef18 Add an unreachable code checker. by Mike Stump · 14 years ago
  44. c027e54 Fix pasto. by Benjamin Kramer · 14 years ago
  45. e45c149 Avoid use of deprecated functions (CStrInCStrNoCase and StringsEqualNoCase). by Benjamin Kramer · 14 years ago
  46. 199c3d6 Roll out ASTContext::getTypeSizeInChars(), replacing instances of by Ken Dyck · 14 years ago
  47. 951b334 Enhance ScanReachableSymbols::scan(). Now another OSAtomic test case passes. by Zhongxing Xu · 14 years ago
  48. 604848a Enhance SVals::getAsRegion: get the region that is converted to an integer. by Zhongxing Xu · 14 years ago
  49. c50e6df Switch RegionStore over to using <BaseRegion+raw offset> to store by Ted Kremenek · 14 years ago
  50. 1c1ae6b Preliminary reworking of value-binding logic in RegionStore: by Ted Kremenek · 14 years ago
  51. 4a749b9 Fix overzealous assertion in GRExprEngine::VisitLValue(). A by Ted Kremenek · 15 years ago
  52. 7960ec3 Fix broken diagnostic when returning the address of a stack-allocated array. by Ted Kremenek · 15 years ago
  53. bc37b8d When binding an rvalue to a reference, create a temporary object. Use by Zhongxing Xu · 15 years ago
  54. 48569f9 Fix handling in GRExprEngine of 'default' branch in switch statements by Ted Kremenek · 15 years ago
  55. 5ea95fc Revert r92318. Instead fix the analyzer: do not call by Zhongxing Xu · 15 years ago
  56. de0d263 Make static analysis support for C++ 'this' expression context-sensitive. Essentially treat 'this' as a implicit parameter to the method call, and associate a region with it. by Ted Kremenek · 15 years ago
  57. 32a5808 Remove references to 'Checker' and 'GRTransferFuncs' from by Ted Kremenek · 15 years ago
  58. b94b81a Let constraint manager inform checkers that some assumption logic has happend. by Zhongxing Xu · 15 years ago
  59. 84eaeff Simplify code by using an equivalent template class. by Zhongxing Xu · 15 years ago
  60. 54d76db Remove some dead variables clang-analyzer found. by Benjamin Kramer · 15 years ago
  61. 9c825c3 Fix typo spotted by MSVC. by Benjamin Kramer · 15 years ago
  62. 62d399e As Ted suggested, record the callsite information with the StackFrameContext. by Zhongxing Xu · 15 years ago
  63. bfbcefb Enhance dataflow analyses to recognize branch statements in the CFG used as hooks for the initialization of condition variables. by Ted Kremenek · 15 years ago
  64. 598278b Inter-procedural analysis: now we can return from the callee. by Zhongxing Xu · 15 years ago
  65. 919f066 Teach GRExprEngine to handle the initialization of the condition variable of a ForStmt. by Ted Kremenek · 15 years ago
  66. 58b87fe Add CFG support for the initializer of the condition variable of a ForStmt. by Ted Kremenek · 15 years ago
  67. 4ec010a CFG tweak: in a WhileStmt, the condition variable initializer is evaluated every time the condition is checked. by Ted Kremenek · 15 years ago
  68. 4c508a1 Teach GRExprEngine to handle the initialization of the condition variable of a WhileStmt. by Ted Kremenek · 15 years ago
  69. 7652546 Add CFG support for the initializer of the condition variable of a WhileStmt. by Ted Kremenek · 15 years ago
  70. fcfb503 Teach GRExprEngine to handle the initialization of the condition variable of a SwitchStmt. by Ted Kremenek · 15 years ago
  71. 6b501eb Add CFG support for the initializer of the condition variable of a SwitchStmt. by Ted Kremenek · 15 years ago
  72. 8a69366 Tidy up FindSubExprAssignments to not deference the child_iterator multiple times. by Ted Kremenek · 15 years ago
  73. 2550d70 move a few more symbols to .rodata/.data.rel.ro by Nuno Lopes · 15 years ago
  74. 3ff8481 Migrate the call inliner to the Checker interface. by Zhongxing Xu · 15 years ago
  75. cb74d72 For inter-procedural analysis, predecessor node may be in another function. by Zhongxing Xu · 15 years ago
  76. 61dfbec Add CFG support for the condition variable that can appear in IfStmts in C++ mode. by Ted Kremenek · 15 years ago
  77. 604d939 Suppress dead store warnings involving objects initialized with CXXExprTemporaries. by Ted Kremenek · 15 years ago
  78. e59df87 Add stack trace pretty printing in GRExprEngine::VisitLValue(). by Ted Kremenek · 15 years ago
  79. c8be365 Teach GRExprEngine::VisitLValue to ignore CXXExprWithTempories (for now). by Ted Kremenek · 15 years ago
  80. 5bbc8e7 Fix PR 5857. When casting from a symbolic region to an integer back to a pointer value, we were not correctly layering the correct ElementRegion on the original SymbolicRegion. by Ted Kremenek · 15 years ago
  81. 7931c93 Teach GRExprEngine::VisitLValue that we don't handle CXXZeroInitValueExprs yet. by Ted Kremenek · 15 years ago
  82. 077a40d Also treat the type of the subexpression as a pointer in GRExprEngine::VisitCast when the expression is handled as an lvalue. by Ted Kremenek · 15 years ago
  83. 949bdb4 Add basic support for analyzing CastExprs as lvalues. by Ted Kremenek · 15 years ago
  84. 38ac4f5 Add transfer functions support for visiting an Objective-C message expression as an lvalue when the return type is a C++ reference. by Ted Kremenek · 15 years ago
  85. 944ebc6 Add comments. by Zhongxing Xu · 15 years ago
  86. 910e408 Use the FunctionDecl's result type to know exactly if it returns a reference. by Zhongxing Xu · 15 years ago
  87. 5328751 Enhance GRExprEngine::VisitCallExpr() to be used in an lvalue context. Uncovered a new failing test case along the way, but we're making progress on handling C++ references in the analyzer. by Ted Kremenek · 15 years ago
  88. 7f14e6f Tweak formatting and comments. by Ted Kremenek · 15 years ago
  89. 3cead90 Convert GRExprEngine::VisitCallExpr() to use a worklist instead of recursion to evaluate the arguments of a CallExpr. This simplifies the logic and makes it easier to read. (it also avoids any issues with blowing out the stack if the CallExpr had a ridiculous number of arguments) by Ted Kremenek · 15 years ago
  90. 5974ec5 Reduce nesting by using early exits. No functionality change. by Ted Kremenek · 15 years ago
  91. 82a64e5 Sort switch statement. No functionality change. by Ted Kremenek · 15 years ago
  92. 5f75f92 Fix check in GRExprEngine for the 'main' function to handle NULL IdentifierInfo*'s. by Ted Kremenek · 15 years ago
  93. c410d4d Completely remove ObjCObjectRegion (tests pass this time). by Ted Kremenek · 15 years ago
  94. a07cb93 Temporarily revert 91553. by Ted Kremenek · 15 years ago
  95. bc73b59 Remove use of ObjCObjectRegion from BasicStoreManager. by Ted Kremenek · 15 years ago
  96. bb14121 Add a new kind of region: CXXObjectRegion. Currently it has only one by Zhongxing Xu · 15 years ago
  97. 48c6d18 Teach RetainSummaryManager::getSummary(FunctionDecl* FD) that 'FD->getIdentifier()' will not always return a non-null IdentifierInfo*. by Ted Kremenek · 15 years ago
  98. a0f7727 Teach OSAtomicChecker that a FunctionDecl's name isn't always a simple IdentifierInfo*. by Ted Kremenek · 15 years ago
  99. b01a322 Teach NoReturnFunctionChecker that FunctionDecl::getIdentifier() is not guaranteed to return a non-null IdentifierInfo*. by Ted Kremenek · 15 years ago
  100. 852274d Add (initial?) static analyzer support for handling C++ references. by Ted Kremenek · 15 years ago