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

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

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

2016-01-22	Gabor Horvath	[analyzer] Utility to match function calls.	blob \| commitdiff \| raw
2015-12-09	Sanjay Patel	fix typos; NFC	blob \| commitdiff \| raw \| diff to current
2015-12-04	Devin Coughlin	[analyzer] Support inlining lambda-converted blocks.	blob \| commitdiff \| raw \| diff to current
2015-11-10	Sean Eveson	[Analyzer] Fix comments and formatting. NFC.	blob \| commitdiff \| raw \| diff to current
2015-11-09	Devin Coughlin	[analyzer] Fix assertion failure invalidating on const...	blob \| commitdiff \| raw \| diff to current
2015-10-27	Anna Zaks	[analyzer] Assume escape is possible through system...	blob \| commitdiff \| raw \| diff to current
2015-10-16	Sean Eveson	Test commit	blob \| commitdiff \| raw \| diff to current
2015-10-13	Devin Coughlin	[analyzer] Don’t invalidate CXXThis when conservatively...	blob \| commitdiff \| raw \| diff to current
2015-09-11	Gabor Horvath	[Static Analyzer] Properly clean up the dynamic type...	blob \| commitdiff \| raw \| diff to current
2015-09-08	Ted Kremenek	[analyzer] Apply whitespace cleanups by Honggyu Kim.	blob \| commitdiff \| raw \| diff to current
2015-06-19	Eric Christopher	Fix "the the" in comments/documentation/etc.	blob \| commitdiff \| raw \| diff to current
2014-08-27	Craig Topper	Simplify creation of a bunch of ArrayRefs by using...	blob \| commitdiff \| raw \| diff to current
2014-06-28	Craig Topper	Remove llvm:: from uses of ArrayRef.	blob \| commitdiff \| raw \| diff to current
2014-05-27	Craig Topper	[C++11] Use 'nullptr'. StaticAnalyzer edition.	blob \| commitdiff \| raw \| diff to current
2014-05-07	Jordan Rose	[analyzer] Functions marked __attribute__((const))...	blob \| commitdiff \| raw \| diff to current
2014-03-08	Aaron Ballman	[C++11] Replacing RecordDecl iterators field_begin...	blob \| commitdiff \| raw \| diff to current
2014-01-25	Alp Toker	Rename getResultType() on function and method declarati...	blob \| commitdiff \| raw \| diff to current
2014-01-17	Ted Kremenek	Change CallEvent to use ArrayRef<> interface to get...	blob \| commitdiff \| raw \| diff to current
2014-01-15	Jordan Rose	[analyzer] BlockCall shouldn't really be an AnyFunction...	blob \| commitdiff \| raw \| diff to current
2014-01-10	Jordan Rose	[analyzer] Model getters of known-@synthesized Objectiv...	blob \| commitdiff \| raw \| diff to current
2014-01-07	Jordan Rose	[analyzer] Pointers escape into +[NSValue valueWithPoin...	blob \| commitdiff \| raw \| diff to current
2014-01-04	Alp Toker	Only mark dump() function definitions 'used' in debug...	blob \| commitdiff \| raw \| diff to current
2013-09-28	Jordan Rose	[analyzer] Make inlining decisions based on the callee...	blob \| commitdiff \| raw \| diff to current
2013-09-25	Jordan Rose	[analyzer] Handle destructors for the argument to C...	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-09-20	Jordan Rose	[analyzer] Use getParentIgnoreParenCasts instead of...	blob \| commitdiff \| raw \| diff to current
2013-09-17	Anna Zaks	[analyzer] More reliably detect property accessors.	blob \| commitdiff \| raw \| diff to current
2013-08-22	Eli Friedman	Split isFromMainFile into two functions.	blob \| commitdiff \| raw \| diff to current
2013-06-19	Pavel Labath	Fix a crash in the static analyzer (bug #16307)	blob \| commitdiff \| raw \| diff to current
2013-05-30	Jordan Rose	[analyzer] Don't crash if a block's signature just...	blob \| commitdiff \| raw \| diff to current
2013-05-22	Jordan Rose	[analyzer] Don't crash if a block doesn't have a type...	blob \| commitdiff \| raw \| diff to current
2013-04-17	Jordan Rose	[analyzer] Don't warn for returning void expressions...	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-20	Jordan Rose	[analyzer] Remove strip of ElementRegion in CallEvent...	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-02-23	David Blaikie	Remove the CFGElement "Invalid" state.	blob \| commitdiff \| raw \| diff to current
2013-02-21	David Blaikie	Replace CFGElement llvm::cast support to be well-defined.	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
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-07	Ted Kremenek	Cache queries to lookupPrivateMethod() within ObjCMetho...	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-12-01	Benjamin Kramer	Include pruning and general cleanup.	blob \| commitdiff \| raw \| diff to current
2012-11-02	Jordan Rose	[analyzer] Add some convenience accessors to CallEvent...	blob \| commitdiff \| raw \| diff to current
2012-10-31	Anna Zaks	[analyzer]Don't invalidate const arguments when there...	blob \| commitdiff \| raw \| diff to current
2012-10-17	Jordan Rose	[analyzer] Create a temporary region when accessing...	blob \| commitdiff \| raw \| diff to current
2012-09-21	Ted Kremenek	Simplify getRuntimeDefinition() back to taking no argum...	blob \| commitdiff \| raw \| diff to current
2012-09-21	Ted Kremenek	Implement faux-body-synthesis of well-known functions...	blob \| commitdiff \| raw \| diff to current
2012-09-12	Anna Zaks	[analyzer] Do not report use of undef on "return foo...	blob \| commitdiff \| raw \| diff to current
2012-09-12	Jordan Rose	[analyzer] Handle when the dynamic type is worse than...	blob \| commitdiff \| raw \| diff to current
2012-09-12	Jordan Rose	Revert "[analyzer] Use the static type for a virtual...	blob \| commitdiff \| raw \| diff to current
2012-09-11	Jordan Rose	[analyzer] Use the static type for a virtual call if...	blob \| commitdiff \| raw \| diff to current
2012-09-11	Jordan Rose	[analyzer] Member function calls that use qualified...	blob \| commitdiff \| raw \| diff to current
2012-09-07	Jordan Rose	[analyzer] Fail gracefully when the dynamic type is...	blob \| commitdiff \| raw \| diff to current
2012-09-06	Jordan Rose	[analyzer] Don't attempt to devirtualize calls to base...	blob \| commitdiff \| raw \| diff to current
2012-09-05	Jordan Rose	[analyzer] Be more forgiving about calling methods...	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-01	Jordan Rose	[analyzer] Always derive a CallEvent's return type...	blob \| commitdiff \| raw \| diff to current
2012-08-28	Jordan Rose	[analyzer] Teach CallEventManager that CXXTemporaryObje...	blob \| commitdiff \| raw \| diff to current
2012-08-28	Jordan Rose	[analyzer] Rename CallEvent::mayBeInlined to CallEvent...	blob \| commitdiff \| raw \| diff to current
2012-08-24	Anna Zaks	[analyzer] Make analyzer less aggressive when dealing...	blob \| commitdiff \| raw \| diff to current
2012-08-16	Richard Smith	Store SourceManager pointer on PrintingPolicy in the...	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-15	Jordan Rose	[analyzer] Don't try to devirtualize if the class is...	blob \| commitdiff \| raw \| diff to current
2012-08-15	Jordan Rose	[analyzer] Only adjust the type of 'this' when we devir...	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-14	Anna Zaks	[analyzer]Assume that the properties cannot be overridd...	blob \| commitdiff \| raw \| diff to current
2012-08-14	Benjamin Kramer	Do NOT use inline functions with LLVM_ATTRIBUTE_USED.	blob \| commitdiff \| raw \| diff to current
2012-08-13	Jordan Rose	[analyzer] Reduce code duplication: make CXXDestructorC...	blob \| commitdiff \| raw \| diff to current
2012-08-13	Jordan Rose	[analyzer] Be more careful when downcasting for devirtu...	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-08-10	Jordan Rose	[analyzer] Strip CXXBaseObjectRegions when devirtualizi...	blob \| commitdiff \| raw \| diff to current
2012-08-10	Jordan Rose	[analyzer] Try to devirtualize even if the static calle...	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-10	Anna Zaks	[analyzer] Optimize dynamic dispatch bifurcation by...	blob \| commitdiff \| raw \| diff to current
2012-08-09	Anna Zaks	[analyzer] Improve readability of the dyn. dispatch...	blob \| commitdiff \| raw \| diff to current
2012-08-09	Anna Zaks	Unbreak the build.	blob \| commitdiff \| raw \| diff to current
2012-08-09	Anna Zaks	[analyzer] Bifurcate the path with dynamic dispatch.	blob \| commitdiff \| raw \| diff to current
2012-08-07	Anna Zaks	[analyzer] Address Jordan's review of DynamicTypePropa...	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	Jordan Rose	[analyzer] Track null/uninitialized C++ objects used...	blob \| commitdiff \| raw \| diff to current
2012-07-31	Jordan Rose	[analyzer] Don't try to inline if there's no region...	blob \| commitdiff \| raw \| diff to current
2012-07-31	Jordan Rose	[analyzer] Add a FIXME about devirtualization in ctors...	blob \| commitdiff \| raw \| diff to current
2012-07-31	Jordan Rose	[analyzer] Let CallEvent decide what goes in an inital...	blob \| commitdiff \| raw \| diff to current
2012-07-30	Anna Zaks	[analyzer] Handle inlining of instance calls to super.	blob \| commitdiff \| raw \| diff to current
2012-07-30	Jordan Rose	[analyzer] Perform post-call checks for all inlined...	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] Only allow CallEvents to be created by CallE...	blob \| commitdiff \| raw \| diff to current
2012-07-26	Jordan Rose	[analyzer] CallEvent is no longer a value object.	blob \| commitdiff \| raw \| diff to current
2012-07-26	Jordan Rose	[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp...	blob \| commitdiff \| raw \| diff to current

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

RSS Atom