Commits · e200adc5031edd8e9289fd918027fab324f5f43b · Roger Ferrer / llvm-epi · GitLab

Oct 27, 2008
- Refactor the expression class hierarchy for casts. Most importantly: · e200adc5
  Douglas Gregor authored Oct 27, 2008
  e200adc5
- Use ASTContext::getCanonicalType() to get TypedRegion's type. · 144d7554
  Zhongxing Xu authored Oct 27, 2008
  144d7554
- An ElementRegion is really a typed region. Its super region's type has to be ArrayType. · 7b700575
  Zhongxing Xu authored Oct 27, 2008
  7b700575
- We cannot get precise lvalue for symbolic base array region. · 36d4ade4
  Zhongxing Xu authored Oct 27, 2008
  36d4ade4
- Get the canonical type for struct initialization. The original code would crash on TypedefType. · bb18b57f
  Zhongxing Xu authored Oct 27, 2008
  bb18b57f
- Only loc::MemRegionVal can be modified. This avoids crashing in RegionStore... · d7c44059
  Zhongxing Xu authored Oct 27, 2008
  d7c44059
Oct 26, 2008
- Remove loc::StringLiteralVal. Now we allocate regions for string literals in the Store. · 60de6c6c
  Zhongxing Xu authored Oct 26, 2008
  60de6c6c
- Simplify ArrayToPointer conversion. Actually the only thing we need to do is... · bf47dc85
  Zhongxing Xu authored Oct 26, 2008
  bf47dc85
- CMake: Builds and installs clang binary and libs (no docs yet). It · 07d9f9a6
  Oscar Fuentes authored Oct 26, 2008
  07d9f9a6
Oct 25, 2008
- Do not crash when performing VisitLValue on union types. · e69a1fa3
  Ted Kremenek authored Oct 25, 2008
  e69a1fa3
- Add a note file for SCA module. Is it the right place? · 195839dd
  Zhongxing Xu authored Oct 25, 2008
  195839dd
- Add code for get the lvalue for string literals. Now we return a StringRegion · 0d2706f6
  Zhongxing Xu authored Oct 25, 2008
  0d2706f6
- Add StringRegion to MemRegions. · d1aac353
  Zhongxing Xu authored Oct 25, 2008
  d1aac353
- Now we can handle arrays. · ad20b671
  Zhongxing Xu authored Oct 25, 2008
  ad20b671
Oct 24, 2008
- Use "followsFundamentalRule" to determine if an instance method allocates memory. · 920406b5
  Ted Kremenek authored Oct 24, 2008
  920406b5
- followsFundamentalRule() returns true if "alloc" or "new" appear at the... · 01acb628
  Ted Kremenek authored Oct 24, 2008
  01acb628
- Implicit conversions from arrays can also be conversions to references (will... · 6e09d8f6
  Ted Kremenek authored Oct 24, 2008
  6e09d8f6
- Issue warnings about owned objects returned from a method that does not match... · 03466c22
  Ted Kremenek authored Oct 24, 2008
  03466c22
- Added method "getSelfRegion" to Store. This method returns the region... · f3be44f1
  Ted Kremenek authored Oct 24, 2008
  f3be44f1
- Added region ObjCObjectRegion that represents an instance of an Objective-C object. · 8921d930
  Ted Kremenek authored Oct 24, 2008
  8921d930
- The Decl of an array region can be VarDecl or FieldDecl. Handle this in... · e834fc12
  Zhongxing Xu authored Oct 24, 2008
  e834fc12
- Implement struct initialization. Make it into a recursive function. Also make · 729518be
  Zhongxing Xu authored Oct 24, 2008
  729518be
- Add printing method to ElementRegion. · a1426286
  Zhongxing Xu authored Oct 24, 2008
  a1426286
- Add printing method to RegionStoreManager. · 1359e00f
  Zhongxing Xu authored Oct 24, 2008
  1359e00f
- Add printing with llvm::raw_ostream methods to SVals. · 509bd9e3
  Zhongxing Xu authored Oct 24, 2008
  509bd9e3
- Fix 80-col violation. · c7796d34
  Zhongxing Xu authored Oct 24, 2008
  c7796d34
- Add a bunch of dummy methods to make RegionStoreManager non-virtual. · cebb741f
  Zhongxing Xu authored Oct 24, 2008
  cebb741f
- Added getLValueElement() to RegionStore. Only handle constant array for now. · a8d2cbe4
  Zhongxing Xu authored Oct 24, 2008
  a8d2cbe4
- Make the analyzer store (memory model) a command line option. · 6779f893
  Ted Kremenek authored Oct 24, 2008
  6779f893
Oct 23, 2008
- Add an assertion to make our intention more clear. · 9c4bc9dd
  Zhongxing Xu authored Oct 23, 2008
  9c4bc9dd
- Let StoreManager do different cast on arrays. BasicStore will just keep it intact. · b0a4875b
  Zhongxing Xu authored Oct 23, 2008
  b0a4875b
- Disable warning about potential leaks of returned values until we test it a... · cc3d1887
  Ted Kremenek authored Oct 23, 2008
  cc3d1887
- Warn about potentially leaked objects that are returned from methods whose... · 631ff239
  Ted Kremenek authored Oct 22, 2008
  631ff239
Oct 22, 2008
- Enhance reference-count checker to correctly identify CG "release" functions. ... · 9a96bf22
  Ted Kremenek authored Oct 22, 2008
  9a96bf22
- Add a bunch of getLValue* methods to RegionStore. · 2fbc3544
  Zhongxing Xu authored Oct 22, 2008
  2fbc3544
- Adjust parameter order to more natural one. · c5382eae
  Zhongxing Xu authored Oct 22, 2008
  c5382eae
- Exprs of function type is another special case for ImplicitCast. · c2721529
  Zhongxing Xu authored Oct 22, 2008
  c2721529
Oct 21, 2008
- When conjuring symbols for compound assignments, use the promoted type to... · 677fba12
  Ted Kremenek authored Oct 21, 2008
  677fba12
- Cosmetic patch from João Paulo Rechi Vita · 209ad9dc
  Douglas Gregor authored Oct 21, 2008
  209ad9dc
- Preliminary support for function overloading · 5251f1b2
  Douglas Gregor authored Oct 21, 2008
  5251f1b2