Использует ли кто-то аннотации sal?

Question

[nevermore]

(просто вопрос для интереса) видел ли кто-то их адекватную реализацию помимо дефолтных либ в VS(и не в VS)?

видел только подобные мемы:

_Check_return_
_Ret_range_(>=, 0) 
int _factorial(_In_range_(0, 12) int n, _Out_range_(>= , 0) _Deref_post_opt_valid_ int* result) {
	_Pre_((n >= 0) && (n <= 15));
	_Pre_valid_
	_Pre_notnull_
	_Pre_writable_byte_size_(sizeof(int))
	if (n == 0 || n == 1) {
		_Post_valid_
		_Post_writable_byte_size_(sizeof(int))
		*result = 1;
		return 0;
	}

	_Post_valid_
	_Post_writable_byte_size_(sizeof(int))
	int _fact = 1;

	for (int i = 2; i <= n; ++i) _fact *= i;

	*result = _fact;
	return 0;
}

Comments

[mayton2019]

А что бывает, если мы нарушаем этот контракт?

int _factorial(_In_range_(0, 12) int n

Если n допустим будет больше 12.

[nevermore]

В этом и прикол, что ничего... я даже увеличил в строке _Pre_((n >= 0) && (n <= 15)); до 15 и не нашел никаких ограничений в выполнении кода, поэтому и задаюсь, собственно вопросом для чего они нужны, может кто-то в курсе? если для аннотирования, тогда почему недостаточно комментариев? Хм

[Sergio]

nevermore, разве они предназначены не для статического анализатора от MS? я нигде больше такого не видел

[nevermore]

Sergio, не понимаю их практического применения, исходя из этого задал вопрос... может кто-то видел их использование в реальном коде, кроме MS библиотек