| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Remove tabs, and whitespace cleanups. | Mike Stump | 2009-09-09 | 1 | -30/+30 |
| * | Use SymbolicRegion instead of CodeTextRegion for symbolic function | Ted Kremenek | 2009-08-28 | 1 | -12/+4 |
| * | Replace cerr with errs(). | Benjamin Kramer | 2009-08-23 | 1 | -1/+0 |
| * | Implement lazy "copying" of structures and arrays in RegionStore. While | Ted Kremenek | 2009-08-06 | 1 | -1/+15 |
| * | Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only | Ted Kremenek | 2009-07-29 | 1 | -14/+3 |
| * | Add 'MemRegion::getBaseRegion()', a utility method to strip ElementRegions with | Ted Kremenek | 2009-07-29 | 1 | -2/+6 |
| * | Tweak pretty-printing of CompoundVal to make it more useful for debugging. | Ted Kremenek | 2009-07-14 | 1 | -2/+2 |
| * | Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', an... | Ted Kremenek | 2009-07-13 | 1 | -52/+37 |
| * | add utility method. | Zhongxing Xu | 2009-06-30 | 1 | -0/+7 |
| * | Introduce a new concept to the static analyzer: SValuator. | Ted Kremenek | 2009-06-26 | 1 | -16/+8 |
| * | Remove uses of std::ostream from libAnalysis. | Ted Kremenek | 2009-06-24 | 1 | -5/+0 |
| * | Move all factory methods from SVal to ValueManager. API cleanup! | Zhongxing Xu | 2009-06-23 | 1 | -59/+0 |
| * | Split ValueManager method definitions into its own source file. | Zhongxing Xu | 2009-06-23 | 1 | -119/+0 |
| * | ValueManager::makeNonLoc -> ValueManager::makeIntVal | Zhongxing Xu | 2009-06-23 | 1 | -1/+1 |
| * | Instead of setting the default value of the array region, bind the rest of the | Zhongxing Xu | 2009-06-23 | 1 | -0/+4 |
| * | A further step of r73690: associate the cast-to type with the created symbol, | Zhongxing Xu | 2009-06-19 | 1 | -2/+2 |
| * | Move clients over from using GRStateManager::BindXXX and friends to | Ted Kremenek | 2009-06-18 | 1 | -2/+4 |
| * | When casting region, if we do not create an element region, record the cast-to | Zhongxing Xu | 2009-06-18 | 1 | -2/+3 |
| * | Add logic for invalidating array region to CFRefCount.cpp. When invalidating | Zhongxing Xu | 2009-05-12 | 1 | -0/+25 |
| * | Rename: | Zhongxing Xu | 2009-05-09 | 1 | -2/+2 |
| * | As discussed with Ted, rename TypedRegion::getObjectType() to | Zhongxing Xu | 2009-05-09 | 1 | -1/+1 |
| * | rename: MemRegion: | Zhongxing Xu | 2009-05-09 | 1 | -1/+1 |
| * | Rename 'makeZeroIndex' to 'makeZeroArrayIndex'. | Ted Kremenek | 2009-05-04 | 1 | -1/+1 |
| * | array indexes are unsigned integers of the same width as pointer. | Zhongxing Xu | 2009-05-04 | 1 | -0/+4 |
| * | Use 'getAs<CodeTextRegion>' instead of 'dyn_cast<CodeTextRegion>' to handle any | Ted Kremenek | 2009-04-21 | 1 | -1/+1 |
| * | Remove loc::FuncVal. | Zhongxing Xu | 2009-04-20 | 1 | -9/+0 |
| * | get a CodeTextRegion when visiting FunctionDecl reference. | Zhongxing Xu | 2009-04-20 | 1 | -3/+20 |
| * | As we now have ValueManager as the new value factory, we do not need factory | Zhongxing Xu | 2009-04-20 | 1 | -1/+1 |
| * | Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" | Ted Kremenek | 2009-04-11 | 1 | -0/+4 |
| * | Move a few more NonLoc static functions to ValueManager. | Ted Kremenek | 2009-04-10 | 1 | -9/+8 |
| * | Add prototype for CodeTextRegion. | Zhongxing Xu | 2009-04-10 | 1 | -0/+24 |
| * | Finally nuke loc::SymbolVal. | Zhongxing Xu | 2009-04-10 | 1 | -7/+0 |
| * | - Move ownership of MemRegionManager into ValueManager. | Ted Kremenek | 2009-04-09 | 1 | -9/+8 |
| * | Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal. | Ted Kremenek | 2009-04-09 | 1 | -1/+1 |
| * | stop using loc::SymbolVal and clean up code with new API. | Zhongxing Xu | 2009-04-09 | 1 | -2/+0 |
| * | Add a new method because sometimes the type of the conjured symbol is not the | Zhongxing Xu | 2009-04-09 | 1 | -0/+13 |
| * | Create a symbolic region instead of a loc::SymbolVal. This is a continued step | Zhongxing Xu | 2009-04-09 | 1 | -13/+10 |
| * | Enhance analyzer reasoning about sending messages to nil. A nil receiver ret... | Ted Kremenek | 2009-04-08 | 1 | -0/+20 |
| * | This is the first step to gradually remove the use of loc::SymbolVal. Now | Zhongxing Xu | 2009-04-03 | 1 | -2/+3 |
| * | Remove dead code. | Ted Kremenek | 2009-03-30 | 1 | -103/+0 |
| * | analyzer infrastructure: make a bunch of changes to symbolic expressions that | Ted Kremenek | 2009-03-26 | 1 | -109/+107 |
| * | This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for | Zhongxing Xu | 2009-03-25 | 1 | -0/+17 |
| * | GRExprEngine: | Ted Kremenek | 2009-03-20 | 1 | -0/+17 |
| * | Fix crash reported in <rdar://problem/6695527>. We now have | Ted Kremenek | 2009-03-18 | 1 | -3/+10 |
| * | Remove some now-unneeded calls to llvm::errs().flush(). | Daniel Dunbar | 2009-03-10 | 1 | -1/+1 |
| * | Rework use of loc::SymbolVal in the retain/release checker to use the new method | Ted Kremenek | 2009-03-03 | 1 | -0/+36 |
| * | Fix case where we should use dyn_cast instead of cast. | Ted Kremenek | 2009-03-03 | 1 | -1/+1 |
| * | Fix a couple bugs: | Ted Kremenek | 2009-01-30 | 1 | -4/+3 |
| * | Static analyzer: Remove a bunch of outdated SymbolData objects and | Ted Kremenek | 2009-01-22 | 1 | -31/+7 |
| * | Lazy bingding for region-store manager. | Zhongxing Xu | 2008-12-20 | 1 | -0/+15 |
