पीवीएस-स्टूडियो बादलों में जाता है - ट्रैविस सीआई पर लॉन्च विश्लेषण

फिलहाल, क्लाउड सीआई सिस्टम एक बहुत लोकप्रिय सेवा है। इस लेख में हम बताएंगे कि, पीवीएस-स्टूडियो में उपलब्ध मौजूदा उपकरणों का उपयोग करके, आप एक उदाहरण के रूप में ट्रैविस सीआई सेवा का उपयोग करके क्लाउड सीआई प्लेटफॉर्म के साथ स्रोत कोड विश्लेषण को एकीकृत कर सकते हैं।



हम तीसरे पक्ष के बादलों को क्यों देख रहे हैं और अपना नहीं बना रहे हैं? कई कारण हैं, और मुख्य यह है कि सास एक बल्कि महंगी और कठिन प्रक्रिया है। वास्तव में, सीधे तृतीय-पक्ष क्लाउड प्लेटफ़ॉर्म के साथ पीवीएस-स्टूडियो विश्लेषण को एकीकृत करना (चाहे वह सर्किलसी, ट्रैविस सीआई, गिटलैब जैसे खुले मंच हों, या केवल एक विशिष्ट कंपनी में उपयोग किए गए कुछ विशेष उद्यम समाधान) एक काफी सरल और तुच्छ कार्य है। यही है, हम कह सकते हैं कि पीवीएस-स्टूडियो पहले से ही "बादलों में" उपलब्ध है । एक पूरी तरह से अलग मुद्दा संगठन है और इस तरह के काम के लिए बुनियादी ढांचे का प्रावधान 24/7। यह एक पूरी तरह से अलग कार्य है, और पीवीएस-स्टूडियो की अपनी क्लाउड प्लेटफॉर्म प्रदान करने की कोई योजना नहीं है।

उपयोग किए गए सॉफ़्टवेयर के बारे में जानकारी

ट्रैविस सीआई सॉफ्टवेयर के निर्माण और परीक्षण के लिए एक सेवा है जो गिटहब को भंडारण के रूप में उपयोग करता है। ट्रैविस CI को सेवा का उपयोग करने के लिए प्रोग्राम कोड को बदलने की आवश्यकता नहीं है, सभी सेटिंग्स रिपॉजिटरी की जड़ में स्थित .travis.yml फ़ाइल में होती हैं।

हम पीवीएस-स्टूडियो के साथ परीक्षण के लिए एक परीक्षण परियोजना के रूप में एलएक्ससी (लिनक्स कंटेनर) लेंगे। यह एक ऑपरेटिंग सिस्टम-लेवल वर्चुअलाइजेशन सिस्टम है जो एक ही नोड पर लिनक्स ऑपरेटिंग सिस्टम के कई इंस्टेंस को चलाने के लिए है।

परियोजना छोटी है, लेकिन प्रदर्शित करने के लिए पर्याप्त से अधिक है। क्लॉक कमांड का आउटपुट:
नोट: LXC डेवलपर्स पहले से ही ट्रैविस CI का उपयोग करते हैं, इसलिए हम उनकी कॉन्फ़िगरेशन फ़ाइल को एक आधार के रूप में लेंगे और इसे हमारे उद्देश्यों के लिए संपादित करेंगे।

समायोजन

ट्रैविस सीआई के साथ आरंभ करने के लिए, लिंक का अनुसरण करें और GitHub खाते का उपयोग करके प्रमाणित करें।

खुलने वाली विंडो में, आपको ट्रैविस सीआई को अधिकृत करने की आवश्यकता है।

प्राधिकरण के बाद, स्वागत पृष्ठ पर पुनर्निर्देशित "पहली बार यहाँ? आप शुरू हो जाओ! , जो संक्षेप में बताता है कि आरंभ करने के लिए आगे क्या करने की आवश्यकता है:

• रिपॉजिटरी सक्रिय करें;
• भंडार में .travis.yml फ़ाइल जोड़ें;
• पहला निर्माण चलाएं।

हम इन बिंदुओं को अंजाम देना शुरू करेंगे।

ट्रैविस सीआई में हमारे भंडार को जोड़ने के लिए, लिंक के माध्यम से प्रोफ़ाइल सेटिंग्स पर जाएं और "सक्रिय करें" बटन पर क्लिक करें।

