Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 19b78d9e3dbbc27bbcbdd8c3017a00fe88849ecd / lib / Analysis
  1. 5281b8e print asLValue attribute of CFGStmt. by Zhongxing Xu · 15 years ago
  2. 94a3dcf Refactor AddStmtChoice to make it easier to use; also add comments on how the class works. Reviewed by kremenek. by Zhanyong Wan · 15 years ago
  3. 36f327c Stylistic changes to CFG.cpp: by Zhanyong Wan · 15 years ago
  4. 99cae5b Fix PR8419. Reviewed by kremenek and xuzhongxing. by Zhanyong Wan · 15 years ago
  5. 2e6c19a The 'X' printf type has a valid alternative form. Fixes PR8641. by Anders Carlsson · 15 years ago
  6. e4ae4dc Remove invalid assertion from CFG builder. When building the CFG pieces for a ternary '?' expression, by Ted Kremenek · 15 years ago
  7. 249c945 Revert r118991. by Zhongxing Xu · 15 years ago
  8. 9a4084d Do not add implicit dtors for CXXBindTemporaryExpr with elidable by Zhongxing Xu · 15 years ago
  9. 6242599 Don't warn when matching %p to nullptr. by Anders Carlsson · 15 years ago
  10. 3ff5b26 Do not add elidable CXXConstructExpr as block-level expr. by Zhongxing Xu · 15 years ago
  11. 8599e76 Added generating destructors for temporary objects. Two cases I know of, that are not handled properly: by Marcin Swiderski · 15 years ago
  12. a725ed4 Explicitly handle CXXBindTemporaryExpr, CXXFunctionalCastExpr, by Zhongxing Xu · 15 years ago
  13. 81bc7d0 Make all CXXConstructExpr's block-level expressions. This is required by by Zhongxing Xu · 15 years ago
  14. 4ba72a0 Added CFGTerminator class, that holds information about CFGBlock terminator statement. by Marcin Swiderski · 15 years ago
  15. a1898dd If visiting RHS causes us to finish 'Block', e.g. the RHS is a StmtExpr by Zhongxing Xu · 15 years ago
  16. 8c5e5d6 Added generation of destructors for member constant size arrays. by Marcin Swiderski · 15 years ago
  17. b1c5287 Added generation of destructors for constant size arrays. by Marcin Swiderski · 15 years ago
  18. e166719 - Fixed subexpressions evaluation order for binary operators to match order in code generated with the compiler, by Marcin Swiderski · 15 years ago
  19. 4d8ae4d Previously, the printf warnings would say your arguments type was 'int' when it was really a 'char' by Ted Kremenek · 15 years ago
  20. b6bbcc9 Death to blocks, or at least the word "block" in one particular obnoxiously by John McCall · 15 years ago
  21. 4e493e0 * Simplify code * Fix dump() to make it consistent with the test case. by Zhongxing Xu · 15 years ago
  22. 7c625d8 Added support for base and member destructors in destructor. by Marcin Swiderski · 15 years ago
  23. 82bc3fd Added support for C++ initializers in CFG. by Marcin Swiderski · 15 years ago
  24. a1a5d8e Now the whether adding implicit dtors is controlled by cmd option. by Zhongxing Xu · 15 years ago
  25. 6a16a30 The return value is never used. by Zhongxing Xu · 15 years ago
  26. b6edff5 Use default augument. by Zhongxing Xu · 15 years ago
  27. 02acdfa Simplify interface for addLocalScopeForStmt(). by Zhongxing Xu · 15 years ago
  28. 26bc705 The old logic would add non-struct and non C++ struct variables to the local by Zhongxing Xu · 15 years ago
  29. 0e97bcb Added generating CFGAutomaticObjDtors for exception variable in catch statement. by Marcin Swiderski · 15 years ago
  30. 47575f1 Added generating CFGAutomaticObjDtors for init statement, condition variable and implicit scope in for statement. by Marcin Swiderski · 15 years ago
  31. 8ae6058 dded generating CFGAutomaticObjDtors for condition variable and implicit scopes in switch statement. by Marcin Swiderski · 15 years ago
  32. 05adedc Added generating CFGAutomaticObjDtors for condition variable and implicit scopes in while and do statements. by Marcin Swiderski · 15 years ago
  33. 04e046c Added generating CFGAutomaticObjDtors for condition variable and implicit scopes in if statement. by Marcin Swiderski · 15 years ago
  34. 63426e5 Fixed checking for trivial destructor in CFGBuilder::addLocalScopeForVarDecl. Checked type does not have to represent C++ class. by Marcin Swiderski · 15 years ago
  35. fcb72ac Added: by Marcin Swiderski · 15 years ago
  36. 239a7c4 Added methods for adding LocalScopes and CFGAutomaticObjDtors. by Marcin Swiderski · 15 years ago
  37. 53de134 Added methods for inserting CFGAutomaticObjDtors to CFGBlocks, by Marcin Swiderski · 15 years ago
  38. 35387a0 Added: by Marcin Swiderski · 15 years ago
  39. 9121ba2 Added two new command line arguments: by Marcin Swiderski · 15 years ago
  40. f1308c7 In preparation for adding generation of destructors for objects with automatic storage added: by Marcin Swiderski · 15 years ago
  41. 1cff132 Added: by Marcin Swiderski · 15 years ago
  42. 49b4ef3 Tidy up. by Zhongxing Xu · 15 years ago
  43. b36cd3e Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patch by Zhongxing Xu · 15 years ago
  44. 8f3b834 Relax assertion in CFG builder when processing ForStmts. This fixes an assertion failure by Ted Kremenek · 15 years ago
  45. 6c52c78 Add CFG::BuildOptions class to pass in CFG builder options under on parameter. Patch by Marcin Świderski! by Ted Kremenek · 15 years ago
  46. 44f8ef1 Fix CFGBuilder crash reported in PR 8141. by Ted Kremenek · 15 years ago
  47. 560a921 Revert "CMake: Update to use standard CMake dependency tracking facilities instead" by Michael J. Spencer · 15 years ago
  48. fe255bc Remove from the CFG the half-implemented support for scoping information. We decided that scope information doesn't belong in the CFG at all, since it is a lexical construct. by Ted Kremenek · 15 years ago
  49. 5a7f349 CMake: Update to use standard CMake dependency tracking facilities instead by Michael J. Spencer · 15 years ago
  50. 4beaa9f Add ObjCAtSynchronizedStmt to the CFG and add GRExprEngine support (PreVisit for checkers). by Ted Kremenek · 15 years ago
  51. ec9bf47 Clean up CMake dependencies by Douglas Gregor · 15 years ago
  52. be39a56 Remove stray ';' and convert tabs to spaces. by Ted Kremenek · 15 years ago
  53. 8caec84 Enhance -Wunreachable-code to not consider the 'default:' branch of a switch statement live if a switch on an enum value has by Ted Kremenek · 15 years ago
  54. ee7f84d Add 'filtered_pred_iterator' and 'filtered_succ_iterator' to CFGBlock. This allows a client by Ted Kremenek · 15 years ago
  55. d438b3d FinishBlock() is essentially doing nothing except returning '!badCFG'. by Zhongxing Xu · 15 years ago
  56. 1b3b7cb Simplify CFG construction: bail out early when we have a bad CFG. by Zhongxing Xu · 15 years ago
  57. 4e0cfa8 Improve CFG printing support for CXXOperatorCallExpr and CXXBindTemporaryExpr. by Ted Kremenek · 15 years ago
  58. a427f1d Explicitly handle CXXOperatorCallExpr when building CFGs. We should treat it the same as CallExprs. by Ted Kremenek · 15 years ago
  59. 5722b14 Revert my lame attempt at appeasing the CFGBuilder by Douglas Gregor · 15 years ago
  60. 35fe7ee Teach the CFGBuilder not do die on CXXBindTemporaryExpr, CXXOperatorCallExpr. Fixes a Boost.Graph crasher. by Douglas Gregor · 15 years ago
  61. 91c83e7 Delete the relaxedLiveness object in the dtor of AnalysisContext. by Ted Kremenek · 15 years ago
  62. 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 · 15 years ago
  63. 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 · 15 years ago
  64. 916d054 Add missing null checks in PseudoConstantAnalysis by Tom Care · 15 years ago
  65. 967fea6 Improved the handling of blocks and block variables in PseudoConstantAnalysis by Tom Care · 15 years ago
  66. 2de56d1 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 15 years ago
  67. 9325eaf Fix printf format string checking for '%lc' (which expects a wint_t or compatible argument). Fixes PR 7981. by Ted Kremenek · 15 years ago
  68. ef52bcb Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis by Tom Care · 15 years ago
  69. db34ab7 Several small changes to PseudoConstantAnalysis and the way IdempotentOperationChecker uses it. by Tom Care · 15 years ago
  70. a7e6845 Detabify. by Eli Friedman · 15 years ago
  71. 245adab Added psuedo-constant analysis and integrated it into the false positive reduction stage in IdempotentOperationChecker. by Tom Care · 15 years ago
  72. 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 · 15 years ago
  73. d173dc7 CFGBuilder: don't create the empty "loop back" block for DoStmts if the loop edge can never be taken. by Ted Kremenek · 15 years ago
  74. b5049d8 Fix a bug where child statements could not be identified as being in a CFGBlock in CFGStmtMap::getBlock. by Tom Care · 15 years ago
  75. eea0d93 Remove bonehead redeclaration. by Ted Kremenek · 15 years ago
  76. 0fc67e2 Fix CFGBuilder to not blow out the stack when processing deeply nested CaseStmts. Fixes <rdar://problem/8268753>. by Ted Kremenek · 15 years ago
  77. a6d6930 Add CFGStmtMap, which defines a mapping from Stmt* to CFGBlock*. The immediate intended use is in the unreachable code analysis. by Ted Kremenek · 15 years ago
  78. 9b823e8 Add -cc1 option '-unoptimized-cfg' to toggle using a CFG (for static analysis) that doesn't prune CFG edges. by Ted Kremenek · 15 years ago
  79. ad5a894 Add 'AnalysisContext::getUnoptimizedCFG()' to allow clients to get access to the original by Ted Kremenek · 15 years ago
  80. 96827eb Revert r109428 "Hoist argument type checking into CheckFormatHandler. This is prep for scanf format" by Michael J. Spencer · 15 years ago
  81. 3c46e8d Fix namespace polution. by Dan Gohman · 15 years ago
  82. f762905 Hoist argument type checking into CheckFormatHandler. This is prep for scanf format by Ted Kremenek · 15 years ago
  83. 2ce43c8 Make a bunch of new data structures for the new analysis by Zhongxing Xu · 15 years ago
  84. 1e51c20 Hookup checking for invalid length modifiers in scanf format strings. by Ted Kremenek · 15 years ago
  85. a412a49 Move 'hasValidLengthModifier' from PrintfFormatSpecifier to FormatSpecifier. by Ted Kremenek · 15 years ago
  86. 7fdba13 Cleanup whitespace in switch statement. No functionality change. by Ted Kremenek · 15 years ago
  87. 6ecb950 Add 'ConversionSpecifier' root class in 'analyze_format_string' namespace and by Ted Kremenek · 15 years ago
  88. de183a4 Rename 'UnicodeStrArg' to 'SArg'. by Ted Kremenek · 15 years ago
  89. 35d353b Rename 'ConsumedSoFarArg' -> 'nArg' and 'OutIntPtrArg' to 'nArg' (scanf and printf checking). by Ted Kremenek · 15 years ago
  90. 6693205 Rename 'VoidPtrArg' to 'pArg' in printf/scanf checking. by Ted Kremenek · 15 years ago
  91. 99196b1 Rename 'CStrArg' to 'sArg' for printf checking to match with the analagous enum for scanf checking. by Ted Kremenek · 15 years ago
  92. 92a6feb Rename analyze_printf::ConversionSpecifier::IntAsCharArg to 'cArg' to match by Ted Kremenek · 15 years ago
  93. be86ecc Add missing conversion specifier parsing for 'u', 'x', 'o', and 's'. Fixes <rdar://problem/8204052>. by Ted Kremenek · 15 years ago
  94. c6238d2 Reapply r108617. by Zhongxing Xu · 15 years ago
  95. 9638eef BUILD_ARCHIVE is the default for libraries, no need to set it. by Chris Lattner · 15 years ago
  96. ee30965 Revert r108617, it broke the build. by Benjamin Kramer · 15 years ago
  97. 69b8194 Prepare the analyzer for the callee in another translation unit: by Zhongxing Xu · 15 years ago
  98. b7c2101 Hook up warning for an incomplete scanlist in scanf format strings. by Ted Kremenek · 15 years ago
  99. d9c904d Add the main scanf-parsing logic that I meant to include in my previous commit. by Ted Kremenek · 15 years ago
  100. d20b24c Add missing header file. by Ted Kremenek · 15 years ago