Devin Coughlin 9165df129e [analyzer] Invalidate destination of std::copy() and std::copy_backward(). ... Now that the libcpp implementations of these methods has a branch that doesn't call memmove(), the analyzer needs to invalidate the destination for these methods explicitly. rdar://problem/23575656 llvm-svn: 260043		2016-02-07 16:55:44 +00:00
..
Models	Add support for the static analyzer to synthesize function implementations from external model files.	2014-08-27 15:14:15 +00:00
qt-simulator.h	[analyzer] Fix false warning about memory leak for QApplication::postEvent	2016-01-06 00:32:56 +00:00
system-header-simulator-cxx.h	[analyzer] Invalidate destination of std::copy() and std::copy_backward().	2016-02-07 16:55:44 +00:00
system-header-simulator-for-malloc.h	…
system-header-simulator-for-pthread-lock.h	[analyzer] Fix pthread lock tests so that the API comes from a system header.	2014-09-10 16:17:42 +00:00
system-header-simulator-for-simple-stream.h	…
system-header-simulator-objc.h	…
system-header-simulator.h	[analyzer] Add VforkChecker to find unsafe code in vforked process.	2015-11-06 11:16:31 +00:00