aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/RegionStore.cpp
AgeCommit message (Expand)Author
2012-04-10[analyzer] Add support for C++ dynamic_cast.Anna Zaks
2012-04-03Fix another false positive in RegionStore involving doing loads from symbolic...Ted Kremenek
2012-02-17Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek
2012-02-05Basic: import OwningPtr<> into clang namespaceDylan Noblesmith
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-16Refactor variables unused under non-assert builds.David Blaikie
2012-01-13[analyzer] RegionStoreManager::getBinding() should not crash whenAnna Zaks
2012-01-12[analyzer] fix inlining's handling of mapping actual to formal arguments and ...Ted Kremenek
2012-01-12[analyzer] Rename Store::Retrieve() -> getBinding().Anna Zaks
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
2012-01-04[analyzer] Be less pessimistic about invalidation of global variablesAnna Zaks
2011-12-06[analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use itAnna Zaks
2011-12-06[analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks
2011-11-29Relax RegionStore to allow loads from CodeTextRegions. Apparently you can ac...Ted Kremenek
2011-11-16Fixed crash with initializer lists and unnamed bitfields in the RegionStoreJim Goodnow II
2011-11-14[analyzer;Regionstore] handle loads from StringLiteral elements for StringLit...Ted Kremenek
2011-10-07Rename TagDecl::isDefinition -> isCompleteDefinitionJohn McCall
2011-09-23Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie
2011-09-23Switch assert(0/false) llvm_unreachable.David Blaikie
2011-08-27[analyzer] Change the check::RegionChanges callback to include the regions ex...Jordy Rose
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-12[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek
2011-08-06[analyzer] Change SymbolReaper to store region roots implied by the Environme...Ted Kremenek
2011-07-28[analyzer] Add StoreManager::includedInBindings() to to query whether a regio...Ted Kremenek
2011-07-28[analyzer] Add safety checking in RegionStoreManager for string literal under...Ted Kremenek
2011-07-23remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner
2011-06-27[analyzer] Use UnknownVal when default-initializing arrays whose element type...Jordy Rose
2011-05-19Teach RegionStore not to symbolic array values whose indices it cannot reason...Ted Kremenek
2011-05-02Augment retain/release checker to not warn about tracked objects passed as ar...Ted Kremenek
2011-04-12RegionStoreManager::invalidateRegions: treat classes the same as structs.Ted Kremenek
2011-04-03Fix RegionStore bug when doing a field load whose parent is also a field assi...Ted Kremenek
2011-03-17Tweak RegionStore's handling of lazy compound values to use the 'Default' ver...Ted Kremenek
2011-03-08static analyzer: Fix use-after-free bug in RegionStore involving LazyCompound...Ted Kremenek
2011-02-19Add 'StoreRef' smart pointer to allow more fine-grain memory lifetime control...Ted Kremenek
2011-02-16Makes most methods in SVals.h conform to the naming guide. ReviewedZhanyong Wan
2011-02-11Remove RegionStoreManager::evalBinOp(), which is now handled by the SValBuilder.Ted Kremenek
2011-02-11Rename 'InvalidateRegions()' to 'invalidateRegions()'.Ted Kremenek
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
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-06 01:07:47 +0000