Для получения триального ключа
заполните форму ниже
Team License (базовая версия)
Enterprise License (расширенная версия)
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Запросите информацию о ценах
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
GBP
RUB
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Бесплатная лицензия PVS-Studio для специалистов Microsoft MVP
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Для получения лицензии для вашего открытого
проекта заполните, пожалуйста, эту форму
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Мне интересно попробовать плагин на:
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Ваше сообщение отправлено.

Мы ответим вам на


Если вы так и не получили ответ, пожалуйста, проверьте папку
Spam/Junk и нажмите на письме кнопку "Не спам".
Так Вы не пропустите ответы от нашей команды.

>
>
>
Nintendo Switch: Drop Test исходников э…

Nintendo Switch: Drop Test исходников эмулятора Ryujinx

30 Июн 2021

Такие компании, как Sony, Microsoft и Nintendo, каждое поколение радуют своих потребителей новыми консолями и различными играми на них. Но вот беда, часть игр является эксклюзивами своих платформ, а приставка иной раз стоит как дорогая комплектующая ПК или как полноценный компьютер. Что же делать? На выручку приходят эмуляторы. Рынок полон подобными проектами, некоторые даже выкладываются в сеть с открытым исходным кодом. Обратим внимание на эмуляторы Nintendo Switch. В сети популярными ответами станут проекты Ryujinx и Yuzu. Давайте проведем проверку кода эмулятора Ryujinx и узнаем, сколько интересных ошибок можно найти с помощью статического анализа.

0840_Ryujinx_ru/image1.png

Введение

Ryujinx (имя Ryujinx основано на имени "Ryujin"(Рюдзин) - имя Мифического (Морского Бога) Дракона) - это молодой проект эмулятора Nintendo Switch с открытым исходным кодом, написанный на C#. Этот эмулятор нацелен на обеспечение превосходной точности и производительности, удобного интерфейса.

Проект Ryujinx конкурирует со своим старшим братом Yuzu, написанным на языке C++, код которого уже рассматривался в одной из наших статей. Каждый из этих проектов имеет свои положительные и отрицательные стороны. Но оставим старичка в покое, и взглянем на молодой проект с помощью нашего статического анализатора кода PVS-Studio. Исходный код "Дракона" был взят из его официального репозитория на GitHub.

Начнем обзор ошибок проекта Ryujinx с ошибок, которые могут вызвать исключение NullReferenceException.

Возможное возникновение NullReferenceException

Частый случай среди ошибок – использование переменных, значение которых может быть null, без проверки на этот самый null. Или же бывает, как в случае ниже.

V3095 The 'firmwareVersion' object was used before it was verified against null. Check lines: 1157, 1159. MainWindow.cs

private void HandleInstallerDialog(FileChooserDialog fileChooser){
    ....
    
    string dialogTitle = $"Install Firmware {firmwareVersion.VersionString}";

     if (firmwareVersion == null)
    {
        ....
    }
    ....
}

Здесь firmwareVersion используется прежде, чем производится его проверка на null, — это может вызвать соответствующую ошибку V3095. Данное сообщение было выдано многократно:

  • V3095 The '_profileEntry.Text' object was used before it was verified against null. Check lines: 34, 40. ProfileDialog.cs 34
  • V3095 The 'owner' object was used before it was verified against null. Check lines: 161, 166. KThread.cs 161
  • V3095 The 'Owner' object was used before it was verified against null. Check lines: 1084, 1103. KThread.cs 1084
  • V3095 The '_nsdSettings' object was used before it was verified against null. Check lines: 44, 48. FqdnResolver.cs 44
  • V3095 The 'texture' object was used before it was verified against null. Check lines: 354, 362. TextureBindingsManager.cs 354

V3080 Possible null dereference. Consider inspecting 'firmwareVersion'. MainWindow.cs 605

public void LoadApplication(string path)
{
    ....
    firmwareVersion = _contentManager.GetCurrentFirmwareVersion();

    RefreshFirmwareLabel();

    string message =
    $"No installed firmware was found but Ryujinx was able to install firmware
      {firmwareVersion.VersionString} from the provided game.
      \nThe emulator will now start.";
    ....
}

Здесь же переменная firmwareVersion используется без проверки. Если взглянуть на метод GetCurrentFirmwareVersion, то можно увидеть, что есть вероятность того, что вернется не ссылка на объект, а null, что, в свою очередь, приведет к ошибке:


