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

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

[clang] / include / clang / StaticAnalyzer / Core / PathSensitive / ProgramState.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
2014-03-30	Chandler Carruth	[Allocator] Remove forward declarations of BumpPtrAlloc...	blob \| commitdiff \| raw \| diff to current
2014-03-07	Ahmed Charles	Replace OwningPtr with std::unique_ptr.	blob \| commitdiff \| raw \| diff to current
2014-03-07	Aaron Ballman	Renaming the chains() ranged iterator to chain() per...	blob \| commitdiff \| raw \| diff to current
2014-03-07	Aaron Ballman	[C++11] Replacing IndirectFieldDecl iterators chain_beg...	blob \| commitdiff \| raw \| diff to current
2013-11-17	Anton Yartsev	[analyzer] Better modeling of memcpy by the CStringChec...	blob \| commitdiff \| raw \| diff to current
2013-09-24	Anton Yartsev	[analyzer] This patch removes passing around of const...	blob \| commitdiff \| raw \| diff to current
2013-08-19	Pavel Labath	[analyzer] Fix inefficiency in dead symbol removal	blob \| commitdiff \| raw \| diff to current
2013-05-28	Anna Zaks	[analyzer] Use the expression’s type instead of region...	blob \| commitdiff \| raw \| diff to current
2013-05-06	Jordan Rose	[analyzer] Remove now-unused bindCompoundLiteral helper...	blob \| commitdiff \| raw \| diff to current
2013-04-09	Jordan Rose	[analyzer] Replace isIntegerType() with isIntegerOrEnum...	blob \| commitdiff \| raw \| diff to current
2013-04-02	Anna Zaks	[analyzer] Teach invalidateRegions that regions within...	blob \| commitdiff \| raw \| diff to current
2013-03-20	Jordan Rose	[analyzer] Invalidate regions indirectly accessible...	blob \| commitdiff \| raw \| diff to current
2013-03-07	Jordan Rose	[analyzer] Clean up a few doc comments for ProgramState...	blob \| commitdiff \| raw \| diff to current
2013-03-02	Anna Zaks	[analyzer] Simple inline defensive checks suppression	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	Replace SVal llvm::cast support to be well-defined.	blob \| commitdiff \| raw \| diff to current
2013-01-16	Anna Zaks	[analyzer] Refactor: parameter rename.	blob \| commitdiff \| raw \| diff to current
2012-12-21	Anna Zaks	[analyzer] Address Jordan's nitpicks as per code review...	blob \| commitdiff \| raw \| diff to current
2012-12-20	Anna Zaks	[analyzer] Add the pointer escaped callback.	blob \| commitdiff \| raw \| diff to current
2012-12-06	Jordan Rose	[analyzer] Remove bindExprAndLocation, which does extra...	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-10-13	Jordan Rose	[analyzer] Remove the "direct bindings only" Environmen...	blob \| commitdiff \| raw \| diff to current
2012-10-01	Jordan Rose	[analyzer] Make ProgramStateManager's SubEngine paramet...	blob \| commitdiff \| raw \| diff to current
2012-09-25	Ted Kremenek	Remove 'const' version of getBasicVals(), which is...	blob \| commitdiff \| raw \| diff to current
2012-09-18	Craig Topper	Mark unimplemented copy constructors and copy assignmen...	blob \| commitdiff \| raw \| diff to current
2012-09-09	Ted Kremenek	Remove dead method ProgramState::MarshalState().	blob \| commitdiff \| raw \| diff to current
2012-09-07	Ted Kremenek	Remove ProgramState::getSymVal(). It was being misused...	blob \| commitdiff \| raw \| diff to current
2012-08-24	Anna Zaks	[analyzer] More fixups/rewording based on Jordan's...	blob \| commitdiff \| raw \| diff to current
2012-08-24	Anna Zaks	[analyzer] Move DynamicTypeInfo out of the ProgramState.h	blob \| commitdiff \| raw \| diff to current
2012-08-22	Anna Zaks	[analyzer] Add more comments to CallEvent and RuntimeDe...	blob \| commitdiff \| raw \| diff to current
2012-08-22	Ted Kremenek	Rename 'unbindLoc()' (in ProgramState) and 'Remove...	blob \| commitdiff \| raw \| diff to current
2012-08-22	Ted Kremenek	Remove Store::bindDecl() and Store::bindDeclWithNoInit...	blob \| commitdiff \| raw \| diff to current
2012-08-22	Ted Kremenek	Rename 'BindCompoundLiteral' to 'bindCompoundLiteral...	blob \| commitdiff \| raw \| diff to current
2012-08-15	Jordan Rose	[analyzer] Correctly devirtualize virtual method calls...	blob \| commitdiff \| raw \| diff to current
2012-08-10	Anna Zaks	[analyzer] Track if a region can be a subclass in the...	blob \| commitdiff \| raw \| diff to current
2012-08-09	Anna Zaks	[analyzer] Rename the function to better reflect what...	blob \| commitdiff \| raw \| diff to current
2012-08-08	Jordan Rose	[analyzer] Revamp RegionStore to distinguish regions...	blob \| commitdiff \| raw \| diff to current
2012-08-06	Anna Zaks	[analyzer] Add a checker to manage dynamic type propaga...	blob \| commitdiff \| raw \| diff to current
2012-08-03	Anna Zaks	[analyzer] ObjC Inlining: Start tracking dynamic type...	blob \| commitdiff \| raw \| diff to current
2012-07-30	Anna Zaks	[analyzer] Very simple ObjC instance method inlining	blob \| commitdiff \| raw \| diff to current
2012-07-30	Jordan Rose	[analyzer] Introduce a CallEventManager to keep a pool...	blob \| commitdiff \| raw \| diff to current
2012-07-26	Jordan Rose	[analyzer] Handle C++ member initializers and destructors.	blob \| commitdiff \| raw \| diff to current
2012-07-10	Jordan Rose	[analyzer] Use CallEvent for building inlined stack...	blob \| commitdiff \| raw \| diff to current
2012-07-02	Jordan Rose	[analyzer] Add a new abstraction over all types of...	blob \| commitdiff \| raw \| diff to current
2012-06-20	Anna Zaks	[analyzer] Remove dead code.	blob \| commitdiff \| raw \| diff to current
2012-05-19	Anna Zaks	[analyzer] For locations, use isGLValue() instead of...	blob \| commitdiff \| raw \| diff to current
2012-04-10	Anna Zaks	[analyzer] + comments	blob \| commitdiff \| raw \| diff to current
2012-02-27	Ted Kremenek	[analyzer] Don't generate an explicit ExplodedNode...	blob \| commitdiff \| raw \| diff to current
2012-02-17	Ted Kremenek	Have conjured symbols depend on LocationContext, to...	blob \| commitdiff \| raw \| diff to current
2012-02-05	Dylan Noblesmith	Basic: import OwningPtr<> into clang namespace	blob \| commitdiff \| raw \| diff to current
2012-01-31	Argyrios Kyrtzidis	Reapply r149311 which I reverted by mistake.	blob \| commitdiff \| raw \| diff to current
2012-01-31	Argyrios Kyrtzidis	Revert r149311 which failed to compile.	blob \| commitdiff \| raw \| diff to current
2012-01-31	Ted Kremenek	Convert ProgramStateRef to a smart pointer for managing...	blob \| commitdiff \| raw \| diff to current
2012-01-30	Anna Zaks	[analyzer] Add index out of bounds check for CFArrayGet...	blob \| commitdiff \| raw \| diff to current
2012-01-26	Ted Kremenek	Change references to 'const ProgramState *' to typedef...	blob \| commitdiff \| raw \| diff to current
2012-01-20	Anna Zaks	[analyzer] Skip casts when determining taint dependenci...	blob \| commitdiff \| raw \| diff to current
2012-01-12	Ted Kremenek	[analyzer] fix inlining's handling of mapping actual...	blob \| commitdiff \| raw \| diff to current
2012-01-12	Anna Zaks	[analyzer] Rename Store::Retrieve() -> getBinding().	blob \| commitdiff \| raw \| diff to current
2012-01-07	Anna Zaks	[analyzer] Add basic format string vulnerability checking.	blob \| commitdiff \| raw \| diff to current
2012-01-06	Ted Kremenek	[analyzer] Make the entries in 'Environment' context...	blob \| commitdiff \| raw \| diff to current
2012-01-04	Anna Zaks	[analyzer] Be less pessimistic about invalidation of...	blob \| commitdiff \| raw \| diff to current
2011-12-20	David Blaikie	Unweaken vtables as per http://llvm.org/docs/CodingStan...	blob \| commitdiff \| raw \| diff to current
2011-12-14	Anna Zaks	[analyzer] Minor refactor to addTaint.	blob \| commitdiff \| raw \| diff to current
2011-12-07	Anna Zaks	[analyzer] Propagate taint through MemRegions.	blob \| commitdiff \| raw \| diff to current
2011-12-05	Anna Zaks	[analyzer] Add ability to do a simple ProgramState...	blob \| commitdiff \| raw \| diff to current
2011-11-16	Anna Zaks	[analyzer] Adding basic building blocks for taint propa...	blob \| commitdiff \| raw \| diff to current
2011-09-22	Anna Zaks	ST->scanReachableSymbols() is creating a SubRegionMap...	blob \| commitdiff \| raw \| diff to current
2011-08-28	Jordy Rose	[analyzer] Introduce a new callback for checkers, print...	blob \| commitdiff \| raw \| diff to current
2011-08-27	Jordy Rose	[analyzer] Change the check::RegionChanges callback...	blob \| commitdiff \| raw \| diff to current
2011-08-15	Ted Kremenek	Add missing header files.	blob \| commitdiff \| raw \| diff to current

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

RSS Atom