aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/PathSensitive
AgeCommit message (Expand)Author
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek
2011-02-09Initialize 'reclaimNodes'.Ted Kremenek
2011-02-09static analyzer: Further reduce the analyzer's memory usage when analyzing sq...Ted Kremenek
2011-01-27[analyzer] Fix crash when handling dot syntax on 'super'.Argyrios Kyrtzidis
2011-01-25Recycle memory for GRStates that are never referencedTed 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-24Use CharUnits for the offset amount of RegionRawOffset.Ken Dyck
2011-01-14Rename 'RemoveDeadBindings()' to 'removeDeadBindings()'Ted Kremenek
2011-01-14Rename 'EnterStackFrame()' to 'enterStackFrame()'.Ted Kremenek
2011-01-13Support inlining base initializers. We still haven't got it completely right,Zhongxing Xu
2011-01-13Add comments.Zhongxing Xu
2011-01-13Rename 'HasGeneratedNode' to 'hasGeneratedNode'Ted Kremenek
2011-01-13Remove CheckerContext's dependence on settingTed Kremenek
2011-01-12Add cast expr kinds to CheckerVisitor.def.Zhongxing Xu
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-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
2011-01-11Rename misc. methods in GRSubEngine to startTed Kremenek
2011-01-10Add some expression kinds to CheckerVisitor.def.Zhongxing Xu
2011-01-10Fix comment.Zhongxing Xu
2010-12-24Add basic support for pointer arithmetic inTed Kremenek
2010-12-23Chris Lattner has strong opinions about directoryTed Kremenek