public SystemVersion GetCurrentFirmwareVersion()
{
    LoadEntries();

    lock (_lock)
    {
        ....

        if (romfs.OpenFile(out IFile systemVersionFile,
            "/file".ToU8Span(),
            OpenMode.Read).IsSuccess())
        {
            return new SystemVersion(systemVersionFile.AsStream());
        }
        ....
    }

    return null;
}

Ошибки такого типа достаточно часто встречаются в этом проекте:

  • V3080 Possible null dereference. Consider inspecting 'region'. KMemoryManager.cs 46
  • V3080 Possible null dereference. Consider inspecting 'node'. KPageTableBase.cs 2250
  • V3080 Possible null dereference. Consider inspecting 'node'. KPageTableBase.cs 2316
  • V3080 Possible null dereference. Consider inspecting 'node'. KPageTableBase.cs 2408
  • V3080 Possible null dereference. Consider inspecting 'dimension'. Demangler.cs 361

V3125 The 'Owner' object was used after it was verified against null. Check lines: 1084, 1082. KThread.cs 1084

private void FreeResources()
{
    Owner?.RemoveThread(this);

    if (_tlsAddress != 0 &&
        Owner.FreeThreadLocalStorage(_tlsAddress) != KernelResult.Success)
    {
      ....
    }
    ....
}

В этот раз мы видим, что проверка на null у нас есть, но выполняется она только один раз. Хотя переменная используется здесь дважды. При первой встрече с Owner его метод вызывается только в том случае, когда переменная не равна null. При второй же упустили этот момент. Если же Owner в первом случае будет null, то метод просто не вызовется, тогда как во втором случае при попытке вызвать метод может возникнуть ошибка NullReferenceException.

V3105 The 'result' variable was used after it was assigned through null-conditional operator. NullReferenceException is possible. Client.cs 213

private byte[] Receive(int clientId, int timeout = 0)
{
    ....

    var result = _client?.Receive(ref endPoint);

    if (result.Length > 0)
    {
        ....
    }
    ....
}

В этом фрагменте кода мы видим использование null-conditional оператора для присвоения результата в переменную result. Но в дальнейшем эта переменная не проверяется на null, что может вызвать ошибку в строке с условием, ведь мы не можем измерить длину null.

V3042 Possible NullReferenceException. The '?.' and '.' operators are used for accessing members of the 'data' object Client.cs 254

public void ReceiveLoop(int clientId)
{
    ....
    byte[] data = Receive(clientId);

    if (data.Length == 0)
    {
        continue;
    }
    ....
}

Здесь мы видим, что data присваивают результат выполнения функции, но давайте взглянем внутрь неё и узнаем, что она может вернуть:

private byte[] Receive(int clientId, int timeout = 0)
{
    ....
    var result = _client?.Receive(ref endPoint);

    if (result.Length > 0)
    {
        ....
    }

    return result;
    ....
}

Кажется, или мы уже где-то видели этот код? Конечно, ранее описанная ошибка привела к ещё одной.

Логические ошибки

V3022 Expression 'result != KernelResult.Success' is always false. KMemoryRegionManager.cs 169

private KernelResult AllocatePagesImpl(....)
{
    ....
    KernelResult result = pageList.AddRange(address, blockPagesCount);

    if (result != KernelResult.Success)
    ....
}

Итак, первая логическая ошибка сообщает нам, что условие всегда ложно. С чего бы это? Для этого нам нужно провести вскрытие метода AddRange.

public KernelResult AddRange(....)
{
    ....
    return KernelResult.Success;
}

Опустив алгоритм метода, остановимся на результате. Вызов return происходит лишь один раз, и, соответственно, единственное возможное значение переменной result лишь одно. Либо метод ещё не закончен, либо произошла излишняя проверка результата выполнения метода. Ошибка V3022 встретилась в проекте далеко не единожды:

  • V3022 Expression 'result != KernelResult.Success' is always false. KProcess.cs 639
  • V3022 Expression 'TerminationRequested' is always false. KThread.cs 375
  • V3022 Expression 'resultCode == ResultCode.Success' is always true. IManagerForApplication.cs 32
  • V3022 Expression 'resultCode == ResultCode.Success' is always true. IManagerForSystemService.cs 32
  • V3022 Expression 'result != ResultCode.Success' is always false. IApplicationFunctions.cs 376

V3003 The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 26, 30. ZbcSetTableArguments.cs 26

