የPVS-ስቱዲዮ ተንታኝ በመጠቀም FreeRDPን በመፈተሽ ላይ

ፍሪአርዲፒ (FreeRDP) የሩቅ ዴስክቶፕ ፕሮቶኮል (RDP) ክፍት ምንጭ ትግበራ ሲሆን ይህም በማይክሮሶፍት የተዘጋጀ የርቀት ኮምፒውተር ቁጥጥር ፕሮቶኮል ነው። ፕሮጀክቱ በርካታ መድረኮችን ይደግፋል፣ ከእነዚህም ውስጥ Windows, Linux, macOS እና iOS እንኳን ከ ጋር Androidይህ ፕሮጀክት የ PVS-ስቱዲዮ ስታቲክ አናሊዘርን በመጠቀም የ RDP ደንበኞችን ለመፈተሽ ከተዘጋጁት ተከታታይ መጣጥፎች ውስጥ የመጀመሪያው ሆኖ ተመርጧል።

ትንሽ ታሪክ

ፕሮጀክቱ FreeRDP ማይክሮሶፍት የባለቤትነት መብቱን የRDP ፕሮቶኮሉን ዝርዝር መግለጫዎች ከከፈተ በኋላ ብቅ አለ። በዚያን ጊዜ የrdesktop ደንበኛ የነበረ ሲሆን አተገባበሩም በተገላቢጦሽ ኢንጂነሪንግ ውጤቶች ላይ የተመሠረተ ነበር።

ፕሮቶኮሉ እየተተገበረ እያለ፣ በፕሮጀክቱ ነባር አርክቴክቸር ምክንያት አዲስ ተግባር መጨመር አስቸጋሪ ሆነ። በዚህ አርክቴክቸር ላይ የተደረጉ ለውጦች በገንቢዎች መካከል ግጭት ፈጥረዋል፣ ይህም የrdesktop—FreeRDP ሹካ እንዲፈጠር ምክንያት ሆኗል። የምርቱ ተጨማሪ ስርጭት በGPLv2 ፈቃድ የተገደበ ሲሆን ይህም ወደ Apache License v2 እንደገና ፈቃድ እንዲሰጥ ውሳኔ አስተላለፈ። ሆኖም ግን፣ ሁሉም ሰው ለኮዳቸው ፈቃዱን ለመቀየር አልተስማማም፣ ስለዚህ ገንቢዎቹ ፕሮጀክቱን እንደገና ለመጻፍ ወሰኑ፣ ይህም የአሁኑን የኮድ መሰረት አስከትሏል።

ስለ ፕሮጀክቱ ታሪክ ተጨማሪ ዝርዝሮችን በኦፊሴላዊው የብሎግ ልጥፍ ውስጥ ማግኘት ይቻላል፡ "የFreeRDP ፕሮጀክት ታሪክ"።

በኮዱ ውስጥ ስህተቶችን እና ሊሆኑ የሚችሉ ተጋላጭነቶችን ለመለየት እንደ መሳሪያ፣ ጥቅም ላይ ውሏል PVS- ስቱዲዮለC፣ C++፣ C# እና Java የማይንቀሳቀስ የኮድ ተንታኝ ሲሆን በፕላትፎርሞች ላይ ይገኛል Windows, Linux и macOS.

ጽሑፉ የሚያቀርበው በጣም አስደሳች ሆነው ያገኘኋቸውን ስህተቶች ብቻ ነው።

የማህደረ ትውስታ መፍሰስ

V773 የ'cwd' ጠቋሚውን ሳይለቅ ተግባሩ ወጥቷል። የማህደረ ትውስታ መፍሰስ ይቻላል። environment.c 84

DWORD GetCurrentDirectoryA(DWORD nBufferLength, LPSTR lpBuffer)
{
  char* cwd;
  ....
  cwd = getcwd(NULL, 0);
  ....
  if (lpBuffer == NULL)
  {
    free(cwd);
    return 0;
  }

  if ((length + 1) > nBufferLength)
  {
    free(cwd);
    return (DWORD) (length + 1);
  }

  memcpy(lpBuffer, cwd, length + 1);
  return length;
  ....
}

ይህ ቁራጭ የተወሰደው ከዊንፐር ንዑስ ስርዓት ሲሆን፣ ይህም ለ- ያልሆኑ የWINAPI መጠቅለያዎችን የሚያስተገብር ነው።Windows ስርዓቶች፣ ማለትም፣ ቀላል ክብደት ያለው የወይን አናሎግ ነው። እዚህ ላይ መፍሰስን ማየት ይችላሉ፡ በተግባሩ የተመደበ ማህደረ ትውስታ getcwd, የሚለቀቀው ልዩ ጉዳዮችን ሲያስተናግድ ብቻ ነው። ስህተቱን ለማስተካከል ጥሪ ማከል ያስፈልግዎታል። ፍርይ после ትውስታ.

ከወሰን ውጭ አደራደር

V557 የድርድር መሻር ይቻላል። የ'event->EventHandlerCount' ኢንዴክስ እሴት 32 ሊደርስ ይችላል። PubSub.c 117

#define MAX_EVENT_HANDLERS  32

struct _wEventType
{
  ....
  int EventHandlerCount;
  pEventHandler EventHandlers[MAX_EVENT_HANDLERS];
};

int PubSub_Subscribe(wPubSub* pubSub, const char* EventName,
      pEventHandler EventHandler)
{
  ....
  if (event->EventHandlerCount <= MAX_EVENT_HANDLERS)
  {
    event->EventHandlers[event->EventHandlerCount] = EventHandler;
    event->EventHandlerCount++;
  }
  ....
}

በዚህ ምሳሌ፣ ከፍተኛ የኤለመንቶች ብዛት ቢደረስም አዲስ ኤለመንት ወደ ዝርዝሩ ይታከላል። እዚህ ላይ፣ ኦፕሬተሩን መተካት በቂ ነው። <= ላይ <ከድርድሩ ወሰኖች እንዳያልፍ።

ሌላ የዚህ አይነት ስህተት ተገኝቷል፡

• የV557 ድርድር መሻር ይቻላል። የ'iBitmapFormat' ኢንዴክስ እሴት 8 ሊደርስ ይችላል። orders.c 2623

ታይፖስ

ክፍል 1

V547 '!pipe->In' የሚለው አገላለጽ ሁልጊዜ ሐሰት ነው። MessagePipe.c 63

wMessagePipe* MessagePipe_New()
{
  ....
  pipe->In = MessageQueue_New(NULL);
  if (!pipe->In)
    goto error_in;

  pipe->Out = MessageQueue_New(NULL);
  if (!pipe->In) // <=
    goto error_out;
  ....
}

እዚህ ላይ የተለመደ የፊደል አጻጻፍ እናያለን፡ ሁለተኛው ሁኔታ ከመጀመሪያው ጋር ተመሳሳይ የሆነ ተለዋዋጭ ይፈትሻል። ስህተቱ የመጣው ደካማ የኮድ ቅጂ-መለጠፍ ምክንያት ሊሆን ይችላል።

ክፍል 2

V760 ሁለት ተመሳሳይ ጽሑፍ ያላቸው ብሎኮች ተገኝተዋል። ሁለተኛው ብሎክ የሚጀምረው ከመስመር 771 ነው። tsg.c 770

typedef struct _TSG_PACKET_VERSIONCAPS
{
  ....
  UINT16 majorVersion;
  UINT16 minorVersion;
  ....
} TSG_PACKET_VERSIONCAPS, *PTSG_PACKET_VERSIONCAPS;

static BOOL TsProxyCreateTunnelReadResponse(....)
{
  ....
  PTSG_PACKET_VERSIONCAPS versionCaps = NULL;
  ....
  /* MajorVersion (2 bytes) */
  Stream_Read_UINT16(pdu->s, versionCaps->majorVersion);
  /* MinorVersion (2 bytes) */
  Stream_Read_UINT16(pdu->s, versionCaps->majorVersion);
  ....
}

ሌላ የፊደል አጻጻፍ፡ የኮድ አስተያየት የሚያመለክተው ዥረቱ ከውጪ መምጣት እንዳለበት ነው አነስተኛ ስሪትሆኖም ግን፣ ንባቡ ወደተሰየመ ተለዋዋጭ ይከሰታል ዋና ስሪትሆኖም ግን፣ ስለ ፕሮቶኮሉ አላውቅም፣ ስለዚህ ይህ ግምታዊ ብቻ ነው።

