21 lines
521 B
C
21 lines
521 B
C
#ifndef WARD_H
|
|
#define WARD_H
|
|
|
|
/*
|
|
* Ward is a static analysis tool that can be used to check for the presense of
|
|
* a certain class of bugs in C code.
|
|
*
|
|
* See https://github.com/evincarofautumn/Ward#annotating-your-code for the Ward
|
|
* permission annotations syntax.
|
|
*
|
|
* The Mono permissions are defined in
|
|
* https://github.com/evincarofautumn/Ward/blob/prod/mono.config
|
|
*/
|
|
#if defined(__WARD__)
|
|
#define MONO_PERMIT(...) __attribute__ ((ward (__VA_ARGS__)))
|
|
#else
|
|
#define MONO_PERMIT(...) /*empty*/
|
|
#endif
|
|
|
|
#endif
|