पीवीएस-स्टूडियो विश्लेषक का उपयोग करके rdesktop और xrdp की जाँच करना

आरडीपी प्रोटोकॉल के साथ काम करने के लिए ओपन सोर्स प्रोग्राम के परीक्षण के बारे में लेखों की श्रृंखला में यह दूसरी समीक्षा है। इसमें हम rdesktop क्लाइंट और xrdp सर्वर को देखेंगे।

त्रुटियों की पहचान करने के लिए एक उपकरण के रूप में उपयोग किया जाता है पीवीएस-स्टूडियो. यह C, C++, C# और Java भाषाओं के लिए एक स्थिर कोड विश्लेषक है, जो Windows, Linux और macOS प्लेटफ़ॉर्म पर उपलब्ध है।

लेख केवल उन्हीं त्रुटियों को प्रस्तुत करता है जो मुझे दिलचस्प लगीं। हालाँकि, परियोजनाएँ छोटी हैं, इसलिए कुछ गलतियाँ हुईं :)।

नोट. FreeRDP परियोजना सत्यापन के बारे में पिछला लेख पाया जा सकता है यहां.

आरडेस्कटॉप

आरडेस्कटॉप - UNIX-आधारित सिस्टम के लिए RDP क्लाइंट का निःशुल्क कार्यान्वयन। यदि आप सिगविन के तहत प्रोजेक्ट बनाते हैं तो इसका उपयोग विंडोज के तहत भी किया जा सकता है। GPLv3 के अंतर्गत लाइसेंस प्राप्त।

यह क्लाइंट बहुत लोकप्रिय है - इसका उपयोग डिफ़ॉल्ट रूप से ReactOS में किया जाता है, और आप इसके लिए तृतीय-पक्ष ग्राफिकल फ्रंट-एंड भी पा सकते हैं। हालाँकि, वह काफी बूढ़ा है: उसकी पहली रिलीज़ 4 अप्रैल, 2001 को हुई - लेखन के समय, वह 17 वर्ष का है।

जैसा कि मैंने पहले बताया, परियोजना बहुत छोटी है। इसमें कोड की लगभग 30 हजार लाइनें हैं, जो इसकी उम्र को देखते हुए थोड़ा अजीब है। तुलना के लिए, FreeRDP में 320 हजार लाइनें हैं। क्लॉक प्रोग्राम का आउटपुट यहां दिया गया है:

अगम्य संकेत

V779 अनुपलब्ध कोड का पता चला. यह संभव है कि कोई त्रुटि मौजूद हो. rdesktop.c 1502

int
main(int argc, char *argv[])
{
  ....
  return handle_disconnect_reason(deactivated, ext_disc_reason);

  if (g_redirect_username)
    xfree(g_redirect_username);

  xfree(g_username);
}

फ़ंक्शन में त्रुटि तुरंत हमारे सामने आती है मुख्य: हम ऑपरेटर के बाद आने वाला कोड देखते हैं वापसी - यह टुकड़ा मेमोरी की सफाई करता है। हालाँकि, त्रुटि कोई खतरा पैदा नहीं करती है: प्रोग्राम से बाहर निकलने के बाद सभी आवंटित मेमोरी ऑपरेटिंग सिस्टम द्वारा साफ़ कर दी जाएगी।

कोई त्रुटि प्रबंधन नहीं

V557 ऐरे अंडररन संभव है. 'एन' इंडेक्स का मान -1 तक पहुंच सकता है। rdesktop.c 1872

RD_BOOL
subprocess(char *const argv[], str_handle_lines_t linehandler, void *data)
{
  int n = 1;
  char output[256];
  ....
  while (n > 0)
  {
    n = read(fd[0], output, 255);
    output[n] = ' '; // <=
    str_handle_lines(output, &rest, linehandler, data);
  }
  ....
}

इस मामले में कोड स्निपेट फ़ाइल के समाप्त होने तक फ़ाइल से बफ़र में पढ़ता है। हालाँकि, यहाँ कोई त्रुटि प्रबंधन नहीं है: यदि कुछ गलत होता है, तो पढ़ना -1 लौटाएगा, और फिर सरणी ओवररन हो जाएगी उत्पादन.

चार प्रकार में ईओएफ का उपयोग करना

