Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 7d6a5d29f13eee9b808a71534edd4cac7d60f2e3 / lib / Analysis
  1. 7b5c5b5 Add a boilerplate for out-of-bound array checking. This has no real function currently. by Zhongxing Xu · 16 years ago
  2. c88ca9d Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is by Zhongxing Xu · 16 years ago
  3. edfbcd9 Make the assertion real. by Zhongxing Xu · 16 years ago
  4. 7db96ad Fix regression with handling of CFMakeCollectable. by Ted Kremenek · 16 years ago
  5. cdd3bb2 initXXX methods can return owned objects by Ted Kremenek · 16 years ago
  6. d860663 Add a new expression class, ObjCSuperExpr, to handle the Objective-C 'super'. Remove ObjCThis from PredefinedExpr by Douglas Gregor · 16 years ago
  7. eafcc2f Handle prefix '_' that may appear in front of the name of 'Release' functions by Ted Kremenek · 16 years ago
  8. b55c9af Add some notes for SCA. by Zhongxing Xu · 16 years ago
  9. e4e038e Fix 80-col violations. by Zhongxing Xu · 16 years ago
  10. ff4fe31 - Remove AnonTypedRegion, which is not to be used. by Zhongxing Xu · 16 years ago
  11. 9ef12d3 1. When a pointer to struct is used as an argument, GRSimpleVals::EvalCall() by Zhongxing Xu · 16 years ago
  12. 9b11fcc Enhance return-of-stack-address checker to recognize regions created by alloca(). by Ted Kremenek · 16 years ago
  13. 19891fa Add transfer function logic for alloca(). by Ted Kremenek · 16 years ago
  14. ea9ca50 Added AllocaRegion, which represents regions created by calls to alloca(). by Ted Kremenek · 16 years ago
  15. 0203abe Comment out invalid assertion. I'm leaving it in the code for now as a reminder to produce a test case. by Ted Kremenek · 16 years ago
  16. 3dd9ec8 Simplify interface. We can get canonical type from the base region directly. No need for an extra type argument. by Zhongxing Xu · 16 years ago
  17. c00c55a Implement struct initialization for SCA. by Zhongxing Xu · 16 years ago
  18. b30a073 Implement array initialization for SCA. by Zhongxing Xu · 16 years ago
  19. fa45143 Made the mechanism of defining preprocessor defs for maxint, ptrdiff_t, wchar by Sanjiv Gupta · 16 years ago
  20. 29454f4 Implement BindStruct and fix a bug in RetriveStruct. by Zhongxing Xu · 16 years ago
  21. 8f8ab96 Fix 80-col violations. by Zhongxing Xu · 16 years ago
  22. 6f267e5 Implement load from struct region. Instead of returning an UnknownVal(), we create a CompoundVal by loading from each field of the struct. by Zhongxing Xu · 16 years ago
  23. 4ced16e Add a tentative assertion. by Zhongxing Xu · 16 years ago
  24. a852b31 Fix a comment. by Zhongxing Xu · 16 years ago
  25. 3086c3f Use llvm::raw_string_ostream instead of std::ostringstream. by Ted Kremenek · 16 years ago
  26. 5a66e96 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
  27. b88ec27 Extend "followsFundamentalRule" to ignore prefix '_' characters. by Ted Kremenek · 16 years ago
  28. a4b7f69 Handle the case in VisitInitListExprs where there are no initializers in the compound literal. by Ted Kremenek · 16 years ago
  29. d774b6c Distinguish between self.X = ... where self.X is a property reference and self.X is an implicit call to setX. by Ted Kremenek · 16 years ago
  30. 78c0653 Use the correct predecessor node. by Ted Kremenek · 16 years ago
  31. c1c2bbf Pretty-printing for SVals now mainly uses llvm::raw_ostream. We have an adapter for std::ostream, but this will be removed in the future. by Ted Kremenek · 16 years ago
  32. 9c5058d Add missing return statement. by Ted Kremenek · 16 years ago
  33. b667c9f Added iterators to nonloc::CompoundSVal. by Ted Kremenek · 16 years ago
  34. da3e12d 80 col violation. by Ted Kremenek · 16 years ago
  35. e56ece2 Use a worklist in GRExprEngine::VisitInitListExpr to process subexpressions. by Ted Kremenek · 16 years ago
  36. 5e7a4b8 CompoundVal now uses an ImmutableList<SVal> to store its set of SVals. This change was motivated by the need to allow state-splitting in GRExprEngine::VisitInitListExpr. As a side-benefit, we no longer need to perform any copies of SVals when creating a CompoundSVal, and the profiling of CompoundSVal is now constant time. by Ted Kremenek · 16 years ago
  37. 0bdab1e Patch by Nikita Zhuk: by Ted Kremenek · 16 years ago
  38. f5cbb76 Merge the array and struct case. They are essentially the same. by Zhongxing Xu · 16 years ago
  39. 696b3a8 Rename: by Zhongxing Xu · 16 years ago
  40. ebcad73 Implement VisitInitListExpr(). InitListExpr will have a nonloc::CompoundVal value. by Zhongxing Xu · 16 years ago
  41. 277884f Add CompoundVal and CompoundValData for representing the value of InitListExpr. by Zhongxing Xu · 16 years ago
  42. 807b4be Fix 80-col. by Zhongxing Xu · 16 years ago
  43. d32c085 Mark yy_fatal_error as a panic function. by Ted Kremenek · 16 years ago
  44. a107b39 Add notes for SCA. by Zhongxing Xu · 16 years ago
  45. 032735e Patch by Nikita Zhuk: by Ted Kremenek · 16 years ago
  46. 45d0b50 IOServiceGetMatchingServices is a release function. by Ted Kremenek · 16 years ago
  47. f05e4ed Rename: AddDecl => BindDecl by Zhongxing Xu · 16 years ago
  48. 035d088 Rename ExplicitCCastExpr to CStyleCastExpr by Douglas Gregor · 16 years ago
  49. 15e8f50 Add newline. by Zhongxing Xu · 16 years ago
  50. cb5b696 Update random notes. by Zhongxing Xu · 16 years ago
  51. 0d5d89d Improve our handling of (C++) references within Clang. Specifically: by Douglas Gregor · 16 years ago
  52. b0ea903 - Fix type-punning warning in SVals.cpp by using a real iterator class for symbol_iterator. by Ted Kremenek · 16 years ago
  53. 59fcaa0 Remove type-punning warning in GRExprEngine. No functionality change. by Ted Kremenek · 16 years ago
  54. d83daa5 Added preliminary support for CompoundLiterals in the static analyzer: by Ted Kremenek · 16 years ago
  55. 81329ab Pull determination of the super region for a VarRegion into a single getVarRegion() method. This provides a common clean API for clients. by Ted Kremenek · 16 years ago
  56. 6bc91b9 Added CompoundLiteralRegion to represent the (temporary) memory allocated for a compound literal. by Ted Kremenek · 16 years ago
  57. 21a04f3 Refactor the expression class hierarchy for casts. Most importantly: by Douglas Gregor · 16 years ago
  58. d766346 Use ASTContext::getCanonicalType() to get TypedRegion's type. by Zhongxing Xu · 16 years ago
  59. 1a563da An ElementRegion is really a typed region. Its super region's type has to be ArrayType. by Zhongxing Xu · 16 years ago
  60. 13a05fa We cannot get precise lvalue for symbolic base array region. by Zhongxing Xu · 16 years ago
  61. e7c8a13 Get the canonical type for struct initialization. The original code would crash on TypedefType. by Zhongxing Xu · 16 years ago
  62. e8fc4d6 Only loc::MemRegionVal can be modified. This avoids crashing in RegionStore when a function pointer is used as an argument. by Zhongxing Xu · 16 years ago
  63. 7ac59b1 Remove loc::StringLiteralVal. Now we allocate regions for string literals in the Store. by Zhongxing Xu · 16 years ago
  64. 5ac8bf1 Simplify ArrayToPointer conversion. Actually the only thing we need to do is to get the first element region. It is not necessary to care about the kind of the base array region. by Zhongxing Xu · 16 years ago
  65. c03d2ca CMake: Builds and installs clang binary and libs (no docs yet). It by Oscar Fuentes · 16 years ago
  66. 6c83389 Do not crash when performing VisitLValue on union types. This fixes PR 2948. by Ted Kremenek · 16 years ago
  67. fabcffa Add a note file for SCA module. Is it the right place? by Zhongxing Xu · 16 years ago
  68. 2abba44 Add code for get the lvalue for string literals. Now we return a StringRegion by Zhongxing Xu · 16 years ago
  69. 73507bd Add StringRegion to MemRegions. by Zhongxing Xu · 16 years ago
  70. 4f7ccaa Now we can handle arrays. by Zhongxing Xu · 16 years ago
  71. a05446c Use "followsFundamentalRule" to determine if an instance method allocates memory. by Ted Kremenek · 16 years ago
  72. b6f0954 followsFundamentalRule() returns true if "alloc" or "new" appear at the beginning of the string, not anywhere within it. by Ted Kremenek · 16 years ago
  73. 61b897e Implicit conversions from arrays can also be conversions to references (will add a test case shortly). by Ted Kremenek · 16 years ago
  74. 0106e20 Issue warnings about owned objects returned from a method that does not match the established Cocoa naming conventions. by Ted Kremenek · 16 years ago
  75. 73a36c9 Added method "getSelfRegion" to Store. This method returns the region associated with the "this" or "self" object (C++ and Objective-C respectively). by Ted Kremenek · 16 years ago
  76. 2539c11 Added region ObjCObjectRegion that represents an instance of an Objective-C object. by Ted Kremenek · 16 years ago
  77. dd9fe5e The Decl of an array region can be VarDecl or FieldDecl. Handle this in RegionStoreManager::ArrayToPointer(). by Zhongxing Xu · 16 years ago
  78. 702d470 Implement struct initialization. Make it into a recursive function. Also make by Zhongxing Xu · 16 years ago
  79. 74a4e3a Add printing method to ElementRegion. by Zhongxing Xu · 16 years ago
  80. ca892b8 Add printing method to RegionStoreManager. by Zhongxing Xu · 16 years ago
  81. c44f556 Add printing with llvm::raw_ostream methods to SVals. by Zhongxing Xu · 16 years ago
  82. 6149e88 Fix 80-col violation. by Zhongxing Xu · 16 years ago
  83. e4b6fc2 Add a bunch of dummy methods to make RegionStoreManager non-virtual. by Zhongxing Xu · 16 years ago
  84. 0972d0a Added getLValueElement() to RegionStore. Only handle constant array for now. by Zhongxing Xu · 16 years ago
  85. c380399 Make the analyzer store (memory model) a command line option. by Ted Kremenek · 16 years ago
  86. b18d52b Add an assertion to make our intention more clear. by Zhongxing Xu · 16 years ago
  87. a9e8e08 Let StoreManager do different cast on arrays. BasicStore will just keep it intact. by Zhongxing Xu · 16 years ago
  88. 63d09ae Disable warning about potential leaks of returned values until we test it a little more (lots of noise). by Ted Kremenek · 16 years ago
  89. 311f3d4 Warn about potentially leaked objects that are returned from methods whose names do not follow the Cocoa Memory Management guidelines. by Ted Kremenek · 16 years ago
  90. cfc50c7 Enhance reference-count checker to correctly identify CG "release" functions. This fixes <rdar://problem/6303488>. by Ted Kremenek · 16 years ago
  91. 6f1b515 Add a bunch of getLValue* methods to RegionStore. by Zhongxing Xu · 16 years ago
  92. 60dabc6 Adjust parameter order to more natural one. by Zhongxing Xu · 16 years ago
  93. 943909c Exprs of function type is another special case for ImplicitCast. by Zhongxing Xu · 16 years ago
  94. 943ed4b When conjuring symbols for compound assignments, use the promoted type to determine if the symbolic value as a "loc::" or "nonloc::" value. by Ted Kremenek · 16 years ago
  95. 81dcff9 Cosmetic patch from João Paulo Rechi Vita by Douglas Gregor · 16 years ago
  96. d2baafd Preliminary support for function overloading by Douglas Gregor · 16 years ago
  97. c8c8d2c Handle [NSAutoreleasePool addObject:] (an alternative way to add objects to the current autorelease pool). by Ted Kremenek · 16 years ago
  98. 3739b0b Localize the special processing of array variable inside by Zhongxing Xu · 16 years ago
  99. 7324932 Modify Store interface: GetSVal/SetSVal => Retrieve/Bind. by Zhongxing Xu · 16 years ago
  100. aa08157 Rename: RValues.h/cpp => SVals.h/cpp by Zhongxing Xu · 16 years ago