aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/Environment.cpp
AgeCommit message (Expand)Author
2012-05-08Teach the analyzer about CXXScaleValueInitExpr.Ted Kremenek
2012-03-06Add static analyzer support for new NSArray/NSDictionary/NSNumber literals.Ted Kremenek
2012-02-28[analyzer] teach analyzer about ObjC literals, thus trimming out a false posi...Ted Kremenek
2012-02-27[analyzer] Don't generate an explicit ExplodedNode for StringLiterals; have t...Ted Kremenek
2012-02-21Have ScanReachableSymbols reported reachable regions. Fixes a false positive...Ted Kremenek
2012-01-28StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...Benjamin Kramer
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-20More dead code removal (using -Wunreachable-code)David Blaikie
2012-01-11Remove '#if 0' from ExprEngine::InlineCall(), and start fresh by wiring up in...Ted Kremenek
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
2011-09-23Move immutable map canonization out of the removeDeadBindings loop (via using...Anna Zaks
2011-09-22ST->scanReachableSymbols() is creating a SubRegionMap (SRM) on every call sin...Anna Zaks
2011-08-20[analyzer] Handle reads of ObjCPropertyRefExprs implicitly in Environment. N...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-06[analyzer] Change SymbolReaper to store region roots implied by the Environme...Ted Kremenek
2011-07-29Remove an unused function (found by Clang's -Wunused-function)Chandler Carruth
2011-07-28[analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b...Ted Kremenek
2011-07-28[analyzer] Teach Environment to not look through MaterializeTemporaryExprs.Ted Kremenek
2011-07-23remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner
2011-06-21Introduce a new AST node describing reference binding to temporaries.Douglas Gregor
2011-06-10[analyzer] PR8962 again. Ban ParenExprs (and friends) from block-level expres...Jordy Rose
2011-06-08[analyzer] Look through __extension__ expressions in a GRState's Environment....Jordy Rose
2011-04-27Allow 'Environment::getSVal()' to allow an optional way for checkers to do a ...Ted Kremenek
2011-04-22Add static analyzer support for C++'0X nullptr. Patch by Jim Goodnow II.Ted Kremenek
2011-04-15C1X: implement generic selectionsPeter Collingbourne
2011-02-24Fix tiny error in CFG construction for BinaryConditionalOperators, making sur...Ted Kremenek
2011-02-19[analyzer] Fix crash when analyzing C++ code.Argyrios Kyrtzidis
2011-02-19[analyzer] Fix crash when analyzing C++ code.Argyrios Kyrtzidis
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek
2011-02-08[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis