aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/ExprEngine.cpp
AgeCommit message (Expand)Author
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
2011-10-18[analyzer] Remove dead code.Anna Zaks
2011-10-18[analyzer] Modularize builder use in processBranch.Anna Zaks
2011-10-18[analyzer] Pull Pred out of NodeBuilderContext.Anna Zaks
2011-10-18[analyzer] NodeBuilder Refactoring: Subclass BranchNodeBuilder from NodeBuilder.Anna Zaks
2011-10-14Refactor static analyzer to use simpler interface to constant expression eval...Richard Smith
2011-10-11Initial implementation of __atomic_* (everything except __atomic_is_lock_free).Eli Friedman
2011-10-10[analyzer] Teach the static analyzer about CXXForRangeStmt. Patch by Jim Goo...Ted Kremenek
2011-10-07Provide basic static analyzer support for CXXTemporaryObjectExpr. Patch by J...Ted Kremenek
2011-09-30[analyzer] Add -analyzer-purge option which can take on multiple values, remo...Anna Zaks
2011-09-23Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie
2011-09-23Switch assert(0/false) llvm_unreachable.David Blaikie
2011-09-02[analyzer] Remove TransferFuncs.h, then deal with the fallout.Jordy Rose
2011-09-02[analyzer] Fix member initialization order. No functionality change.Jordy Rose
2011-09-02[analyzer] Move the knowledge of whether or not GC is enabled for the current...Jordy Rose
2011-08-28[analyzer] Introduce a new callback for checkers, printState, to be used for ...Jordy Rose
2011-08-28[analyzer] Remove the ProgramState argument from ExprEngine::evalBind; we wer...Jordy Rose
2011-08-28[analyzer] Eliminate almost all uses of TransferFuncs from ExprEngine.Jordy Rose
2011-08-27[analyzer] Change the check::RegionChanges callback to include the regions ex...Jordy Rose
2011-08-23Constify the result of CFGStmt::getStmt().Ted Kremenek
2011-08-23[analyzer] Move symbol death leak analysis from CFRefCount to RetainReleaseCh...Jordy Rose
2011-08-20[analyzer] Handle reads of ObjCPropertyRefExprs implicitly in Environment. N...Ted Kremenek
2011-08-20Start partitioning ExprEngine.cpp into separate .cpp files that handle differ...Ted Kremenek
2011-08-16[analyzer] teach ExprEngine about loads from static C++ class fields. Fixes ...Ted Kremenek
2011-08-16[analyzer] add ExprEngine::getEagerlyAssumedTags() to allow externally queryi...Ted Kremenek
2011-08-16[analyzer] Remove PostStmtCustom ProgramPoint. It can be represented using t...Ted Kremenek
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-08-12[analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*.Ted Kremenek
2011-08-12[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek
2011-08-11Cleanup: remove CleanedSate member and GetState() wrapper from StmtNodeBuilde...Anna Zaks
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-08 06:52:45 +0000