| Commit message (Expand) | Author | Age | Files | Lines |
* | [analyzer] Don't attempt to devirtualize calls to base class destructors. | Jordan Rose | 2012-09-06 | 1 | -3/+3 |
* | Dont cast away const needlessly. Found by gcc48 -Wcast-qual. | Roman Divacky | 2012-09-06 | 1 | -3/+3 |
* | Revert r163083 per chandlerc's request. | Joao Matos | 2012-09-04 | 1 | -1/+0 |
* | Implemented parsing and AST support for the MS __leave exception statement. A... | Joao Matos | 2012-09-02 | 1 | -0/+1 |
* | [analyzer] Refactor the logic that determines if a functions should be | Anna Zaks | 2012-08-30 | 1 | -3/+4 |
* | Rename 'MaxLoop' to 'maxBlockVisitOnPath' to reflect reality. We | Ted Kremenek | 2012-08-30 | 1 | -1/+1 |
* | Rename AnalyzerOptions 'EagerlyAssume' to 'eagerlyAssumeBinOpBifurcation'. | Ted Kremenek | 2012-08-30 | 1 | -11/+13 |
* | Store const& to AnalyzerOptions in AnalysisManager instead of copying | Ted Kremenek | 2012-08-30 | 1 | -11/+12 |
* | [analyzer] Rename CallEvent::mayBeInlined to CallEvent::isCallStmt. | Jordan Rose | 2012-08-28 | 1 | -1/+1 |
* | [analyzer] Inline constructors for any object with a trivial destructor. | Jordan Rose | 2012-08-27 | 1 | -6/+2 |
* | [analyzer] Use the common evalBind infrastructure for initializers. | Jordan Rose | 2012-08-25 | 1 | -16/+25 |
* | [ms-inline asm] As part of a larger refactoring, rename AsmStmt to GCCAsmStmt. | Chad Rosier | 2012-08-25 | 1 | -5/+5 |
* | [analyzer] For now, treat pointers-to-members as non-null void * symbols. | Jordan Rose | 2012-08-23 | 1 | -1/+6 |
* | [analyzer] Support C++ default arguments if they are literal values. | Jordan Rose | 2012-08-23 | 1 | -5/+1 |
* | Rename 'currentX' to 'currX' throughout analyzer and libAnalysis. | Ted Kremenek | 2012-08-22 | 1 | -35/+35 |
* | Rename 'getConjuredSymbol*' to 'conjureSymbol*'. | Ted Kremenek | 2012-08-22 | 1 | -2/+1 |
* | Remove Store::bindDecl() and Store::bindDeclWithNoInit(), and | Ted Kremenek | 2012-08-22 | 1 | -14/+18 |
* | [analyzer] Replace boolean IsSink parameters with 'generateSink' methods. | Jordan Rose | 2012-08-20 | 1 | -26/+21 |
* | [analyzer] Treat C++ 'throw' as a sink. | Jordan Rose | 2012-08-18 | 1 | -7/+2 |
* | [analyzer] Treat @throw as a sink (stop processing). | Jordan Rose | 2012-08-18 | 1 | -1/+1 |
* | [analyzer] Update initializer assertion for delegating constructors. | Jordan Rose | 2012-08-03 | 1 | -2/+7 |
* | [analyzer] Getting an lvalue for a reference field still requires a load. | Jordan Rose | 2012-07-31 | 1 | -2/+9 |
* | [analyzer] Only allow CallEvents to be created by CallEventManager. | Jordan Rose | 2012-07-30 | 1 | -6/+2 |
* | [analyzer] Look through SubstNonTypeTemplateParmExprs. | Jordan Rose | 2012-07-27 | 1 | -1/+1 |
* | [analyzer] Use a stack-based local instead of a temporary to fix build. | Jordan Rose | 2012-07-26 | 1 | -4/+4 |
* | [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change. | Jordan Rose | 2012-07-26 | 1 | -1/+1 |
* | [analyzer] Handle C++ member initializers and destructors. | Jordan Rose | 2012-07-26 | 1 | -24/+36 |
* | [analyzer] Handle base class initializers and destructors. | Jordan Rose | 2012-07-26 | 1 | -53/+28 |
* | Remove ExprEngine::MarkBranch(), as it is no longer needed. | Ted Kremenek | 2012-07-25 | 1 | -67/+4 |
* | [analyzer] Combine all ObjC message CallEvents into ObjCMethodCall. | Jordan Rose | 2012-07-18 | 1 | -29/+4 |
* | [analyzer] Remove obsolete ObjCPropRef SVal kind. | Jordan Rose | 2012-07-18 | 1 | -13/+4 |
* | Refine CFG so that '&&' and '||' don't lead to extra confluence points when u... | Ted Kremenek | 2012-07-14 | 1 | -0/+45 |
* | [analyzer] Construct stack variables directly in their VarDecl. | Jordan Rose | 2012-07-10 | 1 | -4/+33 |
* | [analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPoints | Jordan Rose | 2012-07-10 | 1 | -0/+2 |
* | [analyzer] Add new PreImplicitCall and PostImplicitCall ProgramPoints. | Jordan Rose | 2012-07-10 | 1 | -12/+37 |
* | Revert "Remove unused member (& consequently unused parameter) in SA's Call c... | Jordan Rose | 2012-07-02 | 1 | -2/+3 |
* | Remove unused member (& consequently unused parameter) in SA's Call code. | David Blaikie | 2012-07-02 | 1 | -3/+2 |
* | [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends. | Jordan Rose | 2012-07-02 | 1 | -2/+2 |
* | [analyzer] Begin replacing ObjCMessage with ObjCMethodCall and friends. | Jordan Rose | 2012-07-02 | 1 | -8/+14 |
* | [analyzer] Move the last bits of CallOrObjCMessage over to CallEvent. | Jordan Rose | 2012-07-02 | 1 | -1/+2 |
* | [analyzer] Add a new abstraction over all types of calls: CallEvent | Jordan Rose | 2012-07-02 | 1 | -1/+1 |
* | [analyzer] Remove unneeded helper function (it's in ASTContext.h) | Jordan Rose | 2012-06-27 | 1 | -9/+0 |
* | Implement initial static analysis inlining support for C++ methods. | Ted Kremenek | 2012-06-22 | 1 | -5/+16 |
* | Documentation cleanup: fix a type, LocatioinE -> LocationE | James Dennett | 2012-06-15 | 1 | -2/+2 |
* | Revert "[analyzer] Treat LValueBitCasts like regular pointer bit casts." | Jordan Rose | 2012-06-12 | 1 | -1/+1 |
* | [analyzer] Treat LValueBitCasts like regular pointer bit casts. | Jordan Rose | 2012-06-11 | 1 | -1/+1 |
* | Etch out the code path for MS-style inline assembly. | Chad Rosier | 2012-06-11 | 1 | -0/+12 |
* | [analyzer] Rely on canBeInlined utility instead of checking CallExpr | Anna Zaks | 2012-06-02 | 1 | -1/+1 |
* | [analyzer] For locations, use isGLValue() instead of isLValue(). | Anna Zaks | 2012-05-19 | 1 | -4/+4 |
* | [analyzer] Fix a c++11 crash: xvalues can be locations (VisitMemberExpr) | Anna Zaks | 2012-05-18 | 1 | -1/+1 |