| Age | Commit message (Expand) | Author |
|---|
| 2010-01-25 | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek |
| 2010-01-11 | Enhance SVals::getAsRegion: get the region that is converted to an integer. | Zhongxing Xu |
| 2009-11-25 | Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a pre... | Ted Kremenek |
| 2009-11-10 | Rename: StripCasts describes what it does better. | Zhongxing Xu |
| 2009-11-09 | Add checker for CWE-587: Assignment of a Fixed Address to a Pointer. | Zhongxing Xu |
| 2009-09-09 | Remove tabs, and whitespace cleanups. | Mike Stump |
| 2009-08-28 | Use SymbolicRegion instead of CodeTextRegion for symbolic function | Ted Kremenek |
| 2009-08-23 | Replace cerr with errs(). | Benjamin Kramer |
| 2009-08-06 | Implement lazy "copying" of structures and arrays in RegionStore. While | Ted Kremenek |
| 2009-07-29 | Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only | Ted Kremenek |
| 2009-07-29 | Add 'MemRegion::getBaseRegion()', a utility method to strip ElementRegions with | Ted Kremenek |
| 2009-07-14 | Tweak pretty-printing of CompoundVal to make it more useful for debugging. | Ted Kremenek |
| 2009-07-13 | Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', an... | Ted Kremenek |
| 2009-06-30 | add utility method. | Zhongxing Xu |
| 2009-06-26 | Introduce a new concept to the static analyzer: SValuator. | Ted Kremenek |
| 2009-06-24 | Remove uses of std::ostream from libAnalysis. | Ted Kremenek |
| 2009-06-23 | Move all factory methods from SVal to ValueManager. API cleanup! | Zhongxing Xu |
| 2009-06-23 | Split ValueManager method definitions into its own source file. | Zhongxing Xu |
| 2009-06-23 | ValueManager::makeNonLoc -> ValueManager::makeIntVal | Zhongxing Xu |
| 2009-06-23 | Instead of setting the default value of the array region, bind the rest of the | Zhongxing Xu |
| 2009-06-19 | A further step of r73690: associate the cast-to type with the created symbol, | Zhongxing Xu |
| 2009-06-18 | Move clients over from using GRStateManager::BindXXX and friends to | Ted Kremenek |
| 2009-06-18 | When casting region, if we do not create an element region, record the cast-to | Zhongxing Xu |
| 2009-05-12 | Add logic for invalidating array region to CFRefCount.cpp. When invalidating | 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-04 | Rename 'makeZeroIndex' to 'makeZeroArrayIndex'. | Ted Kremenek |
| 2009-05-04 | array indexes are unsigned integers of the same width as pointer. | Zhongxing Xu |
| 2009-04-21 | Use 'getAs<CodeTextRegion>' instead of 'dyn_cast<CodeTextRegion>' to handle any | Ted Kremenek |
| 2009-04-20 | Remove loc::FuncVal. | Zhongxing Xu |
| 2009-04-20 | get a CodeTextRegion when visiting FunctionDecl reference. | Zhongxing Xu |
| 2009-04-20 | As we now have ValueManager as the new value factory, we do not need factory | Zhongxing Xu |
| 2009-04-11 | Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" | Ted Kremenek |
| 2009-04-10 | Move a few more NonLoc static functions to ValueManager. | Ted Kremenek |
| 2009-04-10 | Add prototype for CodeTextRegion. | Zhongxing Xu |
| 2009-04-10 | Finally nuke loc::SymbolVal. | Zhongxing Xu |
| 2009-04-09 | - Move ownership of MemRegionManager into ValueManager. | Ted Kremenek |
| 2009-04-09 | Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal. | Ted Kremenek |
| 2009-04-09 | stop using loc::SymbolVal and clean up code with new API. | Zhongxing Xu |
| 2009-04-09 | Add a new method because sometimes the type of the conjured symbol is not the | Zhongxing Xu |
| 2009-04-09 | Create a symbolic region instead of a loc::SymbolVal. This is a continued step | Zhongxing Xu |
| 2009-04-08 | Enhance analyzer reasoning about sending messages to nil. A nil receiver ret... | Ted Kremenek |
| 2009-04-03 | This is the first step to gradually remove the use of loc::SymbolVal. Now | Zhongxing Xu |
| 2009-03-30 | Remove dead code. | Ted Kremenek |
| 2009-03-26 | analyzer infrastructure: make a bunch of changes to symbolic expressions that | Ted Kremenek |
| 2009-03-25 | This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for | Zhongxing Xu |
| 2009-03-20 | GRExprEngine: | Ted Kremenek |
| 2009-03-18 | Fix crash reported in <rdar://problem/6695527>. We now have | Ted Kremenek |
| 2009-03-10 | Remove some now-unneeded calls to llvm::errs().flush(). | Daniel Dunbar |
