<?xml version="1.0" encoding="UTF-8"?>

<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" >

  <channel>
    <title><![CDATA[Статьи]]></title>
    <link>https://habr.com/ru/users/dieselmachine/publications/articles/</link>
    <description><![CDATA[Хабр: статьи пользователя dieselmachine]]></description>
    <language>ru</language>
    <managingEditor>editor@habr.com</managingEditor>
    <generator>habr.com</generator>
    <pubDate>Sun, 03 May 2026 09:43:54 GMT</pubDate>
    
    
      <image>
        <link>https://habr.com/ru/</link>
        <url>https://habrastorage.org/webt/ym/el/wk/ymelwk3zy1gawz4nkejl_-ammtc.png</url>
        <title>Хабр</title>
      </image>
    

    
      
        
    
    <item>
      <title><![CDATA[Почему вам не следует использовать финализаторы]]></title>
      <guid isPermaLink="true">https://habr.com/ru/companies/pvs-studio/articles/311998/</guid>
      <link>https://habr.com/ru/companies/pvs-studio/articles/311998/?utm_campaign=311998&amp;utm_source=habrahabr&amp;utm_medium=rss</link>
      <description><![CDATA[Не так давно мы работали над диагностикой, связанной с проверкой финализатора, и у нас с коллегой возник спор по поводу деталей работы сборщика мусора и финализации объектов. И хотя я и он занимаемся разработкой на C# более 5 лет, к общему мнению мы не пришли, и я решил изучить этот вопрос подробнее.<br/>
<br/>
<p><img src="https://habrastorage.org/getpro/habr/post_images/89f/d6e/145/89fd6e1453de5569b37470d1275f5f0f.png"/></p><br/>
 <a href="https://habr.com/ru/articles/311998/?utm_campaign=311998&amp;utm_source=habrahabr&amp;utm_medium=rss#habracut">Читать дальше &rarr;</a>]]></description>
      
      <pubDate>Fri, 07 Oct 2016 08:01:38 GMT</pubDate>
      <dc:creator><![CDATA[DieselMachine (PVS-Studio)]]></dc:creator>
      <category><![CDATA[Блог компании PVS-Studio]]></category><category><![CDATA[.NET]]></category><category><![CDATA[C#]]></category>
      <category><![CDATA[.net]]></category><category><![CDATA[финализатор]]></category>
    </item>
  

  

  

	
  

  

  

    
    <item>
      <title><![CDATA[Как статический анализ может дополнять юнит-тестирование на примере NUnit]]></title>
      <guid isPermaLink="true">https://habr.com/ru/companies/pvs-studio/articles/307944/</guid>
      <link>https://habr.com/ru/companies/pvs-studio/articles/307944/?utm_campaign=307944&amp;utm_source=habrahabr&amp;utm_medium=rss</link>
      <description><![CDATA[<img src="https://habrastorage.org/getpro/habr/post_images/4f4/eb6/86f/4f4eb686f4e5e5c872174b1fcf8282cf.png" alt="PVS-Studio and NUnit" align="left"/>Довольно часто при обсуждении средств статического анализа для C# проектов программисты пишут о том, что в этом нет необходимости, потому что с помощью юнит-тестирования они отлавливают большинство ошибок. Я решил проверить, насколько хорошо протестирован один из самых известных юнит-тест фреймворков — NUnit, и посмотреть найдёт ли там что-нибудь наш анализатор.<br/>
 <a href="https://habr.com/ru/articles/307944/?utm_campaign=307944&amp;utm_source=habrahabr&amp;utm_medium=rss#habracut">Читать дальше &rarr;</a>]]></description>
      
      <pubDate>Wed, 17 Aug 2016 11:25:00 GMT</pubDate>
      <dc:creator><![CDATA[DieselMachine (PVS-Studio)]]></dc:creator>
      <category><![CDATA[Блог компании PVS-Studio]]></category><category><![CDATA[.NET]]></category><category><![CDATA[C#]]></category>
      <category><![CDATA[pvs-studio]]></category><category><![CDATA[NUnit]]></category><category><![CDATA[c#]]></category><category><![CDATA[.net]]></category><category><![CDATA[tdd]]></category><category><![CDATA[разработка через тестирование]]></category><category><![CDATA[юнит-тесты]]></category><category><![CDATA[юнит-тестирование]]></category><category><![CDATA[статический анализ кода]]></category>
    </item>
  

  

  

	
  

  

  

    
    <item>
      <title><![CDATA[Поиск ошибок с помощью вычисления виртуальных значений]]></title>
      <guid isPermaLink="true">https://habr.com/ru/companies/pvs-studio/articles/282998/</guid>
      <link>https://habr.com/ru/companies/pvs-studio/articles/282998/?utm_campaign=282998&amp;utm_source=habrahabr&amp;utm_medium=rss</link>
      <description><![CDATA[В процессе работы статического анализатора точные значения или диапазоны значений некоторых переменных и выражений могут быть вычислены на этапе анализа. Это полезная информация, которую можно использовать при поиске ошибок. Мы называем такие значения виртуальными значениями, о них и будет эта статья.<br/>
<br/>
<img src="https://habrastorage.org/getpro/habr/post_images/e53/3a5/dca/e533a5dcae7c615fa543e2ba68c25783.png" align="left"/><br/>
 <a href="https://habr.com/ru/articles/282998/?utm_campaign=282998&amp;utm_source=habrahabr&amp;utm_medium=rss#habracut">Читать дальше &rarr;</a>]]></description>
      
      <pubDate>Thu, 05 May 2016 08:59:48 GMT</pubDate>
      <dc:creator><![CDATA[DieselMachine (PVS-Studio)]]></dc:creator>
      <category><![CDATA[Блог компании PVS-Studio]]></category><category><![CDATA[C#]]></category>
      <category><![CDATA[статический анализ кода]]></category><category><![CDATA[pvs-studio]]></category><category><![CDATA[static code analysis]]></category><category><![CDATA[программирование]]></category>
    </item>
  

  

  

	
  

  

  

    
    <item>
      <title><![CDATA[О преобразовании типов в арифметических выражениях в C++ и C#]]></title>
      <guid isPermaLink="true">https://habr.com/ru/companies/pvs-studio/articles/280396/</guid>
      <link>https://habr.com/ru/companies/pvs-studio/articles/280396/?utm_campaign=280396&amp;utm_source=habrahabr&amp;utm_medium=rss</link>
      <description><![CDATA[В арифметическом выражении типы операндов могут быть преобразованы к общему типу. Такие преобразования описаны в стандарте языка — в C# они существенно проще чем в C++. Тем не менее, скорее всего далеко не каждый программист знает обо всех тонкостях.<br/>
 <a href="https://habr.com/ru/articles/280396/?utm_campaign=280396&amp;utm_source=habrahabr&amp;utm_medium=rss#habracut">Читать дальше &rarr;</a>]]></description>
      
      <pubDate>Tue, 29 Mar 2016 08:39:56 GMT</pubDate>
      <dc:creator><![CDATA[DieselMachine (PVS-Studio)]]></dc:creator>
      <category><![CDATA[Блог компании PVS-Studio]]></category>
      <category><![CDATA[преобразование типов]]></category><category><![CDATA[c++]]></category><category><![CDATA[c#]]></category><category><![CDATA[статический анализ кода]]></category><category><![CDATA[static code analysis]]></category><category><![CDATA[pvs-studio]]></category>
    </item>
  

  

  

	
  

  

  

    
    <item>
      <title><![CDATA[Об одной интересной ошибке в Lucene.Net]]></title>
      <guid isPermaLink="true">https://habr.com/ru/companies/pvs-studio/articles/279221/</guid>
      <link>https://habr.com/ru/companies/pvs-studio/articles/279221/?utm_campaign=279221&amp;utm_source=habrahabr&amp;utm_medium=rss</link>
      <description><![CDATA[<img src="https://habrastorage.org/getpro/habr/post_images/18a/ebb/4f3/18aebb4f30321046c2af02cbe07612cf.png" align="left"/><br/>
Некоторые программисты, когда слышат про статический анализ, говорят о том, что он им не нужен, так как весь их код покрыт юнит-тестами, и этого достаточно, чтобы выловить все ошибки. Мне попалась ошибка, найти которую с помощью юнит-тестов теоретически возможно, но если о ней не знать, то написать такой тест практически нереально.<br/>
 <a href="https://habr.com/ru/articles/279221/?utm_campaign=279221&amp;utm_source=habrahabr&amp;utm_medium=rss#habracut">Читать дальше &rarr;</a>]]></description>
      
      <pubDate>Mon, 14 Mar 2016 12:14:16 GMT</pubDate>
      <dc:creator><![CDATA[DieselMachine (PVS-Studio)]]></dc:creator>
      <category><![CDATA[Блог компании PVS-Studio]]></category><category><![CDATA[.NET]]></category><category><![CDATA[C#]]></category><category><![CDATA[Программирование]]></category>
      <category><![CDATA[статический анализ кода]]></category><category><![CDATA[pvs-studio]]></category><category><![CDATA[static code analysis]]></category><category><![CDATA[программирование]]></category><category><![CDATA[open source]]></category><category><![CDATA[lucene.net]]></category>
    </item>
  

  

  

	
  

  

  

    
    <item>
      <title><![CDATA[Проверяем IronPython и IronRuby с помощью PVS-Studio]]></title>
      <guid isPermaLink="true">https://habr.com/ru/companies/pvs-studio/articles/274863/</guid>
      <link>https://habr.com/ru/companies/pvs-studio/articles/274863/?utm_campaign=274863&amp;utm_source=habrahabr&amp;utm_medium=rss</link>
      <description><![CDATA[Совсем недавно мы выпустили новую версию нашего анализатора PVS-Studio с поддержкой проверки C# проектов. Пока на время релиза дальнейшая разработка продукта была приостановлена, я занимался тестированием анализатора. В качестве проектов для своих экспериментов я взял IronPython и IronRuby. А раз эти проекты были проверены, я решил написать небольшую статью-отчёт.<br/>
<br/>
<img src="https://habrastorage.org/getpro/habr/post_images/151/718/fc4/151718fc401e86e72f3fc8ce459e0e1d.png" align="left"/><br/>
<br/>
<h2>IronPython и IronRuby</h2><br/>
IronPython и IronRuby представляют собой реализацию языков программирования Python и Ruby на платформе .NET. Исходный код этих проектов доступен на GitHub по этой <a href="https://github.com/IronLanguages/main">ссылке</a>. Также в комплекте идёт исходный код <a href="https://en.wikipedia.org/wiki/Dynamic_Language_Runtime">DLR</a>. Начиная с .NET Framework 4.0 DLR является его частью, и IronPython и IronRuby используют её. Тем не менее я всё равно проверил старую версию DLR, раз уж она там оказалась.<br/>
 <a href="https://habr.com/ru/articles/274863/?utm_campaign=274863&amp;utm_source=habrahabr&amp;utm_medium=rss#habracut">Подробности</a>]]></description>
      
      <pubDate>Mon, 11 Jan 2016 11:29:17 GMT</pubDate>
      <dc:creator><![CDATA[DieselMachine (PVS-Studio)]]></dc:creator>
      <category><![CDATA[Блог компании PVS-Studio]]></category><category><![CDATA[.NET]]></category><category><![CDATA[C#]]></category><category><![CDATA[Open source]]></category><category><![CDATA[Python]]></category>
      <category><![CDATA[статический анализ кода]]></category><category><![CDATA[компиляторы]]></category><category><![CDATA[pvs-studio]]></category><category><![CDATA[static code analysis]]></category><category><![CDATA[open source]]></category><category><![CDATA[ironpython]]></category><category><![CDATA[ironruby]]></category><category><![CDATA[dlr]]></category>
    </item>
  

  

  

	
  

  

  

      

      

      

    
  </channel>
</rss>
