aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/ExprEngine.cpp
AgeCommit message (Expand)Author
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
2012-01-11Remove '#if 0' from ExprEngine::InlineCall(), and start fresh by wiring up in...Ted Kremenek
2012-01-07[analyzer] Remove CallEnterNodeBuilder and simplify ExprEngine::processCallEn...Ted Kremenek
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
2012-01-04[analyzer] Be less pessimistic about invalidation of global variablesAnna Zaks
2011-12-05[analyzer] Unify SymbolVal and SymExprVal under a single SymbolValAnna Zaks
2011-12-01When analyzing a C++ method (without a specific caller), assume 'this' is non...Ted Kremenek
2011-11-11[static analyzer] be more specific when running removeDeadBindings. Instead ...Ted Kremenek
2011-11-10[static analyzer]: only call RemoveDeadBindings() when analyzing non-Expr stm...Ted Kremenek
2011-11-06Change the AST representation of operations on Objective-CJohn McCall
2011-11-01[analyzer] Make sink attribute part of the node profile.Anna Zaks
2011-11-01[analyzer] Make sure the child builder use temporary destination setsAnna Zaks
2011-10-27[analyzer] Move enqueueEndOfFunction into CoreEngine.Anna Zaks
2011-10-27[analyzer] Make CoreEngine responsible for enqueueing Stmt Nodes.Anna Zaks
2011-10-26[analyzer] GenericNodeBuilder -> NodeBuilder.Anna Zaks
2011-10-25[analyzer] Remove unused headers.Anna Zaks
2011-10-25[analyzer] Make branch for condition callback use CheckerContextAnna Zaks
2011-10-25[analyze] Convert EndOfPath callback to use CheckerContextAnna Zaks
2011-10-25Implement support for dependent Microsoft __if_exists/__if_not_existsDouglas Gregor
2011-10-24[analyzer] Node builders cleanup + commentsAnna Zaks
2011-10-24[analyzer] Completely remove the global Builder object.Anna Zaks
2011-10-24[analyzer] Remove more dependencies from global BuilderAnna Zaks
2011-10-24[analyzer] Convert ExprEngine::visit() to use short lived builders.Anna Zaks
2011-10-24[analyzer] Convert VisitDeclStmt to use local node builder.Anna Zaks
2011-10-24[analyzer] Convert more functions (ex:evalBind()) to iterative buildersAnna Zaks
2011-10-24[analyzer] Convert VisitUnaryOperator to use short lived Node buildersAnna Zaks
2011-10-24[analyzer] Use a temporary builder in CheckerContext.Anna Zaks
2011-10-24[analyzer] Pass external Dst set to NodeBuilderAnna Zaks
2011-10-24Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac...Ted Kremenek
2011-10-23[analyzer] Remove LocationContext creation methods from AnalysisManager, and ...Ted Kremenek
2011-10-18[analyzer] Move predecessor into the NodeBuilder context.Anna Zaks
2011-10-18[analyzer] Make NodeBuilder and Pred node loosely coupledAnna Zaks
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-07 07:27:39 +0000