[PSDK]
authorAmine Khaldi <amine.khaldi@reactos.org>
Sun, 22 Jan 2012 14:47:46 +0000 (14:47 +0000)
committerAmine Khaldi <amine.khaldi@reactos.org>
Sun, 22 Jan 2012 14:47:46 +0000 (14:47 +0000)
* Add __out_data_source annotation.

svn path=/trunk/; revision=55068

reactos/include/psdk/specstrings.h

index 462b785..a820725 100644 (file)
 #define __analysis_noreturn
 #define __kernel_entry
 
+#if (_MSC_VER >= 1000) && !defined(__midl) && defined(_PREFAST_)
+
+#define __inner_data_source(src_raw)        _SA_annotes1(SAL_untrusted_data_source,src_raw)
+#define __out_data_source(src_sym)          _Post_ __inner_data_source(#src_sym)
+
+#else
+
+#define __out_data_source(src_sym)
+
+#endif