क्लिक करने के बाद, रिपॉजिटरी के विकल्प के साथ एक विंडो खुलती है जिसमें ट्रैविस सीआई एप्लिकेशन को एक्सेस दी जाएगी।
नोट: रिपॉजिटरी तक पहुंच प्रदान करने के लिए, खाते के पास इसके प्रशासक अधिकार होने चाहिए।

हम वांछित रिपॉजिटरी का चयन करते हैं, "अनुमोदन और इंस्टॉल करें" बटन के साथ चयन की पुष्टि करें, और हम प्रोफाइल सेटिंग्स पृष्ठ पर वापस भेज देंगे।

वेरिएबल्स को तुरंत बनाएं जिसका उपयोग हम एनालाइज़र लाइसेंस फ़ाइल बनाने और इसकी रिपोर्ट भेजने के लिए करेंगे। ऐसा करने के लिए, सेटिंग पृष्ठ पर जाएं - वांछित रिपॉजिटरी के दाईं ओर "सेटिंग" बटन।

सेटिंग्स विंडो खुल जाएगी।

सेटिंग्स का संक्षिप्त विवरण:

• धारा "सामान्य" - ऑटोरन कार्यों के लिए ट्रिगर स्थापित करना;
• धारा "ऑटो रद्द" - आपको ऑटो-रद्द विधानसभा को कॉन्फ़िगर करने की अनुमति देता है;
• अनुभाग "पर्यावरण चर" - आपको सार्वजनिक और गोपनीय जानकारी, जैसे क्रेडेंशियल्स, ssh कुंजियों वाले पर्यावरण चर को परिभाषित करने की अनुमति देता है;
• अनुभाग "क्रॉन जॉब्स" - कार्य लॉन्च शेड्यूल सेट करना।

"पर्यावरण चर" अनुभाग में, हम क्रमशः PVS_USERNAME और PVS_KEY वैरिएबल बनाते हैं, जो स्टैटिक एनालाइज़र के लिए उपयोगकर्ता नाम और लाइसेंस कुंजी है। यदि आपके पास स्थायी पीवीएस-स्टूडियो लाइसेंस नहीं है, तो आप एक परीक्षण लाइसेंस का अनुरोध कर सकते हैं ।

मेलबॉक्स के उपयोगकर्ता नाम और पासवर्ड वाले MAIL_USER और MAIL_PASSWORD वाले चर तुरंत बनाएं, जिनका उपयोग हम रिपोर्ट भेजने के लिए करेंगे।

जब कार्य लॉन्च किया जाता है, तो ट्रैविस सीआई रिपॉजिटरी की जड़ में स्थित .travis.yml फ़ाइल से निर्देश लेता है।

ट्रैविस सीआई का उपयोग करके, हम सीधे वर्चुअल मशीन में स्थैतिक विश्लेषण चला सकते हैं, या इसके लिए पूर्व-कॉन्फ़िगर कंटेनर का उपयोग कर सकते हैं। इन दृष्टिकोणों के परिणाम एक दूसरे से अलग नहीं हैं, लेकिन पूर्व-कॉन्फ़िगर कंटेनर का उपयोग करना काम में आ सकता है, उदाहरण के लिए, अगर हमारे पास पहले से ही कुछ विशिष्ट वातावरण वाला एक कंटेनर है जिसके अंदर सॉफ़्टवेयर उत्पाद बनाया गया है और परीक्षण किया गया है, और ट्रैविस सीआई में इस वातावरण को पुनर्स्थापित करने की कोई इच्छा नहीं है। ।

चलो एक आभासी मशीन में विश्लेषक चलाने के लिए एक कॉन्फ़िगरेशन बनाएं।

असेंबली और टेस्टिंग के लिए हम उबंटू ट्रस्टी पर आधारित एक वर्चुअल मशीन का उपयोग करेंगे, इसका विवरण यहां पाया जा सकता है ।

सबसे पहले, हम इंगित करते हैं कि परियोजना सी में लिखी गई है और हम उन कंपाइलरों को सूचीबद्ध करते हैं जो हम विधानसभा के लिए उपयोग करेंगे:

language: c compiler: - gcc - clang 

नोट : यदि आप एक से अधिक संकलक निर्दिष्ट करते हैं, तो कार्य उनमें से प्रत्येक के लिए समानांतर में शुरू किए जाएंगे। प्रलेखन में अधिक पढ़ें।