V739 ईओएफ की तुलना 'चार' प्रकार के मान से नहीं की जानी चाहिए। '(c = fgetc(fp))' 'int' प्रकार का होना चाहिए। Ctrl.c 500

int
ctrl_send_command(const char *cmd, const char *arg)
{
  char result[CTRL_RESULT_SIZE], c, *escaped;
  ....
  while ((c = fgetc(fp)) != EOF && index < CTRL_RESULT_SIZE && c != 'n')
  {
    result[index] = c;
    index++;
  }
  ....
}

यहां हम फ़ाइल के अंत तक पहुंचने की गलत हैंडलिंग देखते हैं: यदि fgetc एक वर्ण लौटाता है जिसका कोड 0xFF है, इसे फ़ाइल के अंत के रूप में समझा जाएगा (EOF).

EOF यह एक स्थिरांक है, जिसे आमतौर पर -1 के रूप में परिभाषित किया जाता है। उदाहरण के लिए, CP1251 एन्कोडिंग में, रूसी वर्णमाला के अंतिम अक्षर में कोड 0xFF है, जो संख्या -1 से मेल खाता है यदि हम एक चर के बारे में बात कर रहे हैं टैंक. यह पता चला है कि प्रतीक 0xFF, जैसे EOF (-1) को फ़ाइल के अंत के रूप में समझा जाता है। ऐसी त्रुटियों से बचने के लिए, फ़ंक्शन का परिणाम है fgetc जैसे वेरिएबल में संग्रहीत किया जाना चाहिए int.

लेखन त्रुटियां

टुकड़ा 1

V547 अभिव्यक्ति 'write_time' सदैव असत्य है। डिस्क.सी 805

RD_NTSTATUS
disk_set_information(....)
{
  time_t write_time, change_time, access_time, mod_time;
  ....
  if (write_time || change_time)
    mod_time = MIN(write_time, change_time);
  else
    mod_time = write_time ? write_time : change_time; // <=
  ....
}

शायद इस कोड के लेखक को यह ग़लत लगा || и && इस शर्त। आइए मूल्यों के संभावित विकल्पों पर विचार करें लिखने का समय и समय परिवर्तन करें:

• दोनों चर 0 के बराबर हैं: इस मामले में हम एक शाखा में समाप्त हो जाएंगे अन्य: चर mod_time बाद की स्थिति की परवाह किए बिना हमेशा 0 रहेगा।
• चरों में से एक 0 है: mod_time 0 के बराबर होगा (बशर्ते कि दूसरे चर का मान गैर-नकारात्मक हो), क्योंकि न्यूनतम दोनों विकल्पों में से छोटे को चुनेंगे।
• दोनों चर 0 के बराबर नहीं हैं: न्यूनतम मान चुनें।

शर्त को प्रतिस्थापित करते समय लिखने का समय और परिवर्तन का समय व्यवहार सही दिखेगा:

• एक या दोनों चर 0 के बराबर नहीं हैं: एक गैर-शून्य मान चुनें।
• दोनों चर 0 के बराबर नहीं हैं: न्यूनतम मान चुनें।

टुकड़ा 2

V547 अभिव्यक्ति सदैव सत्य होती है. संभवतः यहां '&&' ऑपरेटर का उपयोग किया जाना चाहिए। डिस्क.सी 1419

static RD_NTSTATUS
disk_device_control(RD_NTHANDLE handle, uint32 request, STREAM in,
      STREAM out)
{
  ....
  if (((request >> 16) != 20) || ((request >> 16) != 9))
    return RD_STATUS_INVALID_PARAMETER;
  ....
}

जाहिर तौर पर यहां भी संचालक मिले हुए हैं || и &&या == и !=: एक वेरिएबल का मान एक ही समय में 20 और 9 नहीं हो सकता।

असीमित लाइन प्रतिलिपि

V512 'स्प्रिंटफ' फ़ंक्शन के कॉल से बफर 'फुलपाथ' का अतिप्रवाह हो जाएगा। डिस्क.सी 1257

RD_NTSTATUS
disk_query_directory(....)
{
  ....
  char *dirname, fullpath[PATH_MAX];
  ....
  /* Get information for directory entry */
  sprintf(fullpath, "%s/%s", dirname, pdirent->d_name);
  ....
}