public uint this[int index]
{
    get
    {
        if (index == 0)
        {
            return element0;
        }
        else if (index == 1)
        {
            return element1;
        }
        else if (index == 2)
        {
            return element2;
        }
        else if (index == 2)
        {
            return element3;
        }

        throw new IndexOutOfRangeException();
    }
}

Ошибка повторяющихся условий. Есть несколько возможных причин её появления, старый добрый copy-paste, или же банальная невнимательность. Здесь, скорее всего, второй вариант. Ситуации, вызванные опечатками с использованием чисел 0, 1, 2, частые гости в программировании. Если эта тема вас заинтересовала, можете ознакомиться с ней подробнее в нашей статье

V3022 Expression 'Base == null' is always false. Demangler.cs 2049

private BaseNode ParseExpression()
{
    ....
    BaseNode Base = ParseExpression();
    if (Base == null)
    {
        return null;
    }

    BaseNode subscript = ParseExpression();
    if (Base == null)
    {
        return null;
    }
    ....
}

Итак, выше мы видим аналогичную ошибку, Base дважды проверяется на null. В этот раз её причиной стал, скорее всего, злополучный copy-paste. Из-за этого один и тот же фрагмент содержит и следующую ошибку: V3021 There are two 'if' statements with identical conditional expressions. The first 'if' statement contains method return. This means that the second 'if' statement is senseless Demangler.cs 2043

Скорее всего второе условие должно было проверить переменную subscript, что в свою очередь убьет сразу двух зайцев:

BaseNode subscript = ParseExpression();
if (subscript == null)
{
    return null;
}

V3009 It's odd that this method always returns one and the same value of 'ResultCode.Success'. IApplicationFunctions.cs 116

public ResultCode GetDesiredLanguage(ServiceCtx context)
{
    ....
    if (firstSupported > (int)SystemState.TitleLanguage.Chinese)
    {
        Logger.Warning?.Print(LogClass.ServiceAm,
            "Application has zero supported languages");

        context.ResponseData.Write(desiredLanguageCode);

        return ResultCode.Success;
    }
    ....
    return ResultCode.Success;
}

В проекте Ryujinx встретилось несколько функций, работающих с набором значений ResultCode. Одну мы уже встретили ранее. Однако ни одна из них не использовала все значения, останавливаясь лишь на Success. Возможно, разработчики ещё не закончили работу, или в функциях закралась ошибка. Из-за этого было необходимо использовать другой результат. Мы уже видели, что другой код, работающий с результатами этих функций, может вызывать ошибки или работать неправильно. Подобные сообщения ещё несколько раз встречались в проекте:

  • V3009 It's odd that this method always returns one and the same value of 'ResultCode.Success'. IAddOnContentManager.cs 52
  • V3009 It's odd that this method always returns one and the same value of 'ResultCode.Success'. ISystemSettingsServer.cs 30
  • V3009 It's odd that this method always returns one and the same value of 'Status.Success'. ConsumerBase.cs 131
  • V3009 It's odd that this method always returns one and the same value of 'ResultCode.Success'. IBinder.cs 14
  • V3009 It's odd that this method always returns one and the same value of 'true'. AstcDecoder.cs 307

V3064 Potential division by zero. Consider inspecting denominator 'blockWidth'. AstcDecoder.cs 71

public AstcDecoder(
    ReadOnlyMemory<byte> inputBuffer,
    Memory<byte> outputBuffer,
    int blockWidth,
    int blockHeight,
    int width,
    int height,
    int depth,
    int levels,
    int layers)
{
    ....
    if ((uint)blockWidth > 12)
    {
        throw new ArgumentOutOfRangeException(nameof(blockWidth));
    }

    if ((uint)blockHeight > 12)
    {
        throw new ArgumentOutOfRangeException(nameof(blockHeight));
    }
    ....
            level.BlockCountX =
                (level.ImageSizeX + blockWidth - 1) / blockWidth;
            level.BlockCountY =
                (level.ImageSizeY + blockHeight - 1) / blockHeight;
    ....
}

Данное сообщение говорит нам о том, что может произойти деление на ноль. Благодаря условию проверки диапазон чисел сжался от 0 до 11, что не исключает возможности присвоения этим переменным нуля. Следует обезопасить этот участок от подобной ошибки.

V3171 The value used as the size of an array could reach -1. Consider inspecting: deviceCount. AudioDevice.cs 133

