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