जब आप फ़ंक्शन को पूर्ण रूप से देखेंगे, तो यह स्पष्ट हो जाएगा कि यह कोड समस्याएँ पैदा नहीं करता है। हालाँकि, वे भविष्य में उत्पन्न हो सकते हैं: एक लापरवाह परिवर्तन और हमें एक बफर अतिप्रवाह मिलेगा - sprintf किसी भी चीज़ से सीमित नहीं है, इसलिए पथों को जोड़ते समय हम सरणी की सीमाओं से परे जा सकते हैं। इस कॉल पर ध्यान देने की अनुशंसा की जाती है snprintf(पूर्णपथ, PATH_MAX, ....).

अनावश्यक स्थिति

V560 सशर्त अभिव्यक्ति का एक भाग हमेशा सत्य होता है: जोड़ें > 0. स्कार्ड.सी 507

static void
inRepos(STREAM in, unsigned int read)
{
  SERVER_DWORD add = 4 - read % 4;
  if (add < 4 && add > 0)
  {
    ....
  }
}

Проверка जोड़ें > 0 यहां कोई आवश्यकता नहीं है: चर हमेशा शून्य से बड़ा होगा, क्योंकि पढ़ें % 4 विभाजन का शेष भाग लौटा देगा, लेकिन यह कभी भी 4 के बराबर नहीं होगा।

xrdp

xrdp - ओपन सोर्स कोड के साथ आरडीपी सर्वर का कार्यान्वयन। परियोजना को 2 भागों में बांटा गया है:

• xrdp - प्रोटोकॉल कार्यान्वयन। अपाचे 2.0 लाइसेंस के तहत वितरित।
• xorgxrdp - xrdp के साथ उपयोग के लिए Xorg ड्राइवरों का एक सेट। लाइसेंस - X11 (एमआईटी की तरह, लेकिन विज्ञापन में उपयोग प्रतिबंधित है)

परियोजना का विकास rdesktop और FreeRDP के परिणामों पर आधारित है। प्रारंभ में, ग्राफिक्स के साथ काम करने के लिए, आपको एक अलग VNC सर्वर, या RDP समर्थन के साथ एक विशेष X11 सर्वर - X11rdp का उपयोग करना पड़ता था, लेकिन xorgxrdp के आगमन के साथ, उनकी आवश्यकता गायब हो गई।

इस लेख में हम xorgxrdp को कवर नहीं करेंगे।

xrdp प्रोजेक्ट, पिछले वाले की तरह, बहुत छोटा है और इसमें लगभग 80 हजार लाइनें हैं।

अधिक टाइपो

V525 कोड में समान ब्लॉकों का संग्रह शामिल है। पंक्ति 87, 88, 89 में आइटम 'आर', 'जी', 'आर' की जाँच करें। rfxencode_rgb_to_yuv.c 87

static int
rfx_encode_format_rgb(const char *rgb_data, int width, int height,
                      int stride_bytes, int pixel_format,
                      uint8 *r_buf, uint8 *g_buf, uint8 *b_buf)
{
  ....
  switch (pixel_format)
  {
    case RFX_FORMAT_BGRA:
      ....
      while (x < 64)
      {
          *lr_buf++ = r;
          *lg_buf++ = g;
          *lb_buf++ = r; // <=
          x++;
      }
      ....
  }
  ....
}

यह कोड librfxcodec लाइब्रेरी से लिया गया था, जो रिमोटएफएक्स के लिए jpeg2000 कोडेक लागू करता है। यहां, जाहिरा तौर पर, ग्राफिक डेटा चैनल मिश्रित हैं - "नीले" रंग के बजाय, "लाल" दर्ज किया गया है। यह त्रुटि संभवतः कॉपी-पेस्ट के परिणामस्वरूप दिखाई दी।

समान फ़ंक्शन में भी यही समस्या उत्पन्न हुई rfx_encode_format_argb, जो विश्लेषक ने हमें यह भी बताया:

V525 कोड में समान ब्लॉकों का संग्रह शामिल है। पंक्ति 260, 261, 262, 263 में आइटम 'ए', 'आर', 'जी', 'आर' की जाँच करें। rfxencode_rgb_to_yuv.c 260

while (x < 64)
{
    *la_buf++ = a;
    *lr_buf++ = r;
    *lg_buf++ = g;
    *lb_buf++ = r;
    x++;
}

सारणी घोषणा

