{"id":294760,"date":"2019-11-18T09:00:16","date_gmt":"2019-11-18T09:00:16","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=294760"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=294760","title":{"rendered":"\u041e\u0442\u0432\u0435\u0442\u044b \u043d\u0430 \u0437\u0430\u0434\u0430\u0447\u0438 \u0441\u043e \u0441\u0442\u0435\u043d\u0434\u0430 PVS-Studio \u043d\u0430 \u043a\u043e\u043d\u0444\u0435\u0440\u0435\u043d\u0446\u0438\u044f\u0445 2018-2019"},"content":{"rendered":"\n
\n

\"Picture<\/p>\n

\u041f\u0440\u0438\u0432\u0435\u0442! \u041d\u0435\u0441\u043c\u043e\u0442\u0440\u044f \u043d\u0430 \u0442\u043e, \u0447\u0442\u043e \u0441\u0435\u0437\u043e\u043d \u043a\u043e\u043d\u0444\u0435\u0440\u0435\u043d\u0446\u0438\u0439 2019 \u0433\u043e\u0434\u0430 \u0435\u0449\u0451 \u0432 \u0441\u0430\u043c\u043e\u043c \u0440\u0430\u0437\u0433\u0430\u0440\u0435, \u043c\u044b \u0431\u044b \u0445\u043e\u0442\u0435\u043b\u0438 \u043e\u0431\u0441\u0443\u0434\u0438\u0442\u044c \u0437\u0430\u0434\u0430\u0447\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0440\u0430\u043d\u0435\u0435 \u043f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u043b\u0438 \u043f\u043e\u0441\u0435\u0442\u0438\u0442\u0435\u043b\u044f\u043c \u043d\u0430\u0448\u0435\u0433\u043e \u0441\u0442\u0435\u043d\u0434\u0430. \u041e\u0441\u0435\u043d\u044c 2019 \u0433\u043e\u0434\u0430 \u043c\u044b \u043d\u0430\u0447\u0430\u043b\u0438 \u0441 \u043d\u043e\u0432\u044b\u043c \u043d\u0430\u0431\u043e\u0440\u043e\u043c \u0437\u0430\u0434\u0430\u0447, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0443\u0436\u0435 \u043c\u043e\u0436\u043d\u043e \u043e\u0431\u043d\u0430\u0440\u043e\u0434\u043e\u0432\u0430\u0442\u044c \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u0441\u0442\u0430\u0440\u044b\u0445 \u0437\u0430\u0434\u0430\u0447\u0435\u043a \u0437\u0430 2018 \u0433\u043e\u0434, \u0430 \u0442\u0430\u043a\u0436\u0435 \u043f\u0435\u0440\u0432\u0443\u044e \u043f\u043e\u043b\u043e\u0432\u0438\u043d\u0443 2019. \u0422\u0435\u043c \u0431\u043e\u043b\u0435\u0435, \u043c\u043d\u043e\u0433\u0438\u0435 \u0438\u0437 \u043d\u0438\u0445 \u0431\u044b\u043b\u0438 \u0432\u0437\u044f\u0442\u044b \u0438\u0437 \u0440\u0430\u043d\u0435\u0435 \u043e\u043f\u0443\u0431\u043b\u0438\u043a\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u0441\u0442\u0430\u0442\u0435\u0439, \u0430 \u043b\u0438\u0441\u0442\u043e\u0432\u043a\u0438 \u0441 \u0437\u0430\u0434\u0430\u0447\u0430\u043c\u0438 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u043b\u0438 \u0441\u0441\u044b\u043b\u043a\u0443 \u0438\u043b\u0438 QR-\u043a\u043e\u0434 \u0441 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u0435\u0439 \u043e \u0441\u0442\u0430\u0442\u044c\u0435.
<\/a>
\u0415\u0441\u043b\u0438 \u0432\u044b \u0431\u044b\u0432\u0430\u043b\u0438 \u043d\u0430 \u043a\u043e\u043d\u0444\u0435\u0440\u0435\u043d\u0446\u0438\u044f\u0445, \u0433\u0434\u0435 \u043c\u044b \u0441\u0442\u043e\u044f\u043b\u0438 \u0441\u043e \u0441\u0442\u0435\u043d\u0434\u043e\u043c, \u0442\u043e \u043d\u0430\u0432\u0435\u0440\u043d\u044f\u043a\u0430 \u0432\u0438\u0434\u0435\u043b\u0438 \u0438\u043b\u0438 \u0434\u0430\u0436\u0435 \u0440\u0435\u0448\u0430\u043b\u0438 \u043a\u0430\u043a\u0438\u0435-\u0442\u043e \u0438\u0437 \u043d\u0430\u0448\u0438\u0445 \u0437\u0430\u0434\u0430\u0447. \u042d\u0442\u043e \u0432\u0441\u0435\u0433\u0434\u0430 \u0444\u0440\u0430\u0433\u043c\u0435\u043d\u0442\u044b \u043a\u043e\u0434\u0430 \u0438\u0437 \u0440\u0435\u0430\u043b\u044c\u043d\u044b\u0445 \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u0445 \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u0432 \u043d\u0430 \u044f\u0437\u044b\u043a\u0430\u0445 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f C, C++, C# \u0438\u043b\u0438 Java. \u0412 \u043a\u043e\u0434\u0435 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442\u0441\u044f \u043e\u0448\u0438\u0431\u043a\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u044b \u043f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u0435\u043c \u043f\u043e\u0438\u0441\u043a\u0430\u0442\u044c \u043f\u043e\u0441\u0435\u0442\u0438\u0442\u0435\u043b\u044f\u043c. \u0417\u0430 \u0440\u0435\u0448\u0435\u043d\u0438\u0435 (\u0438\u043b\u0438 \u043f\u0440\u043e\u0441\u0442\u043e \u043e\u0431\u0441\u0443\u0436\u0434\u0435\u043d\u0438\u0435 \u043e\u0448\u0438\u0431\u043a\u0438) \u043c\u044b \u0432\u044b\u0434\u0430\u0435\u043c \u043f\u0440\u0438\u0437\u044b \u2014 \u0441\u0442\u0430\u0442\u0443\u0441\u044b \u043d\u0430 \u0440\u0430\u0431\u043e\u0447\u0438\u0439 \u0441\u0442\u043e\u043b, \u0431\u0440\u0435\u043b\u043e\u043a\u0438 \u0438 \u0442.\u043f.:<\/p>\n

\"Picture<\/div>\n

\u0425\u043e\u0442\u0438\u0442\u0435 \u0442\u0430\u043a\u0438\u0435 \u0436\u0435? \u041f\u0440\u0438\u0445\u043e\u0434\u0438\u0442\u0435 \u043d\u0430 \u043d\u0430\u0448 \u0441\u0442\u0435\u043d\u0434 \u043d\u0430 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0445 \u043a\u043e\u043d\u0444\u0435\u0440\u0435\u043d\u0446\u0438\u044f\u0445.<\/p>\n

\u041a\u0441\u0442\u0430\u0442\u0438, \u0432 \u0441\u0442\u0430\u0442\u044c\u044f\u0445 «\u0412\u0440\u0435\u043c\u044f \u043a\u043e\u043d\u0444\u0435\u0440\u0435\u043d\u0446\u0438\u0439! \u041f\u043e\u0434\u0432\u043e\u0434\u0438\u043c \u0438\u0442\u043e\u0433\u0438 2018 \u0433\u043e\u0434\u0430<\/a>» \u0438 «\u041a\u043e\u043d\u0444\u0435\u0440\u0435\u043d\u0446\u0438\u0438. \u041f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u044b\u0435 \u0438\u0442\u043e\u0433\u0438 \u043f\u043e \u043f\u0435\u0440\u0432\u043e\u043c\u0443 \u043f\u043e\u043b\u0443\u0433\u043e\u0434\u0438\u044e 2019<\/a>» \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442\u0441\u044f \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0435 \u043d\u0430\u0448\u0435\u0439 \u0430\u043a\u0442\u0438\u0432\u043d\u043e\u0441\u0442\u0438 \u043d\u0430 \u043a\u043e\u043d\u0444\u0435\u0440\u0435\u043d\u0446\u0438\u044f\u0445 \u0432 \u044d\u0442\u043e\u043c \u0438 \u043f\u0440\u043e\u0448\u043b\u043e\u043c \u0433\u043e\u0434\u0443.<\/p>\n

\u0418\u0442\u0430\u043a, \u043d\u0430\u0447\u043d\u0451\u043c \u0438\u0433\u0440\u0443 \u00ab\u041d\u0430\u0439\u0434\u0438 \u043e\u0448\u0438\u0431\u043a\u0443 \u0432 \u043a\u043e\u0434\u0435\u00bb. \u0421\u043d\u0430\u0447\u0430\u043b\u0430 \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0431\u043e\u043b\u0435\u0435 \u0441\u0442\u0430\u0440\u044b\u0435 \u0437\u0430\u0434\u0430\u0447\u043a\u0438 \u0437\u0430 2018 \u0433\u043e\u0434, \u0431\u0443\u0434\u0435\u043c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0433\u0440\u0443\u043f\u043f\u0438\u0440\u043e\u0432\u043a\u0443 \u043f\u043e \u044f\u0437\u044b\u043a\u0430\u043c \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f.<\/p>\n

2018<\/h2>\n

<\/p>\n

\u0421++<\/h3>\n

Chromium bug<\/b><\/p>\n

static const int kDaysInMonth[13] = {   0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 }; bool ValidateDateTime(const DateTime& time) {   if (time.year < 1 || time.year > 9999 ||       time.month < 1 || time.month > 12 ||       time.day < 1 || time.day > 31 ||       time.hour < 0 || time.hour > 23 ||       time.minute < 0 || time.minute > 59 ||       time.second < 0 || time.second > 59) {     return false;   }   if (time.month == 2 && IsLeapYear(time.year)) {     return time.month <= kDaysInMonth[time.month] + 1;   } else {     return time.month <= kDaysInMonth[time.month];   } }<\/code><\/pre>\n
  <\/p>\n
\u041e\u0442\u0432\u0435\u0442<\/b><\/p>\n
\u041f\u043e\u0436\u0430\u043b\u0443\u0439, \u0441\u0430\u043c\u0430\u044f \u00ab\u0434\u043e\u043b\u0433\u043e\u0438\u0433\u0440\u0430\u044e\u0449\u0430\u044f\u00bb \u0437\u0430\u0434\u0430\u0447\u043a\u0430 \u0438\u0437 \u043d\u0430\u0448\u0435\u0433\u043e \u043d\u0430\u0431\u043e\u0440\u0430. \u042d\u0442\u0443 \u043e\u0448\u0438\u0431\u043a\u0443 \u0432 \u043f\u0440\u043e\u0435\u043a\u0442\u0435 Chromium \u043c\u044b \u043f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u043b\u0438 \u043d\u0430\u0439\u0442\u0438 \u043f\u043e\u0441\u0435\u0442\u0438\u0442\u0435\u043b\u044f\u043c \u043d\u0430\u0448\u0435\u0433\u043e \u0441\u0442\u0435\u043d\u0434\u0430 \u0432 \u0442\u0435\u0447\u0435\u043d\u0438\u0435 \u0432\u0441\u0435\u0433\u043e 2018 \u0433\u043e\u0434\u0430. \u0422\u0430\u043a\u0436\u0435 \u043e\u043d\u0430 \u0431\u044b\u043b\u0430 \u043f\u043e\u043a\u0430\u0437\u0430\u043d\u0430 \u0432 \u0445\u043e\u0434\u0435 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u0434\u043e\u043a\u043b\u0430\u0434\u043e\u0432.<\/p>\n
if (time.month == 2 && IsLeapYear(time.year)) {   return time.month <= kDaysInMonth[time.month] + 1;  \/\/ <= day } else {   return time.month <= kDaysInMonth[time.month];      \/\/ <= day }<\/code><\/pre>\n
  \u0412 \u0442\u0435\u043b\u0435 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0433\u043e \u0431\u043b\u043e\u043a\u0430 If-else<\/i> \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442\u0441\u044f \u043e\u043f\u0435\u0447\u0430\u0442\u043a\u0438 \u0432 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c\u043e\u043c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0438. \u0412\u043c\u0435\u0441\u0442\u043e time.day <\/i> \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442 \u0434\u0432\u0430\u0436\u0434\u044b \u043f\u043e \u043e\u0448\u0438\u0431\u043a\u0435 \u0443\u043a\u0430\u0437\u0430\u043b time.month<\/i>. \u042d\u0442\u043e \u043f\u0440\u0438\u0432\u0435\u043b\u043e \u043a \u0442\u043e\u043c\u0443, \u0447\u0442\u043e \u0432\u0441\u0435\u0433\u0434\u0430 \u0431\u0443\u0434\u0435\u0442 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0435\u043d\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 true<\/i>. \u041e\u0448\u0438\u0431\u043a\u0430 \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u043e \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u043d\u0430 \u0432 \u0441\u0442\u0430\u0442\u044c\u0435 «31 \u0444\u0435\u0432\u0440\u0430\u043b\u044f<\/a>«. \u041e\u0442\u043b\u0438\u0447\u043d\u044b\u0439 \u043f\u0440\u0438\u043c\u0435\u0440 \u043e\u0448\u0438\u0431\u043a\u0438, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u043d\u0435\u043f\u0440\u043e\u0441\u0442\u043e \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0438\u0442\u044c \u043d\u0430 code review. \u0422\u0430\u043a\u0436\u0435 \u044d\u0442\u043e \u0445\u043e\u0440\u043e\u0448\u0430\u044f \u0438\u043b\u043b\u044e\u0441\u0442\u0440\u0430\u0446\u0438\u044f \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u044f \u0442\u0435\u0445\u043d\u043e\u043b\u043e\u0433\u0438\u0438 \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u043f\u043e\u0442\u043e\u043a\u0430 \u0434\u0430\u043d\u043d\u044b\u0445.  <\/div>\n<\/div>\n
  Unreal Engine bug<\/b><\/p>\n
bool VertInfluencedByActiveBone(   FParticleEmitterInstance* Owner,   USkeletalMeshComponent* InSkelMeshComponent,   int32 InVertexIndex,   int32* OutBoneIndex = NULL);  void UParticleModuleLocationSkelVertSurface::Spawn(....) {   ....   int32 BoneIndex1, BoneIndex2, BoneIndex3;   BoneIndex1 = BoneIndex2 = BoneIndex3 = INDEX_NONE;    if(!VertInfluencedByActiveBone(         Owner, SourceComponent, VertIndex[0], &BoneIndex1) &&      !VertInfluencedByActiveBone(         Owner, SourceComponent, VertIndex[1], &BoneIndex2) &&       !VertInfluencedByActiveBone(         Owner, SourceComponent, VertIndex[2]) &BoneIndex3)   {   .... }<\/code><\/pre>\n
  <\/p>\n
\u041e\u0442\u0432\u0435\u0442<\/b><\/p>\n
\u041f\u0435\u0440\u0432\u044b\u043c \u0434\u0435\u043b\u043e\u043c \u0441\u043b\u0435\u0434\u0443\u0435\u0442 \u043e\u0431\u0440\u0430\u0442\u0438\u0442\u044c \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435 \u043d\u0430 \u0442\u043e, \u0447\u0442\u043e \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0439 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 VertInfluencedByActiveBone()<\/i> \u0438\u043c\u0435\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e \u0438 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043d\u0435 \u0443\u043a\u0430\u0437\u0430\u043d. \u0422\u0435\u043f\u0435\u0440\u044c \u0432\u0437\u0433\u043b\u044f\u043d\u0438\u0442\u0435 \u043d\u0430 \u0431\u043b\u043e\u043a if<\/i>. \u0423\u043f\u0440\u043e\u0449\u0435\u043d\u043d\u043e \u0435\u0433\u043e \u043c\u043e\u0436\u043d\u043e \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u0442\u044c \u0442\u0430\u043a:  <\/p>\n
if (!foo(....) && !foo(....) && !foo(....) & arg)<\/code><\/pre>\n
  \u0422\u0435\u043f\u0435\u0440\u044c \u0432\u0438\u0434\u043d\u043e, \u0447\u0442\u043e \u0434\u043e\u043f\u0443\u0449\u0435\u043d\u0430 \u043e\u0448\u0438\u0431\u043a\u0430. \u0418\u0437-\u0437\u0430 \u043e\u043f\u0435\u0447\u0430\u0442\u043a\u0438 \u0442\u0440\u0435\u0442\u0438\u0439 \u0432\u044b\u0437\u043e\u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 VertInfluencedByActiveBone()<\/i> \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u0441 \u0442\u0440\u0435\u043c\u044f \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430\u043c\u0438 \u0432\u043c\u0435\u0441\u0442\u043e \u0447\u0435\u0442\u044b\u0440\u0435\u0445, \u0430 \u043a \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0443 \u044d\u0442\u043e\u0433\u043e \u0432\u044b\u0437\u043e\u0432\u0430 \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u0435\u0442\u0441\u044f \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 & <\/i> (\u043f\u043e\u0431\u0438\u0442\u043e\u0432\u043e\u0435 \u0418, \u0441\u043b\u0435\u0432\u0430 \u0431\u0443\u0434\u0435\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 VertInfluencedByActiveBone()<\/i> \u0442\u0438\u043f\u0430 bool<\/i>, \u0441\u043f\u0440\u0430\u0432\u0430 \u2013 \u0446\u0435\u043b\u043e\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u0430\u044f \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f BoneIndex3<\/i>). \u041a\u043e\u0434 \u043f\u0440\u0438 \u044d\u0442\u043e\u043c \u043a\u043e\u043c\u043f\u0438\u043b\u0438\u0440\u0443\u0435\u0442\u0441\u044f. \u0418\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u043d\u044b\u0439 \u0432\u0430\u0440\u0438\u0430\u043d\u0442 \u043a\u043e\u0434\u0430 (\u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0430 \u0437\u0430\u043f\u044f\u0442\u0430\u044f, \u0437\u0430\u043a\u0440\u044b\u0432\u0430\u044e\u0449\u0430\u044f \u0441\u043a\u043e\u0431\u043a\u0430 \u043f\u0435\u0440\u0435\u043c\u0435\u0449\u0435\u043d\u0430 \u0432 \u0434\u0440\u0443\u0433\u043e\u0435 \u043c\u0435\u0441\u0442\u043e):<\/p>\n
if(!VertInfluencedByActiveBone(       Owner, SourceComponent, VertIndex[0], &BoneIndex1) &&    !VertInfluencedByActiveBone(       Owner, SourceComponent, VertIndex[1], &BoneIndex2) &&     !VertInfluencedByActiveBone(       Owner, SourceComponent, VertIndex[2], &BoneIndex3))<\/code><\/pre>\n
  \u041e\u0448\u0438\u0431\u043a\u0430, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043f\u0435\u0440\u0432\u043e\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e \u0431\u044b\u043b\u0430 \u043e\u043f\u0438\u0441\u0430\u043d\u0430 \u0432 \u0441\u0442\u0430\u0442\u044c\u0435 «\u0414\u043e\u043b\u0433\u043e\u0436\u0434\u0430\u043d\u043d\u0430\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 Unreal Engine 4<\/a>«. \u0412 \u0441\u0442\u0430\u0442\u044c\u0435 \u043e\u0448\u0438\u0431\u043a\u0430 \u043e\u0437\u0430\u0433\u043b\u0430\u0432\u043b\u0435\u043d\u0430 \u043a\u0430\u043a \u00ab\u0421\u0430\u043c\u0430\u044f \u043a\u0440\u0430\u0441\u0438\u0432\u0430\u044f \u0438\u0437 \u043d\u0430\u0439\u0434\u0435\u043d\u043d\u044b\u0445 \u043e\u0448\u0438\u0431\u043e\u043a\u00bb. \u042f \u0441\u043e\u0433\u043b\u0430\u0441\u0435\u043d \u0441 \u0434\u0430\u043d\u043d\u044b\u043c \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435\u043c.  <\/div>\n<\/div>\n
  Android bugs<\/b><\/p>\n
void TagMonitor::parseTagsToMonitor(String8 tagNames) {   std::lock_guard<std::mutex> lock(mMonitorMutex);    \/\/ Expand shorthands   if (ssize_t idx = tagNames.find(\"3a\") != -1) {     ssize_t end = tagNames.find(\",\", idx);     char* start = tagNames.lockBuffer(tagNames.size());     start[idx] = '\\0';     ....   }   .... }<\/code><\/pre>\n
  <\/p>\n
\u041e\u0442\u0432\u0435\u0442<\/b><\/p>\n
\u0412 \u0443\u0441\u043b\u043e\u0432\u0438\u0438 \u0431\u043b\u043e\u043a\u0430 if <\/i> \u043f\u0435\u0440\u0435\u043f\u0443\u0442\u0430\u043d \u043f\u0440\u0438\u043e\u0440\u0438\u0442\u0435\u0442 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0439. \u041a\u043e\u0434 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043d\u0435 \u0442\u0430\u043a, \u043a\u0430\u043a \u0437\u0430\u0434\u0443\u043c\u0430\u043b \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442:<\/p>\n
if (ssize_t idx = (tagNames.find(\"3a\") != -1))<\/code><\/pre>\n
  \u041f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f idx <\/i> \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u043b\u0443\u0447\u0430\u0442\u044c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f 0 \u0438\u043b\u0438 1, \u0430 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u0435 \u0443\u0441\u043b\u043e\u0432\u0438\u044f \u0431\u0443\u0434\u0435\u0442 \u0437\u0430\u0432\u0438\u0441\u0435\u0442\u044c \u043e\u0442 \u044d\u0442\u043e\u0433\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f, \u0447\u0442\u043e \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043e\u0448\u0438\u0431\u043a\u043e\u0439. \u0418\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u043d\u044b\u0439 \u0432\u0430\u0440\u0438\u0430\u043d\u0442 \u043a\u043e\u0434\u0430:<\/p>\n
ssize_t idx = tagNames.find(\"3a\"); if (idx != -1)<\/code><\/pre>\n
  \u041e\u0448\u0438\u0431\u043a\u0430 \u0438\u0437 \u0441\u0442\u0430\u0442\u044c\u0438 «\u041f\u0440\u043e\u0432\u0435\u0440\u0438\u043b\u0438 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e PVS-Studio \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0435 \u043a\u043e\u0434\u044b Android, \u0438\u043b\u0438 \u043d\u0438\u043a\u0442\u043e \u043d\u0435 \u0438\u0434\u0435\u0430\u043b\u0435\u043d<\/a>«.  <\/div>\n<\/div>\n
  \u0418 \u0435\u0449\u0435 \u043e\u0434\u043d\u0430 \u0437\u0430\u0434\u0430\u0447\u043a\u0430 \u043d\u0430 \u043f\u043e\u0438\u0441\u043a \u043d\u0435\u0442\u0440\u0438\u0432\u0438\u0430\u043b\u044c\u043d\u043e\u0439 \u043e\u0448\u0438\u0431\u043a\u0438 \u0432 Android:<\/p>\n
typedef int32_t  GGLfixed; GGLfixed gglFastDivx(GGLfixed n, GGLfixed d) {   if ((d>>24) && ((d>>24)+1)) {     n >>= 8;     d >>= 8;   }   return gglMulx(n, gglRecip(d)); }<\/code><\/pre>\n
  <\/p>\n
\u041e\u0442\u0432\u0435\u0442<\/b><\/p>\n
\u041f\u0440\u043e\u0431\u043b\u0435\u043c\u0430 \u0432 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0438 (d >> 24) + 1<\/i>. <\/p>\n
  \u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442 \u0445\u043e\u0442\u0435\u043b \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c, \u0447\u0442\u043e 8 \u0441\u0442\u0430\u0440\u0448\u0438\u0445 \u0431\u0438\u0442 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 d<\/i> \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442 \u0435\u0434\u0438\u043d\u0438\u0446\u044b, \u043d\u043e \u043f\u0440\u0438 \u044d\u0442\u043e\u043c \u043d\u0435 \u0432\u0441\u0435 \u0431\u0438\u0442\u044b \u0441\u0440\u0430\u0437\u0443. \u0414\u0440\u0443\u0433\u0438\u043c\u0438 \u0441\u043b\u043e\u0432\u0430\u043c\u0438, \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442 \u0445\u043e\u0442\u0435\u043b \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c, \u0447\u0442\u043e \u0432 \u0441\u0442\u0430\u0440\u0448\u0435\u043c \u0431\u0430\u0439\u0442\u0435 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u043b\u044e\u0431\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435, \u043e\u0442\u043b\u0438\u0447\u043d\u043e\u0435 \u043e\u0442 0x00 \u0438 0xFF. \u0421\u043d\u0430\u0447\u0430\u043b\u0430 \u043e\u043d \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u043b, \u0447\u0442\u043e \u0441\u0442\u0430\u0440\u0448\u0438\u0435 \u0431\u0438\u0442\u044b \u043d\u0435\u043d\u0443\u043b\u0435\u0432\u044b\u0435, \u043d\u0430\u043f\u0438\u0441\u0430\u0432 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 (d>>24). \u0414\u0430\u043b\u0435\u0435 \u043e\u043d \u0441\u0434\u0432\u0438\u0433\u0430\u0435\u0442 \u0441\u0442\u0430\u0440\u0448\u0438\u0435 \u0432\u043e\u0441\u0435\u043c\u044c \u0431\u0438\u0442 \u0432 \u043c\u043b\u0430\u0434\u0448\u0438\u0439 \u0431\u0430\u0439\u0442. \u041f\u0440\u0438 \u044d\u0442\u043e\u043c \u043e\u043d \u0440\u0430\u0441\u0441\u0447\u0438\u0442\u044b\u0432\u0430\u0435\u0442, \u0447\u0442\u043e \u0441\u0430\u043c\u044b\u0439 \u0441\u0442\u0430\u0440\u0448\u0438\u0439 \u0437\u043d\u0430\u043a\u043e\u0432\u044b\u0439 \u0431\u0438\u0442 \u0434\u0443\u0431\u043b\u0438\u0440\u0443\u0435\u0442\u0441\u044f \u0432\u043e \u0432\u0441\u0435\u0445 \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0445 \u0431\u0438\u0442\u0430\u0445. \u0422\u043e \u0435\u0441\u0442\u044c \u0435\u0441\u043b\u0438 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f d \u0440\u0430\u0432\u043d\u0430 0b11111111’00000000’00000000’00000000, \u0442\u043e \u043f\u043e\u0441\u043b\u0435 \u0441\u0434\u0432\u0438\u0433\u0430 \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u0441\u044f \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 0b11111111’11111111’11111111’11111111. \u041f\u0440\u0438\u0431\u0430\u0432\u0438\u0432 1 \u043a \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e 0xFFFFFFFF \u0442\u0438\u043f\u0430 int<\/i>, \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442 \u043f\u043b\u0430\u043d\u0438\u0440\u0443\u0435\u0442 \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c 0 (-1+1=0). \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435\u043c ((d>>24)+1)<\/i> \u043e\u043d \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442, \u0447\u0442\u043e \u043d\u0435 \u0432\u0441\u0435 \u0441\u0442\u0430\u0440\u0448\u0438\u0435 \u0432\u043e\u0441\u0435\u043c\u044c \u0431\u0438\u0442 \u0440\u0430\u0432\u043d\u044b 1.<\/p>\n
  \u041e\u0434\u043d\u0430\u043a\u043e \u043f\u0440\u0438 \u0441\u0434\u0432\u0438\u0433\u0435 \u0441\u0442\u0430\u0440\u0448\u0438\u0439 \u0437\u043d\u0430\u043a\u043e\u0432\u044b\u0439 \u0431\u0438\u0442 \u0432\u043e\u0432\u0441\u0435 \u043d\u0435 \u043e\u0431\u044f\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u043e \u00ab\u0440\u0430\u0437\u043c\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f\u00bb. \u0421\u0442\u0430\u043d\u0434\u0430\u0440\u0442 \u0433\u043e\u0432\u043e\u0440\u0438\u0442: \u00abThe value of E1 >> E2 is E1 right-shifted E2 bit positions. If E1 has an unsigned type or if E1 has a signed type and a non-negative value, the value of the result is the integral part of the quotient of E1\/2^E2. If E1 has a signed type and a negative value, the resulting value is implementation-defined<\/i>\u00bb.<\/p>\n
  \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u044d\u0442\u043e \u043f\u0440\u0438\u043c\u0435\u0440 \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u044f, \u0437\u0430\u0432\u0438\u0441\u044f\u0449\u0435\u0433\u043e \u043e\u0442 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 (implementation-defined behavior). \u041a\u0430\u043a \u0431\u0443\u0434\u0435\u0442 \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u044d\u0442\u043e\u0442 \u043a\u043e\u0434 \u2014 \u0437\u0430\u0432\u0438\u0441\u0438\u0442 \u043e\u0442 \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u044b \u043c\u0438\u043a\u0440\u043e\u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u0430 \u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430. \u041f\u043e\u0441\u043b\u0435 \u0441\u0434\u0432\u0438\u0433\u0430 \u0432 \u0441\u0442\u0430\u0440\u0448\u0438\u0445 \u0431\u0438\u0442\u0430\u0445 \u0432\u043f\u043e\u043b\u043d\u0435 \u043c\u043e\u0433\u0443\u0442 \u043e\u043a\u0430\u0437\u0430\u0442\u044c\u0441\u044f \u043d\u0443\u043b\u0438, \u0438 \u0442\u043e\u0433\u0434\u0430 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f ((d>>24)+1)<\/i> \u0432\u0441\u0435\u0433\u0434\u0430 \u0431\u0443\u0434\u0435\u0442 \u043e\u0442\u043b\u0438\u0447\u0435\u043d \u043e\u0442 0, \u0442\u043e \u0435\u0441\u0442\u044c \u0431\u0443\u0434\u0435\u0442 \u0432\u0441\u0435\u0433\u0434\u0430 \u0438\u0441\u0442\u0438\u043d\u043d\u044b\u043c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435\u043c.<\/p>\n
  \u0414\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e, \u043d\u0435\u043f\u0440\u043e\u0441\u0442\u0430\u044f \u0437\u0430\u0434\u0430\u0447\u043a\u0430. \u042d\u0442\u0430 \u043e\u0448\u0438\u0431\u043a\u0430, \u043a\u0430\u043a \u0438 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0430\u044f, \u0431\u044b\u043b\u0430 \u043e\u043f\u0438\u0441\u0430\u043d\u0430 \u0432 \u0441\u0442\u0430\u0442\u044c\u0435 «\u041f\u0440\u043e\u0432\u0435\u0440\u0438\u043b\u0438 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e PVS-Studio \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0435 \u043a\u043e\u0434\u044b Android, \u0438\u043b\u0438 \u043d\u0438\u043a\u0442\u043e \u043d\u0435 \u0438\u0434\u0435\u0430\u043b\u0435\u043d<\/a>«.  <\/div>\n<\/div>\n
  <\/p>\n
2019<\/h2>\n
  <\/p>\n
\u0421++<\/h3>\n
  \u00ab\u0412\u043e \u0432\u0441\u0451\u043c \u0432\u0438\u043d\u043e\u0432\u0430\u0442 GCC\u00bb<\/b><\/p>\n
int foo(const unsigned char *s) {   int r = 0;   while(*s) {     r += ((r * 20891 + *s *200) | *s ^ 4 | *s ^ 3) ^ (r >> 1);     s++;   }   return r & 0x7fffffff; }<\/code><\/pre>\n
  \u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0430\u0435\u0442, \u0447\u0442\u043e \u0434\u0430\u043d\u043d\u044b\u0439 \u043a\u043e\u0434 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0441 \u043e\u0448\u0438\u0431\u043a\u043e\u0439 \u043f\u043e \u0432\u0438\u043d\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 GCC 8. \u0422\u0430\u043a \u043b\u0438 \u044d\u0442\u043e?<\/p>\n
\u041e\u0442\u0432\u0435\u0442<\/b><\/p>\n
\u0424\u0443\u043d\u043a\u0446\u0438\u044f \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f. \u041f\u0440\u0438\u0447\u0438\u043d\u0430 \u0432 \u0442\u043e\u043c, \u0447\u0442\u043e \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043d\u0435 \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u0443\u0435\u0442 \u043a\u043e\u0434 \u0434\u043b\u044f \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 \u043f\u043e\u0431\u0438\u0442\u043e\u0432\u043e\u0433\u043e \u0418 (&). \u041e\u0448\u0438\u0431\u043a\u0430 \u0441\u0432\u044f\u0437\u0430\u043d\u0430 \u0441 \u043d\u0435\u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d\u043d\u044b\u043c \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0435\u043c. \u041a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0432\u0438\u0434\u0438\u0442, \u0447\u0442\u043e \u0432 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 r<\/i> \u0441\u0447\u0438\u0442\u0430\u0435\u0442\u0441\u044f \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0441\u0443\u043c\u043c\u0430. \u041f\u0440\u0438 \u044d\u0442\u043e\u043c \u043f\u0440\u0438\u0431\u0430\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u0447\u0438\u0441\u043b\u0430. \u041f\u0435\u0440\u0435\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 r<\/i> \u043f\u0440\u043e\u0438\u0437\u043e\u0439\u0442\u0438 \u043d\u0435 \u0434\u043e\u043b\u0436\u043d\u043e, \u0438\u043d\u0430\u0447\u0435 \u044d\u0442\u043e \u043d\u0435\u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d\u043d\u043e\u0435 \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0435, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043d\u0438\u043a\u0430\u043a \u043d\u0435 \u0434\u043e\u043b\u0436\u0435\u043d \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0442\u044c \u0438 \u0443\u0447\u0438\u0442\u044b\u0432\u0430\u0442\u044c. \u0418\u0442\u0430\u043a, \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u0441\u0447\u0438\u0442\u0430\u0435\u0442, \u0447\u0442\u043e \u0440\u0430\u0437 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0432 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 r<\/i> \u043f\u043e\u0441\u043b\u0435 \u043e\u043a\u043e\u043d\u0447\u0430\u043d\u0438\u044f \u0446\u0438\u043a\u043b\u0430 \u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u043c, \u0442\u043e \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f r & 0x7fffffff<\/i> \u0434\u043b\u044f \u0441\u0431\u0440\u043e\u0441\u0430 \u0437\u043d\u0430\u043a\u043e\u0432\u043e\u0433\u043e \u0431\u0438\u0442\u0430 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043b\u0438\u0448\u043d\u0435\u0439 \u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043f\u0440\u043e\u0441\u0442\u043e \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u0438\u0437 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 r<\/i>.<\/p>\n
  \u041e\u0448\u0438\u0431\u043a\u0430 \u0438\u0437 \u0441\u0442\u0430\u0442\u044c\u0438 «\u0420\u0435\u043b\u0438\u0437 PVS-Studio 6.26<\/a>«.  <\/div>\n<\/div>\n
  QT bug<\/b><\/p>\n
static inline const QMetaObjectPrivate *priv(const uint* data) { return reinterpret_cast<const QMetaObjectPrivate*>(data); }  bool QMetaEnum::isFlag() const {   const int offset = priv(mobj->d.data)->revision >= 8 ? 2 : 1;   return mobj && mobj->d.data[handle + offset] & EnumIsFlag; }<\/code><\/pre>\n
  <\/p>\n
\u041e\u0442\u0432\u0435\u0442<\/b><\/p>\n
\u0421 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0435\u043c mobj <\/i> \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u043d\u0435\u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e. \u0421\u043d\u0430\u0447\u0430\u043b\u0430 \u043e\u043d \u0440\u0430\u0437\u044b\u043c\u0435\u043d\u043e\u0432\u044b\u0432\u0430\u0435\u0442\u0441\u044f, \u0430 \u0434\u0430\u043b\u0435\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442\u0441\u044f. \u041a\u043b\u0430\u0441\u0441\u0438\u043a\u0430.<\/p>\n
  \u041e\u0448\u0438\u0431\u043a\u0430 \u0431\u044b\u043b\u0430 \u043e\u043f\u0438\u0441\u0430\u043d\u0430 \u0432 \u0441\u0442\u0430\u0442\u044c\u0435 «\u0422\u0440\u0435\u0442\u044c\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 Qt 5 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e PVS-Studio<\/a>«.  <\/div>\n<\/div>\n
  <\/p>\n
C#<\/h3>\n
  Infer.NET bug<\/b><\/p>\n
public static void    WriteAttribute(TextWriter writer,                  string name,                  object defaultValue,                   object value,                   Func<object, string> converter = null) {   if (   defaultValue == null && value == null        || value.Equals(defaultValue))   {     return;   }   string stringValue = converter == null ? value.ToString() :                                             converter(value);   writer.Write($\"{name}=\\\"{stringValue}\\\" \"); }<\/code><\/pre>\n
  <\/p>\n
\u041e\u0442\u0432\u0435\u0442<\/b><\/p>\n
\u0412 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0438 value.Equals(defaultValue)<\/i> \u0432\u043e\u0437\u043c\u043e\u0436\u0435\u043d \u0434\u043e\u0441\u0442\u0443\u043f \u043f\u043e \u043d\u0443\u043b\u0435\u0432\u043e\u0439 \u0441\u0441\u044b\u043b\u043a\u0435 value<\/i>. \u042d\u0442\u043e \u043f\u0440\u043e\u0438\u0437\u043e\u0439\u0434\u0435\u0442 \u043f\u0440\u0438 \u0442\u0430\u043a\u0438\u0445 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f\u0445 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445, \u043a\u043e\u0433\u0434\u0430 defaultValue != null<\/i>, \u0430 value == null<\/i>.<\/p>\n
  \u041e\u0448\u0438\u0431\u043a\u0430 \u0438\u0437 \u0441\u0442\u0430\u0442\u044c\u0438 «\u041a\u0430\u043a\u0438\u0435 \u043e\u0448\u0438\u0431\u043a\u0438 \u043f\u0440\u044f\u0447\u0443\u0442\u0441\u044f \u0432 \u043a\u043e\u0434\u0435 Infer.NET?<\/a>«  <\/div>\n<\/div>\n
  FastReport bug<\/b><\/p>\n
public class FastString {   private const int initCapacity = 32;   private void Init(int iniCapacity)   { sb = new StringBuilder(iniCapacity); .... }   public FastString() { Init(initCapacity); }   public FastString(int iniCapacity) { Init(initCapacity); }   public StringBuilder StringBuilder => sb; } .... Console.WriteLine(new FastString(256).StringBuilder.Capacity);<\/code><\/pre>\n
  \u0427\u0442\u043e \u0431\u0443\u0434\u0435\u0442 \u0432\u044b\u0432\u0435\u0434\u0435\u043d\u043e \u043d\u0430 \u043a\u043e\u043d\u0441\u043e\u043b\u044c? \u0427\u0442\u043e \u043d\u0435 \u0442\u0430\u043a \u0441 \u043a\u043b\u0430\u0441\u0441\u043e\u043c FastString<\/i>?<\/p>\n
\u041e\u0442\u0432\u0435\u0442<\/b><\/p>\n
\u041d\u0430 \u043a\u043e\u043d\u0441\u043e\u043b\u044c \u0431\u0443\u0434\u0435\u0442 \u0432\u044b\u0432\u0435\u0434\u0435\u043d\u043e 32. \u041f\u0440\u0438\u0447\u0438\u043d\u0430 \u2014 \u043e\u043f\u0435\u0447\u0430\u0442\u043a\u0430 \u0432 \u0438\u043c\u0435\u043d\u0438 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439, \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0435\u043c\u043e\u0439 \u0432 \u043c\u0435\u0442\u043e\u0434 Init <\/i>\u0432 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u0435:<\/p>\n
public FastString(int iniCapacity){ Init(initCapacity); }<\/code><\/pre>\n
  \u041f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u0430 iniCapacity<\/i> \u043d\u0435 \u0431\u0443\u0434\u0435\u0442 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d. \u0412\u043c\u0435\u0441\u0442\u043e \u044d\u0442\u043e\u0433\u043e \u0432 \u043c\u0435\u0442\u043e\u0434 Init<\/i> \u043f\u0435\u0440\u0435\u0434\u0430\u044e\u0442 \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u0443 initCapacity<\/i>.<\/p>\n
  \u041e\u0448\u0438\u0431\u043a\u0430 \u0431\u044b\u043b\u0430 \u043e\u043f\u0438\u0441\u0430\u043d\u0430 \u0432 \u0441\u0442\u0430\u0442\u044c\u0435 «\u0421\u0430\u043c\u044b\u0435 \u0431\u044b\u0441\u0442\u0440\u044b\u0435 \u043e\u0442\u0447\u0451\u0442\u044b \u043d\u0430 \u0434\u0438\u043a\u043e\u043c \u0437\u0430\u043f\u0430\u0434\u0435. \u0418 \u0433\u043e\u0440\u0441\u0442\u043a\u0430 \u0431\u0430\u0433\u043e\u0432 \u0432 \u043f\u0440\u0438\u0434\u0430\u0447\u0443…<\/a>«  <\/div>\n<\/div>\n
  Roslyn bug<\/b><\/p>\n
private SyntaxNode GetNode(SyntaxNode root) {   var current = root;   ....   while (current.FullSpan.Contains(....))   {     ....     var nodeOrToken = current.ChildThatContainsPosition(....);     ....     current = nodeOrToken.AsNode();   }   .... }  public SyntaxNode AsNode() {   if (_token != null)   {     return null;   }      return _nodeOrParent; }<\/code><\/pre>\n
  <\/p>\n
\u041e\u0442\u0432\u0435\u0442<\/b><\/p>\n
\u0412\u043e\u0437\u043c\u043e\u0436\u0435\u043d \u0434\u043e\u0441\u0442\u0443\u043f \u043f\u043e \u043d\u0443\u043b\u0435\u0432\u043e\u0439 \u0441\u0441\u044b\u043b\u043a\u0435 current <\/i> \u0432 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0438 current.FullSpan.Contains(….)<\/i>. \u041f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f current <\/i> \u043c\u043e\u0436\u0435\u0442 \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u043d\u0443\u043b\u0435\u0432\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043a\u0430\u043a \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f \u043c\u0435\u0442\u043e\u0434\u0430 nodeOrToken.AsNode()<\/i>.<\/p>\n
  \u041e\u0448\u0438\u0431\u043a\u0430 \u0438\u0437 \u0441\u0442\u0430\u0442\u044c\u0438 «\u041f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u043a\u043e\u0434 Roslyn<\/a>«.  <\/div>\n<\/div>\n
  Unity bug<\/b><\/p>\n
.... staticFields = packedSnapshot.typeDescriptions                .Where(t =>                        t.staticFieldBytes != null &                        t.staticFieldBytes.Length > 0)                .Select(t => UnpackStaticFields(t))                .ToArray() ....<\/code><\/pre>\n
  <\/p>\n
\u041e\u0442\u0432\u0435\u0442<\/b><\/p>\n
\u0414\u043e\u043f\u0443\u0449\u0435\u043d\u0430 \u043e\u043f\u0435\u0447\u0430\u0442\u043a\u0430: \u0432\u043c\u0435\u0441\u0442\u043e \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 && <\/i> \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 &<\/i>. \u042d\u0442\u043e \u043f\u0440\u0438\u0432\u043e\u0434\u0438\u0442 \u043a \u0442\u043e\u043c\u0443, \u0447\u0442\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 t.staticFieldBytes.Length > 0<\/i> \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u0441\u044f \u0432\u0441\u0435\u0433\u0434\u0430, \u0434\u0430\u0436\u0435 \u0432 \u0441\u043b\u0443\u0447\u0430\u0435 \u0440\u0430\u0432\u0435\u043d\u0441\u0442\u0432\u0430 null<\/i> \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 t.staticFieldBytes<\/i>, \u0447\u0442\u043e, \u0432 \u0441\u0432\u043e\u044e \u043e\u0447\u0435\u0440\u0435\u0434\u044c, \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u0442 \u043a \u0434\u043e\u0441\u0442\u0443\u043f\u0443 \u043f\u043e \u043d\u0443\u043b\u0435\u0432\u043e\u0439 \u0441\u0441\u044b\u043b\u043a\u0435.<\/p>\n
  \u0412\u043f\u0435\u0440\u0432\u044b\u0435 \u044d\u0442\u0430 \u043e\u0448\u0438\u0431\u043a\u0430 \u0431\u044b\u043b\u0430 \u043f\u043e\u043a\u0430\u0437\u0430\u043d\u0430 \u0432 \u0441\u0442\u0430\u0442\u044c\u0435 «\u0410\u043d\u0430\u043b\u0438\u0437\u0438\u0440\u0443\u0435\u043c \u043e\u0448\u0438\u0431\u043a\u0438 \u0432 \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u0445 \u043a\u043e\u043c\u043f\u043e\u043d\u0435\u043d\u0442\u0430\u0445 Unity3D<\/a>«.  <\/div>\n<\/div>\n
  <\/p>\n
Java<\/h3>\n
  IntelliJ IDEA bug<\/b><\/p>\n
private static boolean checkSentenceCapitalization(@NotNull String value) {   List<String> words = StringUtil.split(value, \" \");   ....   int capitalized = 1;   ....   return capitalized \/ words.size() < 0.2; \/\/ allow reasonable amount of                                            \/\/ capitalized words }<\/code><\/pre>\n
  \u041f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u0435\u0442\u0441\u044f \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c, \u043f\u043e\u0447\u0435\u043c\u0443 \u0431\u0443\u0434\u0435\u0442 \u043d\u0435\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e \u043f\u043e\u0434\u0441\u0447\u0438\u0442\u0430\u043d\u043e \u0447\u0438\u0441\u043b\u043e \u0441\u043b\u043e\u0432 \u0441 \u0437\u0430\u0433\u043b\u0430\u0432\u043d\u044b\u043c\u0438 \u0431\u0443\u043a\u0432\u0430\u043c\u0438.<\/p>\n
\u041e\u0442\u0432\u0435\u0442<\/b><\/p>\n
\u0424\u0443\u043d\u043a\u0446\u0438\u044f \u0434\u043e\u043b\u0436\u043d\u0430 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0442\u044c \u0438\u0441\u0442\u0438\u043d\u0443, \u0435\u0441\u043b\u0438 \u043c\u0435\u043d\u0435\u0435 20% \u0441\u043b\u043e\u0432 \u043d\u0430\u0447\u0438\u043d\u0430\u044e\u0442\u0441\u044f \u0441 \u0437\u0430\u0433\u043b\u0430\u0432\u043d\u043e\u0439 \u0431\u0443\u043a\u0432\u044b. \u041d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u043d\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442, \u0442\u0430\u043a \u043a\u0430\u043a \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442 \u0446\u0435\u043b\u043e\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u043e\u0435 \u0434\u0435\u043b\u0435\u043d\u0438\u0435, \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u043c \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0431\u0443\u0434\u0443\u0442 \u0442\u043e\u043b\u044c\u043a\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f 0 \u0438\u043b\u0438 1. \u0424\u0443\u043d\u043a\u0446\u0438\u044f \u0432\u0435\u0440\u043d\u0451\u0442 \u043b\u043e\u0436\u043d\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435, \u0442\u043e\u043b\u044c\u043a\u043e \u0435\u0441\u043b\u0438 \u0432\u0441\u0435 \u0441\u043b\u043e\u0432\u0430 \u0431\u0443\u0434\u0443\u0442 \u043d\u0430\u0447\u0438\u043d\u0430\u0442\u044c\u0441\u044f \u0441 \u0437\u0430\u0433\u043b\u0430\u0432\u043d\u043e\u0439 \u0431\u0443\u043a\u0432\u044b. \u0412 \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0445 \u0441\u043b\u0443\u0447\u0430\u044f\u0445 \u043f\u0440\u0438 \u0434\u0435\u043b\u0435\u043d\u0438\u0438 \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u043b\u0443\u0447\u0430\u0442\u044c\u0441\u044f 0, \u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0431\u0443\u0434\u0435\u0442 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0442\u044c \u0438\u0441\u0442\u0438\u043d\u0443.<\/p>\n
  \u041e\u0448\u0438\u0431\u043a\u0430 \u0438\u0437 \u0441\u0442\u0430\u0442\u044c\u0438 «PVS-Studio \u0434\u043b\u044f Java<\/a>«.  <\/div>\n<\/div>\n
  SpotBugs bug<\/b><\/p>\n
public static String getXMLType(@WillNotClose InputStream in) throws IOException {   ....   String s;   int count = 0;   while (count < 4) {     s = r.readLine();     if (s == null) {       break;     }     Matcher m = tag.matcher(s);     if (m.find()) {       return m.group(1);     }   }   throw new IOException(\"Didn't find xml tag\");   .... }<\/code><\/pre>\n
  \u041f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u0435\u0442\u0441\u044f \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c, \u0432 \u0447\u0451\u043c \u0437\u0430\u043a\u043b\u044e\u0447\u0430\u0435\u0442\u0441\u044f \u043e\u0448\u0438\u0431\u043a\u0430 \u043f\u043e\u0438\u0441\u043a\u0430 xml-\u0442\u0435\u0433\u0430.<\/p>\n
\u041e\u0442\u0432\u0435\u0442<\/b><\/p>\n
\u0423\u0441\u043b\u043e\u0432\u0438\u0435 count < 4<\/i> \u0431\u0443\u0434\u0435\u0442 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u043e \u0432\u0441\u0435\u0433\u0434\u0430, \u0442\u0430\u043a \u043a\u0430\u043a \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0443\u044e count<\/i> \u043d\u0435 \u0438\u043d\u043a\u0440\u0435\u043c\u0435\u043d\u0442\u0438\u0440\u0443\u044e\u0442 \u0432\u043d\u0443\u0442\u0440\u0438 \u0446\u0438\u043a\u043b\u0430. \u041f\u0440\u0435\u0434\u043f\u043e\u043b\u0430\u0433\u0430\u043b\u043e\u0441\u044c, \u0447\u0442\u043e \u043f\u043e\u0438\u0441\u043a xml-\u0442\u0435\u0433\u0430 \u0434\u043e\u043b\u0436\u0435\u043d \u043e\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043b\u044f\u0442\u044c\u0441\u044f \u0442\u043e\u043b\u044c\u043a\u043e \u0432 \u043f\u0435\u0440\u0432\u044b\u0445 \u0447\u0435\u0442\u044b\u0440\u0451\u0445 \u0441\u0442\u0440\u043e\u043a\u0430\u0445 \u0444\u0430\u0439\u043b\u0430, \u043d\u043e \u0438\u0437-\u0437\u0430 \u043e\u0448\u0438\u0431\u043a\u0438 \u0431\u0443\u0434\u0435\u0442 \u043f\u0440\u043e\u0447\u0438\u0442\u0430\u043d \u0432\u0435\u0441\u044c \u0444\u0430\u0439\u043b.<\/p>\n
  \u042d\u0442\u0430 \u043e\u0448\u0438\u0431\u043a\u0430, \u043a\u0430\u043a \u0438 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0430\u044f, \u0431\u044b\u043b\u0430 \u043e\u043f\u0438\u0441\u0430\u043d\u0430 \u0432 \u0441\u0442\u0430\u0442\u044c\u0435 «PVS-Studio \u0434\u043b\u044f Java<\/a>«.  <\/div>\n<\/div>\n
  \u041d\u0430 \u044d\u0442\u043e\u043c \u2013 \u0432\u0441\u0451. \u0416\u0434\u0451\u043c \u0432\u0430\u0441 \u043d\u0430 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0445 \u043a\u043e\u043d\u0444\u0435\u0440\u0435\u043d\u0446\u0438\u044f\u0445. \u0418\u0449\u0438\u0442\u0435 \u0441\u0442\u0435\u043d\u0434 \u0441 \u0435\u0434\u0438\u043d\u043e\u0440\u043e\u0433\u043e\u043c. \u0412\u044b\u0434\u0430\u0434\u0438\u043c \u043d\u043e\u0432\u044b\u0435 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u044b\u0435 \u0437\u0430\u0434\u0430\u0447\u043a\u0438 \u0438, \u043a\u043e\u043d\u0435\u0447\u043d\u043e \u0436\u0435, \u0437\u0430\u0434\u0430\u0440\u0438\u043c \u043f\u0440\u0438\u0437\u044b. \u0414\u043e \u0432\u0441\u0442\u0440\u0435\u0447\u0438!<\/p>\n
<\/a><\/p>\n
  \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: Sergey Khrenov. Solutions to Bug-Finding Challenges Offered by the PVS-Studio Team at Conferences in 2018-2019<\/a>.<\/div>\n