निर्माण शुरू करने से पहले, हमें विश्लेषक रिपॉजिटरी को जोड़ने, निर्भरता और अतिरिक्त पैकेज स्थापित करने की आवश्यकता है:

 before_install: - sudo add-apt-repository ppa:ubuntu-lxc/daily -y - wget -q -O - https://files.viva64.com/etc/pubkey.txt | sudo apt-key add - - sudo wget -O /etc/apt/sources.list.d/viva64.list https://files.viva64.com/etc/viva64.list - sudo apt-get update -qq - sudo apt-get install -qq coccinelle parallel libapparmor-dev libcap-dev libseccomp-dev python3-dev python3-setuptools docbook2x libgnutls-dev libselinux1-dev linux-libc-dev pvs-studio libio-socket-ssl-perl libnet-ssleay-perl sendemail ca-certificates 

परियोजना के निर्माण से पहले, आपको पर्यावरण तैयार करने की आवश्यकता है:

 script: - ./coccinelle/run-coccinelle.sh -i - git diff --exit-code - export CFLAGS="-Wall -Werror" - export LDFLAGS="-pthread -lpthread" - ./autogen.sh - rm -Rf build - mkdir build - cd build - ../configure --enable-tests --with-distro=unknown 

अगला, हमें एक लाइसेंस के साथ एक फ़ाइल बनाने और प्रोजेक्ट विश्लेषण चलाने की आवश्यकता है।

पहला कमांड विश्लेषक के लिए एक लाइसेंस फ़ाइल बनाता है। चर $ PVS_USERNAME और $ PVS_KEY का डेटा परियोजना सेटिंग्स से लिया गया है।

 - pvs-studio-analyzer credentials $PVS_USERNAME $PVS_KEY -o PVS-Studio.lic 

निम्न आदेश प्रोजेक्ट असेंबली ट्रेस प्रारंभ करता है:

 - pvs-studio-analyzer trace -- make -j4 

हम स्थैतिक विश्लेषण शुरू करने के बाद।
नोट: ट्रायल लाइसेंस का उपयोग करते समय, आपको --disableLicenseExpirationCheck पैरामीटर निर्दिष्ट करना होगा।

  - pvs-studio-analyzer analyze -j2 -l PVS-Studio.lic -o PVS-Studio-${CC}.log –-disableLicenseExpirationCheck 

अंतिम आदेश के साथ, विश्लेषक परिणाम फ़ाइल एक HTML रिपोर्ट में बदल जाती है।

 - plog-converter -t html PVS-Studio-${CC}.log -o PVS-Studio-${CC}.html 

चूंकि ट्रैविसीआई ईमेल सूचनाओं के प्रारूप को बदलने की अनुमति नहीं देता है, हम अंतिम चरण में रिपोर्ट भेजने के लिए प्रेषण पैकेज का उपयोग करेंगे:

 - sendemail -t mail@domain.com -u "PVS-Studio $CC report, commit:$TRAVIS_COMMIT" -m "PVS-Studio $CC report, commit:$TRAVIS_COMMIT" -s smtp.gmail.com:587 -xu $MAIL_USER -xp $MAIL_PASSWORD -o tls=yes -f $MAIL_USER -a PVS-Studio-${CC}.log PVS-Studio-${CC}.html 

वर्चुअल मशीन में विश्लेषक को चलाने के लिए कॉन्फ़िगरेशन फ़ाइल का पूरा पाठ:

 language: c compiler: - gcc - clang before_install: - sudo add-apt-repository ppa:ubuntu-lxc/daily -y - wget -q -O - https://files.viva64.com/etc/pubkey.txt | sudo apt-key add - - sudo wget -O /etc/apt/sources.list.d/viva64.list https://files.viva64.com/etc/viva64.list - sudo apt-get update -qq - sudo apt-get install -qq coccinelle parallel libapparmor-dev libcap-dev libseccomp-dev python3-dev python3-setuptools docbook2x libgnutls-dev libselinux1-dev linux-libc-dev pvs-studio libio-socket-ssl-perl libnet-ssleay-perl sendemail ca-certificates script: - ./coccinelle/run-coccinelle.sh -i - git diff --exit-code - export CFLAGS="-Wall -Werror" - export LDFLAGS="-pthread -lpthread" - ./autogen.sh - rm -Rf build - mkdir build - cd build - ../configure --enable-tests --with-distro=unknown - pvs-studio-analyzer credentials $PVS_USERNAME $PVS_KEY -o PVS-Studio.lic - pvs-studio-analyzer trace -- make -j4 - pvs-studio-analyzer analyze -j2 -l PVS-Studio.lic -o PVS-Studio-${CC}.log --disableLicenseExpirationCheck - plog-converter -t html PVS-Studio-${CC}.log -o PVS-Studio-${CC}.html - sendemail -t mail@domain.com -u "PVS-Studio $CC report, commit:$TRAVIS_COMMIT" -m "PVS-Studio $CC report, commit:$TRAVIS_COMMIT" -s smtp.gmail.com:587 -xu $MAIL_USER -xp $MAIL_PASSWORD -o tls=yes -f $MAIL_USER -a PVS-Studio-${CC}.log PVS-Studio-${CC}.html 

