granicus.if.org Git - clang/history - include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h

]> granicus.if.org Git - clang/history - include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h

[clang] / include / clang / StaticAnalyzer / Core / PathSensitive / SVals.h

2014-08-13	Benjamin Kramer	Header guard canonicalization, clang part.	blob \| commitdiff \| raw
2014-05-06	Craig Topper	[C++11] Use 'nullptr'	blob \| commitdiff \| raw \| diff to current
2013-07-12	Anna Zaks	[analyzer] Treat nullPtrType as a location type.	blob \| commitdiff \| raw \| diff to current
2013-04-20	Anna Zaks	[analyzer] Ensure BugReporterTracking works on regions...	blob \| commitdiff \| raw \| diff to current
2013-04-02	Anna Zaks	[analyzer] Teach invalidateRegions that regions within...	blob \| commitdiff \| raw \| diff to current
2013-02-28	Jordan Rose	[analyzer] Mark the root SVal class as isPodLike.	blob \| commitdiff \| raw \| diff to current
2013-02-24	Ted Kremenek	Add "KnownSVal" to represent SVals that cannot be Unkno...	blob \| commitdiff \| raw \| diff to current
2013-02-21	David Blaikie	Use None rather than Optional<T>() where possible.	blob \| commitdiff \| raw \| diff to current
2013-02-21	David Blaikie	Doxycomment SVal's getAs/castAs.	blob \| commitdiff \| raw \| diff to current
2013-02-20	David Blaikie	Include llvm::Optional in clang/Basic/LLVM.h	blob \| commitdiff \| raw \| diff to current
2013-02-20	David Blaikie	Rename SVal::isType functions to SVal::isKind	blob \| commitdiff \| raw \| diff to current
2013-02-20	David Blaikie	Replace SVal llvm::cast support to be well-defined.	blob \| commitdiff \| raw \| diff to current
2013-02-18	David Blaikie	Use LLVM_DELETED_FUNCTION rather than '// do not implem...	blob \| commitdiff \| raw \| diff to current
2013-02-01	Jordan Rose	[analyzer] Reuse a LazyCompoundVal if its type matches...	blob \| commitdiff \| raw \| diff to current
2013-01-12	Dmitri Gribenko	Remove useless 'llvm::' qualifier from names like Strin...	blob \| commitdiff \| raw \| diff to current
2012-12-04	Chandler Carruth	Sort #include lines for all files under include/...	blob \| commitdiff \| raw \| diff to current
2012-11-17	Benjamin Kramer	Remove copy ctor that provides no value over the default.	blob \| commitdiff \| raw \| diff to current
2012-10-11	Sean Silva	Remove pointless classof()'s.	blob \| commitdiff \| raw \| diff to current
2012-09-24	Anna Zaks	[analyzer] Remove unused.	blob \| commitdiff \| raw \| diff to current
2012-09-05	Jordan Rose	Revert "[analyzer] Treat all struct values as regions...	blob \| commitdiff \| raw \| diff to current
2012-09-01	Jordan Rose	[analyzer] Treat all struct values as regions (even...	blob \| commitdiff \| raw \| diff to current
2012-08-13	Jordan Rose	[analyzer] Don't strip CXXBaseObjectRegions when checki...	blob \| commitdiff \| raw \| diff to current
2012-07-25	Ted Kremenek	Remove the ability to stash arbitrary pointers into...	blob \| commitdiff \| raw \| diff to current
2012-07-18	Jordan Rose	[analyzer] Remove obsolete ObjCPropRef SVal kind.	blob \| commitdiff \| raw \| diff to current
2012-07-18	Benjamin Kramer	Remove trivial destructor from SVal.	blob \| commitdiff \| raw \| diff to current
2012-07-17	Alexey Samsonov	Fixup for r160345 - uintptr_t is not always unsigned	blob \| commitdiff \| raw \| diff to current
2012-07-17	Galina Kistanova	Fixed few warnings.	blob \| commitdiff \| raw \| diff to current
2012-04-16	Anna Zaks	[analyzer] +comments	blob \| commitdiff \| raw \| diff to current
2012-01-26	Ted Kremenek	Change references to 'const ProgramState *' to typedef...	blob \| commitdiff \| raw \| diff to current
2011-12-06	Anna Zaks	[analyzer] Refactor: Move symbol_iterator from SVal...	blob \| commitdiff \| raw \| diff to current
2011-12-06	Anna Zaks	[analyzer] Propagate taint through NonLoc to NonLoc...	blob \| commitdiff \| raw \| diff to current
2011-12-05	Anna Zaks	[analyzer] Unify SymbolVal and SymExprVal under a singl...	blob \| commitdiff \| raw \| diff to current
2011-12-05	Anna Zaks	[analyzer] Remove all uses of ConstraintManager::canRes...	blob \| commitdiff \| raw \| diff to current
2011-12-05	Anna Zaks	[analyzer] First step toward removing	blob \| commitdiff \| raw \| diff to current
2011-11-17	Anna Zaks	[analyzer] Add a helper method.	blob \| commitdiff \| raw \| diff to current
2011-11-16	Anna Zaks	[analyzer] Cleanup (NULL -> 0, no doxygen in cpp).	blob \| commitdiff \| raw \| diff to current
2011-08-15	Ted Kremenek	Rename GRState to ProgramState, and cleanup some code...	blob \| commitdiff \| raw \| diff to current
2011-08-12	Ted Kremenek	Cleanup various declarations of 'Stmt*' to be 'Stmt...	blob \| commitdiff \| raw \| diff to current
2011-07-23	Chris Lattner	clean up forward declarations of raw_ostream to use...	blob \| commitdiff \| raw \| diff to current
2011-07-20	Chris Lattner	add raw_ostream and Twine to LLVM.h, eliminating a...	blob \| commitdiff \| raw \| diff to current
2011-07-20	Chris Lattner	now that we have a centralized place to do so, add...	blob \| commitdiff \| raw \| diff to current
2011-03-01	Argyrios Kyrtzidis	[analyzer] Remove SVal::getAsVarDecl() and reason about...	blob \| commitdiff \| raw \| diff to current
2011-02-28	Argyrios Kyrtzidis	[analyzer] Introduce SVal::getAsVarDecl().	blob \| commitdiff \| raw \| diff to current
2011-02-17	Chris Lattner	Step #1/N of implementing support for __label__: split...	blob \| commitdiff \| raw \| diff to current
2011-02-16	Zhanyong Wan	Makes most methods in SVals.h conform to the naming...	blob \| commitdiff \| raw \| diff to current
2011-02-10	Ted Kremenek	Split 'include/clang/StaticAnalyzer' into 'include...	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom