Age | Commit message (Expand) | Author |
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 |
2009-05-08 | Replace the heuristic isSmallerThan with ASTContext::getTypeSize(). | Zhongxing Xu |
2009-05-08 | Replace getTypeWidth() with ASTContext::getTypeSize(). | Zhongxing Xu |
2009-05-08 | Revert r71079. | Zhongxing Xu |
2009-05-06 | Improve RegionStoreManager::getSizeInElements() | Zhongxing Xu |
2009-05-06 | Add a GDM for recording the cast type of regions. | Zhongxing Xu |
2009-05-06 | Implement a heuristic type size comparison method for now. | Zhongxing Xu |
2009-05-06 | remove commented code. | Zhongxing Xu |
2009-05-06 | Make StoreManager::CastRegion() virtual and implement a new CastRegion() for | Zhongxing Xu |
2009-05-04 | Per conversations with Zhongxing, add an 'element type' to | Ted Kremenek |
2009-05-03 | region store: make Retrieve() can retrieve embedded array correctly. Also | Zhongxing Xu |
2009-04-29 | SymbolicRegions may also be live roots. | Zhongxing Xu |
2009-04-21 | Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' | Ted Kremenek |
2009-04-20 | Remove loc::FuncVal. | Zhongxing Xu |
2009-04-10 | Finally nuke loc::SymbolVal. | Zhongxing Xu |
2009-04-09 | - Move ownership of MemRegionManager into ValueManager. | Ted Kremenek |