ክፍል 3

V524 የ'trio_index_last' ተግባር አካል ከ'trio_index' ተግባር አካል ጋር ሙሉ በሙሉ እኩል መሆኑ እንግዳ ነገር ነው። triostr.c 933

/**
   Find first occurrence of a character in a string.
   ....
 */
TRIO_PUBLIC_STRING char *
trio_index
TRIO_ARGS2((string, character),
     TRIO_CONST char *string,
     int character)
{
  assert(string);
  return strchr(string, character);
}

/**
   Find last occurrence of a character in a string.
   ....
 */
TRIO_PUBLIC_STRING char *
trio_index_last
TRIO_ARGS2((string, character),
     TRIO_CONST char *string,
     int character)
{
  assert(string);
  return strchr(string, character);
}

በአስተያየቱ መሰረት፣ ተግባሩ ትራይዮ_ኢንዴክስ በአንድ ሕብረቁምፊ ውስጥ የአንድ ቁምፊ የመጀመሪያ ተዛማጅ ሲያገኝ ትራይዮ_ኢንዴክስ_መጨረሻ — የመጨረሻው። ነገር ግን የእነዚህ ተግባራት አካላት ተመሳሳይ ናቸው! ምናልባትም ይህ የፊደል አጻጻፍ ስህተት ነው፣ እና በተግባሩ ውስጥ። ትራይዮ_ኢንዴክስ_መጨረሻ መጠቀም ያስፈልጋል ስትርችር በ ስትርክከዚያም ባህሪው እንደተጠበቀው ይሆናል።

ክፍል 4

V769 በአገላለጹ ውስጥ ያለው 'ዳታ' ጠቋሚ ከ nullptr ጋር እኩል ነው። በዚህ ጠቋሚ ላይ የሒሳብ ስራዎች ውጤት ዋጋ ትርጉም የለሽ ስለሆነ ጥቅም ላይ መዋል የለበትም። nsc_encode.c 124

static BOOL nsc_encode_argb_to_aycocg(NSC_CONTEXT* context,
                                      const BYTE* data,
                                      UINT32 scanline)
{
  ....
  if (!context || data || (scanline == 0))
    return FALSE;
  ....
  src = data + (context->height - 1 - y) * scanline;
  ....
}

እዚህ ላይ በድንገት የኔጌሽን ኦፕሬተርን ያመለጡ ይመስላል። ! አቅራቢያ መረጃይህ ሳይስተዋል መሄዱ እንግዳ ነገር ነው።

ክፍል 5

V517 የ'if (A) {…} አጠቃቀም አለበለዚያ (A) {…}' ንድፍ ተገኝቷል። የሎጂክ ስህተት የመኖር እድል አለ። መስመሮችን ያረጋግጡ፡ 213፣ 222። rdpei_common.c 213

BOOL rdpei_write_4byte_unsigned(wStream* s, UINT32 value)
{
  BYTE byte;

  if (value <= 0x3F)
  {
    ....
  }
  else if (value <= 0x3FFF)
  {
    ....
  }
  else if (value <= 0x3FFFFF)
  {
    byte = (value >> 16) & 0x3F;
    Stream_Write_UINT8(s, byte | 0x80);
    byte = (value >> 8) & 0xFF;
    Stream_Write_UINT8(s, byte);
    byte = (value & 0xFF);
    Stream_Write_UINT8(s, byte);
  }
  else if (value <= 0x3FFFFF)
  {
    byte = (value >> 24) & 0x3F;
    Stream_Write_UINT8(s, byte | 0xC0);
    byte = (value >> 16) & 0xFF;
    Stream_Write_UINT8(s, byte);
    byte = (value >> 8) & 0xFF;
    Stream_Write_UINT8(s, byte);
    byte = (value & 0xFF);
    Stream_Write_UINT8(s, byte);
  }
  ....
}

