aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core
AgeCommit message (Expand)Author
2011-08-19Fix a memory leak in the analyzer - BugReports didn't get freed. Plus, remove...Anna Zaks
2011-08-18Static Analyzer Diagnostics: Move custom diagnostic visitors from BugReporter...Anna Zaks
2011-08-17Remove DiagBugReport by pulling it into its parent BugReport.Anna Zaks
2011-08-17Remove EnhancedBugReport and RangedBugReport - pull all the extra functionali...Anna Zaks
2011-08-17[analyzer] Migrate assumption and binding handling from CFRefCount to RetainR...Jordy Rose
2011-08-17Fix a handful of dead stores found by Clang's static analyzer. There's a bun...Ted Kremenek
2011-08-16[analyzer] teach ExprEngine about loads from static C++ class fields. Fixes ...Ted Kremenek
2011-08-16[analyzer] Overhaul of checker registration in preparation for basic plugin s...Jordy Rose
2011-08-16[analyzer] Enhance ConditionVisitor to handle arbitrary ValueDecls in binary ...Ted Kremenek
2011-08-16[analyzer] fix operation inversion calculation in ConditionVisitor.Ted Kremenek
2011-08-16[analyzer] Enhance ConditionVisitor to understand eagerly evaluated (simple) ...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-15Add ProgramState.cpp.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-12Optimizations for Dependent Symbol tracking (as per Ted's code review for r13...Anna Zaks
2011-08-11Analyzer Core: Adding support for user-defined symbol dependencies. (For exam...Anna Zaks
2011-08-11Cleanup: remove CleanedSate member and GetState() wrapper from StmtNodeBuilde...Anna Zaks
2011-08-10Cleanup: remove GetState() wrapper from ExprEngine, not needed as of r137273.Anna Zaks
2011-08-10Analyzer Core: In checkDeadSymbols checker callback, provide the state in whi...Anna Zaks
2011-08-06[analyzer] Start sketching out a new BugReporterVisitor that inspects branche...Ted Kremenek
2011-08-06[analyzer] Simplify logic for ExprEngine::VisitUnaryExprOrTypeTraitExpr to av...Ted Kremenek
2011-08-06[analyzer] Change SymbolReaper to store region roots implied by the Environme...Ted Kremenek
2011-08-03Static Analyzer diagnostics visualization: when the last location on a path i...Anna Zaks
2011-08-02[analyzer] Drastically simplify ExprEngine::VisitInitListExpr() by assuming a...Ted Kremenek
2011-07-31Remove dead code flagged by GCC's -Wunused-but-set-variable.Benjamin Kramer
2011-07-29[analyzer] Remove recursive visitation in ExprEngine::VisitDeclStmt because i...Ted Kremenek
2011-07-29[analyzer] Remove recursive visitation in ExprEngine::VisitCompoundLiteralExp...Ted Kremenek
2011-07-29[analyzer] Remove recursive visitation in ExprEngine::VisitCastExpr because i...Ted Kremenek
2011-07-29[analyzer] Remove recursive visitation in ExprEngine::VisitObjCForCollectionS...Ted Kremenek
2011-07-29[analyzer] Remove explicit argument processing from ExprEngine::VisitObjCMess...Ted Kremenek
2011-07-29[analyzer] Remove recursive visitation in ExprEngine::VisitLValObjCIvarRefExp...Ted Kremenek
2011-07-29[analyzer] tighten up ExprEngine::VisitObjCAtSynchronizationStmt().Ted Kremenek
2011-07-29[analyzer] Remove recursive visitation in ExprEngine::VisitObjCPropertyRefExp...Ted Kremenek
2011-07-29[analyzer] Remove recursive visitation in ExprEngine::VisitCallExpr because i...Ted Kremenek
2011-07-29[analyzer] Remove recursive visitation in ExprEngine::VisitMemberExpr because...Ted Kremenek
2011-07-29[analyzer] Remove recursive visitation in ExprEngine::VisitLvalArraySubscript...Ted Kremenek
2011-07-29Remove an unused function (found by Clang's -Wunused-function)Chandler Carruth
2011-07-28Really remove FlatStoreManager and BasicStoreManager, this time from the driv...Ted Kremenek
2011-07-28Remove FlatStoreManager and BasicStoreManager. The latter has long been obso...Ted Kremenek
2011-07-28[analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b...Ted Kremenek
2011-07-28[analyzer] Add StoreManager::includedInBindings() to to query whether a regio...Ted Kremenek
2011-07-28[analyzer] Add safety checking in RegionStoreManager for string literal under...Ted Kremenek
2011-07-28[analyzer] Teach Environment to not look through MaterializeTemporaryExprs.Ted Kremenek
2011-07-28[analyzer] Fix bug in ObjCMessage where casts were being incorrectly ignored.Ted Kremenek
2011-07-28[analyzer] fix handling of MaterializeTemporaryExpr by binding the result val...Ted Kremenek
2011-07-25Rename getInstantiationLineNumber to getExpansionLineNumber in bothChandler Carruth
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-09 18:46:43 +0000