| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Simplify code a bit and remove unneeded semicolons. | Benjamin Kramer | 2010-03-03 | 1 | -7/+4 |
| * | [CFG] | Ted Kremenek | 2010-03-02 | 1 | -17/+17 |
| * | Always add CallExpr as block-level expression. Inline-based interprocedural | Zhongxing Xu | 2010-02-24 | 1 | -1/+1 |
| * | Revert "Simplify code: Succ is guaranteed to be not NULL.", which turns out to | Daniel Dunbar | 2010-02-22 | 1 | -28/+28 |
| * | Simplify code: Succ is guaranteed to be not NULL. | Zhongxing Xu | 2010-02-22 | 1 | -28/+28 |
| * | Improve unreachable code warnings with respect to dead binary and | Mike Stump | 2010-01-21 | 1 | -1/+2 |
| * | Speed up compilation by avoiding generating exceptional edges from | Mike Stump | 2010-01-21 | 1 | -9/+35 |
| * | Add infrastructure to add base initializers and member initializers to | Mike Stump | 2010-01-21 | 1 | -4/+12 |
| * | Wire up the EH context for the catch clauses to the outer EH context. WIP. | Mike Stump | 2010-01-20 | 1 | -9/+9 |
| * | Add an exceptional edge from the try terminated block to the outer EH | Mike Stump | 2010-01-20 | 1 | -2/+16 |
| * | Add CFG support for the start and end of scopes and infrastructure for | Mike Stump | 2010-01-19 | 1 | -18/+76 |
| * | Tighten code and rework indentation of some if() branches (for readability). ... | Ted Kremenek | 2010-01-19 | 1 | -16/+15 |
| * | Remove extra space in uses of 'assert()'. | Ted Kremenek | 2010-01-19 | 1 | -7/+7 |
| * | Re-alphabetize cases in switch statement. | Ted Kremenek | 2010-01-19 | 1 | -9/+9 |
| * | Add try/catch CFG support. Also improve throw CFG support. WIP. | Mike Stump | 2010-01-19 | 1 | -10/+100 |
| * | Add CFG support for the initializer of the condition variable of a ForStmt. | Ted Kremenek | 2009-12-24 | 1 | -0/+13 |
| * | CFG tweak: in a WhileStmt, the condition variable initializer is evaluated ev... | Ted Kremenek | 2009-12-24 | 1 | -14/+13 |
| * | Add CFG support for the initializer of the condition variable of a WhileStmt. | Ted Kremenek | 2009-12-24 | 1 | -1/+14 |
| * | Add CFG support for the initializer of the condition variable of a SwitchStmt. | Ted Kremenek | 2009-12-24 | 1 | -2/+13 |
| * | Tidy up FindSubExprAssignments to not deference the child_iterator multiple t... | Ted Kremenek | 2009-12-23 | 1 | -7/+10 |
| * | Add CFG support for the condition variable that can appear in IfStmts in C++ ... | Ted Kremenek | 2009-12-23 | 1 | -1/+13 |
| * | Add (initial?) static analyzer support for handling C++ references. | Ted Kremenek | 2009-12-16 | 1 | -52/+74 |
| * | Start the ball rolling on C++ support in the static analyzer. For | Ted Kremenek | 2009-12-15 | 1 | -0/+2 |
| * | Include BlockDeclRefExprs in constructed CFGs. | Ted Kremenek | 2009-12-04 | 1 | -10/+0 |
| * | Adapt to the DOTGraphTraits changes in LLVM. | Tobias Grosser | 2009-11-30 | 1 | -2/+4 |
| * | lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace | Kovarththanan Rajaratnam | 2009-11-28 | 1 | -4/+3 |
| * | Allow building of CFGs for ASTs that contain BlockExprs. | Ted Kremenek | 2009-11-25 | 1 | -3/+6 |
| * | Remove stale comment and tighten code. | Ted Kremenek | 2009-10-20 | 1 | -6/+1 |
| * | Use llvm::OwningPtr in CFGBuilder, fixing a leak on an error path. | Ted Kremenek | 2009-10-20 | 1 | -12/+7 |
| * | Use a BumpPtrAllocator to allocate all aspects of CFG, including CFGBlocks, s... | Ted Kremenek | 2009-10-12 | 1 | -63/+72 |
| * | When building CFGs, no longer reverse the statements in the CFGBlock. Instead | Ted Kremenek | 2009-09-24 | 1 | -16/+8 |
| * | Remove tabs, and whitespace cleanups. | Mike Stump | 2009-09-09 | 1 | -97/+97 |
| * | CFG construction: Abort CFG construction when processing a CompoundStmt if any | Ted Kremenek | 2009-08-27 | 1 | -0/+3 |
| * | Don't try to evaluate an expression that is type- or value-dependent while bu... | Douglas Gregor | 2009-08-24 | 1 | -1/+2 |
| * | Replace cerr with errs(). | Benjamin Kramer | 2009-08-23 | 1 | -5/+4 |
| * | If the 'while' has an empty body, set the body to the continue target block. | Zhongxing Xu | 2009-08-20 | 1 | -1/+1 |
| * | If the body of for loop is empty, set its body to the continue target. | Zhongxing Xu | 2009-08-20 | 1 | -1/+1 |
| * | Add noreturn as a type attribute, handle printing for them and handle | Mike Stump | 2009-07-25 | 1 | -16/+20 |
| * | Add doxygen comments and simplify expression. | Ted Kremenek | 2009-07-24 | 1 | -1/+6 |
| * | Introduce a new variant type 'TryResult' to represent the result of | Ted Kremenek | 2009-07-24 | 1 | -106/+61 |
| * | Refactor and push the evaluation as late as possible. | Mike Stump | 2009-07-23 | 1 | -105/+54 |
| * | Improve CFG support for C++ throw expressions. | Mike Stump | 2009-07-22 | 1 | -0/+21 |
| * | Make 'SaveAndRestore' and friends reusable classes in libAnalysis. | Ted Kremenek | 2009-07-22 | 1 | -12/+1 |
| * | Wire up CFG improvements for __builtin_choose_expr. | Mike Stump | 2009-07-21 | 1 | -2/+20 |
| * | Wire up CFG improvements for do { } while () when the condition is known. | Mike Stump | 2009-07-21 | 1 | -7/+26 |
| * | Wire up for statement CFG improvements for conditionals that are known. | Mike Stump | 2009-07-21 | 1 | -10/+31 |
| * | Wire up CFG improvements for while when the condition is known. | Mike Stump | 2009-07-21 | 1 | -6/+26 |
| * | Add yet more analysis for CFGs involving conditionals that are actually const... | Mike Stump | 2009-07-20 | 1 | -25/+99 |
| * | Fix some fallout from CFGBuilder restructuring: all expressions that we expli... | Ted Kremenek | 2009-07-18 | 1 | -20/+24 |
| * | Fix possible null dereference in CFG construction. | Ted Kremenek | 2009-07-17 | 1 | -0/+1 |