एक कंटेनर में एक स्थिर विश्लेषक चलाने के लिए, पहले निम्नलिखित डॉकरीफाइल का उपयोग करके इसे बनाएं:

 FROM docker.io/ubuntu:trusty ENV CFLAGS="-Wall -Werror" ENV LDFLAGS="-pthread -lpthread" RUN apt-get update && apt-get install -y software-properties-common wget \ && wget -q -O - https://files.viva64.com/etc/pubkey.txt | sudo apt-key add - \ && wget -O /etc/apt/sources.list.d/viva64.list https://files.viva64.com/etc/viva64.list \ && apt-get update \ && apt-get install -yqq coccinelle parallel libapparmor-dev libcap-dev libseccomp-dev python3-dev python3-setuptools docbook2x libgnutls-dev libselinux1-dev linux-libc-dev pvs-studio git libtool autotools-dev automake pkg-config clang make libio-socket-ssl-perl libnet-ssleay-perl sendemail ca-certificates \ && rm -rf /var/lib/apt/lists/* 

इस स्थिति में, कॉन्फ़िगरेशन फ़ाइल इस तरह दिख सकती है:

 before_install: - docker pull docker.io/oandreev/lxc env: - CC=gcc - CC=clang script: - docker run --rm --cap-add SYS_PTRACE -v $(pwd):/pvs -w /pvs docker.io/oandreev/lxc /bin/bash -c " ./coccinelle/run-coccinelle.sh -i && git diff --exit-code && ./autogen.sh && mkdir build && cd build && ../configure CC=$CC && pvs-studio-analyzer credentials $PVS_USERNAME $PVS_KEY -o PVS-Studio.lic && pvs-studio-analyzer trace -- make -j4 && pvs-studio-analyzer analyze -j2 -l PVS-Studio.lic -o PVS-Studio-$CC.log --disableLicenseExpirationCheck && plog-converter -t html -o PVS-Studio-$CC.html PVS-Studio-$CC.log && sendemail -t mail@domain.com -u 'PVS-Studio $CC report, commit:$TRAVIS_COMMIT' -m 'PVS-Studio $CC report, commit:$TRAVIS_COMMIT' -s smtp.gmail.com:587 -xu $MAIL_USER -xp $MAIL_PASSWORD -o tls=yes -f $MAIL_USER -a PVS-Studio-${CC}.log PVS-Studio-${CC}.html" 

जैसा कि आप देख सकते हैं, इस मामले में हम वर्चुअल मशीन के अंदर कुछ भी नहीं कर रहे हैं, और परियोजना के संयोजन और परीक्षण के लिए सभी क्रियाएं कंटेनर के अंदर होती हैं।

नोट : कंटेनर को शुरू करते समय, आपको --cap-add SYS_PTRACE या --security-opt seccomp: निर्दिष्ट करना होगा, क्योंकि पैरामीटर को ट्रेस करने के लिए ptrace सिस्टम कॉल का उपयोग किया जाता है।

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

विधानसभा की प्रगति और विश्लेषक द्वारा सत्यापन पर विस्तृत जानकारी कंसोल में देखी जा सकती है।

परीक्षणों के पूरा होने के बाद, हमें मेल में 2 पत्र प्राप्त होंगे: एक क्रमशः gcc का उपयोग करके परियोजना के निर्माण के लिए स्थैतिक विश्लेषण के परिणाम के साथ, और दूसरे के साथ क्रमशः क्लैंग।

