aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp
AgeCommit message (Expand)Author
2013-04-22[analyzer] Type information from C++ new expressions is perfect.Jordan Rose
2013-02-25[analyzer] Restrict ObjC type inference to methods that have related result t...Anna Zaks
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-11-02[analyzer] Add some convenience accessors to CallEvent, and use them.Jordan Rose
2012-09-06[analyzer] Don't attempt to devirtualize calls to base class destructors.Jordan Rose
2012-08-15[analyzer] Correctly devirtualize virtual method calls in constructors.Jordan Rose
2012-08-15[analyzer] Correctly devirtualize virtual method calls in destructors.Jordan Rose
2012-08-14[analyzer] Add getStackFrame() to CheckerContext and ExplodedNode.Anna Zaks
2012-08-10[analyzer] Track if a region can be a subclass in the dynamic type info.Anna Zaks
2012-08-09[analyzer] Rename the function to better reflect what it actually does.Anna Zaks
2012-08-07[analyzer] Address Jordan's review of DynamicTypePropagation.Anna Zaks
2012-08-06[analyzer] Dynamic type info - propagate through implicit casts.Anna Zaks
2012-08-06[analyzer] Add a checker to manage dynamic type propagation.Anna Zaks