diff --git a/cfg/microsoft_sal.cfg b/cfg/microsoft_sal.cfg
new file mode 100644
index 000000000..ffdf257d2
--- /dev/null
+++ b/cfg/microsoft_sal.cfg
@@ -0,0 +1,294 @@
+<?xml version="1.0"?>
+<def format="1">
+  <!-- Microsoft SAL Annotations (see http://msdn.microsoft.com/en-us/library/ms182032(v=vs.110).aspx -->
+  <!-- Input Parameters -->
+  <define name="_In_" value=""/>
+  <define name="_In_z_" value=""/>
+  <define name="_In_opt_" value=""/>
+  <define name="_In_opt_z_" value=""/>
+  <define name="_In_reads_opt_" value=""/>
+  <define name="_In_reads_bytes_opt_" value=""/>
+  <define name="_In_reads_opt_z_" value=""/>
+  <define name="_In_reads_to_ptr_opt_" value=""/>
+  <define name="_In_reads_to_ptr_opt_z_" value=""/>
+  <define name="_In_reads_(s)" value=""/>
+  <define name="_In_reads_bytes_(s)" value=""/>
+  <define name="_In_reads_z_(s)" value=""/>
+  <define name="_In_reads_or_z_(s)" value=""/>
+  <define name="_In_reads_to_ptr_(p)" value=""/>
+  <define name="_In_reads_to_ptr_z_(p)" value=""/>
+  <!-- In- and Output Parameters -->
+  <define name="_Inout_" value=""/>
+  <define name="_Inout_z_" value=""/>
+  <define name="_Inout_opt_" value=""/>
+  <define name="_Inout_opt_z_" value=""/>
+  <define name="_Inout_updates_opt_" value=""/>
+  <define name="_Inout_updates_bytes_opt_" value=""/>
+  <define name="_Inout_updates_to_opt_" value=""/>
+  <define name="_Inout_updates_bytes_to_opt_" value=""/>
+  <define name="_Inout_updates_all_opt_" value=""/>
+  <define name="_Inout_updates_bytes_all_opt_" value=""/>
+  <define name="_Inout_updates_all_opt_" value=""/>
+  <define name="_Inout_updates_all_opt_" value=""/>
+  <define name="_Inout_updates_all_opt_" value=""/>
+  <define name="_Inout_updates_all_opt_" value=""/>
+  <define name="_Inout_updates_(s)" value=""/>
+  <define name="_Inout_updates_bytes_(s)" value=""/>
+  <define name="_Inout_updates_z_(s)" value=""/>
+  <define name="_Inout_updates_to_(s,c)" value=""/>
+  <define name="_Inout_updates_bytes_to_(s,c)" value=""/>
+  <define name="_Inout_updates_all_(s)" value=""/>
+  <define name="_Inout_updates_bytes_all_(s)" value=""/>
+  <!-- Output Parameters -->
+  <define name="_Out_" value=""/>
+  <define name="_Out_opt_" value=""/>
+  <define name="_Out_writes_opt_" value=""/>
+  <define name="_Out_writes_opt_z_" value=""/>
+  <define name="_Out_writes_to_opt_" value=""/>
+  <define name="_Out_writes_bytes_to_opt_" value=""/>
+  <define name="_Out_writes_all_opt_" value=""/>
+  <define name="_Out_writes_bytes_all_opt_" value=""/>
+  <define name="_Out_writes_to_ptr_opt_" value=""/>
+  <define name="_Out_writes_to_ptr_opt_z_" value=""/>
+  <define name="_Outptr_" value=""/>
+  <define name="_Outptr_opt_" value=""/>
+  <define name="_Outptr_result_maybenull_" value=""/>
+  <define name="_Outptr_opt_result_maybenull_" value=""/>
+  <define name="_Outptr_result_z_" value=""/>
+  <define name="_Outptr_opt_result_z_" value=""/>
+  <define name="_Outptr_result_maybenull_z_" value=""/>
+  <define name="_Ouptr_opt_result_maybenull_z_" value=""/>
+  <define name="_COM_Outptr_" value=""/>
+  <define name="_COM_Outptr_opt_" value=""/>
+  <define name="_COM_Outptr_result_maybenull_" value=""/>
+  <define name="_COM_Outptr_opt_result_maybenull_" value=""/>
+  <define name="_Outref_" value=""/>
+  <define name="_Outref_result_maybenull_" value=""/>
+  <define name="_Out_writes_(s)" value=""/>
+  <define name="_Out_writes_bytes_(s)" value=""/>
+  <define name="_Out_writes_z_(s)" value=""/>
+  <define name="_Out_writes_to_(s,c)" value=""/>
+  <define name="_Out_writes_bytes_to_(s,c)" value=""/>
+  <define name="_Out_writes_all_(s)" value=""/>
+  <define name="_Out_writes_bytes_all_(s)" value=""/>
+  <define name="_Out_writes_to_ptr_(p)" value=""/>
+  <define name="_Out_writes_to_ptr_z_(p)" value=""/>
+  <define name="_Outptr_result_buffer_(s)" value=""/>
+  <define name="_Outptr_result_bytebuffer_(s)" value=""/>
+  <define name="_Outptr_opt_result_buffer_(s)" value=""/>
+  <define name="_Outptr_opt_result_bytebuffer_(s)" value=""/>
+  <define name="_Outptr_result_buffer_to_(s, c)" value=""/>
+  <define name="_Outptr_result_bytebuffer_to_(s, c)" value=""/>
+  <define name="_Outptr_opt_result_buffer_to_(s,c)" value=""/>
+  <define name="_Outptr_opt_result_bytebuffer_to_(s,c)" value=""/>
+  <!-- Output Reference Parameters -->
+  <define name="_Outref_" value=""/>
+  <define name="_Outref_result_maybenull_" value=""/>
+  <define name="_Outref_result_buffer_(s)" value=""/>
+  <define name="_Outref_result_bytebuffer_(s)" value=""/>
+  <define name="_Outref_result_buffer_to_(s, c)" value=""/>
+  <define name="_Outref_result_bytebuffer_to_(s, c)" value=""/>
+  <define name="_Outref_result_buffer_all_(s)" value=""/>
+  <define name="_Outref_result_bytebuffer_all_(s)" value=""/>
+  <define name="_Outref_result_buffer_maybenull_(s)" value=""/>
+  <define name="_Outref_result_bytebuffer_maybenull_(s)" value=""/>
+  <define name="_Outref_result_buffer_to_maybenull_(s, c)" value=""/>
+  <define name="_Outref_result_bytebuffer_to_maybenull_(s,c)" value=""/>
+  <define name="_Outref_result_buffer_all_maybenull_(s)" value=""/>
+  <define name="_Outref_result_bytebuffer_all_maybenull_(s)" value=""/>
+  <!-- Return Values -->
+  <define name="_Ret_z_" value=""/>
+  <define name="_Ret_writes_(s)" value=""/>
+  <define name="_Ret_writes_bytes_(s)" value=""/>
+  <define name="_Ret_writes_z_(s)" value=""/>
+  <define name="_Ret_writes_to_(s,c)" value=""/>
+  <define name="_Ret_writes_maybenull_(s)" value=""/>
+  <define name="_Ret_writes_to_maybenull_(s)" value=""/>
+  <define name="_Ret_writes_maybenull_z_(s)" value=""/>
+  <!-- Other Common Annotations -->
+  <define name="_In_range_(low, hi)" value=""/>
+  <define name="_Out_range_(low, hi)" value=""/>
+  <define name="_Ret_range_(low, hi)" value=""/>
+  <define name="_Deref_in_range_(low, hi)" value=""/>
+  <define name="_Deref_out_range_(low, hi)" value=""/>
+  <define name="_Deref_inout_range_(low, hi)" value=""/>
+  <define name="_Field_range_(low, hi)" value=""/>
+  <define name="_Pre_equal_to_(expr)" value=""/>
+  <define name="_Post_equal_to_(expr)" value=""/>
+  <define name="_Struct_size_bytes_(size)" value=""/>
+  <!-- Function Annotations -->
+  <define name="_Called_from_function_class_(name)" value=""/>
+  <define name="_Check_return_" value=""/>
+  <define name="_Function_class_(name)" value=""/>
+  <define name="_Raises_SEH_exception_" value=""/>
+  <define name="_Maybe_raises_SEH_exception_" value=""/>
+  <define name="_Must_inspect_result_" value=""/>
+  <define name="_Use_decl_annotations_" value=""/>
+  <!-- Success/Failure of Function Annotations -->
+  <define name="_Always_(anno_list)" value=""/>
+  <define name="_On_failure_(anno_list)" value=""/>
+  <define name="_Return_type_success_(expr)" value=""/>
+  <define name="_Success_(expr)" value=""/>
+  <!-- Struct and Class Annotations -->
+  <define name="_Field_range_(low, high)" value=""/>
+  <define name="_Field_size_(size)" value=""/>
+  <define name="_Field_size_opt_(size)" value=""/>
+  <define name="_Field_size_bytes_(size)" value=""/>
+  <define name="_Field_size_bytes_opt_(size)" value=""/>
+  <define name="_Field_size_part_(size, count)" value=""/>
+  <define name="_Field_size_part_opt_(size, count)" value=""/>
+  <define name="_Field_size_bytes_part_(size, count)" value=""/>
+  <define name="_Field_size_bytes_part_opt_(size, count)" value=""/>
+  <define name="_Field_size_full_(size)" value=""/>
+  <define name="_Field_size_full_opt_(size)" value=""/>
+  <define name="_Field_size_bytes_full_(size)" value=""/>
+  <define name="_Field_size_bytes_full_opt_(size)" value=""/>
+  <define name="_Struct_size_bytes_(size)" value=""/>
+  <!-- Locking Annotations -->
+  <define name="_Acquires_exclusive_lock_(expr)" value=""/>
+  <define name="_Acquires_lock_(expr)" value=""/>
+  <define name="_Acquires_nonreentrant_lock_(expr)" value=""/>
+  <define name="_Acquires_shared_lock_(expr)" value=""/>
+  <define name="_Create_lock_level_(name)" value=""/>
+  <define name="_Has_lock_kind_(kind)" value=""/>
+  <define name="_Has_lock_level_(name)" value=""/>
+  <define name="_Lock_level_order_(name1, name2)" value=""/>
+  <define name="_Post_same_lock_(expr1, expr2)" value=""/>
+  <define name="_Releases_exclusive_lock_(expr)" value=""/>
+  <define name="_Releases_lock_(expr)" value=""/>
+  <define name="_Releases_nonreentrant_lock_(expr)" value=""/>
+  <define name="_Releases_shared_lock_(expr)" value=""/>
+  <define name="_Requires_lock_held_(expr)" value=""/>
+  <define name="_Requires_lock_not_held_(expr)" value=""/>
+  <define name="_Requires_no_locks_held_" value=""/>
+  <define name="_Requires_shared_lock_held_(expr)" value=""/>
+  <define name="_Requires_exclusive_lock_held_(expr)" value=""/>
+  <define name="_Global_cancel_spin_lock_" value=""/>
+  <define name="_Global_critical_region_" value=""/>
+  <define name="_Global_interlock_" value=""/>
+  <define name="_Global_priority_region_" value=""/>
+  <define name="_Guarded_by_(expr)" value=""/>
+  <define name="_Interlocked_" value=""/>
+  <define name="_Interlocked_operand_" value=""/>
+  <define name="_Write_guarded_by_(expr)" value=""/>
+  <!-- When and Where Annotations -->
+  <define name="_At_(expr, anno-list)" value=""/>
+  <define name="_At_buffer_(expr, iter, elem-count, anno-list)" value=""/>
+  <define name="_Group_(anno-list)" value=""/>
+  <define name="_When_(expr, anno-list)" value=""/>
+  <!-- (old) Windows Header Annotations (see http://msdn.microsoft.com/en-us/library/windows/desktop/aa383701%28v=vs.85%29.aspx) -->
+  <define name="__bcount(size)" value=""/>
+  <define name="__bcount_opt(size)" value=""/>
+  <define name="__deref_bcount(size)" value=""/>
+  <define name="__deref_bcount_opt(size)" value=""/>
+  <define name="__deref_ecount(size)" value=""/>
+  <define name="__deref_ecount_opt(size)" value=""/>
+  <define name="__deref_in" value=""/>
+  <define name="__deref_in_bcount(size)" value=""/>
+  <define name="__deref_in_bcount_opt(size)" value=""/>
+  <define name="__deref_in_ecount(size)" value=""/>
+  <define name="__deref_in_ecount_opt(size)" value=""/>
+  <define name="__deref_in_opt" value=""/>
+  <define name="__deref_inout" value=""/>
+  <define name="__deref_inout_bcount(size)" value=""/>
+  <define name="__deref_inout_bcount_full(size)" value=""/>
+  <define name="__deref_inout_bcount_full_opt(size)" value=""/>
+  <define name="__deref_inout_bcount_opt(size)" value=""/>
+  <define name="__deref_inout_bcount_part(size,length)" value=""/>
+  <define name="__deref_inout_bcount_part_opt(size,length)" value=""/>
+  <define name="__deref_inout_ecount(size)" value=""/>
+  <define name="__deref_inout_ecount_full(size)" value=""/>
+  <define name="__deref_inout_ecount_full_opt(size)" value=""/>
+  <define name="__deref_inout_ecount_opt(size)" value=""/>
+  <define name="__deref_inout_ecount_part(size,length)" value=""/>
+  <define name="__deref_inout_ecount_part_opt(size,length)" value=""/>
+  <define name="__deref_inout_opt" value=""/>
+  <define name="__deref_opt_bcount(size)" value=""/>
+  <define name="__deref_opt_bcount_opt(size)" value=""/>
+  <define name="__deref_opt_ecount(size)" value=""/>
+  <define name="__deref_opt_ecount_opt(size)" value=""/>
+  <define name="__deref_opt_in" value=""/>
+  <define name="__deref_opt_in_bcount(size)" value=""/>
+  <define name="__deref_opt_in_bcount_opt(size)" value=""/>
+  <define name="__deref_opt_in_ecount(size)" value=""/>
+  <define name="__deref_opt_in_ecount_opt(size)" value=""/>
+  <define name="__deref_opt_in_opt" value=""/>
+  <define name="__deref_opt_inout" value=""/>
+  <define name="__deref_opt_inout_bcount(size)" value=""/>
+  <define name="__deref_opt_inout_bcount_full(size)" value=""/>
+  <define name="__deref_opt_inout_bcount_full_opt(size)" value=""/>
+  <define name="__deref_opt_inout_bcount_opt(size)" value=""/>
+  <define name="__deref_opt_inout_bcount_part(size,length)" value=""/>
+  <define name="__deref_opt_inout_bcount_part_opt(size,length)" value=""/>
+  <define name="__deref_opt_inout_ecount(size)" value=""/>
+  <define name="__deref_opt_inout_ecount_full(size)" value=""/>
+  <define name="__deref_opt_inout_ecount_full_opt(size)" value=""/>
+  <define name="__deref_opt_inout_ecount_opt(size)" value=""/>
+  <define name="__deref_opt_inout_ecount_part(size,length)" value=""/>
+  <define name="__deref_opt_inout_ecount_part_opt(size,length)" value=""/>
+  <define name="__deref_opt_inout_opt" value=""/>
+  <define name="__deref_opt_out" value=""/>
+  <define name="__deref_opt_out_bcount(size)" value=""/>
+  <define name="__deref_opt_out_bcount_full(size)" value=""/>
+  <define name="__deref_opt_out_bcount_full_opt(size)" value=""/>
+  <define name="__deref_opt_out_bcount_opt(size)" value=""/>
+  <define name="__deref_opt_out_bcount_part(size,length)" value=""/>
+  <define name="__deref_opt_out_bcount_part_opt(size,length)" value=""/>
+  <define name="__deref_opt_out_ecount(size)" value=""/>
+  <define name="__deref_opt_out_ecount_full(size)" value=""/>
+  <define name="__deref_opt_out_ecount_full_opt(size)" value=""/>
+  <define name="__deref_opt_out_ecount_opt(size)" value=""/>
+  <define name="__deref_opt_out_ecount_part(size,length)" value=""/>
+  <define name="__deref_opt_out_ecount_part_opt(size,length)" value=""/>
+  <define name="__deref_opt_out_opt" value=""/>
+  <define name="__deref_out" value=""/>
+  <define name="__deref_out_bcount(size)" value=""/>
+  <define name="__deref_out_bcount_full(size)" value=""/>
+  <define name="__deref_out_bcount_full_opt(size)" value=""/>
+  <define name="__deref_out_bcount_opt(size)" value=""/>
+  <define name="__deref_out_bcount_part(size,length)" value=""/>
+  <define name="__deref_out_bcount_part_opt(size,length)" value=""/>
+  <define name="__deref_out_ecount(size)" value=""/>
+  <define name="__deref_out_ecount_full(size)" value=""/>
+  <define name="__deref_out_ecount_full_opt(size)" value=""/>
+  <define name="__deref_out_ecount_opt(size)" value=""/>
+  <define name="__deref_out_ecount_part(size,length)" value=""/>
+  <define name="__deref_out_ecount_part_opt(size,length)" value=""/>
+  <define name="__deref_out_opt" value=""/>
+  <define name="__ecount(size)" value=""/>
+  <define name="__ecount_opt(size)" value=""/>
+  <define name="__in" value=""/>
+  <define name="__in_bcount(size)" value=""/>
+  <define name="__in_bcount_opt(size)" value=""/>
+  <define name="__in_ecount(size)" value=""/>
+  <define name="__in_ecount_opt(size)" value=""/>
+  <define name="__in_opt" value=""/>
+  <define name="__inout" value=""/>
+  <define name="__inout_bcount(size)" value=""/>
+  <define name="__inout_bcount_full(size)" value=""/>
+  <define name="__inout_bcount_full_opt(size)" value=""/>
+  <define name="__inout_bcount_opt(size)" value=""/>
+  <define name="__inout_bcount_part(size,length)" value=""/>
+  <define name="__inout_bcount_part_opt(size,length)" value=""/>
+  <define name="__inout_ecount(size)" value=""/>
+  <define name="__inout_ecount_full(size)" value=""/>
+  <define name="__inout_ecount_full_opt(size)" value=""/>
+  <define name="__inout_ecount_opt(size)" value=""/>
+  <define name="__inout_ecount_part(size,length)" value=""/>
+  <define name="__inout_ecount_part_opt(size,length)" value=""/>
+  <define name="__inout_opt" value=""/>
+  <define name="__out" value=""/>
+  <define name="__out_bcount(size)" value=""/>
+  <define name="__out_bcount_full(size)" value=""/>
+  <define name="__out_bcount_full_opt(size)" value=""/>
+  <define name="__out_bcount_opt(size)" value=""/>
+  <define name="__out_bcount_part(size,length)" value=""/>
+  <define name="__out_bcount_part_opt(size,length)" value=""/>
+  <define name="__out_ecount(size)" value=""/>
+  <define name="__out_ecount_full(size)" value=""/>
+  <define name="__out_ecount_full_opt(size)" value=""/>
+  <define name="__out_ecount_opt(size)" value=""/>
+  <define name="__out_ecount_part(size,length)" value=""/>
+  <define name="__out_ecount_part_opt(size,length)" value=""/>
+  <define name="__out_opt" value=""/>
+</def>