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