| Age | Commit message (Expand) | Author |
|---|
| 2010-01-25 | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek |
| 2009-12-31 | Let constraint manager inform checkers that some assumption logic has happend. | Zhongxing Xu |
| 2009-12-23 | Migrate the call inliner to the Checker interface. | Zhongxing Xu |
| 2009-12-12 | Add initial support for realloc() in MallocChecker. | Zhongxing Xu |
| 2009-12-09 | Refactor OSAtomic evaluation logic into OSAtomicChecker. | Zhongxing Xu |
| 2009-12-07 | Add EvalCallExpr interface to checker, and migrate the no-return function | Zhongxing Xu |
| 2009-12-04 | Rename instance variable to avoid name conflict with parameters, and modify a... | Ted Kremenek |
| 2009-12-04 | Revert r90546. | Ted Kremenek |
| 2009-12-04 | the assertion says state is not NULL. When state is not NULL, getState() | Zhongxing Xu |
| 2009-12-02 | Hard bifurcate the state into nil receiver and non-nil receiver, so that | Zhongxing Xu |
| 2009-11-24 | Cleanups and fixes to the nil-receiver checker, some of it fallout the | Ted Kremenek |
| 2009-11-24 | Refactor NilReceiverStructRet and NilReceiverLargerThanVoidPtrRet into | Zhongxing Xu |
| 2009-11-23 | Clean up the Checker API a little more, resolving some hidden bugs | Ted Kremenek |
| 2009-11-23 | Provide out-of-line definition for destructor of Checker. | Ted Kremenek |
| 2009-11-23 | Initial refactor of UndefBranchChecker. We still use GRBranchNodeBuilder | Zhongxing Xu |
| 2009-11-20 | No need to pass the state argument explicitly. | Zhongxing Xu |
| 2009-11-17 | Add EvalEndPath interface to Checker. Now we can check memory leaked at the | Zhongxing Xu |
| 2009-11-13 | Check in a new interface of Checker, which will soon be used. | Zhongxing Xu |
| 2009-11-12 | Enhance Checker class (and GRExprEngine) to support PostVisitation for CallEx... | Ted Kremenek |
| 2009-11-11 | Refactor DereferenceChecker to use only the new Checker API instead of | Ted Kremenek |
| 2009-11-07 | Remove Checker::CheckType() (and instead using CheckerVisitor::PreVisitDeclSt... | Ted Kremenek |
| 2009-11-06 | Add a checker for CWE-466: Return of Pointer Value Outside of Expected Range. | Zhongxing Xu |
| 2009-11-06 | static analyzer: refactor checking logic for returning the address of a stack... | Ted Kremenek |
| 2009-11-05 | Modify GRExprEngine::EvalBind() to take both a "store expression" and | Ted Kremenek |
| 2009-11-04 | Catch uses of undefined values when they are used in assignment, thus catchin... | Ted Kremenek |
| 2009-11-03 | Pull VLA size checker into its own files. | Zhongxing Xu |
| 2009-11-03 | Implement: <rdar://problem/6250216> Warn against using -[NSAutoreleasePool re... | Ted Kremenek |
| 2009-10-29 | Move NullDeref and UndefDeref into their own checker. | Zhongxing Xu |
| 2009-09-09 | Remove tabs, and whitespace cleanups. | Mike Stump |
| 2009-09-02 | Refactor the check for bad divide into a checker. | Zhongxing Xu |
| 2009-08-18 | Enhance static analyzer diagnostics by introducing a new 'EnhancedBugReporter' | Ted Kremenek |
| 2009-08-06 | Last step of template cleanup: merge *BuilderImpl to *Builder. | Zhongxing Xu |
| 2009-08-06 | As GRState seems general enough, it is time to merge some template classes | Zhongxing Xu |
| 2009-07-28 | Fix regression in attribute 'nonnull' checking when a transition node | Ted Kremenek |
| 2009-07-27 | Update for LLVM API change. | Owen Anderson |
| 2009-07-24 | Mark destructor of Checker virtual. | Ted Kremenek |
| 2009-07-22 | Add new 'Checker' and 'CheckerVisitor' classes, which represent a more powerful | Ted Kremenek |
