Описание тега prefast
PREfast - это инструмент статического анализа, который выявляет дефекты в программах на C/C++.
1
ответ
Как Microsoft SAL может предотвратить ошибку "один на один"
Вот пример, приведенный в MSDN ( http://msdn.microsoft.com/en-us/library/hh916383.aspx), в котором пытались объяснить аннотацию SAL, которая может помочь найти распространенную ошибочную ошибку. wchar_t * wmemcpy( _Out_writes_all_(count) wchar_t *de…
05 июл '13 в 23:13
3
ответа
Как установить выходной путь для журналов анализа собственного кода при запуске MSBUILD в командной строке
Я строю свое решение, используя MSBUILD в командной строке, как это: msbuild %SOLUTION% /m /fl /flp:LogFile="%OUTPUTFILE%" /p:Configuration=%BUILDCONFIG% /p:RunCodeAnalysis=True имеющий /p:RunCodeAnalysis=True создает результаты анализа кода как для…
10 ноя '14 в 12:49
0
ответов
libcmt.lib удалить
Недавно мы внесли в архитектуру облачной печати некоторые большие архитектурные изменения (например, поддержку многопоточности). Теперь мне нужно выполнить проверку PreFast, но поскольку текущая версия Visual Studio 2008, которую мы используем, не и…
30 окт '12 в 06:13
1
ответ
Prefast для Visual Studio 2008
Где можно скачать Prefast для Visual Studio 2008? Я не могу найти его через Google или на сайте MSDN.
19 июн '09 в 06:12
1
ответ
Неверный доступ к указателю (чтение 4 байтов 0*1) ошибка из PREfast
Я пытаюсь скомпилировать немного кода, который выглядит примерно так: (примеры начинаются со строки 38, а throw - 45) VSShader::VSShader(_In_ ICore * const pCore, _In_ const String & path, _In_opt_ const char ** ppArgs) : m_Core(pCore), m_Name(p…
31 окт '11 в 05:58
2
ответа
PreFast в VS 2010?
Какая версия VS 2010 имеет статический анализатор кода PreFast для нативного C++? Я скачал пробную версию VS 2010 Ultimate Edition в надежде, что она будет содержать все функции, но не смог найти в ней встроенный PreFast. Я попытался связать VS 2010…
09 мар '11 в 12:08
1
ответ
ПРЕДВАРИТЕЛЬНАЯ аннотация для членов структуры
В коде моей компании у нас есть общие методы get() и set() для взаимодействия между определенными компонентами. Однако, если я пытаюсь запустить PREfast, я получаю предупреждения, потому что PREfast не понимает, что метод get() инициализирует заданн…
10 авг '12 в 14:55
3
ответа
Префаст с Visual Studio 2008
Есть ли способ включить Prefast в дополнение к Visual Studio 2008 Professional ? Я пытаюсь скомпилировать нативный код C++. Я пробовал следующие вещи, Загруженный Windows SDK Установите пути компилятора Bin / Include / Lib к SDK. Добавлена дополни…
20 май '09 в 14:33
1
ответ
Предварительные аннотации для исправления предупреждений об уровне IRQL
Я пишу драйвер устройства для Windows 7 32 бит. Я использую версию WDK 7600.16385.1. Пока все идет хорошо, но prefast продолжает говорить мне, что я испортил уровень IRQL. В частности, когда я пытаюсь заблокировать / разблокировать общий буфер. У ме…
17 май '16 в 02:36
0
ответов
Как включить PREFast с помощью Visual Studio 2010 professional
Насколько я понимаю, PREFast может работать только с VS2010 Ultimate / Premium. Но сейчас у меня только VS2010 профессиональный. Хотя мы используем VS2010 для редактирования файлов, мы используем msbuild.exe в командной строке для их создания. C: \ …
14 фев '18 в 01:13
1
ответ
WDK7: Использование IoAttachDeviceToDeviceStack выдает предупреждение "Память должна быть сохранена" в PREfast
Я использую PREFast для проверки сборки кода драйвера для Windows7. Следующая строка кода stackDeviceObject = IoAttachDeviceToDeviceStack(deviceObject, PhysicalDeviceObject); Выдает предупреждение: warning 28107: The Memory 'deviceObject' must be he…
11 янв '13 в 16:06
2
ответа
Аннотации для разыменования NULL в Prefast и компиляции на GCC
У меня есть следующий пример кода и я хотел бы знать, какие аннотации я могу использовать, чтобы избежать их. int Function(classA* pInput) { if (pInput == NULL) { classA::Create(pInput); } return pInput->value; } Проблема в том, что, поскольку Pr…
20 сен '11 в 17:32
1
ответ
Этот шаблон работает в C++?
Я выполняю статический анализ кода PREfast для наших проектов, и он выдает мне C6001 "использование неинициализированной памяти" для этого шаблона: // AutoSelectGDIObject is a class if (AutoSelectGDIObject & select_image = AutoSelectGDIObject(hD…
17 апр '13 в 14:31
0
ответов
Где хорошее место, чтобы задавать вопросы о PREfast?
Где хорошее место, чтобы задавать вопросы о PREfast? Ясно, что у PREfast есть ограничения, некоторые из которых кажутся глупыми: он не может распознать CString как существо const TCHAR * бинарный совместимый). он не понимает, что if (FooClass const …
17 апр '13 в 17:43
1
ответ
Предварительное предупреждение:"Арифметическое переполнение: 32-разрядное значение смещается, а затем приводится к 64-разрядному значению".
Я объявил макросы как это: #define F_MASK_4_BIT 0xF #define GET_F_4BIT_MASK(F, P) (((F) & (F_MASK_4_BIT << (P * 4))) >> (4 * P)) используя макрос как это: uint8_t Feature = GET_F_4BIT_MASK(E, P); Где E - тип данных uint64_t. P - тип …
08 мар '19 в 10:55
0
ответов
Ошибка записи файла журнала при использовании Cmake, Ninja, PREFast с MSVC
Включение /analyzeфлаг для запуска сборок PREFast для Windows с использованием MSVC недетерминированно выдает следующую ошибку. Я думаю, это связано с тем, что ниндзя пытается оптимизировать сборки, одновременно компилируя файлы из одной и той же це…
11 мар '22 в 19:25