Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -198/+0 |
* | Switch RegionStore over to using <BaseRegion+raw offset> to store | Ted Kremenek | 2010-01-11 | 1 | -15/+13 |
* | Teach OSAtomicChecker that a FunctionDecl's name isn't always a simple Identi... | Ted Kremenek | 2009-12-16 | 1 | -3/+7 |
* | Fix null dereference in OSAtomicChecker and special case SymbolicRegions. We... | Ted Kremenek | 2009-12-09 | 1 | -4/+13 |
* | Refactor OSAtomic evaluation logic into OSAtomicChecker. | Zhongxing Xu | 2009-12-09 | 1 | -0/+187 |