granicus.if.org Git - clang/history - lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp

]> granicus.if.org Git - clang/history - lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp

[clang] / lib / StaticAnalyzer / Core / SimpleSValBuilder.cpp

2015-09-18	Gabor Horvath	[analyzer] A fix for substraction of an integer from...	blob \| commitdiff \| raw
2015-09-08	Ted Kremenek	[analyzer] Apply whitespace cleanups by Honggyu Kim.	blob \| commitdiff \| raw \| diff to current
2015-04-11	Alexander Kornienko	Use 'override/final' instead of 'virtual' for overridde...	blob \| commitdiff \| raw \| diff to current
2014-05-27	Craig Topper	[C++11] Use 'nullptr'. StaticAnalyzer edition.	blob \| commitdiff \| raw \| diff to current
2014-03-15	Craig Topper	[C++11] Add 'override' keyword to virtual methods that...	blob \| commitdiff \| raw \| diff to current
2014-03-08	Aaron Ballman	[C++11] Replacing RecordDecl iterators field_begin...	blob \| commitdiff \| raw \| diff to current
2013-12-05	Alp Toker	Correct hyphenations in comments and assert messages	blob \| commitdiff \| raw \| diff to current
2013-08-28	Jordan Rose	[analyzer] Add support for testing the presence of...	blob \| commitdiff \| raw \| diff to current
2013-07-02	Jordan Rose	[analyzer] Explicitly disallow mixed Loc-NonLoc compari...	blob \| commitdiff \| raw \| diff to current
2013-05-28	Anna Zaks	[analyzer] Use a more generic MemRegion.getAsOffset...	blob \| commitdiff \| raw \| diff to current
2013-05-01	Jordan Rose	Re-apply "[analyzer] Model casts to bool differently...	blob \| commitdiff \| raw \| diff to current
2013-04-09	Jordan Rose	[analyzer] Replace isIntegerType() with isIntegerOrEnum...	blob \| commitdiff \| raw \| diff to current
2013-03-23	Jordan Rose	[analyzer] Loc-Loc operations (subtraction or compariso...	blob \| commitdiff \| raw \| diff to current
2013-03-23	Jordan Rose	Add reverseComparisonOp and negateComparisonOp to Binar...	blob \| commitdiff \| raw \| diff to current
2013-03-23	Jordan Rose	[analyzer] Use SymExprs to represent '<loc> - <loc...	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-02-02	Anna Zaks	[analyzer] Fix typo.	blob \| commitdiff \| raw \| diff to current
2012-12-04	Chandler Carruth	Sort all of Clang's files under 'lib', and fix up the...	blob \| commitdiff \| raw \| diff to current
2012-11-29	Ted Kremenek	Correctly handle IntegralToBool casts in C++ in the...	blob \| commitdiff \| raw \| diff to current
2012-09-26	Ted Kremenek	Remove unnecessary ASTContext& parameter from SymExpr...	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-09-05	Jordan Rose	[analyzer] Clean up a couple uses of getPointeeType().	blob \| commitdiff \| raw \| diff to current
2012-09-04	Jordan Rose	[analyzer] Don't use makeIntVal to create a floating...	blob \| commitdiff \| raw \| diff to current
2012-06-07	Anna Zaks	[analyzer] Fixit for r158136.	blob \| commitdiff \| raw \| diff to current
2012-06-07	Anna Zaks	[analyzer] Anti-aliasing: different heap allocations...	blob \| commitdiff \| raw \| diff to current
2012-06-06	David Blaikie	Revert Decl's iterators back to pointer value_type...	blob \| commitdiff \| raw \| diff to current
2012-05-08	Jordy Rose	[analyzer] Add an abstraction for the bit width and...	blob \| commitdiff \| raw \| diff to current
2012-05-07	Anna Zaks	[analyzer] Fix a crash in triggered by OSAtomicChecker.	blob \| commitdiff \| raw \| diff to current
2012-05-07	David Blaikie	Remove variable made unused by r156270.	blob \| commitdiff \| raw \| diff to current
2012-05-06	Jordy Rose	[analyzer] Reduce parallel code paths in SimpleSValBuil...	blob \| commitdiff \| raw \| diff to current
2012-05-03	Jordy Rose	[analyzer] When promoting constant integers in a compar...	blob \| commitdiff \| raw \| diff to current
2012-05-03	Jordy Rose	[analyzer] Equality ops are like relational ops in...	blob \| commitdiff \| raw \| diff to current
2012-05-03	Anna Zaks	[analyzer] Do not assert on constructing SymSymExpr...	blob \| commitdiff \| raw \| diff to current
2012-05-01	Anna Zaks	[analyzer] Construct a SymExpr even when the constraint...	blob \| commitdiff \| raw \| diff to current
2012-04-30	David Blaikie	Remove the ref/value inconsistency in filter_decl_iterator.	blob \| commitdiff \| raw \| diff to current
2012-03-05	Ted Kremenek	Teach SimpleSValBuilder that (in the absence of more...	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-15	Anna Zaks	[analyzer] Address Jordy's comments for r145985.	blob \| commitdiff \| raw \| diff to current
2011-12-10	Anna Zaks	[analyzer]Fixup r146336.	blob \| commitdiff \| raw \| diff to current
2011-12-10	Anna Zaks	[analyzer] Introduce IntSymExpr, where the integer...	blob \| commitdiff \| raw \| diff to current
2011-12-09	Anna Zaks	[analyzer] Fix inconsistency on when SValBuilder assume...	blob \| commitdiff \| raw \| diff to current
2011-12-08	Anna Zaks	[analyzer] If memory region is tainted mark data as...	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-11-17	Anna Zaks	[analyzer] Do not conjure a symbol when we need to...	blob \| commitdiff \| raw \| diff to current
2011-09-23	David Blaikie	Removing a bunch of dead returns/breaks after llvm_unre...	blob \| commitdiff \| raw \| diff to current
2011-09-23	David Blaikie	Switch assert(0/false) llvm_unreachable.	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-06-15	Jordy Rose	[analyzer] When performing a binary operation on symbol...	blob \| commitdiff \| raw \| diff to current
2011-05-21	Douglas Gregor	A few more is(Un)signedIntegerType/is(Un)signedOrEnumer...	blob \| commitdiff \| raw \| diff to current
2011-04-12	Ted Kremenek	Fix bug in SimpleSValBuilder where '--' pointer arithme...	blob \| commitdiff \| raw \| diff to current
2011-03-01	Zhanyong Wan	Improves the coding style in SValBuilder. This patch:	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
2011-02-08	Argyrios Kyrtzidis	[analyzer] Move the files in lib/StaticAnalyzer to...	blob \| commitdiff \| raw \| diff to current

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

RSS Atom