संक्षेप में परीक्षण के परिणामों के बारे में

सामान्य तौर पर, परियोजना काफी साफ है, विश्लेषक ने केवल 24 महत्वपूर्ण और 46 औसत चेतावनी जारी की। काम को प्रदर्शित करने के लिए, कुछ दिलचस्प सूचनाओं पर विचार करें:

यदि में अनावश्यक स्थिति

V590 'रेट! = (- 1) && रिट == 1' एक्सप्रेशन का निरीक्षण करने पर विचार करें। अभिव्यक्ति अत्यधिक है या एक गलत चित्रण है। संलग्न करें। 107

 #define EOF -1 static struct lxc_proc_context_info *lxc_proc_get_context_info(pid_t pid) { .... while (getline(&line, &line_bufsz, proc_file) != -1) { ret = sscanf(line, "CapBnd: %llx", &info->capability_mask); if (ret != EOF && ret == 1) // <= { found = true; break; } } .... } 

यदि रिट == 1 है , तो यह निश्चित रूप से -1 (ईओएफ) के बराबर नहीं है। अत्यधिक सत्यापन, रिट! = EOF को हटाया जा सकता है।

दो और चेतावनी जारी की गई:

• V590 'रेट! = (- 1) && रिट == 1' एक्सप्रेशन का निरीक्षण करने पर विचार करें। अभिव्यक्ति अत्यधिक है या एक गलत चित्रण है। संलग्न करें। 579
• V590 'रेट! = (- 1) && रिट == 1' एक्सप्रेशन का निरीक्षण करने पर विचार करें। अभिव्यक्ति अत्यधिक है या एक गलत चित्रण है। संलग्न करें 583

उच्च बिट्स का नुकसान

