aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/ExprEngine.cpp
AgeCommit message (Expand)Author
2012-07-02[analyzer] Move the last bits of CallOrObjCMessage over to CallEvent.Jordan Rose
2012-07-02[analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose
2012-06-27[analyzer] Remove unneeded helper function (it's in ASTContext.h)Jordan Rose
2012-06-22Implement initial static analysis inlining support for C++ methods.Ted Kremenek
2012-06-15Documentation cleanup: fix a type, LocatioinE -> LocationEJames Dennett
2012-06-12Revert "[analyzer] Treat LValueBitCasts like regular pointer bit casts."Jordan Rose
2012-06-11[analyzer] Treat LValueBitCasts like regular pointer bit casts.Jordan Rose
2012-06-11Etch out the code path for MS-style inline assembly.Chad Rosier
2012-06-02[analyzer] Rely on canBeInlined utility instead of checking CallExprAnna Zaks
2012-05-19[analyzer] For locations, use isGLValue() instead of isLValue().Anna Zaks
2012-05-18[analyzer] Fix a c++11 crash: xvalues can be locations (VisitMemberExpr)Anna Zaks
2012-05-12[analyzer] RetainCountChecker: track ObjC boxed expression objects.Jordy Rose
2012-05-08Teach the analyzer about CXXScaleValueInitExpr.Ted Kremenek
2012-04-20[analyzer] Run remove dead bindings right before leaving a function.Anna Zaks
2012-04-19Implements boxed expressions for Objective-C. <rdar://problem/10194391>Patrick Beard
2012-04-14Add an AttributedStmt type to represent a statement with C++11 attributesRichard Smith
2012-04-12[analyzer] PCH deserialization optimization.Anna Zaks
2012-04-06Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that wh...Ted Kremenek
2012-04-03[analyzer] Record the basic blocks covered by the analyzes run.Anna Zaks
2012-04-01Analyzer: Store BugReports directly in a ilist instead of adding another laye...Benjamin Kramer
2012-03-30[analyzer] Do not inline functions which previously reached max blockAnna Zaks
2012-03-28[analyzer] Enable retry exhausted without inlining by default.Anna Zaks
2012-03-28[analyser] Stats checker: do not mark a node as exhausted if we willAnna Zaks
2012-03-27[analyzer] Add an option to re-analyze a dead-end path without inlining.Anna Zaks
2012-03-22Fix static analyzer crash on code taking the address of a field. Fixes PR 11...Ted Kremenek
2012-03-22[analyzer] Add stats useful for coverage investigations.Anna Zaks
2012-03-21[analyzer] Malloc: Utter the name of the leaked variable.Anna Zaks
2012-03-14[Analyser] Remove unnecessary recursive visits for ExprWithCleanups andErik Verbruggen
2012-03-10Remove BlockDeclRefExpr and introduce a bit on DeclRefExpr toJohn McCall
2012-03-10[analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do...Ted Kremenek
2012-03-09[analyzer] Add support for NoRedundancy inlining mode.Anna Zaks
2012-03-07AST representation for user-defined literals, plus just enough of semanticRichard Smith
2012-03-06Add static analyzer support for new NSArray/NSDictionary/NSNumber literals.Ted Kremenek
2012-03-04Remove a recursive visitation in ExprEngine that is no longer needed because ...Erik Verbruggen
2012-03-01Teach the analyzer to just ignore CXXBindTemporaryExpr. There's nothing spec...Ted Kremenek
2012-02-28[analyzer] Stats: Add the stats about remove dead bindings, correct theAnna Zaks
2012-02-27[analyzer] Don't generate an explicit ExplodedNode for StringLiterals; have t...Ted Kremenek
2012-02-24[analyzer] Run remove dead bindings before each call.Anna Zaks
2012-02-24Implement a new type trait __is_trivially_constructible(T, Args...)Douglas Gregor
2012-02-18Adopt ExprEngine and checkers to ObjC property refactoring. Everything was w...Ted Kremenek
2012-02-16Add checker visitation hooks in ExprEngine::Visit() for common no-op expressi...Ted Kremenek
2012-02-16Revert "Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine....Ted Kremenek
2012-02-16Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also h...Ted Kremenek
2012-02-14[analyzer] Make Malloc Checker optimistic in presence of inlining.Anna Zaks
2012-02-07Introduce basic ASTs for lambda expressions. This covers:Douglas Gregor
2012-01-31Reapply r149311 which I reverted by mistake.Argyrios Kyrtzidis
2012-01-31Revert r149311 which failed to compile.Argyrios Kyrtzidis
2012-01-31Convert ProgramStateRef to a smart pointer for managing the reference counts ...Ted Kremenek
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-20More dead code removal (using -Wunreachable-code)David Blaikie
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-04-30 08:04:07 +0000