aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/Environment.cpp
AgeCommit message (Expand)Author
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-02-13[analyzer] Use Clang's evaluation for global constants and default arguments.Jordan Rose
2012-12-06[analyzer] Remove bindExprAndLocation, which does extra work for no gain.Jordan Rose
2012-12-01Include pruning and general cleanup.Benjamin Kramer
2012-11-15[analyzer] Mark symbol values as dead in the environment.Jordan Rose
2012-10-17[analyzer] When binding to a ParenExpr, bind to its inner expression instead.Jordan Rose
2012-10-13[analyzer] Remove the "direct bindings only" Environment lookup.Jordan Rose
2012-09-06Dont cast away const needlessly. Found by gcc48 -Wcast-qual.Roman Divacky
2012-08-23[analyzer] Support C++ default arguments if they are literal values.Jordan Rose
2012-07-27[analyzer] Look through SubstNonTypeTemplateParmExprs.Jordan Rose
2012-07-25Remove the ability to stash arbitrary pointers into UndefinedVal (no longer n...Ted Kremenek
2012-07-18[analyzer] Remove obsolete ObjCPropRef SVal kind.Jordan Rose
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