{"id":270321,"date":"2015-12-14T18:59:03","date_gmt":"2015-12-14T15:59:03","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=270321"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=270321","title":{"rendered":"\u041f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c Microsoft Code Contracts"},"content":{"rendered":"<p>       <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/066\/55a\/634\/06655a634d04ca7eee81292af42fec85.jpg\"\/><br \/>  \u041c\u044b \u0443\u0441\u043f\u0435\u0448\u043d\u043e \u0441\u043e\u0437\u0434\u0430\u043b\u0438 \u0438 \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u0435\u043c \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u0442\u044c \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 PVS-Studio \u0434\u043b\u044f \u044f\u0437\u044b\u043a\u0430 C\/C++. \u0421\u043e \u0432\u0440\u0435\u043c\u0435\u043d\u0435\u043c \u0441\u0442\u0430\u043b\u043e \u043f\u043e\u043d\u044f\u0442\u043d\u043e, \u0447\u0442\u043e \u043c\u043d\u043e\u0433\u0438\u0435 \u0438\u0437 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u0434\u0438\u0430\u0433\u043d\u043e\u0441\u0442\u0438\u043a \u043d\u0438\u043a\u0430\u043a \u043d\u0435 \u0441\u0432\u044f\u0437\u0430\u043d\u044b \u0441 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u043c \u044f\u0437\u044b\u043a\u043e\u043c \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f, \u0438 \u0442\u043e\u0433\u0434\u0430 \u043c\u044b \u0440\u0435\u0448\u0438\u043b\u0438 \u043f\u043e\u043f\u0440\u043e\u0431\u043e\u0432\u0430\u0442\u044c \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u0442\u044c \u0441\u0432\u043e\u0439 \u043e\u043f\u044b\u0442 \u043a \u0434\u0440\u0443\u0433\u043e\u043c\u0443 \u044f\u0437\u044b\u043a\u0443 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f, \u043a C#. \u0412 \u0434\u0430\u043d\u043d\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 \u0431\u0443\u0434\u0435\u0442 \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u0430\u043d\u043e \u043e \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0435 \u043f\u0440\u043e\u0435\u043a\u0442\u0430 Code Contracts \u043e\u0442 Microsoft \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043d\u043e\u0432\u043e\u0433\u043e C# \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440\u0430.<\/p>\n<h2>\u041e \u043f\u0440\u043e\u0435\u043a\u0442\u0435 MS Code Contracts<\/h2>\n<p>  <a href=\"http:\/\/research.microsoft.com\/en-us\/projects\/contracts\/\">Code Contracts<\/a> \u043f\u0440\u0435\u0434\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u044e\u0442 \u043c\u0435\u0442\u043e\u0434, \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0432\u044b\u0440\u0430\u0436\u0430\u044e\u0442\u0441\u044f \u043f\u0440\u0435\u0434\u043f\u043e\u043b\u043e\u0436\u0435\u043d\u0438\u044f \u043e \u043a\u043e\u0434\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b \u0432 .NET \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u044f\u0445. \u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u044e\u0442 \u0444\u043e\u0440\u043c\u0443 \u043f\u0440\u0435\u0434\u0443\u0441\u043b\u043e\u0432\u0438\u0439, \u043f\u043e\u0441\u0442\u0443\u0441\u043b\u043e\u0432\u0438\u0439 \u0438 \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043e\u0432 \u043e\u0431\u044a\u0435\u043a\u0442\u0430, \u0438 \u0432\u044b\u0441\u0442\u0443\u043f\u0430\u044e\u0442 \u0432 \u0440\u043e\u043b\u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u0435\u043d\u043d\u043e\u0439 \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u0438 \u0432\u0430\u0448\u0438\u0445 \u0432\u043d\u0435\u0448\u043d\u0438\u0445 \u0438 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0438\u0445 API. \u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442\u0441\u044f \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u0443\u043b\u0443\u0447\u0448\u0438\u0442\u044c \u043f\u0440\u043e\u0446\u0435\u0441\u0441 \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b, \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u044f \u043f\u0440\u043e\u0432\u043e\u0434\u0438\u0442\u044c \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0443\u044e \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044e \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 \u0438 \u0433\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u044e \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u0438.<br \/>  <a name=\"habracut\"><\/a><br \/>  \u042d\u0442\u043e \u043f\u0440\u043e\u0435\u043a\u0442 \u0441\u0440\u0435\u0434\u043d\u0435\u0433\u043e \u0440\u0430\u0437\u043c\u0435\u0440\u0430 (\u043e\u043a\u043e\u043b\u043e ~4000 \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0445 \u0444\u0430\u0439\u043b\u043e\u0432), \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0430\u043a\u0442\u0438\u0432\u043d\u043e \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u0435\u0442\u0441\u044f: \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u043c\u043d\u043e\u0433\u043e \u043d\u0435\u0434\u043e\u043f\u0438\u0441\u0430\u043d\u043d\u043e\u0433\u043e \u0438 \u043d\u0435\u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u043d\u043e\u0433\u043e \u043a\u043e\u0434\u0430. \u0418\u043c\u0435\u043d\u043d\u043e \u043d\u0430 \u044d\u0442\u043e\u043c \u044d\u0442\u0430\u043f\u0435 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u0432\u043d\u0435\u0434\u0440\u044f\u0442\u044c \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0430\u043d\u0430\u043b\u0438\u0437 \u0432 \u043f\u0440\u043e\u0446\u0435\u0441\u0441 \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u0438.<\/p>\n<h2>\u041e \u043d\u043e\u0432\u043e\u043c \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440\u0435 C# \u043a\u043e\u0434\u0430<\/h2>\n<p>  \u041f\u0440\u043e\u0435\u043a\u0442 Code Contracts \u043f\u0440\u043e\u0432\u0435\u0440\u0435\u043d \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u044d\u043a\u0441\u043f\u0435\u0440\u0438\u043c\u0435\u043d\u0442\u0430\u043b\u044c\u043d\u043e\u0439 \u0432\u0435\u0440\u0441\u0438\u0438 <a href=\"http:\/\/www.viva64.com\/ru\/pvs-studio\/\">PVS-Studio<\/a>, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u0430 \u043f\u043e \u044d\u0442\u043e\u0439 \u0441\u0441\u044b\u043b\u043a\u0435: <a href=\"http:\/\/files.viva64.com\/beta\/PVS-Studio_setup.exe\">http:\/\/files.viva64.com\/beta\/PVS-Studio_setup.exe<\/a>.<\/p>\n<p>  \u0410\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 \u0432 \u0441\u043a\u043e\u0440\u043e\u043c \u0432\u0440\u0435\u043c\u0435\u043d\u0438 \u043f\u0435\u0440\u0435\u0441\u0442\u0430\u043d\u0435\u0442 \u0431\u044b\u0442\u044c \u044d\u043a\u0441\u043f\u0435\u0440\u0438\u043c\u0435\u043d\u0442\u0430\u043b\u044c\u043d\u044b\u043c. \u041c\u044b \u043f\u043b\u0430\u043d\u0438\u0440\u0443\u0435\u043c \u0432\u044b\u043f\u0443\u0441\u0442\u0438\u0442\u044c \u043f\u0435\u0440\u0432\u0443\u044e \u0440\u0435\u043c\u0438\u0437\u043d\u0443\u044e \u0432\u0435\u0440\u0441\u0438\u044e PVS-Studio \u0441 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u043e\u0439 \u0421# \u0443\u0436\u0435 22.12.2015. \u041f\u0440\u0438 \u044d\u0442\u043e\u043c \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 \u043c\u0435\u043d\u044f\u0435\u0442 \u0441\u0442\u0430\u0440\u0448\u0438\u0439 \u043d\u043e\u043c\u0435\u0440 \u0432\u0435\u0440\u0441\u0438\u0438 \u043d\u0430 6.0.<\/p>\n<p>  \u0426\u0435\u043d\u043e\u0432\u0430\u044f \u043f\u043e\u043b\u0438\u0442\u0438\u043a\u0430 \u043d\u0435 \u043f\u0440\u0435\u0442\u0435\u0440\u043f\u0438\u0442 \u043d\u0438\u043a\u0430\u043a\u0438\u0445 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u0439. \u0420\u0430\u043d\u044c\u0448\u0435 PVS-Studio \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u043b \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0442\u044c \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b \u043d\u0430 \u044f\u0437\u044b\u043a\u0430\u0445 C, C++, C++\/CLI, C++\/CX. \u0422\u0435\u043f\u0435\u0440\u044c \u043a \u044d\u0442\u043e\u043c\u0443 \u0441\u043f\u0438\u0441\u043a\u0443 \u043f\u0440\u043e\u0441\u0442\u043e \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0435\u0442\u0441\u044f C#. <\/p>\n<h2>\u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438<\/h2>\n<p>  \u041f\u043e\u0434\u0433\u043e\u0442\u0430\u0432\u043b\u0438\u0432\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044e \u043e \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0435 <a href=\"http:\/\/www.viva64.com\/ru\/a\/0084\/\">\u043e\u0442\u043a\u0440\u044b\u0442\u043e\u0433\u043e \u043f\u0440\u043e\u0435\u043a\u0442\u0430<\/a>, \u043c\u044b \u043f\u0440\u0438\u0432\u043e\u0434\u0438\u043c \u0432 \u043d\u0435\u0439 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044e \u0434\u0430\u043b\u0435\u043a\u043e \u043d\u0435 \u043e \u0432\u0441\u0435\u0445 \u043f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u044f\u0445, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0432\u044b\u0434\u0430\u0451\u0442 \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043c\u044b \u0440\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u0443\u0435\u043c \u0430\u0432\u0442\u043e\u0440\u0430\u043c \u043f\u0440\u043e\u0435\u043a\u0442\u0430 \u0441\u0430\u043c\u043e\u0441\u0442\u043e\u044f\u0442\u0435\u043b\u044c\u043d\u043e \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u0442\u044c \u0430\u043d\u0430\u043b\u0438\u0437 \u043f\u0440\u043e\u0435\u043a\u0442\u0430 \u0438 \u0438\u0437\u0443\u0447\u0438\u0442\u044c \u0432\u0441\u0435 \u0432\u044b\u0434\u0430\u0432\u0430\u0435\u043c\u044b\u0435 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440\u043e\u043c \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u044f.<\/p>\n<h3>\u041d\u0430\u0438\u0431\u043e\u043b\u0435\u0435 \u043e\u043f\u0430\u0441\u043d\u044b\u0435 \u043d\u0430\u0439\u0434\u0435\u043d\u043d\u044b\u0435 \u043c\u0435\u0441\u0442\u0430<\/h3>\n<p>  <a href=\"http:\/\/www.viva64.com\/ru\/d\/0392\/print\/\">V3025<\/a> Incorrect format. A different number of actual arguments is expected while calling &#8216;Format&#8217; function. Expected: 3. Present: 2. VSServiceProvider.cs 515  <\/p>\n<pre><code class=\"cpp\">void AskToReportError(Exception exn) {   ....   var emailBody = new StringBuilder();   emailBody.AppendLine(&quot;Hi Code Contracts user,&quot;);   emailBody.AppendLine();   ....   emailBody.AppendLine(     String.Format(&quot;.... {0} {1} Visual Studio {2} Bug Report&quot;,       typeof(VSServiceProvider).Assembly.GetName().Version, #if DEBUG                                                  &quot;Debug&quot; #else                                                  &quot;Release&quot; #endif                                            ));   .... }<\/code><\/pre>\n<p>  \u0424\u0443\u043d\u043a\u0446\u0438\u044f String.Format() \u043e\u0436\u0438\u0434\u0430\u0435\u0442 3 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430, \u0430 \u043f\u0435\u0440\u0435\u0434\u0430\u043d\u043e \u0432\u0441\u0435\u0433\u043e 2 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430. \u0412 \u044d\u0442\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0432\u043e\u0437\u043d\u0438\u043a\u0430\u0435\u0442 <a href=\"https:\/\/msdn.microsoft.com\/en-us\/library\/system.formatexception%28v=vs.110%29.aspx\">FormatException<\/a>.<\/p>\n<p>  <a href=\"http:\/\/www.viva64.com\/ru\/d\/0384\/print\/\">V3014<\/a> It is likely that a wrong variable is being incremented inside the &#8216;for&#8217; operator. Consider reviewing &#8216;i&#8217;. SparseArray.cs 1956  <\/p>\n<pre><code class=\"cpp\">override public string ToString() {   StringBuilder str = new StringBuilder();    for (int i = 0; i &lt; data.Length; i++)   {     if (data[i] != null)     {       for (int j = 0; j &lt; lastElement[i]; i++)  \/\/&lt;==       {         str.AppendFormat(&quot;({0},{1})&quot;, data[i][j].Index,                                       data[i][j].Value);       }     }   }    return str.ToString(); }<\/code><\/pre>\n<p>  \u0412\u043e \u0432\u043b\u043e\u0436\u0435\u043d\u043d\u043e\u043c \u0446\u0438\u043a\u043b\u0435 \u043d\u0435 \u0438\u0437\u043c\u0435\u043d\u044f\u0435\u0442\u0441\u044f \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f-\u0441\u0447\u0451\u0442\u0447\u0438\u043a &#8216;j&#8217;, \u0442.\u043a. \u0432\u043c\u0435\u0441\u0442\u043e &#8216;j++&#8217; \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u0441\u044f \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u0435 \u0441\u0447\u0451\u0442\u0447\u0438\u043a\u0430 \u0432\u043d\u0435\u0448\u043d\u0435\u0433\u043e \u0446\u0438\u043a\u043b\u0430 &#8216;i++&#8217;.<\/p>\n<p>  \u0415\u0449\u0451 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043f\u043e\u0434\u043e\u0431\u043d\u044b\u0445 \u043c\u0435\u0441\u0442:<\/p>\n<ul>\n<li>V3014 It is likely that a wrong variable is being incremented inside the &#8216;for&#8217; operator. Consider reviewing &#8216;k&#8217;. Writer.cs 3984<\/li>\n<li>V3014 It is likely that a wrong variable is being incremented inside the &#8216;for&#8217; operator. Consider reviewing &#8216;count_d&#8217;. Octagons.cs 509<\/li>\n<\/ul>\n<p>  <a href=\"http:\/\/www.viva64.com\/ru\/d\/0382\/print\/\">V3003<\/a> The use of &#8216;if (A) {&#8230;} else if (A) {&#8230;}&#8217; pattern was detected. There is a probability of logical error presence. Check lines: 203, 207. WeakestPreconditionProver.csToSMT2.cs 203  <\/p>\n<pre><code class=\"cpp\">private BoxedExpression DeclareVariable(....) {   var tmp = original.ToString().Replace(' ', '_');   this.Info.AddDeclaration(string.Format(&quot;....&quot;, tmp, type));   this.ResultValue = tmp;    if (type == FLOAT32)       \/\/&lt;==   {     types[original] = FloatType.Float32;   }   else if (type == FLOAT64)  \/\/&lt;==   {     types[original] = FloatType.Float64;   }    return original; }<\/code><\/pre>\n<p>  \u0410\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0438\u043b \u0434\u0432\u0430 \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u044b\u0445 \u0443\u0441\u043b\u043e\u0432\u043d\u044b\u0445 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f, \u0438\u0437-\u0437\u0430 \u0447\u0435\u0433\u043e \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u044b \u0432\u043e \u0432\u0442\u043e\u0440\u043e\u043c \u0443\u0441\u043b\u043e\u0432\u0438\u0438 \u043d\u0438\u043a\u043e\u0433\u0434\u0430 \u043d\u0435 \u043f\u043e\u043b\u0443\u0447\u0430\u0442 \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u044f. \u0425\u043e\u0442\u044f, \u043d\u0430 \u043f\u0435\u0440\u0432\u044b\u0439 \u0432\u0437\u0433\u043b\u044f\u0434, \u044d\u0442\u043e \u043d\u0435 \u0442\u0430\u043a, \u043c\u044b \u043f\u0435\u0440\u0435\u0439\u0434\u0451\u043c \u043a \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044e \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442 FLOAT32 \u0438 FLOAT64, \u0438 \u0443\u0432\u0438\u0434\u0438\u043c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u043a\u043e\u0434:  <\/p>\n<pre><code class=\"cpp\">private const string FLOAT32 = &quot;(_ FP 11 53)&quot;; \/\/ To change!!! private const string FLOAT64 = &quot;(_ FP 11 53)&quot;;<\/code><\/pre>\n<p>  \u041a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u044b \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u0440\u0430\u0432\u043d\u044b! \u0425\u043e\u0442\u044f \u0437\u0434\u0435\u0441\u044c \u0438 \u0435\u0441\u0442\u044c \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u0439, \u0447\u0442\u043e \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0441\u0442\u0438 \u0437\u0430\u043c\u0435\u043d\u0443 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u044b FLOAT32, \u044d\u0442\u043e \u043c\u0435\u0441\u0442\u043e \u043b\u0435\u0433\u043a\u043e \u043f\u0440\u043e\u043f\u0443\u0441\u0442\u0438\u0442\u044c \u0432 \u0431\u0443\u0434\u0443\u0449\u0435\u043c. \u0412 \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u044e\u0449\u0438\u0445\u0441\u044f \u043f\u0440\u043e\u0435\u043a\u0442\u0430\u0445 \u0432\u0430\u0436\u043d\u043e \u043f\u043e\u043c\u0435\u0447\u0430\u0442\u044c \u0442\u0430\u043a\u0438\u0435 \u043c\u0435\u0441\u0442\u0430 \u043a\u0430\u043a TODO \u0438 \u0440\u0435\u0433\u0443\u043b\u044f\u0440\u043d\u043e \u043f\u0440\u043e\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0442\u044c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u043a\u043e\u0434\u0430.<\/p>\n<p>  <a href=\"http:\/\/www.viva64.com\/ru\/d\/0382\/print\/\">V3003<\/a> The use of &#8216;if (A) {&#8230;} else if (A) {&#8230;}&#8217; pattern was detected. There is a probability of logical error presence. Check lines: 1200, 1210. OutputPrettyCS.cs 1200  <\/p>\n<pre><code class=\"cpp\">public enum TypeConstraint {   NONE,   CLASS,     \/\/&lt;==   STRUCT,    \/\/&lt;==   BASECLASS, }  public void Output(OutputHelper oh) {   Contract.Requires(oh != null);    oh.Output(&quot;where &quot;, false);   mParent.OutputName(oh);   oh.Output(&quot; : &quot;, false);   \/\/** base class   bool comma = false;   if (mTypeConstraint == TypeConstraint.CLASS)       \/\/&lt;==???   {     oh.Output(&quot;class&quot;, false);     comma = true;   }   else if (mTypeConstraint == TypeConstraint.STRUCT)   {     oh.Output(&quot;struct&quot;, false);     comma = true;   }   else if (mTypeConstraint == TypeConstraint.CLASS)  \/\/&lt;==???   {     oh.Output(mClassConstraint, false);     comma = true;   } }<\/code><\/pre>\n<p>  \u0412 \u044d\u0442\u043e\u043c \u0444\u0440\u0430\u0433\u043c\u0435\u043d\u0442\u0435 \u043a\u043e\u0434\u0430 \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u044b\u0435 \u0443\u0441\u043b\u043e\u0432\u0438\u044f \u0431\u043e\u043b\u0435\u0435 \u043e\u0447\u0435\u0432\u0438\u0434\u043d\u044b. \u0421\u043a\u043e\u0440\u0435\u0435 \u0432\u0441\u0435\u0433\u043e, \u0432 \u043e\u0434\u043d\u043e\u043c \u0438\u0437 \u0443\u0441\u043b\u043e\u0432\u0438\u0439 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0443\u044e &#8216;mTypeConstraint&#8217; \u0445\u043e\u0442\u0435\u043b\u0438 \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u044c \u0441 \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043e\u0439 TypeConstraint.BASECLASS, \u0432\u043c\u0435\u0441\u0442\u043e TypeConstraint.CLASS.<\/p>\n<p>  <a href=\"http:\/\/www.viva64.com\/ru\/d\/0391\/print\/\">V3022<\/a> Expression &#8216;c &gt; &#8216;\\xFFFF&#187; is always false. Output.cs 685  <\/p>\n<pre><code class=\"cpp\">private static string Encode(string s) {   ....   foreach( char c in s ) {     if (c == splitC || c == '\\n' || c == '\\\\') {       specialCount++;     }     else if (c &gt; '\\x7F') {       if (c &gt; '\\xFFFF') specialCount += 9;       else specialCount += 5;     }   }   .... }<\/code><\/pre>\n<p>  \u0412\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u00abc &gt; &#8216;\\xFFFF&#8217;\u00bb \u043d\u0438\u043a\u043e\u0433\u0434\u0430 \u043d\u0435 \u0431\u0443\u0434\u0435\u0442 \u0438\u0441\u0442\u0438\u043d\u043d\u044b\u043c \u0438 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 \u00abspecialCount += 9\u00bb \u043d\u0438\u043a\u043e\u0433\u0434\u0430 \u043d\u0435 \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u0442\u0441\u044f. \u041f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f &#8216;c&#8217; \u0438\u043c\u0435\u0435\u0442 \u0442\u0438\u043f Char, \u043c\u0430\u043a\u0441\u0438\u043c\u0430\u043b\u044c\u043d\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0438 \u0435\u0441\u0442\u044c &quot;\\xFFFF&#8217;. \u041d\u0435 \u043e\u0447\u0435\u043d\u044c \u043f\u043e\u043d\u044f\u0442\u043d\u043e, \u043a\u0430\u043a \u0434\u043e\u043b\u0436\u0435\u043d \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u044d\u0442\u043e\u0442 \u043a\u043e\u0434 \u0438 \u043a\u0430\u043a \u0435\u0433\u043e \u043d\u0430\u0434\u043e \u0438\u0441\u043f\u0440\u0430\u0432\u0438\u0442\u044c. \u0412\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u043c\u044b \u0438\u043c\u0435\u0435\u043c \u0434\u0435\u043b\u043e \u0441 \u043e\u043f\u0435\u0447\u0430\u0442\u043a\u043e\u0439 \u0438\u043b\u0438 \u0444\u0440\u0430\u0433\u043c\u0435\u043d\u0442\u043e\u043c \u043a\u043e\u0434\u0430, \u043f\u043e\u0437\u0430\u0438\u043c\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u043d\u044b\u043c \u0438\u0437 \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u044f \u043d\u0430 \u0434\u0440\u0443\u0433\u043e\u043c \u044f\u0437\u044b\u043a\u0435. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0432 \u044f\u0437\u044b\u043a\u0435 \u0421\u0438\/\u0421\u0438++ \u0438\u043d\u043e\u0433\u0434\u0430 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442\u0441\u044f \u0441\u0438\u043c\u0432\u043e\u043b\u044b \u0440\u0430\u0437\u0440\u044f\u0434\u043d\u043e\u0441\u0442\u044c\u044e 32-\u0431\u0438\u0442\u0430. \u0418 \u0442\u0430\u043c \u043a\u0430\u043a \u0440\u0430\u0437 \u00ab\u0438\u0433\u0440\u0430\u044e\u0442\u00bb \u0441\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435\u043c 0xFFFF. \u041f\u0440\u0438\u043c\u0435\u0440 \u043f\u043e\u0434\u043e\u0431\u043d\u043e\u0433\u043e \u043a\u043e\u0434\u0430:  <\/p>\n<pre><code class=\"cpp\">\/* putUTF8 -- write a character to stdout in UTF8 encoding *\/ static void putUTF8(long c) {   if (c &lt;= 0x7F) {         \/* Leave ASCII encoded *\/     printf(&quot;&amp;#%ld;&quot;, c);   } else if (c &lt;= 0x07FF) {     \/* 110xxxxx 10xxxxxx *\/     putchar(0xC0 | (c &gt;&gt; 6));     putchar(0x80 | (c &amp; 0x3F));   } else if (c &lt;= 0xFFFF) {     \/* 1110xxxx + 2 *\/     putchar(0xE0 | (c &gt;&gt; 12));     putchar(0x80 | ((c &gt;&gt; 6) &amp; 0x3F));     putchar(0x80 | (c &amp; 0x3F));   } else if (c &lt;= 0x1FFFFF) {    \/* 11110xxx + 3 *\/     putchar(0xF0 | (c &gt;&gt; 18));     putchar(0x80 | ((c &gt;&gt; 12) &amp; 0x3F));     putchar(0x80 | ((c &gt;&gt; 6) &amp; 0x3F));     putchar(0x80 | (c &amp; 0x3F));   } else if (c &lt;= 0x3FFFFFF) {    \/* 111110xx + 4 *\/     putchar(0xF8 | (c &gt;&gt; 24));     putchar(0x80 | ((c &gt;&gt; 18) &amp; 0x3F));     putchar(0x80 | ((c &gt;&gt; 12) &amp; 0x3F));     putchar(0x80 | ((c &gt;&gt; 6) &amp; 0x3F));     putchar(0x80 | (c &amp; 0x3F));   } else if (c &lt;= 0x7FFFFFFF) {    \/* 1111110x + 5 *\/     putchar(0xFC | (c &gt;&gt; 30));     putchar(0x80 | ((c &gt;&gt; 24) &amp; 0x3F));     putchar(0x80 | ((c &gt;&gt; 18) &amp; 0x3F));     putchar(0x80 | ((c &gt;&gt; 12) &amp; 0x3F));     putchar(0x80 | ((c &gt;&gt; 6) &amp; 0x3F));     putchar(0x80 | (c &amp; 0x3F));   } else {          \/* Not a valid character... *\/     printf(&quot;&amp;#%ld;&quot;, c);   }  }<\/code><\/pre>\n<p>  <a href=\"http:\/\/www.viva64.com\/ru\/d\/0395\/print\/\">V3008<\/a> The &#8216;this.InsideMonitor&#8217; variable is assigned values twice successively. Perhaps this is a mistake. Check lines: 751, 749. AssertionCrawlerAnalysis.cs 751  <\/p>\n<pre><code class=\"cpp\">private Data(Data state, Variable v) {   this.IsReached = state.IsReached;   this.InsideMonitor = state.InsideMonitor;  \/\/&lt;==   this.symbols = new List&lt;Variable&gt;(state.symbols) { v };   this.InsideMonitor = false;                \/\/&lt;==??? }<\/code><\/pre>\n<p>  \u041e\u0447\u0435\u043d\u044c \u043f\u043e\u0434\u043e\u0437\u0440\u0438\u0442\u0435\u043b\u044c\u043d\u043e, \u0447\u0442\u043e \u043d\u0435\u043a\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0438\u0437\u043c\u0435\u043d\u044f\u0435\u0442 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u043e\u0431\u044a\u0435\u043a\u0442\u0430 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439, \u043f\u0435\u0440\u0435\u0434\u0430\u043d\u043d\u044b\u0445 \u0447\u0435\u0440\u0435\u0437 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u044b \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0438 \u0432 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u043c \u043c\u043e\u043c\u0435\u043d\u0442 \u043f\u0435\u0440\u0435\u0437\u0430\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043f\u043e\u043b\u044f \u00abthis.InsideMonitor\u00bb \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043e\u0439 &#8216;false&#8217;. \u0420\u0430\u043d\u0435\u0435 \u0443\u0436\u0435 \u0431\u044b\u043b\u043e \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u043e \u043f\u0440\u0438\u0441\u0432\u0430\u0438\u0432\u0430\u043d\u0438\u0435 \u00abthis.InsideMonitor = state.InsideMonitor\u00bb.<\/p>\n<p>  <a href=\"http:\/\/www.viva64.com\/ru\/d\/0387\/print\/\">V3009<\/a> It&#8217;s odd that this method always returns one and the same value of &#8216;true&#8217;. LinearEqualities.cs 5262  <\/p>\n<pre><code class=\"cpp\">public bool TryGetFirstAvailableDimension(out int dim) {   for (var i = 0; i &lt; map.Length; i++)   {     if (!map[i])     {       dim = i;       return true;     }   }    map.Length++;    dim = map.Length;    return true; }<\/code><\/pre>\n<p>  \u0410\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0438\u043b \u0444\u0443\u043d\u043a\u0446\u0438\u044e, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0432\u0441\u0435\u0433\u0434\u0430 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u043e\u0434\u043d\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u00abtrue\u00bb. \u041c\u043e\u0436\u043d\u043e \u043f\u0440\u0435\u0434\u043f\u043e\u043b\u043e\u0436\u0438\u0442\u044c, \u0447\u0442\u043e \u043f\u0440\u0438 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u0438 \u0443\u0441\u043b\u043e\u0432\u0438\u044f &quot;!map[i]&quot; \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0434\u043e\u043b\u0436\u043d\u0430 \u0432\u0435\u0440\u043d\u0443\u0442\u044c \u043e\u0434\u043d\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435, \u0430 \u0435\u0441\u043b\u0438 \u0443\u0441\u043b\u043e\u0432\u0438\u0435 \u043d\u0438 \u0440\u0430\u0437\u0443 \u043d\u0435 \u0431\u044b\u043b\u043e \u0438\u0441\u0442\u0438\u043d\u043d\u044b\u043c, \u0442\u043e \u0432\u0435\u0440\u043d\u0443\u0442\u044c \u0434\u0440\u0443\u0433\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435. \u0412\u043e\u0437\u043c\u043e\u0436\u043d\u043e, \u0437\u0434\u0435\u0441\u044c \u043e\u0448\u0438\u0431\u043a\u0430.<\/p>\n<h3>\u041e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0435 \u043f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u044f<\/h3>\n<p>  <a href=\"http:\/\/www.viva64.com\/ru\/d\/0392\/print\/\">V3025<\/a> Incorrect format. A different number of actual arguments is expected while calling &#8216;Format&#8217; function. Expected: 1. Present: 2. Output.cs 68  <\/p>\n<pre><code class=\"cpp\">public override void WriteLine(string value) {   output.WriteLine(string.Format(&quot;{1}&quot;, DateTime.Now,     value.Replace(&quot;{&quot;, &quot;{{&quot;).Replace(&quot;}&quot;,&quot;}}&quot;)));   \/\/output.WriteLine(string.Format(&quot;[{0}] {1}&quot;,     \/\/DateTime.Now., value)); }<\/code><\/pre>\n<p>  \u0420\u0430\u043d\u044c\u0448\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u044f String.Format() \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u043b\u0430 \u0438 \u043f\u0435\u0447\u0430\u0442\u0430\u043b\u0430 2 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f: \u0434\u0430\u0442\u0443 \u0438 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435. \u041f\u043e\u0442\u043e\u043c \u044d\u0442\u043e\u0442 \u043a\u043e\u0434 \u0437\u0430\u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043b\u0438 \u0438 \u043d\u0430\u043f\u0438\u0441\u0430\u043b\u0438 \u0434\u0440\u0443\u0433\u043e\u0439 \u0432\u0430\u0440\u0438\u0430\u043d\u0442, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u043c \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 \u0441 \u0438\u043d\u0434\u0435\u043a\u0441\u043e\u043c 0 \u043d\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f, \u0442.\u0435. \u0434\u0430\u0442\u0430 \u0442\u0435\u043f\u0435\u0440\u044c \u043d\u0435 \u043f\u0435\u0447\u0430\u0442\u0430\u0435\u0442\u0441\u044f.<\/p>\n<p>  \u0414\u0440\u0443\u0433\u0438\u0435 \u043f\u0440\u0438\u043c\u0435\u0440\u044b \u0432\u044b\u0437\u043e\u0432\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u0444\u043e\u0440\u043c\u0430\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441 \u043d\u0435\u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u043d\u044b\u043c\u0438 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430\u043c\u0438:<\/p>\n<ul>\n<li>V3025 Incorrect format. A different number of actual arguments is expected while calling &#8216;Format&#8217; function. Expected: 6. Present: 7. CacheModelExtensions.cs 46<\/li>\n<li>V3025 Incorrect format. A different number of actual arguments is expected while calling &#8216;Format&#8217; function. Expected: 1. Present: 2. CodeFixesInference.cs 1608<\/li>\n<li>V3025 Incorrect format. A different number of actual arguments is expected while calling &#8216;Format&#8217; function. Expected: 2. Present: 3. ExpressionManipulation.cs 442<\/li>\n<\/ul>\n<p>  <a href=\"http:\/\/www.viva64.com\/ru\/d\/0402\/print\/\">V3004<\/a> The &#8216;then&#8217; statement is equivalent to the &#8216;else&#8217; statement. Metadata.cs 2602  <\/p>\n<pre><code class=\"cpp\">private void SerializeFieldRvaTable(....) {   ....   switch (row.TargetSection){     case PESection.SData:     case PESection.TLS:       Fixup fixup = new Fixup();       fixup.fixupLocation = writer.BaseStream.Position;       fixup.addressOfNextInstruction = row.RVA;       if (row.TargetSection == PESection.SData){         sdataFixup.nextFixUp = fixup;   \/\/&lt;==         sdataFixup = fixup;             \/\/&lt;==       }else{         sdataFixup.nextFixUp = fixup;   \/\/&lt;==         sdataFixup = fixup;             \/\/&lt;==       }       writer.Write((int)0);       break;   .... }<\/code><\/pre>\n<p>  \u0410\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0438\u043b \u0438\u0434\u0435\u043d\u0442\u0438\u0447\u043d\u044b\u0435 \u0431\u043b\u043e\u043a\u0438 \u043a\u043e\u0434\u0430 \u0432 \u0443\u0441\u043b\u043e\u0432\u043d\u043e\u043c \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0435. \u042d\u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043b\u0438\u0448\u043d\u0438\u043c \u043a\u043e\u0434\u043e\u043c \u0438\u043b\u0438 \u043e\u0434\u0438\u043d \u0431\u043b\u043e\u043a \u043a\u043e\u0434\u0430 \u0437\u0430\u0431\u044b\u043b\u0438 \u0438\u0437\u043c\u0435\u043d\u0438\u0442\u044c \u043f\u043e\u0441\u043b\u0435 \u043a\u043e\u043f\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f. <a href=\"http:\/\/www.viva64.com\/ru\/t\/0068\/\">Copy-Paste<\/a> \u043d\u0435 \u0449\u0430\u0434\u0438\u0442 \u0438 C# \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442\u043e\u0432.<\/p>\n<p>  \u0412\u0435\u0441\u044c \u0441\u043f\u0438\u0441\u043e\u043a \u043f\u043e\u0434\u043e\u0431\u043d\u044b\u0445 \u043c\u0435\u0441\u0442:<\/p>\n<ul>\n<li>V3004 The &#8216;then&#8217; statement is equivalent to the &#8216;else&#8217; statement. Nodes.cs 6698<\/li>\n<li>V3004 The &#8216;then&#8217; statement is equivalent to the &#8216;else&#8217; statement. Nodes.cs 6713<\/li>\n<li>V3004 The &#8216;then&#8217; statement is equivalent to the &#8216;else&#8217; statement. WarningSuggestionLinkOutput.cs 108<\/li>\n<li>V3004 The &#8216;then&#8217; statement is equivalent to the &#8216;else&#8217; statement. NonNullAnalyzer.cs 1753<\/li>\n<\/ul>\n<p>  <a href=\"http:\/\/www.viva64.com\/ru\/d\/0381\/print\/\">V3001<\/a> There are identical sub-expressions &#8216;semanticType.Name == null&#8217; to the left and to the right of the &#8216;||&#8217; operator. ContractsProvider.cs 694  <\/p>\n<pre><code class=\"cpp\">public bool TryGetTypeReference(....) {   ....   if (semanticType.Name == null || semanticType.Name == null)     goto ReturnFalse;   cciType = new Microsoft.Cci.MutableCodeModel.NamespaceTypeR....   {     ContainingUnitNamespace = cciNamespace,     GenericParameterCount = (ushort) (....),     InternFactory = Host.InternFactory,     IsValueType = semanticType.IsValueType,     IsEnum = semanticType.TypeKind == TypeKind.Enum,     Name = Host.NameTable.GetNameFor(semanticType.Name),     TypeCode=CSharpToCCIHelper.GetPrimitiveTypeCode(semanticType)   };   goto ReturnTrue;'   .... }<\/code><\/pre>\n<p>  \u0423\u0441\u043b\u043e\u0432\u0438\u0435 \u00absemanticType.Name == null\u00bb \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u044e\u0442 2 \u0440\u0430\u0437\u0430. \u041b\u0438\u0431\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0438\u0437\u0431\u044b\u0442\u043e\u0447\u043d\u0430 \u0438 \u0435\u0451 \u043c\u043e\u0436\u043d\u043e \u0443\u043f\u0440\u043e\u0441\u0442\u0438\u0442\u044c, \u043b\u0438\u0431\u043e \u0437\u0430\u0431\u044b\u043b\u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c \u0434\u0440\u0443\u0433\u043e\u0435 \u043f\u043e\u043b\u0435 \u0443 \u043e\u0431\u044a\u0435\u043a\u0442\u0430.<\/p>\n<p>  \u0415\u0449\u0451 \u043e\u0434\u043d\u043e \u043f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u0435 \u043d\u0430 \u044d\u0442\u0443 \u0442\u0435\u043c\u0443:<\/p>\n<ul>\n<li>V3001 There are identical sub-expressions &#8216;semanticType.Name == null&#8217; to the left and to the right of the &#8216;||&#8217; operator. ContractsProvider.cs 714<\/li>\n<\/ul>\n<p>  <a href=\"http:\/\/www.viva64.com\/ru\/d\/0388\/print\/\">V3019<\/a> Possibly an incorrect variable is compared to null after type conversion using &#8216;as&#8217; keyword. Check variables &#8216;other&#8217;, &#8216;right&#8217;. CallerInvariant.cs 189  <\/p>\n<pre><code class=\"cpp\">public override Predicate JoinWith(Predicate other) {   var right = other as PredicateNullness;   if (other != null)   {     if (this.value == right.value)     {       return this;     }   }    return PredicateTop.Value; }<\/code><\/pre>\n<p>  \u0410\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0438\u043b \u043f\u043e\u0442\u0435\u043d\u0446\u0438\u0430\u043b\u044c\u043d\u0443\u044e \u043e\u0448\u0438\u0431\u043a\u0443, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0438\u0432\u0435\u0441\u0442\u0438 \u043a \u0434\u043e\u0441\u0442\u0443\u043f\u0443 \u043f\u043e \u043d\u0443\u043b\u0435\u0432\u043e\u0439 \u0441\u0441\u044b\u043b\u043a\u0435. \u041d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u0441\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u0442\u044c \u0441 &#8216;null&#8217; \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 &#8216;as&#8217;.<\/p>\n<p>  \u0415\u0441\u043b\u0438 \u0432\u043e\u0437\u043d\u0438\u043a\u043d\u0435\u0442 \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u044f, \u043a\u043e\u0433\u0434\u0430 \u043e\u0431\u044a\u0435\u043a\u0442 &#8216;other&#8217; \u043d\u0435 \u0431\u0443\u0434\u0435\u0442 \u043d\u0443\u043b\u0435\u0432\u044b\u043c, \u043d\u043e \u0435\u0433\u043e \u043d\u0435 \u0443\u0434\u0430\u0441\u0442\u0441\u044f \u043f\u0440\u0438\u0432\u0435\u0441\u0442\u0438 \u043a \u0442\u0438\u043f\u0443 &#8216;PredicateNullness&#8217;, \u0442\u043e \u0432\u043e\u0437\u043d\u0438\u043a\u043d\u0435\u0442 \u0434\u043e\u0441\u0442\u0443\u043f \u043f\u043e \u043d\u0443\u043b\u0435\u0432\u043e\u0439 \u0441\u0441\u044b\u043b\u043a\u0435 \u043f\u0440\u0438 \u043e\u0431\u0440\u0430\u0449\u0435\u043d\u0438\u0438 \u043a \u00abright.value\u00bb.<\/p>\n<p>  \u0422\u0430\u043a\u0438\u0445 \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0439 \u0432 \u043f\u0440\u043e\u0435\u043a\u0442\u0435 \u043d\u0430\u0439\u0434\u0435\u043d\u043e \u043c\u043d\u043e\u0433\u043e, \u0432\u043e\u0442 \u0432\u0435\u0441\u044c \u0441\u043f\u0438\u0441\u043e\u043a:<\/p>\n<ul>\n<li>V3019 Possibly an incorrect variable is compared to null after type conversion using &#8216;as&#8217; keyword. Check variables &#8216;facts&#8217;, &#8216;moreRefinedFacts&#8217;. SimplePostconditionDispatcher.cs 319<\/li>\n<li>V3019 Possibly an incorrect variable is compared to null after type conversion using &#8216;as&#8217; keyword. Check variables &#8216;objProvenance&#8217;, &#8216;provenance&#8217;. AssertionCrawlerAnalysis.cs 816<\/li>\n<li>V3019 Possibly an incorrect variable is compared to null after type conversion using &#8216;as&#8217; keyword. Check variables &#8216;prev&#8217;, &#8216;other&#8217;. NonRelationalValueAbstraction.cs 1063<\/li>\n<li>V3019 Possibly an incorrect variable is compared to null after type conversion using &#8216;as&#8217; keyword. Check variables &#8216;prev&#8217;, &#8216;castedPrev&#8217;. GenericDomains.cs 1657<\/li>\n<li>V3019 Possibly an incorrect variable is compared to null after type conversion using &#8216;as&#8217; keyword. Check variables &#8216;a&#8217;, &#8216;right&#8217;. LinearEqualitiesForSubpolyhedra.cs 859<\/li>\n<li>V3019 Possibly an incorrect variable is compared to null after type conversion using &#8216;as&#8217; keyword. Check variables &#8216;a&#8217;, &#8216;other&#8217;. NonRelationalValueAbstraction.cs 1047<\/li>\n<li>V3019 Possibly an incorrect variable is compared to null after type conversion using &#8216;as&#8217; keyword. Check variables &#8216;a&#8217;, &#8216;other&#8217;. NonRelationalValueAbstraction.cs 1055<\/li>\n<li>V3019 Possibly an incorrect variable is compared to null after type conversion using &#8216;as&#8217; keyword. Check variables &#8216;a&#8217;, &#8216;right&#8217;. LinearEqualities.cs 849<\/li>\n<li>V3019 Possibly an incorrect variable is compared to null after type conversion using &#8216;as&#8217; keyword. Check variables &#8216;a&#8217;, &#8216;right&#8217;. LinearEqualities.cs 973<\/li>\n<li>V3019 Possibly an incorrect variable is compared to null after type conversion using &#8216;as&#8217; keyword. Check variables &#8216;a&#8217;, &#8216;right&#8217;. LinearEqualities.cs 1119<\/li>\n<\/ul>\n<p>  <a href=\"http:\/\/www.viva64.com\/ru\/d\/0415\/print\/\">V3030<\/a> Recurring check. The &#8216;this.lineOffsets == null&#8217; condition was already verified in line 612. Nodes.cs 613  <\/p>\n<pre><code class=\"cpp\">public virtual void InsertOrDeleteLines(....) {   ....   if (this.lineOffsets == null)     if (this.lineOffsets == null) this.ComputeLineOffsets();   if (lineCount &lt; 0)     this.DeleteLines(offset, -lineCount);   else     this.InsertLines(offset, lineCount);   .... }<\/code><\/pre>\n<p>  \u0418\u0434\u0443\u0449\u0438\u0435 \u043f\u043e\u0434\u0440\u044f\u0434 \u0434\u0432\u0435 \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u044b\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u00abthis.lineOffsets == null\u00bb. \u0422\u0430\u043a\u043e\u0439 \u043a\u043e\u0434 \u043d\u0435 \u0438\u043c\u0435\u0435\u0442 \u0441\u043c\u044b\u0441\u043b\u0430. \u0412\u043e\u0437\u043c\u043e\u0436\u043d\u043e, \u0445\u043e\u0442\u0435\u043b\u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c \u0447\u0442\u043e-\u0442\u043e \u0435\u0449\u0451.<\/p>\n<p>  <a href=\"http:\/\/www.viva64.com\/ru\/d\/0401\/print\/\">V3002<\/a> The switch statement does not cover all values of the &#8216;UnaryOperator&#8217; enum: Conv_dec. WeakestPreconditionProver.csToSMT2.cs 453  <\/p>\n<pre><code class=\"cpp\">private string Combine(UnaryOperator unaryOperator, string arg) {   Contract.Requires(arg != null);    var format = &quot;({0} {1})&quot;;   string op = null;    switch (unaryOperator)   {     case UnaryOperator.Neg:     case UnaryOperator.Not:     case UnaryOperator.Not:       {         op = &quot;not&quot;;       }       break;      case UnaryOperator.WritableBytes:     case UnaryOperator.Conv_i:     case UnaryOperator.Conv_i1:     case UnaryOperator.Conv_i2:     case UnaryOperator.Conv_i4:     case UnaryOperator.Conv_i8:     case UnaryOperator.Conv_r_un:     case UnaryOperator.Conv_r4:     case UnaryOperator.Conv_r8:     case UnaryOperator.Conv_u:     case UnaryOperator.Conv_u1:     case UnaryOperator.Conv_u2:     case UnaryOperator.Conv_u4:     case UnaryOperator.Conv_u8:       {         return null;      }   }    return string.Format(format, op, arg); }<\/code><\/pre>\n<p>  \u0410\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0438\u043b \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 &#8216;switch&#8217;, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u043c \u0432\u044b\u0431\u043e\u0440 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0430 \u043e\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043f\u043e \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 enum-\u0442\u0438\u043f\u0430. \u041f\u0440\u0438 \u044d\u0442\u043e\u043c \u0432 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0435 &#8216;switch&#8217; \u043f\u0440\u043e\u043f\u0443\u0449\u0435\u043d 1 \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u00abUnaryOperator. Conv_dec\u00bb. \u042d\u0442\u043e \u043e\u0447\u0435\u043d\u044c \u043f\u043e\u0434\u043e\u0437\u0440\u0438\u0442\u0435\u043b\u044c\u043d\u043e.<\/p>\n<p>  \u041d\u0438\u0436\u0435 \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u043f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u00abUnaryOperator\u00bb:  <\/p>\n<pre><code class=\"cpp\">public enum UnaryOperator {   ....   Conv_u8,   Conv_r_un,   Neg,   Not,   WritableBytes,   Conv_dec,      \/\/&lt;== }<\/code><\/pre>\n<p>  \u0412\u043e\u0437\u043c\u043e\u0436\u043d\u0430\u044f \u043e\u0448\u0438\u0431\u043a\u0430 \u0437\u0430\u043a\u043b\u044e\u0447\u0430\u0435\u0442\u0441\u044f \u0432 \u0442\u043e\u043c, \u0447\u0442\u043e \u0434\u0430\u043d\u043d\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u0430 \u0442\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u0447\u0442\u043e\u0431\u044b \u0434\u043b\u044f \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u00abUnaryOperator.Not\u00bb \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0442\u044c \u0444\u043e\u0440\u043c\u0430\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u0443\u044e \u0441\u0442\u0440\u043e\u043a\u0443, \u0430 \u0432 \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0445 \u0441\u043b\u0443\u0447\u0430\u044f\u0445 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 &#8216;null&#8217;. \u041d\u043e \u0442\u0430\u043a \u043a\u0430\u043a \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u00abUnaryOperator. Conv_dec\u00bb \u043f\u0440\u043e\u043f\u0443\u0449\u0435\u043d, \u0442\u043e \u0434\u043b\u044f \u043d\u0435\u0433\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 &#8216;op&#8217; \u043e\u0441\u0442\u0430\u043d\u0435\u0442\u0441\u044f \u0440\u0430\u0432\u043d\u043e &#8216;null&#8217; \u0438 \u043e\u043d\u043e \u043f\u043e\u043f\u0430\u0434\u0451\u0442 \u0432 \u0444\u043e\u0440\u043c\u0430\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u0443\u044e \u0441\u0442\u0440\u043e\u043a\u0443, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u0432\u0435\u0440\u043d\u0451\u0442 \u0444\u0443\u043d\u043a\u0446\u0438\u044f. <\/p>\n<h2>\u0417\u0430\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435<\/h2>\n<p>  \u041d\u0430\u0434\u0435\u0435\u043c\u0441\u044f \u0432\u0430\u043c \u043f\u043e\u043d\u0440\u0430\u0432\u0438\u043b\u0430\u0441\u044c \u044d\u0442\u0430 \u0441\u0442\u0430\u0442\u044c\u044f. \u041e\u0431\u0435\u0449\u0430\u0435\u043c \u0438 \u0434\u0430\u043b\u044c\u0448\u0435 \u0440\u0430\u0434\u043e\u0432\u0430\u0442\u044c \u043d\u0430\u0448\u0438\u0445 \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u0435\u0439 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430\u043c\u0438 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u044b\u0445 \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u0445 \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u0432.<\/p>\n<p>  \u041a\u0430\u043a \u0443\u0436\u0435 \u0443\u043f\u043e\u043c\u0438\u043d\u0430\u043b\u043e\u0441\u044c \u0432\u044b\u0448\u0435, \u043f\u0435\u0440\u0432\u044b\u0439 \u0440\u0435\u043b\u0438\u0437 \u043d\u0430\u043c\u0435\u0447\u0435\u043d \u043d\u0430 22.12.2015. \u041a\u0430\u043a \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u0432 \u043a\u043e\u043d\u0446\u0435 \u0433\u043e\u0434\u0430 \u043f\u0440\u0438\u043d\u0438\u0436\u0430\u044e\u0442\u0441\u044f \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u043e \u0431\u0443\u0434\u0443\u0449\u0438\u0445 \u0437\u0430\u043a\u0443\u043f\u043a\u0430\u0445. \u041f\u043e\u044d\u0442\u043e\u043c\u0443, \u0432\u0441\u0435\u043c \u0437\u0430\u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043e\u0432\u0430\u0432\u0448\u0438\u043c, \u043f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u0435\u043c, \u043d\u0435 \u043e\u0433\u043b\u0430\u0434\u044b\u0432\u0430\u044f \u0443\u0436\u0435 \u0441\u0435\u0439\u0447\u0430\u0441 \u0441\u0432\u044f\u0437\u0430\u0442\u044c\u0441\u044f \u0441 \u043d\u0430\u043c\u0438 \u043f\u043e \u0432\u043e\u043f\u0440\u043e\u0441\u0430\u043c <a href=\"http:\/\/www.viva64.com\/ru\/order\/\">\u043f\u0440\u0438\u043e\u0431\u0440\u0435\u0442\u0435\u043d\u0438\u044f<\/a> PVS-Studio. \u0418 \u043c\u044b \u0431\u0443\u0434\u0435\u043c \u0440\u0430\u0434\u044b \u0432\u0438\u0434\u0435\u0442\u044c \u0432\u0430\u0448\u0443 \u043a\u043e\u043c\u043f\u0430\u043d\u0438\u044e \u0441\u0440\u0435\u0434\u0438 \u043d\u0430\u0448\u0438\u0445 \u0434\u043e\u0432\u043e\u043b\u044c\u043d\u044b\u0445 <a href=\"http:\/\/www.viva64.com\/ru\/customers\">\u043a\u043b\u0438\u0435\u043d\u0442\u043e\u0432<\/a>.<\/p>\n<p>  \u0421\u043f\u0430\u0441\u0438\u0431\u043e \u0437\u0430 \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435. \u0418 \u0431\u0435\u0437\u0431\u0430\u0436\u043d\u043e\u0433\u043e \u0432\u0430\u043c \u043a\u043e\u0434\u0430!<\/p>\n<p>  <a href=\"http:\/\/www.viva64.com\/en\/b\/0361\/\"><\/p>\n<div style=\"text-align:center;\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/35e\/064\/ddf\/35e064ddf91f5d99b620384893909ff7.png\" \/><\/div>\n<p><\/a><br \/>  \u0415\u0441\u043b\u0438 \u0445\u043e\u0442\u0438\u0442\u0435 \u043f\u043e\u0434\u0435\u043b\u0438\u0442\u044c\u0441\u044f \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435\u0439 \u0441 \u0430\u043d\u0433\u043b\u043e\u044f\u0437\u044b\u0447\u043d\u043e\u0439 \u0430\u0443\u0434\u0438\u0442\u043e\u0440\u0438\u0435\u0439, \u0442\u043e \u043f\u0440\u043e\u0448\u0443 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0441\u0441\u044b\u043b\u043a\u0443 \u043d\u0430 \u043f\u0435\u0440\u0435\u0432\u043e\u0434: Svyatoslav Razmyslov. <a href=\"http:\/\/www.viva64.com\/en\/b\/0361\/\">Analysis of Microsoft Code Contracts<\/a>.<\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u041f\u0440\u043e\u0447\u0438\u0442\u0430\u043b\u0438 \u0441\u0442\u0430\u0442\u044c\u044e \u0438 \u0435\u0441\u0442\u044c \u0432\u043e\u043f\u0440\u043e\u0441?<\/b><\/p>\n<div class=\"spoiler_text\">\u0427\u0430\u0441\u0442\u043e \u043a \u043d\u0430\u0448\u0438\u043c \u0441\u0442\u0430\u0442\u044c\u044f\u043c \u0437\u0430\u0434\u0430\u044e\u0442 \u043e\u0434\u043d\u0438 \u0438 \u0442\u0435 \u0436\u0435 \u0432\u043e\u043f\u0440\u043e\u0441\u044b. \u041e\u0442\u0432\u0435\u0442\u044b \u043d\u0430 \u043d\u0438\u0445 \u043c\u044b \u0441\u043e\u0431\u0440\u0430\u043b\u0438 \u0437\u0434\u0435\u0441\u044c: <a href=\"http:\/\/www.viva64.com\/ru\/a\/0085\/\">\u041e\u0442\u0432\u0435\u0442\u044b \u043d\u0430 \u0432\u043e\u043f\u0440\u043e\u0441\u044b \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u0435\u0439 \u0441\u0442\u0430\u0442\u0435\u0439 \u043f\u0440\u043e PVS-Studio, \u0432\u0435\u0440\u0441\u0438\u044f 2015<\/a>. \u041f\u043e\u0436\u0430\u043b\u0443\u0439\u0441\u0442\u0430, \u043e\u0437\u043d\u0430\u043a\u043e\u043c\u044c\u0442\u0435\u0441\u044c \u0441\u043e \u0441\u043f\u0438\u0441\u043a\u043e\u043c.  <\/div>\n<\/div>\n<div class=\"clear\"><\/div>\n<p> \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"http:\/\/habrahabr.ru\/post\/273111\/\"> http:\/\/habrahabr.ru\/post\/273111\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>       <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/066\/55a\/634\/06655a634d04ca7eee81292af42fec85.jpg\"\/><br \/>  \u041c\u044b \u0443\u0441\u043f\u0435\u0448\u043d\u043e \u0441\u043e\u0437\u0434\u0430\u043b\u0438 \u0438 \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u0435\u043c \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u0442\u044c \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 PVS-Studio \u0434\u043b\u044f \u044f\u0437\u044b\u043a\u0430 C\/C++. \u0421\u043e \u0432\u0440\u0435\u043c\u0435\u043d\u0435\u043c \u0441\u0442\u0430\u043b\u043e \u043f\u043e\u043d\u044f\u0442\u043d\u043e, \u0447\u0442\u043e \u043c\u043d\u043e\u0433\u0438\u0435 \u0438\u0437 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u0434\u0438\u0430\u0433\u043d\u043e\u0441\u0442\u0438\u043a \u043d\u0438\u043a\u0430\u043a \u043d\u0435 \u0441\u0432\u044f\u0437\u0430\u043d\u044b \u0441 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u043c \u044f\u0437\u044b\u043a\u043e\u043c \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f, \u0438 \u0442\u043e\u0433\u0434\u0430 \u043c\u044b \u0440\u0435\u0448\u0438\u043b\u0438 \u043f\u043e\u043f\u0440\u043e\u0431\u043e\u0432\u0430\u0442\u044c \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u0442\u044c \u0441\u0432\u043e\u0439 \u043e\u043f\u044b\u0442 \u043a \u0434\u0440\u0443\u0433\u043e\u043c\u0443 \u044f\u0437\u044b\u043a\u0443 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f, \u043a C#. \u0412 \u0434\u0430\u043d\u043d\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 \u0431\u0443\u0434\u0435\u0442 \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u0430\u043d\u043e \u043e \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0435 \u043f\u0440\u043e\u0435\u043a\u0442\u0430 Code Contracts \u043e\u0442 Microsoft \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043d\u043e\u0432\u043e\u0433\u043e C# \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440\u0430.<\/p>\n<h2>\u041e \u043f\u0440\u043e\u0435\u043a\u0442\u0435 MS Code Contracts<\/h2>\n<p>  <a href=\"http:\/\/research.microsoft.com\/en-us\/projects\/contracts\/\">Code Contracts<\/a> \u043f\u0440\u0435\u0434\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u044e\u0442 \u043c\u0435\u0442\u043e\u0434, \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0432\u044b\u0440\u0430\u0436\u0430\u044e\u0442\u0441\u044f \u043f\u0440\u0435\u0434\u043f\u043e\u043b\u043e\u0436\u0435\u043d\u0438\u044f \u043e \u043a\u043e\u0434\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b \u0432 .NET \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u044f\u0445. \u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u044e\u0442 \u0444\u043e\u0440\u043c\u0443 \u043f\u0440\u0435\u0434\u0443\u0441\u043b\u043e\u0432\u0438\u0439, \u043f\u043e\u0441\u0442\u0443\u0441\u043b\u043e\u0432\u0438\u0439 \u0438 \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043e\u0432 \u043e\u0431\u044a\u0435\u043a\u0442\u0430, \u0438 \u0432\u044b\u0441\u0442\u0443\u043f\u0430\u044e\u0442 \u0432 \u0440\u043e\u043b\u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u0435\u043d\u043d\u043e\u0439 \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u0438 \u0432\u0430\u0448\u0438\u0445 \u0432\u043d\u0435\u0448\u043d\u0438\u0445 \u0438 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0438\u0445 API. \u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442\u0441\u044f \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u0443\u043b\u0443\u0447\u0448\u0438\u0442\u044c \u043f\u0440\u043e\u0446\u0435\u0441\u0441 \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b, \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u044f \u043f\u0440\u043e\u0432\u043e\u0434\u0438\u0442\u044c \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0443\u044e \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044e \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 \u0438 \u0433\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u044e \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u0438.  <\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-270321","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/270321","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=270321"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/270321\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=270321"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=270321"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=270321"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}