| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2009-05-09 | When evaluating pointer arithmetic, if the base location is a symbolic region, | Zhongxing Xu |
| 2009-05-09 | Do not create a TypedViewRegion when the base struct region is a symbolic | Zhongxing Xu |
| 2009-05-09 | Do not layer a TypedViewRegion when casting symbolic or alloca regions. | Zhongxing Xu |
| 2009-05-09 | Remove the case for casting to compatible type in | Zhongxing Xu |
| 2009-05-09 | Rename: | Zhongxing Xu |
| 2009-05-09 | As discussed with Ted, rename TypedRegion::getObjectType() to | Zhongxing Xu |
| 2009-05-09 | rename: MemRegion: | Zhongxing Xu |
| 2009-05-08 | Fix PR4182. | Zhongxing Xu |
| 2009-05-08 | Region store: when casting VarRegions, if the cast-to pointee type is | Zhongxing Xu |
