| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Include line that was meant to be in my last commit. | Ted Kremenek | 2012-05-10 | 1 | -1/+2 |
| * | Fix insidious RegionStore bug where we (a) didn't handle vector types and (b)... | Ted Kremenek | 2012-05-10 | 1 | -10/+68 |
| * | [analyzer] Simplify r156446, as per Ted's review. | Anna Zaks | 2012-05-09 | 1 | -7/+2 |
| * | [analyzer] We currently do not fully support CompoundLiterals in | Anna Zaks | 2012-05-08 | 1 | -1/+10 |
| * | Having RegionStore lower field bindings to raw offsets, just like ElementRegi... | Ted Kremenek | 2012-05-08 | 1 | -9/+4 |
| * | When creating lazy bindings in RegionStore, propagate existing lazy bindings ... | Ted Kremenek | 2012-05-08 | 1 | -1/+19 |
| * | Include address of Store in graphviz output of ExplodedGraph. | Ted Kremenek | 2012-05-08 | 1 | -1/+3 |
| * | Explicitly model capturing variables for blocks in the static analyzer. Fixe... | Ted Kremenek | 2012-05-04 | 1 | -1/+15 |
| * | Remove the ref/value inconsistency in filter_decl_iterator. | David Blaikie | 2012-04-30 | 1 | -3/+3 |
| * | [analyzer] check lazy bindings in RegionStore first before looking for defaul... | Ted Kremenek | 2012-04-26 | 1 | -8/+8 |
| * | [analyzer] dynamic_cast: Better model cast from a reference. | Anna Zaks | 2012-04-10 | 1 | -5/+1 |
| * | [analyzer] Add support for C++ dynamic_cast. | Anna Zaks | 2012-04-10 | 1 | -0/+83 |
| * | Fix another false positive in RegionStore involving doing loads from symbolic... | Ted Kremenek | 2012-04-03 | 1 | -7/+18 |
| * | Have conjured symbols depend on LocationContext, to add context sensitivity f... | Ted Kremenek | 2012-02-17 | 1 | -10/+18 |
| * | Basic: import OwningPtr<> into clang namespace | Dylan Noblesmith | 2012-02-05 | 1 | -2/+2 |
| * | Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. | Ted Kremenek | 2012-01-26 | 1 | -4/+4 |
| * | Refactor variables unused under non-assert builds. | David Blaikie | 2012-01-16 | 1 | -2/+1 |
| * | [analyzer] RegionStoreManager::getBinding() should not crash when | Anna Zaks | 2012-01-13 | 1 | -2/+6 |
| * | [analyzer] fix inlining's handling of mapping actual to formal arguments and ... | Ted Kremenek | 2012-01-12 | 1 | -10/+15 |
| * | [analyzer] Rename Store::Retrieve() -> getBinding(). | Anna Zaks | 2012-01-12 | 1 | -62/+67 |
| * | [analyzer] Make the entries in 'Environment' context-sensitive by making entr... | Ted Kremenek | 2012-01-06 | 1 | -2/+2 |
| * | [analyzer] Be less pessimistic about invalidation of global variables | Anna Zaks | 2012-01-04 | 1 | -17/+47 |
| * | [analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use it | Anna Zaks | 2011-12-06 | 1 | -3/+3 |
| * | [analyzer] Propagate taint through NonLoc to NonLoc casts. | Anna Zaks | 2011-12-06 | 1 | -1/+1 |
| * | Relax RegionStore to allow loads from CodeTextRegions. Apparently you can ac... | Ted Kremenek | 2011-11-29 | 1 | -5/+3 |
| * | Fixed crash with initializer lists and unnamed bitfields in the RegionStore | Jim Goodnow II | 2011-11-16 | 1 | -1/+6 |
| * | [analyzer;Regionstore] handle loads from StringLiteral elements for StringLit... | Ted Kremenek | 2011-11-14 | 1 | -3/+3 |
| * | Rename TagDecl::isDefinition -> isCompleteDefinition | John McCall | 2011-10-07 | 1 | -1/+1 |
| * | Removing a bunch of dead returns/breaks after llvm_unreachables. | David Blaikie | 2011-09-23 | 1 | -1/+0 |
| * | Switch assert(0/false) llvm_unreachable. | David Blaikie | 2011-09-23 | 1 | -2/+2 |
| * | [analyzer] Change the check::RegionChanges callback to include the regions ex... | Jordy Rose | 2011-08-27 | 1 | -12/+10 |
| * | Rename GRState to ProgramState, and cleanup some code formatting along the way. | Ted Kremenek | 2011-08-15 | 1 | -12/+12 |
| * | Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a... | Ted Kremenek | 2011-08-12 | 1 | -5/+5 |
| * | [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa... | Ted Kremenek | 2011-08-12 | 1 | -23/+28 |
| * | [analyzer] Change SymbolReaper to store region roots implied by the Environme... | Ted Kremenek | 2011-08-06 | 1 | -8/+7 |
| * | [analyzer] Add StoreManager::includedInBindings() to to query whether a regio... | Ted Kremenek | 2011-07-28 | 1 | -0/+19 |
| * | [analyzer] Add safety checking in RegionStoreManager for string literal under... | Ted Kremenek | 2011-07-28 | 1 | -0/+4 |
| * | remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.... | Chris Lattner | 2011-07-23 | 1 | -12/+12 |
| * | [analyzer] Use UnknownVal when default-initializing arrays whose element type... | Jordy Rose | 2011-06-27 | 1 | -1/+6 |
| * | Teach RegionStore not to symbolic array values whose indices it cannot reason... | Ted Kremenek | 2011-05-19 | 1 | -0/+5 |
| * | Augment retain/release checker to not warn about tracked objects passed as ar... | Ted Kremenek | 2011-05-02 | 1 | -12/+9 |
| * | RegionStoreManager::invalidateRegions: treat classes the same as structs. | Ted Kremenek | 2011-04-12 | 1 | -3/+3 |
| * | Fix RegionStore bug when doing a field load whose parent is also a field assi... | Ted Kremenek | 2011-04-03 | 1 | -11/+17 |
| * | Tweak RegionStore's handling of lazy compound values to use the 'Default' ver... | Ted Kremenek | 2011-03-17 | 1 | -16/+30 |
| * | static analyzer: Fix use-after-free bug in RegionStore involving LazyCompound... | Ted Kremenek | 2011-03-08 | 1 | -3/+4 |
| * | Add 'StoreRef' smart pointer to allow more fine-grain memory lifetime control... | Ted Kremenek | 2011-02-19 | 1 | -85/+102 |
| * | Makes most methods in SVals.h conform to the naming guide. Reviewed | Zhanyong Wan | 2011-02-16 | 1 | -1/+1 |
| * | Remove RegionStoreManager::evalBinOp(), which is now handled by the SValBuilder. | Ted Kremenek | 2011-02-11 | 1 | -119/+0 |
| * | Rename 'InvalidateRegions()' to 'invalidateRegions()'. | Ted Kremenek | 2011-02-11 | 1 | -11/+9 |
| * | Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'... | Ted Kremenek | 2011-02-10 | 1 | -3/+3 |
