aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer
AgeCommit message (Expand)Author
2011-02-08[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.cpp -> li...Argyrios Kyrtzidis
2011-02-08[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/...Argyrios Kyrtzidis
2011-02-08[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/Stat...Argyrios Kyrtzidis
2011-02-05[analyzer] Fix a false positive of the 'self' initialization checker.Argyrios Kyrtzidis
2011-02-03[analyzer] Fix a crash until we can handle temporary struct objects properly.Argyrios Kyrtzidis
2011-02-02An insomniac stab at making block declarations list the variables they closeJohn McCall
2011-02-01Fix the message. Thanks to Thomas Clement for noticing.Argyrios Kyrtzidis
2011-02-01[analyzer] Slightly improve the diagnostic message of ObjCSelfInitChecker.Argyrios Kyrtzidis
2011-01-27Wire up attributes 'ns_consumed' and 'cf_consumed' in the static analyzer's O...Ted Kremenek
2011-01-27[analyzer] Fix crash when handling dot syntax on 'super'.Argyrios Kyrtzidis
2011-01-27Fix whitespace.NAKAMURA Takumi
2011-01-277bit-ize.NAKAMURA Takumi
2011-01-27Hook up attribute ns_consumes_self in the ObjC retain/release checker in the ...Ted Kremenek
2011-01-26[analyzer] Enable the self-init checker under command-line option '-analyzer-...Argyrios Kyrtzidis
2011-01-26[analyzer] Improve the diagnostic for the self-init checker. Suggestion by Ted!Argyrios Kyrtzidis
2011-01-25[analyzer] Do the self-init check only on NSObject subclasses. Patch by Jean-...Argyrios Kyrtzidis
2011-01-25Don't try and symbolicate unions; we don't reasonTed Kremenek
2011-01-25Recycle memory for GRStates that are never referencedTed Kremenek
2011-01-25Tweak wording of static analyzer diagnosticTed Kremenek
2011-01-25[analyzer] Handle the dot syntax for properties in the ExprEngine.Argyrios Kyrtzidis
2011-01-25[analyzer] Introduce ExprEngine::VisitObjCMessage for handling general ObjCMe...Argyrios Kyrtzidis
2011-01-25[analyzer] Introduce ObjCMessage which represents both explicit ObjC message ...Argyrios Kyrtzidis
2011-01-25[analyzer] Simplify GetReceiverType function in BasicObjCFoundationChecks.cpp...Argyrios Kyrtzidis
2011-01-24Use CharUnits for the offset amount of RegionRawOffset.Ken Dyck
2011-01-20Enhance AnalysisConsumer to also visit functionsTed Kremenek
2011-01-19Change QualType::getTypePtr() to return a const pointer, then change aJohn McCall
2011-01-18Fix warnings found by gcc-4.6, from -Wunused-but-set-variable andJeffrey Yasskin
2011-01-17NetBSD, OpenBSD, and Dragonfly BSD also have arc4random. Patch fromDouglas Gregor
2011-01-15Introduce a new expression kind, SubstNonTypeTemplateParmPackExpr,Douglas Gregor
2011-01-14Cleanup confused code that redundantly called "getDeclContext()" twice.Ted Kremenek
2011-01-14Rename 'RemoveDeadBindings()' to 'removeDeadBindings()'Ted Kremenek
2011-01-14Rename 'EnterStackFrame()' to 'enterStackFrame()'.Ted Kremenek
2011-01-14Teach RegionStore::EnterStackFrame() to handleTed Kremenek
2011-01-13Rename 'CheckDeadStores.cpp' to 'DeadStoresChecker.cpp'.Ted Kremenek
2011-01-13Remove warning in dead stores checker forTed Kremenek
2011-01-13CXXBaseObjectRegion is like FieldRegion. Need to blast through it whenZhongxing Xu
2011-01-13Support inlining base initializers. We still haven't got it completely right,Zhongxing Xu
2011-01-13Fix a corner case in RegionStore where we assignTed Kremenek
2011-01-13Rename 'HasGeneratedNode' to 'hasGeneratedNode'Ted Kremenek
2011-01-13Remove unnecessary save-and-restore of theTed Kremenek
2011-01-13Remove CheckerContext's dependence on settingTed Kremenek
2011-01-12Add some documentation for C++ static analyzer.Zhongxing Xu
2011-01-11[analyzer] Introduce ObjCSelfInitChecker, which checks initialization methods...Argyrios Kyrtzidis
2011-01-11[analyzer] Support post-visiting ObjCIvarRefExprs for checkers.Argyrios Kyrtzidis
2011-01-11[analyzer] Add 'isLoad' parameter in Checker::visitLocation() to conveniently...Argyrios Kyrtzidis
2011-01-11Remove ProgramPoint parameter from GenericNodeBuilder::generateNode().Ted Kremenek
2011-01-11Rename GenericNodeBuilder to GenericNodeBuilderRefCount to avoid namespace cl...Francois Pichet
2011-01-11Rework ExprEngine::processCFGBlockEntrance()Ted Kremenek
2011-01-11Remove several silly methods from ento::CoreEngineTed Kremenek
2011-01-11Rename misc. methods in ento::Worklist to startTed Kremenek