Age | Commit message (Expand) | Author |
2010-04-11 | Fix CFG bug where bases of member expressions were not always evaluated in a ... | Ted Kremenek |
2010-04-11 | Fix bug in AddStmtChoice:asLValue() where 'AsLValueNotAlwaysAdd' would not be... | Ted Kremenek |
2010-04-11 | Sort visitor methods. No functionality change. | Ted Kremenek |
2010-03-30 | the big refactoring bits of PR3782. | Rafael Espindola |
2010-03-29 | Be a bit more consistent in using operator-> | Rafael Espindola |
2010-03-03 | Simplify code a bit and remove unneeded semicolons. | Benjamin Kramer |
2010-03-02 | [CFG] | Ted Kremenek |
2010-02-24 | Always add CallExpr as block-level expression. Inline-based interprocedural | Zhongxing Xu |
2010-02-22 | Revert "Simplify code: Succ is guaranteed to be not NULL.", which turns out to | Daniel Dunbar |
2010-02-22 | Simplify code: Succ is guaranteed to be not NULL. | Zhongxing Xu |
2010-01-21 | Improve unreachable code warnings with respect to dead binary and | Mike Stump |
2010-01-21 | Speed up compilation by avoiding generating exceptional edges from | Mike Stump |
2010-01-21 | Add infrastructure to add base initializers and member initializers to | Mike Stump |
2010-01-20 | Wire up the EH context for the catch clauses to the outer EH context. WIP. | Mike Stump |
2010-01-20 | Add an exceptional edge from the try terminated block to the outer EH | Mike Stump |
2010-01-19 | Add CFG support for the start and end of scopes and infrastructure for | Mike Stump |
2010-01-19 | Tighten code and rework indentation of some if() branches (for readability). ... | Ted Kremenek |
2010-01-19 | Remove extra space in uses of 'assert()'. | Ted Kremenek |
2010-01-19 | Re-alphabetize cases in switch statement. | Ted Kremenek |
2010-01-19 | Add try/catch CFG support. Also improve throw CFG support. WIP. | Mike Stump |
2009-12-24 | Add CFG support for the initializer of the condition variable of a ForStmt. | Ted Kremenek |
2009-12-24 | CFG tweak: in a WhileStmt, the condition variable initializer is evaluated ev... | Ted Kremenek |
2009-12-24 | Add CFG support for the initializer of the condition variable of a WhileStmt. | Ted Kremenek |
2009-12-24 | Add CFG support for the initializer of the condition variable of a SwitchStmt. | Ted Kremenek |
2009-12-23 | Tidy up FindSubExprAssignments to not deference the child_iterator multiple t... | Ted Kremenek |
2009-12-23 | Add CFG support for the condition variable that can appear in IfStmts in C++ ... | Ted Kremenek |
2009-12-16 | Add (initial?) static analyzer support for handling C++ references. | Ted Kremenek |
2009-12-15 | Start the ball rolling on C++ support in the static analyzer. For | Ted Kremenek |
2009-12-04 | Include BlockDeclRefExprs in constructed CFGs. | Ted Kremenek |
2009-11-30 | Adapt to the DOTGraphTraits changes in LLVM. | Tobias Grosser |
2009-11-28 | lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace | Kovarththanan Rajaratnam |
2009-11-25 | Allow building of CFGs for ASTs that contain BlockExprs. | Ted Kremenek |
2009-10-20 | Remove stale comment and tighten code. | Ted Kremenek |
2009-10-20 | Use llvm::OwningPtr in CFGBuilder, fixing a leak on an error path. | Ted Kremenek |
2009-10-12 | Use a BumpPtrAllocator to allocate all aspects of CFG, including CFGBlocks, s... | Ted Kremenek |
2009-09-24 | When building CFGs, no longer reverse the statements in the CFGBlock. Instead | Ted Kremenek |
2009-09-09 | Remove tabs, and whitespace cleanups. | Mike Stump |
2009-08-27 | CFG construction: Abort CFG construction when processing a CompoundStmt if any | Ted Kremenek |
2009-08-24 | Don't try to evaluate an expression that is type- or value-dependent while bu... | Douglas Gregor |
2009-08-23 | Replace cerr with errs(). | Benjamin Kramer |
2009-08-20 | If the 'while' has an empty body, set the body to the continue target block. | Zhongxing Xu |
2009-08-20 | If the body of for loop is empty, set its body to the continue target. | Zhongxing Xu |
2009-07-25 | Add noreturn as a type attribute, handle printing for them and handle | Mike Stump |
2009-07-24 | Add doxygen comments and simplify expression. | Ted Kremenek |
2009-07-24 | Introduce a new variant type 'TryResult' to represent the result of | Ted Kremenek |
2009-07-23 | Refactor and push the evaluation as late as possible. | Mike Stump |
2009-07-22 | Improve CFG support for C++ throw expressions. | Mike Stump |
2009-07-22 | Make 'SaveAndRestore' and friends reusable classes in libAnalysis. | Ted Kremenek |
2009-07-21 | Wire up CFG improvements for __builtin_choose_expr. | Mike Stump |
2009-07-21 | Wire up CFG improvements for do { } while () when the condition is known. | Mike Stump |