V784 बिट मास्क का आकार पहले वाले ऑपरेंड के आकार से कम है। यह उच्च बिट्स के नुकसान का कारण होगा। conf.c 1879

 struct mount_opt { char *name; int clear; int flag; }; static void parse_mntopt(char *opt, unsigned long *flags, char **data, size_t size) { struct mount_opt *mo; /* If opt is found in mount_opt, set or clear flags. * Otherwise append it to data. */ for (mo = &mount_opt[0]; mo->name != NULL; mo++) { if (strncmp(opt, mo->name, strlen(mo->name)) == 0) { if (mo->clear) { *flags &= ~mo->flag; // <= } else { *flags |= mo->flag; } return; } } .... } 

लिनक्स के तहत, लम्बा 64-बिट पूर्णांक चर है, मो-> ध्वज 32-बिट पूर्णांक चर है। मो-> ध्वज को बिटमास्क के रूप में उपयोग करने से 32 सबसे महत्वपूर्ण बिट्स का नुकसान होगा। बिटवाइस के 64-बिट पूर्णांक चर के बाद बिटकॉइन्स की इंप्लिमेंट कास्टिंग बिटवाइस उलटा करने के बाद की जाती है। इस मास्क के उच्च बिट्स शून्य होंगे।

एक उदाहरण के साथ प्रदर्शित करें:

 unsigned long long x; unsigned y; .... x &= ~y; 

सही कोड है:

 *flags &= ~(unsigned long)(mo->flag); 

विश्लेषक ने एक और समान चेतावनी जारी की:

• V784 बिट मास्क का आकार पहले वाले ऑपरेंड के आकार से कम है। यह उच्च बिट्स के नुकसान का कारण होगा। conf.c 1933

संदिग्ध चक्र

V612 एक लूप के भीतर बिना शर्त 'वापसी'। conf.c 3477

 #define lxc_list_for_each(__iterator, __list) \ for (__iterator = (__list)->next; __iterator != __list; \ __iterator = __iterator->next) static bool verify_start_hooks(struct lxc_conf *conf) { char path[PATH_MAX]; struct lxc_list *it; lxc_list_for_each (it, &conf->hooks[LXCHOOK_START]) { int ret; char *hookname = it->elem; ret = snprintf(path, PATH_MAX, "%s%s", conf->rootfs.path ? conf->rootfs.mount : "", hookname); if (ret < 0 || ret >= PATH_MAX) return false; ret = access(path, X_OK); if (ret < 0) { SYSERROR("Start hook \"%s\" not found in container", hookname); return false; } return true; // <= } return true; } 

चक्र शुरू होता है और पहले पुनरावृत्ति में यह बाधित होता है। शायद यह इरादा था, लेकिन फिर चक्र को छोड़ा जा सकता है।

किसी व्यूह की सीमा से परे जाना

V557 ऐरे अंडररून संभव है। 'बाइट्स - 1' इंडेक्स का मान -1 तक पहुँच सकता है। network.c 2570

 static int lxc_create_network_unpriv_exec(const char *lxcpath, const char *lxcname, struct lxc_netdev *netdev, pid_t pid, unsigned int hooks_version) { int bytes; char buffer[PATH_MAX] = {0}; .... bytes = lxc_read_nointr(pipefd[0], &buffer, PATH_MAX); if (bytes < 0) { SYSERROR("Failed to read from pipe file descriptor"); close(pipefd[0]); } else { buffer[bytes - 1] = '\0'; } .... } 

बाइट्स पाइप से बफर में पढ़े जाते हैं। त्रुटि के मामले में, lxc_read_nointr फ़ंक्शन नकारात्मक मान लौटाएगा। यदि सब कुछ ठीक हो गया, तो अंतिम तत्व के रूप में नल टर्मिनल लिखा जाता है। हालांकि, यदि 0 बाइट्स पढ़े जाते हैं, तो बफर सीमा से बाहर हो जाएगा, जिससे अपरिभाषित व्यवहार होता है।

विश्लेषक ने एक और समान चेतावनी जारी की:

• V557 ऐरे अंडररून संभव है। 'बाइट्स - 1' इंडेक्स का मान -1 तक पहुँच सकता है। network.c 2725

बफर ओवरफ्लो

V576 गलत प्रारूप। 'Sscanf' फ़ंक्शन के तीसरे वास्तविक तर्क की जाँच करने पर विचार करें। चौड़ाई विनिर्देश के बिना स्ट्रिंग स्पेसियर का उपयोग करना खतरनाक है। बफर ओवरफ्लो संभव है। lxc_unshare.c 205

 static bool lookup_user(const char *oparg, uid_t *uid) { char name[PATH_MAX]; .... if (sscanf(oparg, "%u", uid) < 1) { /* not a uid -- perhaps a username */ if (sscanf(oparg, "%s", name) < 1) // <= { free(buf); return false; } .... } .... } 

इस मामले में sscanf का उपयोग करना खतरनाक हो सकता है, क्योंकि अगर oparq बफर की लंबाई नाम बफर की लंबाई से अधिक है, तो यह नाम बफर बनने पर विदेश जाएगा।

निष्कर्ष

जैसा कि हमने देखा, क्लाउड में हमारी परियोजना का एक स्थिर कोड विश्लेषक चेक स्थापित करना एक काफी सरल कार्य है। ऐसा करने के लिए, आपको बस एक फ़ाइल को रिपॉजिटरी में जोड़ना होगा और सीआई सिस्टम की स्थापना के लिए न्यूनतम समय बिताना होगा। नतीजतन, हमें एक उपकरण मिलता है जो आपको लेखन चरण में समस्याग्रस्त कोड की पहचान करने की अनुमति देता है, और त्रुटियों को परीक्षण के अगले चरणों में लाने की अनुमति नहीं देता है, जहां उनके सुधार में अधिक समय और संसाधन लगेगा।

बेशक, क्लाउड प्लेटफॉर्म के साथ संयोजन में पीवीएस-स्टूडियो का उपयोग करना ट्रैविस सीआई तक सीमित नहीं है। न्यूनतम अंतर के साथ लेख में वर्णित विधि के अनुरूप, पीवीएस-स्टूडियो विश्लेषण को अन्य लोकप्रिय क्लाउड-आधारित सीआई समाधानों के साथ एकीकृत किया जा सकता है, जैसे कि सर्किली, गिटलैब, आदि।

उपयोगी लिंक

• लिनक्स और मैकओएस पर पीवीएस-स्टूडियो लॉन्च करने के बारे में अतिरिक्त जानकारी यहां पाई जा सकती है ।
• आप यहां स्थापित PVS-Studio स्थिर विश्लेषक के साथ कंटेनरों को बनाने, कॉन्फ़िगर करने और उपयोग करने के बारे में पढ़ सकते हैं।
• ट्रैविसी डॉक्यूमेंटेशन ।

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