Enable source-code annotation language (SAL)#

extras-sal

Purpose/History#

The Microsoft source-code annotation language (SAL) provides a set of annotations that you can use to describe how a function uses its parameters, the assumptions that it makes about them, and the guarantees that it makes when it finishes. The annotations are defined in the header file sal.h

These files come from the Windows 10 SDK.

Requirements#

  1. A x86 version of Windows 2003 / XP SP1 with source code available: see https://rentry.co/build-win2k3
  2. \base\extras folder - where (global) common .c/.h files are stored

Changes#

  1. Add hal.h under the \base\extras\include folder
    https://github.com/tpn/winsdk-10/blob/master/Include/10.0.10240.0/shared/sal.h
  2. Add concurrencysal.h under the \base\extras\include folder
    https://github.com/tpn/winsdk-10/blob/master/Include/10.0.10240.0/shared/concurrencysal.h
  3. Add no_sal2.h under the \base\extras\include folder
    https://github.com/tpn/winsdk-10/blob/master/Include/10.0.10240.0/shared/no_sal2.h
Edit
Pub: Nov 19 2020 01:39 UTC
Edit: Nov 19 2020 17:29 UTC
Views: 404