public string[] ListAudioDeviceName()
{
    int deviceCount = _sessions.Length;

    if (!_isUsbDeviceSupported)
    {
        deviceCount--;
    }

    string[] result = new string[deviceCount];
    ....
}

Здесь ошибка кроется в том, что если _sessions.Length будет равна нулю, то и deviceCount может стать -1, что вызовет ошибку при создании массива. Следует сделать проверку, чтобы избежать этой ситуации.

Излишний код

V3063 A part of conditional expression is always true if it is evaluated: value >= 0. NumberFormatter.cs 96

public static string FormatUint(uint value)
{
    if (value <= MaxDecimal && value >= 0)
    {
        return value.ToString(CultureInfo.InvariantCulture) + "u";
    }
    ....
}

Итак, анализатор сообщает нам о том, что условие value >= 0 всегда истинно. Причина проста - диапазон значения типа uint начинается с 0, заканчивая числом 4294967295, т.е. переменные типа uint всегда больше или равны 0. Вывод прост - проверка value здесь излишняя. Так же было обнаружено ещё несколько подобных ситуаций:

  • V3063 A part of conditional expression is always false if it is evaluated: backendDisconnected. SoundIoHardwareDeviceDriver.cs 68
  • V3063 A part of conditional expression is always true if it is evaluated: info != null. SynchronizationManager.cs 132
  • V3063 A part of conditional expression is always false if it is evaluated: flush. TextureManager.cs 942

V3139 Two or more case-branches perform the same actions. Demangler.cs 2251

private BaseNode ParseExpression()
{
    ....
    case 'm':
        _position += 2;
        return ParseBinaryExpression("%");
    case 'M':
        _position += 2;
        return ParseBinaryExpression("%");
    ....
}

Старый добрый оператор switch. В данном примере он довольно большой, и нет, ничего страшного, что в один момент начинается путаница. В данном случае возможны два варианта. Либо эти две ветки case должны выполнять одну и туже операцию и их можно объединить. Либо здесь закралась ошибка, ведомая лишь одним разработчикам. Подобных случаев в проекте насчитывается ещё 19.

V3022 Expression 'mainNca != null' is always true. ApplicationLoader.cs 272

public void LoadNsp(string nspFile)
{
    ....
    if (mainNca == null)
    {
        Logger.Error?.Print(LogClass.Loader,
            "Unable to load NSP: Could not find Main NCA");

        return;
    }

    if (mainNca != null)
    {
        _device.Configuration.ContentManager.ClearAocData();
        _device.Configuration.ContentManager.AddAocData(nsp,
            nspFile,
            mainNca.Header.TitleId,
            _device.Configuration.FsIntegrityCheckLevel);

        LoadNca(mainNca, patchNca, controlNca);

        return;
    }

    ....
}

Анализатор сообщает нам, что второе условие в указанном месте всегда истинно. И это очевидно, ведь прямо перед этим выполнялась уже проверка mainNca ровно на противоположное значение. От чего встает вопрос, а нужно ли вообще проводить вторую проверку, если переменная не меняется?

V3022 Expression 'result == null' is always false. Demangler.cs 2906

private BaseNode ParseUnresolvedName(....)
{
    ....
    BaseNode qualifier = ParseSimpleId();
    if (qualifier == null)
    {
        return null;
    }
    if (result != null)
    {
        result = new QualifiedName(result, qualifier);
    }
    else if (isGlobal)
    {
        result = new GlobalQualifiedName(qualifier);
    }
    else
    {
        result = qualifier;
    }

    if (result == null)
    {
        return null;
    }
    ....
}

В этом участке кода мы можем заметить, что result дважды проверяется на null, однако вторая проверка всегда ложна, ведь в любом случае result присваивается новые производные от класса, BaseNode, который точно не равен null. Проверка на null переменных, которым присвоили новый экземпляр классов встречается ещё несколько раз в проекте:

  • V3022 Expression 'result == null' is always false. Demangler.cs 2848
  • V3022 Expression 'result == null' is always false. Demangler.cs 2833
  • V3022 Expression 'result == null' is always false. Demangler.cs 3094
  • V3022 Expression 'result == null' is always false. Demangler.cs 2930

V3117 Constructor parameter 'context' is not used. IAccountServiceForAdministrator.cs 12

public IAccountServiceForAdministrator(ServiceCtx context,
    AccountServiceFlag serviceFlag)
{
    _applicationServiceServer = new ApplicationServiceServer(serviceFlag);
}

