- 5ff8e8c add fixme. by Zhongxing Xu · 16 years ago
- 7abe019 When retrieving element region, if its super region has binding, return by Zhongxing Xu · 16 years ago
- 17945a0 De-ASTContext-ify DeclContext. by Argyrios Kyrtzidis · 16 years ago
- 99c2030 Adjust retrieve handler priority. If a field is of array type, it should be by Zhongxing Xu · 16 years ago
- 87453d1 Do not crash on binding concrete integer location. by Zhongxing Xu · 16 years ago
- 5c73462 Update method signature. by Ted Kremenek · 16 years ago
- 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 16 years ago
- e4df9c4 remove RegionKills GDM. Now UnknownVal is bound to regions explicitly. by Zhongxing Xu · 16 years ago
- c00346f Move element region retrieving logic into a separate function. by Zhongxing Xu · 16 years ago
- 490b0f0 Move all logic for retrieving ElementRegion binding into a separate method. by Zhongxing Xu · 16 years ago
- 53ba0b6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 16 years ago
- e8ab9ea use a concrete type instead of a trait type to make code more readable. by Zhongxing Xu · 16 years ago
- e3a765f RegionStore: revert to the default value approach for array initialization. by Zhongxing Xu · 16 years ago
- bb7c96f - Add MemRegion::getMemorySpace() by Ted Kremenek · 16 years ago
- ea20cd7 Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemRegion. by Ted Kremenek · 16 years ago
- d91ee27 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 16 years ago
- 3038c5a ValueManager::makeNonLoc -> ValueManager::makeIntVal by Zhongxing Xu · 16 years ago
- dbdf219 If the init list is fewer than the struct fields, bind the rest fields to 0 by Zhongxing Xu · 16 years ago
- 087d6c2 Instead of setting the default value of the array region, bind the rest of the by Zhongxing Xu · 16 years ago
- dd198f0 Remove duplicated methods. by Zhongxing Xu · 16 years ago
- 83298da add a fixme. by Zhongxing Xu · 16 years ago
- 99823a7 Allow CodeTextRegion to be cast to 'void *'. by Zhongxing Xu · 16 years ago
- 5414a5c Return UnknownVal for pointer arithmetic on struct fields. by Zhongxing Xu · 16 years ago
- 005f07b If the SymbolicRegion was cast to another type, use that type to create the by Zhongxing Xu · 16 years ago
- 88c675f When casting region, if we do not create an element region, record the cast-to by Zhongxing Xu · 16 years ago
- d1b3c2d First step toward fixing <rdar://problem/6613046> refactor clang objc type representation. by Steve Naroff · 16 years ago
- 67f2853 Start moving in the direction of removing GRStateRef. Now each by Ted Kremenek · 16 years ago
- 9af46f5 RegionStoreManager: by Ted Kremenek · 16 years ago
- 143b2fc Use canonical type for building ElementRegion. Otherwise ElementRegions cannot by Zhongxing Xu · 16 years ago
- f0ec39a Stop tracking non-compound value for struct. It may be caused by imprecise cast by Zhongxing Xu · 16 years ago
- 53454dc use getAsPointerType() method. by Zhongxing Xu · 16 years ago
- 3f6978a Bind the mistakenly generated nonloc::SymbolVal to struct correctly. See the by Zhongxing Xu · 16 years ago
- b7507d1 Use more robust getAsRecordType() method. by Zhongxing Xu · 16 years ago
- 9184412 Treat AllocaRegion as SymbolicRegion in RegionStore::Retrieve(). by Zhongxing Xu · 16 years ago
- 262fd03 * API change: we need to pass GRState to GRExprEngine::EvalBinOp() because by Zhongxing Xu · 16 years ago
- 4e60900 Silence a Release-Asserts warning. by Daniel Dunbar · 16 years ago
- 264e937 Add logic for invalidating array region to CFRefCount.cpp. When invalidating by Zhongxing Xu · 16 years ago
- c87d5fb When retrieving an ElementRegion, if its super region is a StringRegion, by Zhongxing Xu · 16 years ago
- 2ee5214 Fix a bug that leads to infinite loop. Set the correct element type to by Zhongxing Xu · 16 years ago
- 5bf3287 When casting VarRegion, if the var type is aggregate type and the cast-to by Zhongxing Xu · 16 years ago
- 75eb5ba Remove the rest TypedViewRegion processing code. There should be no by Zhongxing Xu · 16 years ago
- c4761f5 When evaluating pointer arithmetic, if the base location is a symbolic region, by Zhongxing Xu · 16 years ago
- 8a9bf4a Do not create a TypedViewRegion when the base struct region is a symbolic by Zhongxing Xu · 16 years ago
- ce76078 Do not layer a TypedViewRegion when casting symbolic or alloca regions. by Zhongxing Xu · 16 years ago
- db3a098 Remove the case for casting to compatible type in by Zhongxing Xu · 16 years ago
- d9b6ad6 Rename: by Zhongxing Xu · 16 years ago
- a82d8aa As discussed with Ted, rename TypedRegion::getObjectType() to by Zhongxing Xu · 16 years ago
- ff69782 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 16 years ago
- a3eda83 Fix PR4182. by Zhongxing Xu · 16 years ago
- 2572eda Region store: when casting VarRegions, if the cast-to pointee type is by Zhongxing Xu · 16 years ago
- fb1e331 Replace the heuristic isSmallerThan with ASTContext::getTypeSize(). by Zhongxing Xu · 16 years ago
- e6536af Replace getTypeWidth() with ASTContext::getTypeSize(). by Zhongxing Xu · 16 years ago
- a15f7ac Revert r71079. by Zhongxing Xu · 16 years ago
- 41fd018 Improve RegionStoreManager::getSizeInElements() by Zhongxing Xu · 16 years ago
- 2079494 Add a GDM for recording the cast type of regions. by Zhongxing Xu · 16 years ago
- ccb1616 Implement a heuristic type size comparison method for now. by Zhongxing Xu · 16 years ago
- 02f7ed7 remove commented code. by Zhongxing Xu · 16 years ago
- 8898059 Make StoreManager::CastRegion() virtual and implement a new CastRegion() for by Zhongxing Xu · 16 years ago
- f936f45 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 16 years ago
- 3e001f3 region store: make Retrieve() can retrieve embedded array correctly. Also by Zhongxing Xu · 16 years ago
- 5c86b19 SymbolicRegions may also be live roots. by Zhongxing Xu · 16 years ago
- c62abc1 Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' by Ted Kremenek · 16 years ago
- 5cbe5f9 Remove loc::FuncVal. by Zhongxing Xu · 16 years ago
- 3330dcb Finally nuke loc::SymbolVal. by Zhongxing Xu · 16 years ago
- 8d7f548 - Move ownership of MemRegionManager into ValueManager. by Ted Kremenek · 16 years ago
- 6ab3524 Propagate the ASTContext to various AST traversal and lookup functions. by Douglas Gregor · 16 years ago
- a1718c7 This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 16 years ago
- e8e8648 Re-apply 68028. The code had drifted enough that the tests would fail without by Ted Kremenek · 16 years ago
- 782582d Revert 68028. by Ted Kremenek · 16 years ago
- a45fec1 Make SymbolicRegion untyped. by Zhongxing Xu · 16 years ago
- f1d537f Implement a FIXME. by Zhongxing Xu · 16 years ago
- 73b6a44 remove dead code. by Zhongxing Xu · 16 years ago
- e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
- c2fdb07 Use a work list to recursively build up the subregion mapping, and mark live by Zhongxing Xu · 16 years ago
- 1060a3c Updated comment. by Ted Kremenek · 16 years ago
- 610e81d Fix failure reported by Sebastian of test/Analysis/ptr-arith.c when the target by Ted Kremenek · 16 years ago
- b13ecdb Use getAsRecordType() to get around sugar types. by Zhongxing Xu · 16 years ago
- c45a825 Do not stipulate the record type is a definition in BindStruct(). by Zhongxing Xu · 16 years ago
- 2b1dc17 Fix crash when LHS of pointer arithmetic is not ElementRegion. by Zhongxing Xu · 16 years ago
- ac6ff48 RegionStore::getLValueElement: Handle the case where the signedness of the by Ted Kremenek · 16 years ago
- de7ec63 RegionStore::getElementLValue(): Handle the case where the base is a null pointer. by Ted Kremenek · 16 years ago
- ff8d204 Only track integer and pointer values. by Zhongxing Xu · 16 years ago
- 1038f9f Now we do not retrieve untyped regions. by Zhongxing Xu · 16 years ago
- bd4f745 Fix a serious bug in RegionStore: we got the new state with new store from by Zhongxing Xu · 16 years ago
- 3de2d3c Add initial support for tracking ivars, with special handling for ivars of 'self'. by Ted Kremenek · 16 years ago
- cec3525 RegionStore: Handle implicit parameters. by Ted Kremenek · 16 years ago
- 02c4d2d RegionStore::RemoveDeadBindings needs to check all the symbols of the super region of a scanned region as well. by Ted Kremenek · 16 years ago
- 14453bf Don't use std::auto_ptr with getSubRegionMap(). by Ted Kremenek · 16 years ago
- 5dc2746 Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning MemRegions. by Ted Kremenek · 16 years ago
- 59e8f11 Add StoreManager::getSubRegionMap(). This method returns an opaque mapping for clients of StoreManagers from MemRegions to their subregions. by Ted Kremenek · 16 years ago
- 588fdfa remove an implemented fixme. by Zhongxing Xu · 16 years ago
- 94aa6c1 Initial support for pointer arithmetic. Only support concrete indexes and by Zhongxing Xu · 16 years ago
- 0312c0e Rename AnonTypedRegion to TypedViewRegion. by Ted Kremenek · 16 years ago
- 265a305 Fix <rdar://problem/6611677>: Add basic transfer function support in the static by Ted Kremenek · 16 years ago
- 779747c Add an example in comments. by Zhongxing Xu · 16 years ago
- d8895f6 only track integer and pointer values for now. by Zhongxing Xu · 16 years ago
- 5ea2ffc Convert the offset to signed before making an ElementRegion with it. It seems by Zhongxing Xu · 16 years ago
- 02ebefb SymbolicRegions really have unknown sizes. by Zhongxing Xu · 16 years ago
- a48f737 Create ElementRegion when the base is SymbolicRegion. This is like what we do by Zhongxing Xu · 16 years ago
- 026c663 Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so by Zhongxing Xu · 16 years ago