Age | Commit message (Expand) | Author |
---|---|---|
2009-09-27 | Fix: | Ted Kremenek |
2009-09-11 | Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way | Ted Kremenek |
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-01 | This is a fairly large patch, which resulted from a cascade of changes | Ted Kremenek |
2009-07-21 | Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast | Ted Kremenek |
2009-07-18 | Return CodeTextRegions for BlockPointerTypes in addition to FunctionPointerTy... | Ted Kremenek |
2009-07-16 | Two changes: | Ted Kremenek |
2009-07-15 | Introduced the notion of a "derived symbol" using the class SymbolDerived. | 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 |