የመጨረሻዎቹ ሁለት ሁኔታዎች ተመሳሳይ ናቸው፤ አንድ ሰው ከገለበጠ በኋላ እነሱን መፈተሽ ረስቶት ይሆናል። ኮዱ የመጨረሻው ክፍል ከአራት ባይት እሴቶች ጋር እንደሚሰራ ያሳያል፣ ስለዚህ የመጨረሻው ሁኔታ መሆን አለበት ብለን መገመት እንችላለን እሴት <= 0x3FFFFFFFF.

ሌላ የዚህ አይነት ስህተት ተገኝቷል፡

• V517 የ'if (A) {…} አጠቃቀም አለበለዚያ (A) {…}' ንድፍ ተገኝቷል። የሎጂክ ስህተት የመኖር እድል አለ። መስመሮችን ያረጋግጡ፡ 169፣ 173። file.c 169

የግቤት የውሂብ ማረጋገጫ

ክፍል 1

V547 'strcat(target, source) != NULL' የሚለው አገላለጽ ሁልጊዜ እውነት ነው። triostr.c 425

TRIO_PUBLIC_STRING int
trio_append
TRIO_ARGS2((target, source),
     char *target,
     TRIO_CONST char *source)
{
  assert(target);
  assert(source);
  
  return (strcat(target, source) != NULL);
}

በዚህ ምሳሌ ውስጥ የተግባር ውጤት ማረጋገጫ የተሳሳተ ነው። ስትራካት ወደ ሕብረቁምፊው የመጨረሻ ስሪት ጠቋሚ ይመልሳል፣ ማለትም የመጀመሪያው መለኪያ አልፏል። በዚህ ሁኔታ፣ እሱ ነው ዒላማሆኖም ግን፣ እኩል ከሆነ ባዶከዚያ እሱን ለመፈተሽ በጣም ዘግይቷል፣ ምክንያቱም በተግባሩ ውስጥ ስለሆነ ስትራካት ይሰረዛል።

ክፍል 2

V547 'መሸጎጫ' የሚለው አገላለጽ ሁልጊዜ እውነት ነው። glyph.c 730

typedef struct rdp_glyph_cache rdpGlyphCache;

struct rdp_glyph_cache
{
  ....
  GLYPH_CACHE glyphCache[10];
  ....
};

void glyph_cache_free(rdpGlyphCache* glyphCache)
{
  ....
  GLYPH_CACHE* cache = glyphCache->glyphCache;

  if (cache)
  {
    ....
  }
  ....
}

በዚህ ሁኔታ ተለዋዋጭው መሸጎጫ የስታቲክ ድርድር አድራሻ ተመድቧል ግሊፍካሼ -> ግሊፍካሼስለዚህ፣ ቼኩ ከሆነ (መሸጎጫ) ሊወገድ ይችላል።

የሀብት አስተዳደር ስህተት

V1005 ሀብቱ የተገኘው 'CreateFileA' ተግባርን በመጠቀም ነው፣ ነገር ግን የማይጣጣም 'fclose' ተግባርን በመጠቀም ተለቋል። certificate.c 447

BOOL certificate_data_replace(rdpCertificateStore* certificate_store,
                              rdpCertificateData* certificate_data)
{
  HANDLE fp;
  ....
  fp = CreateFileA(certificate_store->file, GENERIC_READ | GENERIC_WRITE, 0,
                   NULL, OPEN_EXISTING, FILE_ATTRIBUTE_NORMAL, NULL);
  ....
  if (size < 1)
  {
    CloseHandle(fp);
    return FALSE;
  }
  ....
  if (!data)
  {
    fclose(fp);
    return FALSE;
  }
  ....
}

የፋይል ገላጭ fp፣ ተግባርን በመጥራት የተፈጠረ ፍጠርፋይል፣ በተግባር በስህተት ተዘግቷል fclose ከመደበኛው ቤተ-መጽሐፍት፣ አይደለም ዝጋ ሃንድል.

ተመሳሳይ ሁኔታዎች

V581 እርስ በእርስ ጎን ለጎን የሚገኙት የ'if' መግለጫዎች ሁኔታዊ አገላለጾች ተመሳሳይ ናቸው። መስመሮችን ያረጋግጡ፡ 269፣ 283። ndr_structure.c 283

void NdrComplexStructBufferSize(PMIDL_STUB_MESSAGE pStubMsg,
      unsigned char* pMemory, PFORMAT_STRING pFormat)
{
  ....
  if (conformant_array_description)
  {
    ULONG size;
    unsigned char array_type;
    array_type = conformant_array_description[0];
    size = NdrComplexStructMemberSize(pStubMsg, pFormat);
    WLog_ERR(TAG, "warning: NdrComplexStructBufferSize array_type: "
      "0x%02X unimplemented", array_type);
    NdrpComputeConformance(pStubMsg, pMemory + size,
      conformant_array_description);
    NdrpComputeVariance(pStubMsg, pMemory + size,
      conformant_array_description);
    MaxCount = pStubMsg->MaxCount;
    ActualCount = pStubMsg->ActualCount;
    Offset = pStubMsg->Offset;
  }

  if (conformant_array_description)
  {
    unsigned char array_type;
    array_type = conformant_array_description[0];
    pStubMsg->MaxCount = MaxCount;
    pStubMsg->ActualCount = ActualCount;
    pStubMsg->Offset = Offset;
    WLog_ERR(TAG, "warning: NdrComplexStructBufferSize array_type: "
      "0x%02X unimplemented", array_type);
  }
  ....
}

ይህ ምሳሌ ስህተት ላይሆን ይችላል። ሆኖም፣ ሁለቱም ሁኔታዎች ተመሳሳይ መልዕክቶችን የያዙ ሲሆን ከእነዚህም ውስጥ አንዱ ሊወገድ ይችላል።

ባዶ ጠቋሚዎችን ማጽዳት

V575 ባዶ ጠቋሚው ወደ 'ነጻ' ተግባር ይተላለፋል። የመጀመሪያውን ክርክር ይመርምሩ። smartcard_pcsc.c 875

WINSCARDAPI LONG WINAPI PCSC_SCardListReadersW(
  SCARDCONTEXT hContext,
  LPCWSTR mszGroups,
  LPWSTR mszReaders,
  LPDWORD pcchReaders)
{
  LPSTR mszGroupsA = NULL;
  ....
  mszGroups = NULL; /* mszGroups is not supported by pcsc-lite */

  if (mszGroups)
    ConvertFromUnicode(CP_UTF8,0, mszGroups, -1, 
                       (char**) &mszGroupsA, 0,
                       NULL, NULL);

  status = PCSC_SCardListReaders_Internal(hContext, mszGroupsA,
                                          (LPSTR) &mszReadersA,
                                          pcchReaders);

  if (status == SCARD_S_SUCCESS)
  {
    ....
  }

  free(mszGroupsA);
  ....
}

ለመስራት ፍርይ ባዶ ጠቋሚን ማለፍ ይችላሉ፣ እና ተንታኙ ስለሱ ያውቃል። ነገር ግን ጠቋሚው ሁልጊዜ ባዶ ሆኖ የሚተላለፍበት ሁኔታ ከተገኘ፣ ልክ እንደዚሁ ክፍልፋይ፣ ማስጠንቀቂያ ይሰጣል።

ጠቋሚ mszGroupsA መጀመሪያ ላይ እኩል ባዶ እና በሌላ ቦታ አልተጀመረም። ጠቋሚው ሊጀመርበት የሚችልበት ብቸኛው የኮድ መንገድ ሊደረስበት የማይችል ነው።

እንደዚህ አይነት ሌሎች መልዕክቶችም ነበሩ፡

• V575 ባዶ ጠቋሚው ወደ 'ነጻ' ተግባር ይተላለፋል። የመጀመሪያውን ክርክር ይመርምሩ። license.c 790
• V575 ባዶ ጠቋሚው ወደ 'ነጻ' ተግባር ይተላለፋል። የመጀመሪያውን ክርክር ይመርምሩ። rdpsnd_alsa.c 575

ምናልባትም እንደዚህ ያሉ የተረሱ ተለዋዋጮች በመልሶ ማደስ ሂደት ወቅት ይነሳሉ እና በቀላሉ ሊወገዱ ይችላሉ።

ሊከሰት የሚችል ከመጠን በላይ መፍሰስ

V1028 ሊከሰት የሚችል ከመጠን በላይ መፍሰስ። የኦፔራ ቀረጻዎችን ያስቡበት፣ ውጤቱን አይደለም። makecert.c 1087

// openssl/x509.h
ASN1_TIME *X509_gmtime_adj(ASN1_TIME *s, long adj);

struct _MAKECERT_CONTEXT
{
  ....
  int duration_years;
  int duration_months;
};

typedef struct _MAKECERT_CONTEXT MAKECERT_CONTEXT;

int makecert_context_process(MAKECERT_CONTEXT* context, ....)
{
  ....
  if (context->duration_months)
    X509_gmtime_adj(after, (long)(60 * 60 * 24 * 31 *
      context->duration_months));
  else if (context->duration_years)
    X509_gmtime_adj(after, (long)(60 * 60 * 24 * 365 *
      context->duration_years));
  ....
}

ውጤቱን ወደ ማምጣት ረጅም ስሌቱ ራሱ የሚከናወነው በአይነቱ በመጠቀም ስለሆነ ከመጠን በላይ እንዳይፈስ ደህንነቱ የተጠበቀ አይደለም። int.

በማስጀመሪያ ጊዜ የጠቋሚ ማፈግፈግ

V595 የ'አውድ' ጠቋሚው ከnullptr ጋር ከመረጋገጡ በፊት ጥቅም ላይ ውሏል። መስመሮችን ያረጋግጡ፡ 746፣ 748። gfx.c 746

static UINT gdi_SurfaceCommand(RdpgfxClientContext* context,
                               const RDPGFX_SURFACE_COMMAND* cmd)
{
  ....
  rdpGdi* gdi = (rdpGdi*) context->custom;

  if (!context || !cmd)
    return ERROR_INVALID_PARAMETER;
  ....
}

ጠቋሚው ይኸውልህ አውድ በማስጀመሪያ ጊዜ - ከመፈተሹ በፊት - ይሰረዛል።

ሌሎች የዚህ አይነት ስህተቶች ተገኝተዋል፦

• V595 የ'ntlm' ጠቋሚው ከnullptr ጋር ከመረጋገጡ በፊት ጥቅም ላይ ውሏል። መስመሮችን ያረጋግጡ፡ 236፣ 255። ntlm.c 236
• V595 የ'አውድ' ጠቋሚው ከnullptr ጋር ከመረጋገጡ በፊት ጥቅም ላይ ውሏል። መስመሮችን ያረጋግጡ፡ 1003፣ 1007። rfx.c 1003
• V595 የ'rdpei' ጠቋሚ ከnullptr ጋር ከመረጋገጡ በፊት ጥቅም ላይ ውሏል። መስመሮችን ያረጋግጡ፡ 176፣ 180። rdpei_main.c 176
• V595 የ'gdi' ጠቋሚው ከnullptr ጋር ከመረጋገጡ በፊት ጥቅም ላይ ውሏል። መስመሮችን ያረጋግጡ፡ 121፣ 123። xf_gfx.c 121

ትርጉም የለሽ ሁኔታ

V547 'rdp->state >= CONNECTION_STATE_ACTIVE' የሚለው አገላለጽ ሁልጊዜ እውነት ነው። connection.c 1489

int rdp_server_transition_to_state(rdpRdp* rdp, int state)
{
  ....
  switch (state)
  {
    ....
    case CONNECTION_STATE_ACTIVE:
      rdp->state = CONNECTION_STATE_ACTIVE;          // <=
      ....
      if (rdp->state >= CONNECTION_STATE_ACTIVE)     // <=
      {
        IFCALLRET(client->Activate, client->activated, client);

        if (!client->activated)
          return -1;
      }
    ....
  }
  ....
}

ቀደም ሲል ተጓዳኝ እሴት በመመደቡ ምክንያት የመጀመሪያው ሁኔታ ትርጉም እንደማይሰጥ ማየት ቀላል ነው።

የተሳሳተ የሕብረቁምፊ ትንተና

V576 የተሳሳተ ቅርጸት። የ'sscanf' ተግባርን ሶስተኛውን ትክክለኛ ክርክር መፈተሽ ያስቡበት። ወደ ያልተፈረመ የ int አይነት ጠቋሚ ይጠበቃል። proxy.c 220

V560 የሁኔታዊ አገላለጽ ክፍል ሁልጊዜ እውነት ነው፡ (rc >= 0)። proxy.c 222

static BOOL check_no_proxy(....)
{
  ....
  int sub;
  int rc = sscanf(range, "%u", &sub);

  if ((rc == 1) && (rc >= 0))
  {
    ....
  }
  ....
}

ተንታኙ ለዚህ ክፍል ሁለት ማስጠንቀቂያዎችን ይሰጣል። %u የአይነት ተለዋዋጭ ይጠብቃል ያልተፈረመ ኢንቲግን ተለዋዋጭ ንዑስ አይነት አለው intቀጥሎ፣ አጠራጣሪ ፍተሻ እናያለን፡ በቀኝ በኩል ያለው ሁኔታ ምንም ትርጉም አይሰጥም፣ ምክንያቱም ከአንዱ ጋር በማነፃፀር ይጀምራል። የዚህ ኮድ ደራሲ ምን እንዳሰበ አላውቅም፣ ግን እዚህ ላይ የሆነ ነገር በግልጽ የተሳሳተ ነው።

ያልተደረደሩ ቼኮች

V547 'status == 0x00090314' የሚለው አገላለጽ ሁልጊዜ የተሳሳተ ነው። ntlm.c 299

BOOL ntlm_authenticate(rdpNtlm* ntlm, BOOL* pbContinueNeeded)
{
  ....
  if (status != SEC_E_OK)
  {
    ....
    return FALSE;
  }

  if (status == SEC_I_COMPLETE_NEEDED)            // <=
    status = SEC_E_OK;
  else if (status == SEC_I_COMPLETE_AND_CONTINUE) // <=
    status = SEC_I_CONTINUE_NEEDED;
  ....
}

ምልክት የተደረገባቸው ሁኔታዎች ሁልጊዜም የተሳሳቱ ይሆናሉ፣ ምክንያቱም አፈፃፀሙ ወደ ሁለተኛው ሁኔታ የሚደርሰው ከሆነ ብቻ ነው ሁኔታ == SEC_E_OKትክክለኛው ኮድ እንደዚህ ሊመስል ይችላል፦

if (status == SEC_I_COMPLETE_NEEDED)
  status = SEC_E_OK;
else if (status == SEC_I_COMPLETE_AND_CONTINUE)
  status = SEC_I_CONTINUE_NEEDED;
else if (status != SEC_E_OK)
{
  ....
  return FALSE;
}

መደምደሚያ

ስለዚህ የፕሮጀክቱ ግምገማ በርካታ ጉዳዮችን ይፋ አድርጓል፣ ነገር ግን በጣም አስደሳች የሆኑት ብቻ በጽሑፉ ውስጥ ተገልጸዋል። የፕሮጀክት ገንቢዎች በድረ-ገጹ ላይ ጊዜያዊ የፈቃድ ቁልፍ በመጠየቅ ፕሮጀክቱን እራሳቸው መገምገም ይችላሉ። PVS- ስቱዲዮእንዲሁም አንዳንድ የተሳሳቱ አዎንታዊ ነገሮች ነበሩ፣ እነዚህም ከተስተካከሉ ተንታኙን ለማሻሻል ይረዳሉ። ያም ሆኖ፣ የኮድ ጥራትን ማሻሻል ብቻ ሳይሆን ስህተቶችን ለማግኘት የሚያጠፋውን ጊዜ መቀነስ ከፈለጉ የማይንቀሳቀስ ትንተና አስፈላጊ ነው፣ እና PVS-ስቱዲዮ በዚህ ረገድ ሊረዳ ይችላል።

ይህን ጽሑፍ ለእንግሊዝኛ ተናጋሪ ታዳሚዎች ማጋራት ከፈለጉ፣ እባክዎ የትርጉም ማገናኛውን ይጠቀሙ፡ Sergey Larin። FreeRDPን በ PVS-ስቱዲዮ መፈተሽ

ምንጭ: hab.com