]> granicus.if.org Git - clang/history - lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
[Static Analyzer] Lambda support.
[clang] / lib / StaticAnalyzer / Core / ExprEngineCXX.cpp
2015-09-11 Gabor Horvath[Static Analyzer] Lambda support.
2015-09-08 Ted Kremenek[analyzer] Apply whitespace cleanups by Honggyu Kim.
2014-05-27 Craig Topper[C++11] Use 'nullptr'. StaticAnalyzer edition.
2014-04-29 Jordan Rose[analyzer] Don't crash when a construction is followed...
2014-04-05 Jordan Rose[analyzer] Look through temporary destructors when...
2014-04-01 Jordan Rose[analyzer] Extract a helper for finding the target...
2014-04-01 Jordan Rose[analyzer] Remove incorrect workaround for unimplemente...
2014-02-11 Jordan Rose[analyzer] Inline C++ operator new when c++-inline...
2013-09-25 Jordan Rose[analyzer] Handle destructors for the argument to C...
2013-09-02 Pavel Labath[analyzer] Add very limited support for temporary destr...
2013-08-28 Pavel Labath[analyzer] Assume new returns non-null even under ...
2013-07-25 Jordan Rose[analyzer] Remove dead optimization for MaterializeTemp...
2013-07-10 Jordan Rose[analyzer] Remove bogus assert: in C++11, 'new' can...
2013-06-25 Jordan Rose[analyzer] Handle zeroing CXXConstructExprs.
2013-06-25 Jordan Rose[analyzer] Don't initialize virtual base classes more...
2013-06-21 Jordan RoseRevert "[analyzer] Handle zeroing CXXConstructExprs."
2013-06-21 Jordan Rose[analyzer] Handle zeroing CXXConstructExprs.
2013-04-03 Jordan Rose[analyzer] Better model for copying of array fields...
2013-03-30 Jordan Rose[analyzer] Restructure ExprEngine::VisitCXXNewExpr...
2013-03-30 Jordan Rose[analyzer] Handle caching out while evaluating a C...
2013-03-28 Anton Yartsev[analyzer] For now assume all standard global 'operator...
2013-03-27 Jordan Rose[analyzer] Use evalBind for C++ new of scalar types.
2013-03-16 Jordan Rose[analyzer] Model trivial copy/move assignment operators...
2013-02-26 Jordan Rose[analyzer] Don't look through casts when creating point...
2013-02-23 David BlaikieRemove the CFGElement "Invalid" state.
2013-02-22 Jordan Rose[analyzer] Make sure a materialized temporary matches...
2013-02-21 David BlaikieReplace CFGElement llvm::cast support to be well-defined.
2013-02-21 Jordan Rose[analyzer] Record whether a base object region represen...
2013-02-20 David BlaikieInclude llvm::Optional in clang/Basic/LLVM.h
2013-02-20 David BlaikieReplace SVal llvm::cast support to be well-defined.
2013-02-15 Jordan RoseRe-apply "[analyzer] Model trivial copy/move ctors...
2013-02-02 Jordan RoseRevert "[analyzer] Model trivial copy/move ctors with...
2013-02-01 Jordan RoseRe-apply "[analyzer] Model trivial copy/move ctors...
2013-01-31 Jordan RoseRevert "[analyzer] Model trivial copy/move ctors with...
2013-01-30 Jordan Rose[analyzer] Model trivial copy/move ctors with an aggreg...
2012-12-12 Jordan Rose[analyzer] Don't crash running destructors for multidim...
2012-12-04 Chandler CarruthSort all of Clang's files under 'lib', and fix up the...
2012-10-20 Jordan Rose[analyzer] Assume 'new' never returns NULL if it could...
2012-09-08 Jordan Rose[analyzer] Cast the result of a placement new-expressio...
2012-09-06 Jordan Rose[analyzer] Don't attempt to devirtualize calls to base...
2012-09-05 Jordan Rose[analyzer] Be more forgiving about calling methods...
2012-08-27 Jordan Rose[analyzer] Inline constructors for any object with...
2012-08-22 Ted KremenekRename 'currentX' to 'currX' throughout analyzer and...
2012-08-22 Ted KremenekRename 'getConjuredSymbol*' to 'conjureSymbol*'.
2012-08-03 Jordan Rose[analyzer] Update initializer assertion for delegating...
2012-07-30 Jordan Rose[analyzer] Only allow CallEvents to be created by CallE...
2012-07-26 Jordan Rose[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp...
2012-07-26 Jordan Rose[analyzer] Don't crash on array constructors and destru...
2012-07-26 Jordan Rose[analyzer] Handle C++ member initializers and destructors.
2012-07-26 Jordan Rose[analyzer] Use the CFG to see if a constructor is for...
2012-07-26 Jordan Rose[analyzer] Handle base class initializers and destructors.
2012-07-19 Anna Zaks[analyzer] Refactor VisitObjCMessage and VisitCallExpr...
2012-07-18 Jordan Rose[analyzer] Remove unused ExprEngine::VisitCXXTemporaryO...
2012-07-16 Jordan Rose[analyzer] Handle new-expressions with initializers...
2012-07-10 Jordan Rose[analyzer] Add a CXXDestructorCall CallEvent.
2012-07-02 Jordan Rose[analyzer] Introduce CXXAllocatorCall to handle placeme...
2012-07-02 Jordan Rose[analyzer] Add generic preCall and postCall checks.
2012-07-02 Jordan Rose[analyzer] Convert CXXConstructExpr over to use CallEve...
2012-07-02 Jordan Rose[analyzer] Add a new abstraction over all types of...
2012-06-22 Ted KremenekImplement initial static analysis inlining support...
2012-06-20 Jordan Rose[analyzer] Invalidate placement args; return the pointe...
2012-03-16 Ted KremenekFix analyzer crash on analyzing 'catch' with no conditi...
2012-03-15 Jordy Rose[analyzer] Remove AggExprVisitor, a dead class that...
2012-03-14 Matt Beaumont-Gay'#if 0' out a variable that's only used in other prepro...
2012-03-14 Erik Verbruggen[Analyser] Removes more recursive visitations in ExprEn...
2012-03-10 Ted Kremenek[analyzer] fix regression in analyzer of NOT actually...
2012-02-29 Erik VerbruggenRemove a recursive visitiation in ExprEngine that is...
2012-02-17 Ted KremenekHave conjured symbols depend on LocationContext, to...
2012-02-16 Sebastian RedlRevert "Revert "Make CXXNewExpr contain only a single...
2012-02-16 Sebastian RedlRevert "Make CXXNewExpr contain only a single initialie...
2012-02-16 Sebastian RedlMake CXXNewExpr contain only a single initialier, and...
2012-01-28 Benjamin KramerStaticAnalyzer: Move ObjC- and CXX-specific methods...
2012-01-26 Ted KremenekChange references to 'const ProgramState *' to typedef...
2012-01-06 Ted Kremenek[analyzer] Make the entries in 'Environment' context...
2012-01-04 Anna Zaks[analyzer] Be less pessimistic about invalidation of...
2011-10-24 Anna Zaks[analyzer] Node builders cleanup + comments
2011-10-24 Anna Zaks[analyzer] Completely remove the global Builder object.
2011-10-24 Anna Zaks[analyzer] Convert ExprEngine::visit() to use short...
2011-10-24 Ted KremenekRename AnalysisContext to AnalysisDeclContext. Not...
2011-10-23 Ted Kremenek[analyzer] Remove LocationContext creation methods...
2011-10-02 Ted KremenekFix LiveVariables analysis bug with MaterializeTemporar...
2011-09-02 Jordy Rose[analyzer] Remove TransferFuncs.h, then deal with the...
2011-08-28 Jordy Rose[analyzer] Migrate argument invalidation from CFRefCoun...
2011-08-27 Jordy Rose[analyzer] Change the check::RegionChanges callback...
2011-08-20 Ted KremenekRename CXXExprEngine.cpp to ExprEngineCXX.cpp.