Пользовательские аннотации кода для PVS-Studio

[yomayo]

Вы регулярно публикуете результаты проверок проектов с открытым исходным кодом. Не подскажите, можно ли где-то ознакомиться с накопленной статистикой по этим проектам? Интересно увидеть, сколько ошибок на 100 строк кода для разных проектов, ещё интереснее увидеть, какова доля функций/процедур/подпрограмм/методов, содержащих ошибки. Спасибо заранее.

[redfox0]

Могу предложить вам по типу питоновских pyi-файлов. Переписал ваши примеры:

class MyOptional nullable
{
	MyOptional() nullable_uninitialized;
	MyOptional(MyNullopt) nullable_uninitialized;
	
	template <typename U>
	MyOptional(U &&val) nullable_initialized;
	
	bool HasValue() const nullable_checker pure nodiscard;

	//T& Value();  // не было аннотации

	const T& Value() const nullable_getter nodiscard;
}

namespace Foo
{
	void LogAtExit(
		const any *fmt format_arg not_null immutable,
		... immutable
	) noreturn;
}