| Age | Commit message (Expand) | Author |
|---|
| 2012-05-10 | Include line that was meant to be in my last commit. | Ted Kremenek |
| 2012-05-10 | Fix insidious RegionStore bug where we (a) didn't handle vector types and (b)... | Ted Kremenek |
| 2012-05-09 | [analyzer] Simplify r156446, as per Ted's review. | Anna Zaks |
| 2012-05-08 | [analyzer] We currently do not fully support CompoundLiterals in | Anna Zaks |
| 2012-05-08 | Having RegionStore lower field bindings to raw offsets, just like ElementRegi... | Ted Kremenek |
| 2012-05-08 | When creating lazy bindings in RegionStore, propagate existing lazy bindings ... | Ted Kremenek |
| 2012-05-08 | Include address of Store in graphviz output of ExplodedGraph. | Ted Kremenek |
| 2012-05-04 | Explicitly model capturing variables for blocks in the static analyzer. Fixe... | Ted Kremenek |
| 2012-04-30 | Remove the ref/value inconsistency in filter_decl_iterator. | David Blaikie |
| 2012-04-26 | [analyzer] check lazy bindings in RegionStore first before looking for defaul... | Ted Kremenek |
| 2012-04-10 | [analyzer] dynamic_cast: Better model cast from a reference. | Anna Zaks |
| 2012-04-10 | [analyzer] Add support for C++ dynamic_cast. | Anna Zaks |
| 2012-04-03 | Fix another false positive in RegionStore involving doing loads from symbolic... | Ted Kremenek |
| 2012-02-17 | Have conjured symbols depend on LocationContext, to add context sensitivity f... | Ted Kremenek |
| 2012-02-05 | Basic: import OwningPtr<> into clang namespace | Dylan Noblesmith |
| 2012-01-26 | Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. | Ted Kremenek |
| 2012-01-16 | Refactor variables unused under non-assert builds. | David Blaikie |
| 2012-01-13 | [analyzer] RegionStoreManager::getBinding() should not crash when | Anna 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 variables | Anna Zaks |
| 2011-12-06 | [analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use it | Anna Zaks |
| 2011-12-06 | [analyzer] Propagate taint through NonLoc to NonLoc casts. | Anna Zaks |
| 2011-11-29 | Relax RegionStore to allow loads from CodeTextRegions. Apparently you can ac... | Ted Kremenek |
| 2011-11-16 | Fixed crash with initializer lists and unnamed bitfields in the RegionStore | Jim Goodnow II |
| 2011-11-14 | [analyzer;Regionstore] handle loads from StringLiteral elements for StringLit... | Ted Kremenek |
| 2011-10-07 | Rename TagDecl::isDefinition -> isCompleteDefinition | John McCall |
| 2011-09-23 | Removing a bunch of dead returns/breaks after llvm_unreachables. | David Blaikie |
| 2011-09-23 | Switch 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-15 | Rename GRState to ProgramState, and cleanup some code formatting along the way. | Ted Kremenek |
| 2011-08-12 | Cleanup 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-23 | remove 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-19 | Teach RegionStore not to symbolic array values whose indices it cannot reason... | Ted Kremenek |
| 2011-05-02 | Augment retain/release checker to not warn about tracked objects passed as ar... | Ted Kremenek |
| 2011-04-12 | RegionStoreManager::invalidateRegions: treat classes the same as structs. | Ted Kremenek |
| 2011-04-03 | Fix RegionStore bug when doing a field load whose parent is also a field assi... | Ted Kremenek |
| 2011-03-17 | Tweak RegionStore's handling of lazy compound values to use the 'Default' ver... | Ted Kremenek |
| 2011-03-08 | static analyzer: Fix use-after-free bug in RegionStore involving LazyCompound... | Ted Kremenek |
| 2011-02-19 | Add 'StoreRef' smart pointer to allow more fine-grain memory lifetime control... | Ted Kremenek |
| 2011-02-16 | Makes most methods in SVals.h conform to the naming guide. Reviewed | Zhanyong Wan |
| 2011-02-11 | Remove RegionStoreManager::evalBinOp(), which is now handled by the SValBuilder. | Ted Kremenek |
| 2011-02-11 | Rename 'InvalidateRegions()' to 'invalidateRegions()'. | Ted Kremenek |
| 2011-02-10 | Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'... | Ted Kremenek |
