summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Unify SymbolVal and SymExprVal under a single SymbolValAnna Zaks2011-12-051-1/+2
* When analyzing a C++ method (without a specific caller), assume 'this' is non...Ted Kremenek2011-12-011-17/+34
* [static analyzer] be more specific when running removeDeadBindings. Instead ...Ted Kremenek2011-11-111-1/+1
* [static analyzer]: only call RemoveDeadBindings() when analyzing non-Expr stm...Ted Kremenek2011-11-101-1/+24
* Change the AST representation of operations on Objective-CJohn McCall2011-11-061-0/+15
* [analyzer] Make sink attribute part of the node profile.Anna Zaks2011-11-011-1/+1
* [analyzer] Make sure the child builder use temporary destination setsAnna Zaks2011-11-011-4/+6
* [analyzer] Move enqueueEndOfFunction into CoreEngine.Anna Zaks2011-10-271-30/+1
* [analyzer] Make CoreEngine responsible for enqueueing Stmt Nodes.Anna Zaks2011-10-271-61/+11
* [analyzer] GenericNodeBuilder -> NodeBuilder.Anna Zaks2011-10-261-11/+4
* [analyzer] Remove unused headers.Anna Zaks2011-10-251-1/+0
* [analyzer] Make branch for condition callback use CheckerContextAnna Zaks2011-10-251-8/+13
* [analyze] Convert EndOfPath callback to use CheckerContextAnna Zaks2011-10-251-3/+34
* Implement support for dependent Microsoft __if_exists/__if_not_existsDouglas Gregor2011-10-251-0/+1
* [analyzer] Node builders cleanup + commentsAnna Zaks2011-10-241-13/+13
* [analyzer] Completely remove the global Builder object.Anna Zaks2011-10-241-81/+53
* [analyzer] Remove more dependencies from global BuilderAnna Zaks2011-10-241-18/+9
* [analyzer] Convert ExprEngine::visit() to use short lived builders.Anna Zaks2011-10-241-93/+212
* [analyzer] Convert VisitDeclStmt to use local node builder.Anna Zaks2011-10-241-1/+1
* [analyzer] Convert more functions (ex:evalBind()) to iterative buildersAnna Zaks2011-10-241-2/+8
* [analyzer] Convert VisitUnaryOperator to use short lived Node buildersAnna Zaks2011-10-241-2/+6
* [analyzer] Use a temporary builder in CheckerContext.Anna Zaks2011-10-241-0/+3
* [analyzer] Pass external Dst set to NodeBuilderAnna Zaks2011-10-241-12/+7
* Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac...Ted Kremenek2011-10-241-3/+3
* [analyzer] Remove LocationContext creation methods from AnalysisManager, and ...Ted Kremenek2011-10-231-0/+1
* [analyzer] Move predecessor into the NodeBuilder context.Anna Zaks2011-10-181-3/+3
* [analyzer] Make NodeBuilder and Pred node loosely coupledAnna Zaks2011-10-181-20/+23
* [analyzer] Remove dead code.Anna Zaks2011-10-181-1/+1
* [analyzer] Modularize builder use in processBranch.Anna Zaks2011-10-181-41/+48
* [analyzer] Pull Pred out of NodeBuilderContext.Anna Zaks2011-10-181-2/+3
* [analyzer] NodeBuilder Refactoring: Subclass BranchNodeBuilder from NodeBuilder.Anna Zaks2011-10-181-7/+16
* Refactor static analyzer to use simpler interface to constant expression eval...Richard Smith2011-10-141-21/+9
* Initial implementation of __atomic_* (everything except __atomic_is_lock_free).Eli Friedman2011-10-111-0/+1
* [analyzer] Teach the static analyzer about CXXForRangeStmt. Patch by Jim Goo...Ted Kremenek2011-10-101-1/+1
* Provide basic static analyzer support for CXXTemporaryObjectExpr. Patch by J...Ted Kremenek2011-10-071-1/+1
* [analyzer] Add -analyzer-purge option which can take on multiple values, remo...Anna Zaks2011-09-301-1/+1
* Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie2011-09-231-1/+0
* Switch assert(0/false) llvm_unreachable.David Blaikie2011-09-231-1/+1
* [analyzer] Remove TransferFuncs.h, then deal with the fallout.Jordy Rose2011-09-021-0/+1
* [analyzer] Fix member initialization order. No functionality change.Jordy Rose2011-09-021-1/+1
* [analyzer] Move the knowledge of whether or not GC is enabled for the current...Jordy Rose2011-09-021-5/+2
* [analyzer] Introduce a new callback for checkers, printState, to be used for ...Jordy Rose2011-08-281-1/+5
* [analyzer] Remove the ProgramState argument from ExprEngine::evalBind; we wer...Jordy Rose2011-08-281-8/+4
* [analyzer] Eliminate almost all uses of TransferFuncs from ExprEngine.Jordy Rose2011-08-281-60/+20
* [analyzer] Change the check::RegionChanges callback to include the regions ex...Jordy Rose2011-08-271-3/+3
* Constify the result of CFGStmt::getStmt().Ted Kremenek2011-08-231-1/+1
* [analyzer] Move symbol death leak analysis from CFRefCount to RetainReleaseCh...Jordy Rose2011-08-231-0/+3
* [analyzer] Handle reads of ObjCPropertyRefExprs implicitly in Environment. N...Ted Kremenek2011-08-201-1/+2
* Start partitioning ExprEngine.cpp into separate .cpp files that handle differ...Ted Kremenek2011-08-201-1187/+10
* [analyzer] teach ExprEngine about loads from static C++ class fields. Fixes ...Ted Kremenek2011-08-161-1/+8
OpenPOWER on IntegriCloud