Довольно много сообщений V3117 выводит анализатор в проекте. Подобные случаи вызываются подозрительным кодом. Если аргумент не используется, то зачем его передавать? Возможно, эти функции недоработаны, или же разработчики просто перестраховались. В итоге параметры не понадобились, а убрать просто забыли. В проекте достаточно много подобных фрагментов кода:

  • V3117 Constructor parameter 'context' is not used. IAccountServiceForApplication.cs 13
  • V3117 Constructor parameter 'context' is not used. IAccountServiceForSystemService.cs 11
  • V3117 Constructor parameter 'context' is not used. IDeliveryCacheStorageService.cs 12
  • V3117 Constructor parameter 'memory' is not used. NvHostAsGpuDeviceFile.cs 17
  • V3117 Constructor parameter 'condition' is not used. IfBlock.cs 17

V3061 Parameter 'instruction' is always rewritten in method body before being used. EndConditionalBlock.cs 18

public static void Emit(byte[] instruction, CompilationContext context)
{
    // 20000000

    // Use the conditional begin instruction stored in the stack.
    instruction = context.CurrentBlock.BaseInstruction;
    ....
}

А вот здесь ситуации несколько иная. Аргумент передали и даже используют, но не с тем значением, которое передается, ведь сразу на входе instruction перезаписывается. Стоит либо отказаться от передачи ненужного аргумента, либо сделать его необязательным, если его все же нужно будет передавать.

V3030 Recurring check. The 'setFlags' condition was already verified in line 139. InstEmitAluHelper.cs 141

public static void EmitGenericAluStoreA32(....)
{
    Debug.Assert(value.Type == OperandType.I32);

    if (rd == RegisterAlias.Aarch32Pc && setFlags)
    {
        if (setFlags)
        {
            // TODO: Load SPSR etc.

            EmitBxWritePc(context, value);
        }
        else
        {
            EmitAluWritePc(context, value);
        }
        ....
    }
    ....
}

Здесь спорная ситуация. С точки зрения анализатора здесь есть лишняя проверка переменной setFlags. Однако, судя по комментариям разработчиков, этот кусок кода в ветвях условия не доработан. Удалять лишнюю проверку просто так не получится – код в ветвях отличается. Но разобраться с этим кодом нужно уже сейчас. Иначе есть риск, что он будет дописан, как есть, и тогда в коде останется ошибка с недостижимым кодом. А в большем объёме кода её будет ещё сложнее найти.

V3138 String literal contains potential interpolated expression. Consider inspecting: keyHash. CacheCollection.cs 524

public void AddValue(ref Hash128 keyHash, byte[] value)
{
    if (IsReadOnly)
    {
        Logger.Warning?.Print(LogClass.Gpu,
            "Trying to add {keyHash} on a read-only cache, ignoring.");
        ....
    }
    ....
}

Здесь кроется маленькая ошибка, которая вместо сообщения об ошибке выведет вместо неё название переменной, в которой та хранится. Разработчик забыл указать доллар ($), что включает форматирование строки.

V3078 Original sorting order will be lost after repetitive call to 'OrderBy' method. Use 'ThenBy' method to preserve the original sorting. ShaderConfig.cs 413

private static TextureDescriptor[] GetTextureOrImageDescriptors(....)
{
    ....
    foreach (var kv in dict.OrderBy(x => x.Key.Indexed)
                           .OrderBy(x => x.Key.Handle))
    {
            ....
    }
    ....
}

Чтобы понять, почему анализатор выдает нам предупреждение в этом месте, следует разобраться в принципах работы сортировки. OrderBy сортирует коллекцию независимо от того, были ли перед этим другие сортировки или нет. В таком случае результат dict.OrderBy(x => x.Key.Indexed).OrderBy(x => x.Key.Handle) равен dict.OrderBy(x => x.Key.Handle). Чтобы сохранить полученную ранее сортировку, необходимо использовать ThenBy. Тогда это позволит сохранить первичную сортировку:

var kv in dict.OrderBy(x => x.Key.Indexed).ThenBy(x => x.Key.Handle)

Copy-Paste

V3013 It is odd that the body of 'PrintLeft' function is fully equivalent to the body of 'PrintRight' function (10, line 18). PackedTemplateParameter.cs 10

public override void PrintLeft(TextWriter writer)
{
    foreach (BaseNode node in Nodes)
    {
        node.PrintLeft(writer);
    }
}

