| Commit message (Expand) | Author | Age | Files | Lines |
* | [analyzer] Don't crash running destructors for multidimensional arrays. | Jordan Rose | 2012-12-12 | 1 | -1/+2 |
* | Sort all of Clang's files under 'lib', and fix up the broken headers | Chandler Carruth | 2012-12-04 | 1 | -3/+3 |
* | [analyzer] Assume 'new' never returns NULL if it could throw an exception. | Jordan Rose | 2012-10-20 | 1 | -1/+12 |
* | [analyzer] Cast the result of a placement new-expression to the correct type. | Jordan Rose | 2012-09-08 | 1 | -1/+3 |
* | [analyzer] Don't attempt to devirtualize calls to base class destructors. | Jordan Rose | 2012-09-06 | 1 | -1/+2 |
* | [analyzer] Be more forgiving about calling methods on struct rvalues. | Jordan Rose | 2012-09-05 | 1 | -3/+4 |
* | [analyzer] Inline constructors for any object with a trivial destructor. | Jordan Rose | 2012-08-27 | 1 | -7/+18 |
* | Rename 'currentX' to 'currX' throughout analyzer and libAnalysis. | Ted Kremenek | 2012-08-22 | 1 | -12/+12 |
* | Rename 'getConjuredSymbol*' to 'conjureSymbol*'. | Ted Kremenek | 2012-08-22 | 1 | -3/+4 |
* | [analyzer] Update initializer assertion for delegating constructors. | Jordan Rose | 2012-08-03 | 1 | -0/+5 |
* | [analyzer] Only allow CallEvents to be created by CallEventManager. | Jordan Rose | 2012-07-30 | 1 | -14/+24 |
* | [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change. | Jordan Rose | 2012-07-26 | 1 | -1/+1 |
* | [analyzer] Don't crash on array constructors and destructors. | Jordan Rose | 2012-07-26 | 1 | -9/+34 |
* | [analyzer] Handle C++ member initializers and destructors. | Jordan Rose | 2012-07-26 | 1 | -0/+19 |
* | [analyzer] Use the CFG to see if a constructor is for a local variable. | Jordan Rose | 2012-07-26 | 1 | -34/+22 |
* | [analyzer] Handle base class initializers and destructors. | Jordan Rose | 2012-07-26 | 1 | -8/+70 |
* | [analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on the | Anna Zaks | 2012-07-19 | 1 | -2/+4 |
* | [analyzer] Remove unused ExprEngine::VisitCXXTemporaryObjectExpr. | Jordan Rose | 2012-07-18 | 1 | -6/+0 |
* | [analyzer] Handle new-expressions with initializers for scalars. | Jordan Rose | 2012-07-16 | 1 | -0/+13 |
* | [analyzer] Add a CXXDestructorCall CallEvent. | Jordan Rose | 2012-07-10 | 1 | -13/+13 |
* | [analyzer] Introduce CXXAllocatorCall to handle placement arg invalidation. | Jordan Rose | 2012-07-02 | 1 | -159/+19 |
* | [analyzer] Add generic preCall and postCall checks. | Jordan Rose | 2012-07-02 | 1 | -3/+8 |
* | [analyzer] Convert CXXConstructExpr over to use CallEvent for evaluation. | Jordan Rose | 2012-07-02 | 1 | -83/+13 |
* | [analyzer] Add a new abstraction over all types of calls: CallEvent | Jordan Rose | 2012-07-02 | 1 | -2/+4 |
* | Implement initial static analysis inlining support for C++ methods. | Ted Kremenek | 2012-06-22 | 1 | -17/+2 |
* | [analyzer] Invalidate placement args; return the pointer given to placement new | Jordan Rose | 2012-06-20 | 1 | -4/+104 |
* | Fix analyzer crash on analyzing 'catch' with no condition variable. | Ted Kremenek | 2012-03-16 | 1 | -0/+5 |
* | [analyzer] Remove AggExprVisitor, a dead class that assisted in visiting C++ ... | Jordy Rose | 2012-03-15 | 1 | -4/+1 |
* | '#if 0' out a variable that's only used in other preprocessor-disabled code. | Matt Beaumont-Gay | 2012-03-14 | 1 | -0/+2 |
* | [Analyser] Removes more recursive visitations in ExprEngine that are no | Erik Verbruggen | 2012-03-14 | 1 | -86/+10 |
* | [analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do... | Ted Kremenek | 2012-03-10 | 1 | -0/+15 |
* | Remove a recursive visitiation in ExprEngine that is no longer needed | Erik Verbruggen | 2012-02-29 | 1 | -9/+3 |
* | Have conjured symbols depend on LocationContext, to add context sensitivity f... | Ted Kremenek | 2012-02-17 | 1 | -1/+2 |
* | Revert "Revert "Make CXXNewExpr contain only a single initialier, and not hol... | Sebastian Redl | 2012-02-16 | 1 | -0/+3 |
* | Revert "Make CXXNewExpr contain only a single initialier, and not hold the us... | Sebastian Redl | 2012-02-16 | 1 | -3/+0 |
* | Make CXXNewExpr contain only a single initialier, and not hold the used const... | Sebastian Redl | 2012-02-16 | 1 | -0/+3 |
* | StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t... | Benjamin Kramer | 2012-01-28 | 1 | -0/+6 |
* | Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. | Ted Kremenek | 2012-01-26 | 1 | -8/+8 |
* | [analyzer] Make the entries in 'Environment' context-sensitive by making entr... | Ted Kremenek | 2012-01-06 | 1 | -11/+15 |
* | [analyzer] Be less pessimistic about invalidation of global variables | Anna Zaks | 2012-01-04 | 1 | -4/+6 |
* | [analyzer] Node builders cleanup + comments | Anna Zaks | 2011-10-24 | 1 | -7/+7 |
* | [analyzer] Completely remove the global Builder object. | Anna Zaks | 2011-10-24 | 1 | -7/+6 |
* | [analyzer] Convert ExprEngine::visit() to use short lived builders. | Anna Zaks | 2011-10-24 | 1 | -29/+37 |
* | Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac... | Ted Kremenek | 2011-10-24 | 1 | -1/+1 |
* | [analyzer] Remove LocationContext creation methods from AnalysisManager, and ... | Ted Kremenek | 2011-10-23 | 1 | -8/+9 |
* | Fix LiveVariables analysis bug with MaterializeTemporaryExpr and fix handling... | Ted Kremenek | 2011-10-02 | 1 | -13/+10 |
* | [analyzer] Remove TransferFuncs.h, then deal with the fallout. | Jordy Rose | 2011-09-02 | 1 | -0/+1 |
* | [analyzer] Migrate argument invalidation from CFRefCount to ExprEngine. | Jordy Rose | 2011-08-28 | 1 | -26/+2 |
* | [analyzer] Change the check::RegionChanges callback to include the regions ex... | Jordy Rose | 2011-08-27 | 1 | -9/+3 |
* | Rename CXXExprEngine.cpp to ExprEngineCXX.cpp. | Ted Kremenek | 2011-08-20 | 1 | -0/+371 |