| Age | Commit message (Expand) | Author |
|---|
| 2009-07-10 | Restructure RegionStoreManager::getSizeInElements() to use a switch statement | Ted Kremenek |
| 2009-07-06 | Move the new 'CastRegion' implementation from RegionStoreManager to StoreManager | Ted Kremenek |
| 2009-07-03 | remove utility methods that are not very useful. | Zhongxing Xu |
| 2009-07-03 | Remove unused method. | Ted Kremenek |
| 2009-07-02 | Replace guarded calls in RegionStoreManager to | Ted Kremenek |
| 2009-07-02 | Enhance RegionStore to lazily symbolicate fields and array elements for | Ted Kremenek |
| 2009-07-02 | StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead of | Ted Kremenek |
| 2009-07-01 | Minor code cleanup: pull variables into scope of 'if' statement, limiting their | Ted Kremenek |
| 2009-07-01 | Add a FIXME to RegionStore, do some minor code cleanup, and get RegionStore to | Ted Kremenek |
| 2009-07-01 | add fixme. | Zhongxing Xu |
| 2009-06-30 | When retrieving element region, if its super region has binding, return | Zhongxing Xu |
| 2009-06-30 | De-ASTContext-ify DeclContext. | Argyrios Kyrtzidis |
| 2009-06-28 | Adjust retrieve handler priority. If a field is of array type, it should be | Zhongxing Xu |
| 2009-06-28 | Do not crash on binding concrete integer location. | Zhongxing Xu |
| 2009-06-26 | Update method signature. | Ted Kremenek |
| 2009-06-26 | Introduce a new concept to the static analyzer: SValuator. | Ted Kremenek |
| 2009-06-25 | remove RegionKills GDM. Now UnknownVal is bound to regions explicitly. | Zhongxing Xu |
| 2009-06-25 | Move element region retrieving logic into a separate function. | Zhongxing Xu |
| 2009-06-25 | Move all logic for retrieving ElementRegion binding into a separate method. | Zhongxing Xu |
| 2009-06-24 | Remove uses of std::ostream from libAnalysis. | Ted Kremenek |
| 2009-06-24 | use a concrete type instead of a trait type to make code more readable. | Zhongxing Xu |
| 2009-06-24 | RegionStore: revert to the default value approach for array initialization. | Zhongxing Xu |
| 2009-06-23 | - Add MemRegion::getMemorySpace() | Ted Kremenek |
| 2009-06-23 | Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemR... | Ted Kremenek |
| 2009-06-23 | Move all factory methods from SVal to ValueManager. API cleanup! | Zhongxing Xu |
| 2009-06-23 | ValueManager::makeNonLoc -> ValueManager::makeIntVal | Zhongxing Xu |
| 2009-06-23 | If the init list is fewer than the struct fields, bind the rest fields to 0 | Zhongxing Xu |
| 2009-06-23 | Instead of setting the default value of the array region, bind the rest of the | Zhongxing Xu |
| 2009-06-23 | Remove duplicated methods. | Zhongxing Xu |
| 2009-06-23 | add a fixme. | Zhongxing Xu |
| 2009-06-22 | Allow CodeTextRegion to be cast to 'void *'. | Zhongxing Xu |
| 2009-06-21 | Return UnknownVal for pointer arithmetic on struct fields. | Zhongxing Xu |
| 2009-06-19 | If the SymbolicRegion was cast to another type, use that type to create the | Zhongxing Xu |
| 2009-06-18 | When casting region, if we do not create an element region, record the cast-to | Zhongxing Xu |
| 2009-06-17 | First step toward fixing <rdar://problem/6613046> refactor clang objc type re... | Steve Naroff |
| 2009-06-17 | Start moving in the direction of removing GRStateRef. Now each | Ted Kremenek |
| 2009-06-16 | RegionStoreManager: | Ted Kremenek |
| 2009-06-16 | Use canonical type for building ElementRegion. Otherwise ElementRegions cannot | Zhongxing Xu |
| 2009-06-13 | Stop tracking non-compound value for struct. It may be caused by imprecise cast | Zhongxing Xu |
| 2009-06-12 | use getAsPointerType() method. | Zhongxing Xu |
| 2009-06-11 | Bind the mistakenly generated nonloc::SymbolVal to struct correctly. See the | Zhongxing Xu |
| 2009-06-11 | Use more robust getAsRecordType() method. | Zhongxing Xu |
| 2009-05-20 | Treat AllocaRegion as SymbolicRegion in RegionStore::Retrieve(). | Zhongxing Xu |
| 2009-05-20 | * API change: we need to pass GRState to GRExprEngine::EvalBinOp() because | Zhongxing Xu |
| 2009-05-18 | Silence a Release-Asserts warning. | Daniel Dunbar |
| 2009-05-12 | Add logic for invalidating array region to CFRefCount.cpp. When invalidating | Zhongxing Xu |
| 2009-05-11 | When retrieving an ElementRegion, if its super region is a StringRegion, | Zhongxing Xu |
| 2009-05-11 | Fix a bug that leads to infinite loop. Set the correct element type to | Zhongxing Xu |
| 2009-05-09 | When casting VarRegion, if the var type is aggregate type and the cast-to | Zhongxing Xu |
| 2009-05-09 | Remove the rest TypedViewRegion processing code. There should be no | Zhongxing Xu |