public override void PrintRight(TextWriter writer)
{
    foreach (BaseNode node in Nodes)
    {
        node.PrintLeft(writer);
    }
}

Яркий пример применения любимых (и не очень) copy-paste. Обе функции перебирают коллекции и вызывают для их элементов PrintLeft. И ладно бы это была единственная функция для класса BaseNode, можно было бы убрать лишнюю функцию и радоваться. Но у BaseNode также имеется и PrintRight. Это означает, что вторая функция выполняет неправильную операцию.

Заключение

По результатам проверки проекта Ryujinx нашим анализатором можно сказать, что проект содержит множество однотипных ошибок. Но пока проект развивается, можно ожидать, что разработчики исправят баги и порадуют пользователей новым функционалом. А пока, если вас заинтересовала тема статического анализа эмуляторов, приглашаю вас ознакомиться со статьей по Yuzu.

Популярные статьи по теме
Зло живёт в функциях сравнения

Дата: 19 Май 2017

Автор: Андрей Карпов

Возможно, читатели помнят мою статью под названием "Эффект последней строки". В ней идёт речь о замеченной мной закономерности: ошибка чаще всего допускается в последней строке однотипных блоков текс…
Эффект последней строки

Дата: 31 Май 2014

Автор: Андрей Карпов

Я изучил множество ошибок, возникающих в результате копирования кода. И утверждаю, что чаще всего ошибки допускают в последнем фрагменте однотипного кода. Ранее я не встречал в книгах описания этого …
Как и почему статические анализаторы борются с ложными срабатываниями

Дата: 20 Мар 2017

Автор: Андрей Карпов

В своей предыдущей статье я писал, что мне не нравится подход, при котором статические анализаторы кода оцениваются с помощью синтетических тестов. В статье приводился пример, воспринимаемый анализат…
PVS-Studio для Java

Дата: 17 Янв 2019

Автор: Андрей Карпов

В седьмой версии статического анализатора PVS-Studio мы добавили поддержку языка Java. Пришло время немного рассказать, как мы начинали делать поддержку языка Java, что у нас получилось и какие дальн…
Любите статический анализ кода!

Дата: 16 Окт 2017

Автор: Андрей Карпов

Я в шоке от возможностей статического анализа кода, хотя сам участвую в разработке инструмента PVS-Studio. На днях я был искренне удивлён тому, что анализатор оказался умнее и внимательнее меня.
Как PVS-Studio оказался внимательнее, чем три с половиной программиста

Дата: 22 Окт 2018

Автор: Андрей Карпов

PVS-Studio, как и другие статические анализаторы кода, часто выдаёт ложные срабатывания. Но не стоит спешить считать странные срабатывания ложными. Это короткая история о том, как PVS-Studio вновь ок…
Статический анализ как часть процесса разработки Unreal Engine

Дата: 27 Июн 2017

Автор: Андрей Карпов

Проект Unreal Engine развивается - добавляется новый код и изменятся уже написанный. Неизбежное следствие развития проекта - появление в коде новых ошибок, которые желательно выявлять как можно раньш…
Главный вопрос программирования, рефакторинга и всего такого

Дата: 14 Апр 2016

Автор: Андрей Карпов

Вы угадали, ответ - "42". Здесь приводится 42 рекомендации по программированию, которые помогут избежать множества ошибок, сэкономить время и нервы. Автором рекомендаций выступает Андрей Карпов - тех…
Характеристики анализатора PVS-Studio на примере EFL Core Libraries, 10-15% ложных срабатываний

Дата: 31 Июл 2017

Автор: Андрей Карпов

После большой статьи про проверку операционной системы Tizen мне было задано много вопросов о проценте ложных срабатываний и о плотности ошибок (сколько ошибок PVS-Studio выявляет на 1000 строк кода)…
PVS-Studio ROI

Дата: 30 Янв 2019

Автор: Андрей Карпов

Время от времени нам задают вопрос, какую пользу в денежном эквиваленте получит компания от использования анализатора PVS-Studio. Мы решили оформить ответ в виде статьи и привести таблицы, которые по…

Комментарии (0)

Следующие комментарии
Этот сайт использует куки и другие технологии, чтобы предоставить вам более персонализированный опыт. Продолжая просмотр страниц нашего веб-сайта, вы принимаете условия использования этих файлов. Если вы не хотите, чтобы ваши данные обрабатывались, пожалуйста, покиньте данный сайт. Подробнее →
Принять