aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/Environment.cpp
AgeCommit message (Expand)Author
2010-12-22[analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang...Argyrios Kyrtzidis
2010-12-22[analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis
2010-12-22Always blast through no-op casts when getting expr SVals.Zhongxing Xu
2010-12-22After inlining the CXXConstructExpr, bind the temporary object region to it.Zhongxing Xu
2010-12-16Start migration of static analyzer to using theTed Kremenek
2010-12-06Rename CXXExprWithTemporaries -> ExprWithCleanups; there's no theoreticalJohn McCall
2010-12-05Rename Environment::LookupExpr() toTed Kremenek
2010-12-04Although we currently have explicit lvalue-to-rvalue conversions, they'reJohn McCall
2010-12-02Merge ValueManager into SValBuilder.Ted Kremenek
2010-11-25handle CXXFunctionalCastExpr in visitLValue and Environment.Zhongxing Xu
2010-11-25Improve comments.Zhongxing Xu
2010-11-24Let StackFrameContext represent if the call expr is evaluated as lvalue.Zhongxing Xu
2010-11-24Adjust method calls to reflect name changes inTed Kremenek
2010-11-20Fix a typo in EnvironmentManager::bindExprAndLocation(). Reviewed by kremenek.Zhanyong Wan
2010-09-03Add optional record of "location" SVals in the environment. When we analyzin...Ted Kremenek
2010-07-01Add an ivar to SymbolReaper for the current statement, and then stop passing ...Jordy Rose
2010-04-14Add support for CXXBoolLiteralExpr.Zhongxing Xu
2010-04-05Always assume block-level expressions in the caller are alive when analyzingZhongxing Xu
2010-04-05Since now we process regions in clusters when removing dead bindings, thisZhongxing Xu
2010-03-27Checker: random include cleanup.Benjamin Kramer
2010-03-05Remove reference to AnalysisContext in Environment. We already have LocationC...Zhongxing Xu
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek