FreeRDP-ის შემოწმება PVS-Studio ანალიზატორით

FreeRDP არის დისტანციური კომპიუტერის მართვისთვის შემუშავებული Microsoft-ის მიერ შემუშავებული დისტანციური სამუშაო მაგიდის პროტოკოლის (RDP) ღია კოდის იმპლემენტაცია. პროექტი მხარს უჭერს მრავალ პლატფორმას, მათ შორის Windows, Linux, macOS და iOS-ითაც კი Androidეს პროექტი შეირჩა, როგორც პირველი სტატიების სერიაში, რომელიც ეძღვნება RDP კლიენტების ტესტირებას PVS-Studio სტატიკური ანალიზატორის გამოყენებით.

პატარა ისტორიის

პროექტი FreeRDP გაჩნდა მას შემდეგ, რაც მაიკროსოფტმა გახსნა სპეციფიკაციები მისი საკუთრების RDP პროტოკოლისთვის. იმ დროს არსებობდა rdesktop კლიენტი, რომლის განხორციელება ეფუძნებოდა Reverse Engineering-ის შედეგებს.

როგორც პროტოკოლი განხორციელდა, უფრო რთული გახდა ახალი ფუნქციების დამატება იმდროინდელი პროექტის არქიტექტურის გამო. მასში განხორციელებულმა ცვლილებებმა წარმოშვა კონფლიქტი დეველოპერებს შორის, რამაც გამოიწვია rdesktop-ის ჩანგლის შექმნა - FreeRDP. პროდუქტის შემდგომი გავრცელება შეზღუდული იყო GPLv2 ლიცენზიით, რის შედეგადაც მიღებულ იქნა გადაწყვეტილება მისი ხელახალი ლიცენზირება Apache License v2-ზე. თუმცა, ყველა არ დათანხმდა მათი კოდის ლიცენზიის შეცვლას, ამიტომ დეველოპერებმა გადაწყვიტეს გადაეწერათ პროექტი, რის შედეგადაც შეიქმნა თანამედროვე კოდების ბაზა.

პროექტის ისტორიის შესახებ მეტი შეგიძლიათ წაიკითხოთ ბლოგის ოფიციალურ პოსტში: „FreeRDP პროექტის ისტორია“.

გამოიყენება როგორც ინსტრუმენტი კოდში შეცდომებისა და პოტენციური დაუცველობის იდენტიფიცირებისთვის. PVS- სტუდიაეს არის სტატიკური კოდის ანალიზატორი C, C++, C# და Java-სთვის, რომელიც ხელმისაწვდომია პლატფორმებზე. Windows, Linux и macOS.

სტატიაში წარმოდგენილია მხოლოდ ის შეცდომები, რომლებიც ყველაზე საინტერესო მეჩვენებოდა.

მეხსიერების გაჟონვა

V773 ფუნქციიდან გამოვიდა 'cwd' მაჩვენებლის გათავისუფლების გარეშე. შესაძლებელია მეხსიერების გაჟონვა. გარემო.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;
  ....
}

ეს ფრაგმენტი აღებულია winpr ქვესისტემიდან, რომელიც ახორციელებს WINAPI შეფუთვის არა-Windows სისტემები, ანუ ეს Wine-ის მსუბუქი ანალოგია. აქ შეგიძლიათ იხილოთ გაჟონვა: ფუნქცია ანაწილებს მეხსიერებას 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++;
  }
  ....
}

ეს მაგალითი ამატებს ახალ ელემენტს სიაში მაშინაც კი, თუ ელემენტების რაოდენობამ მაქსიმუმს მიაღწია. აქ საკმარისია ოპერატორის შეცვლა <= on <, რათა არ გასცდეს მასივის საზღვრებს.

აღმოჩენილია ამ ტიპის კიდევ ერთი შეცდომა:

• 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);
}

კომენტარის მიხედვით ვიმსჯელებთ, ფუნქცია ტრიო_ინდექსი პოულობს პირველი სიმბოლოების შესატყვისს სტრიქონში, როდესაც trio_index_last - ბოლო რამ. მაგრამ ამ ფუნქციების ორგანოები იდენტურია! დიდი ალბათობით, ეს შეცდომაა და ფუნქციაშია trio_index_last გამოყენება სჭირდება strhrchr ნაცვლად strchr. მაშინ ქცევა იქნება მოსალოდნელი.

ფრაგმენტი 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) {…} else if (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) {…} else if (A) {...}" ნიმუშის გამოყენება. არსებობს ლოგიკური შეცდომის არსებობის ალბათობა. შეამოწმეთ ხაზები: 169, 173. ფაილი.c 169

შეყვანის მონაცემების დადასტურება

ფრაგმენტი 1

V547 გამოთქმა 'strcat(სამიზნე, წყარო) != 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);
}

ამ მაგალითში ფუნქციის შედეგის შემოწმება არასწორია. ფუნქცია strcat აბრუნებს მაჩვენებელს სტრიქონის საბოლოო ვერსიას, ე.ი. პირველი პარამეტრი გავიდა. ამ შემთხვევაში ასეა სამიზნე. თუმცა თუ თანაბარია NULL, მაშინ უკვე გვიანია მისი შემოწმება, რადგან ფუნქციაშია strcat იგი გაუქმდება.

ფრაგმენტი 2

V547 გამოთქმა "ქეში" ყოველთვის მართალია. გლიფი.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)
  {
    ....
  }
  ....
}

ამ შემთხვევაში ცვლადი cache მინიჭებულია სტატიკური მასივის მისამართი glyphCache->glyphCache. ამრიგად, შეამოწმეთ თუ (ქეში) შეიძლება გამოტოვდეს.

რესურსების მართვის შეცდომა

V1005 რესურსი შეძენილი იქნა "CreateFileA" ფუნქციის გამოყენებით, მაგრამ გამოვიდა შეუთავსებელი "fclose" ფუნქციის გამოყენებით. მოწმობა.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 სტანდარტული ბიბლიოთეკიდან, არა CloseHandle.

იგივე პირობები

V581 ერთმანეთის გვერდით განთავსებული „თუ“ განცხადებების პირობითი გამონათქვამები იდენტურია. შეამოწმეთ ხაზები: 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 თავდაპირველად თანაბარი NULL და არ არის ინიციალიზებული სხვაგან. კოდის ერთადერთი ფილიალი, სადაც მაჩვენებლის ინიციალიზაცია შესაძლებელია, მიუწვდომელია.

იყო სხვა შეტყობინებები, როგორიცაა:

• V575 null მაჩვენებელი გადადის "თავისუფალ" ფუნქციაში. შეამოწმეთ პირველი არგუმენტი. ლიცენზია.c 790
• V575 null მაჩვენებელი გადადის "თავისუფალ" ფუნქციაში. შეამოწმეთ პირველი არგუმენტი. 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' ყოველთვის მართალია. კავშირი.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 ტიპის. პროქსი.c 220

V560 პირობითი გამოხატვის ნაწილი ყოველთვის მართალია: (rc >= 0). პროქსი.c 222

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

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

ანალიზატორი დაუყოვნებლივ გასცემს 2 გაფრთხილებას ამ ფრაგმენტისთვის. სპეციფიკატორი %u მოელის ტიპის ცვლადს ხელმოუწერელი int, მაგრამ ცვლადი ქვე აქვს ტიპი 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-Studio.

თუ გსურთ გაუზიაროთ ეს სტატია ინგლისურენოვან აუდიტორიას, გთხოვთ, გამოიყენოთ თარგმანის ბმული: სერგეი ლარინი. FreeRDP-ის შემოწმება PVS-Studio-ით

წყარო: www.habr.com