mono/utils/ward.h

   1 #ifndef WARD_H
   2 #define WARD_H
   3
   4 /*
   5  * Ward is a static analysis tool that can be used to check for the presense of
   6  * a certain class of bugs in C code.
   7  *
   8  * See https://github.com/evincarofautumn/Ward#annotating-your-code for the Ward
   9  * permission annotations syntax.
  10  *
  11  * The Mono permissions are defined in
  12  * https://github.com/evincarofautumn/Ward/blob/prod/mono.config
  13  */
  14 #if defined(__WARD__)
  15 #define MONO_PERMIT(...) __attribute__ ((ward (__VA_ARGS__)))
  16 #else
  17 #define MONO_PERMIT(...) /*empty*/
  18 #endif
  19
  20 #endif