V557 ऐरे ओवररन संभव है. 'आई-8' इंडेक्स का मान 129 तक पहुंच सकता है। genkeymap.c 142

// evdev-map.c
int xfree86_to_evdev[137-8+1] = {
  ....
};

// genkeymap.c
extern int xfree86_to_evdev[137-8];

int main(int argc, char **argv)
{
  ....
  for (i = 8; i <= 137; i++) /* Keycodes */
  {
    if (is_evdev)
        e.keycode = xfree86_to_evdev[i-8];
    ....
  }
  ....
}

इन दो फ़ाइलों में सरणी की घोषणा और परिभाषा असंगत है - आकार 1 से भिन्न है। हालाँकि, कोई त्रुटि नहीं होती है - सही आकार evdev-map.c फ़ाइल में निर्दिष्ट है, इसलिए कोई सीमा से बाहर नहीं है। तो यह सिर्फ एक बग है जिसे आसानी से ठीक किया जा सकता है।

गलत तुलना

V560 सशर्त अभिव्यक्ति का एक भाग हमेशा गलत होता है: (cap_len < 0)। xrdp_caps.c 616

// common/parse.h
#if defined(B_ENDIAN) || defined(NEED_ALIGN)
#define in_uint16_le(s, v) do 
....
#else
#define in_uint16_le(s, v) do 
{ 
    (v) = *((unsigned short*)((s)->p)); 
    (s)->p += 2; 
} while (0)
#endif

int
xrdp_caps_process_confirm_active(struct xrdp_rdp *self, struct stream *s)
{
  int cap_len;
  ....
  in_uint16_le(s, cap_len);
  ....
  if ((cap_len < 0) || (cap_len > 1024 * 1024))
  {
    ....
  }
  ....
}

फ़ंक्शन एक प्रकार चर पढ़ता है अहस्ताक्षरित छोटा जैसे एक वेरिएबल में int. यहां जाँच की आवश्यकता नहीं है क्योंकि हम एक अहस्ताक्षरित वेरिएबल को पढ़ रहे हैं और परिणाम को एक बड़े वेरिएबल को निर्दिष्ट कर रहे हैं, इसलिए वेरिएबल नकारात्मक मान नहीं ले सकता है।

अनावश्यक जाँच

V560 सशर्त अभिव्यक्ति का एक भाग सदैव सत्य होता है: (बीपीपी !=16)। libxrdp.c 704

int EXPORT_CC
libxrdp_send_pointer(struct xrdp_session *session, int cache_idx,
                     char *data, char *mask, int x, int y, int bpp)
{
  ....
  if ((bpp == 15) && (bpp != 16) && (bpp != 24) && (bpp != 32))
  {
      g_writeln("libxrdp_send_pointer: error");
      return 1;
  }
  ....
}

यहां असमानता जांच का कोई मतलब नहीं है क्योंकि हमारे पास शुरुआत में ही तुलना है। यह संभव है कि यह एक टाइपो त्रुटि है और डेवलपर ऑपरेटर का उपयोग करना चाहता था || अमान्य तर्कों को फ़िल्टर करने के लिए।

निष्कर्ष

ऑडिट के दौरान कोई गंभीर त्रुटि नहीं पाई गई, लेकिन कई कमियां पाई गईं। हालाँकि, इन डिज़ाइनों का उपयोग कई प्रणालियों में किया जाता है, भले ही उनका दायरा छोटा हो। एक छोटी परियोजना में आवश्यक रूप से बहुत सारी त्रुटियाँ नहीं होती हैं, इसलिए आपको केवल छोटी परियोजनाओं पर विश्लेषक के प्रदर्शन का आकलन नहीं करना चाहिए। आप इसके बारे में लेख में अधिक पढ़ सकते हैं "भावनाएँ जिनकी पुष्टि संख्याओं द्वारा की गई थी"।

आप हमसे पीवीएस-स्टूडियो का परीक्षण संस्करण डाउनलोड कर सकते हैं ऑनलाइन.

यदि आप इस लेख को अंग्रेजी भाषी दर्शकों के साथ साझा करना चाहते हैं, तो कृपया अनुवाद लिंक का उपयोग करें: सर्गेई लारिन। पीवीएस-स्टूडियो के साथ rdesktop और xrdp की जाँच कर रहा हूँ

स्रोत: www.habr.com