🥝 🔴 📚 PSP गेम कंसोल एमुलेटर के उदाहरण का उपयोग करके ट्रैविस CI में पीवीएस-स्टूडियो कैसे स्थापित करें 👩🏼‍🌾 🦇 🖖🏿

ट्रैविस CI सॉफ्टवेयर और सॉफ्टवेयर के निर्माण के लिए वितरित वेब सेवा है जो एक सोर्स कोड होस्टिंग सेवा के रूप में GitHub का उपयोग करता है। उपरोक्त लिपियों के अतिरिक्त, आप अपने स्वयं के जोड़ सकते हैं, व्यापक कॉन्फ़िगरेशन विकल्पों के लिए धन्यवाद। इस लेख में हम PPSSPP कोड के उदाहरण द्वारा PVS-Studio के साथ काम करने के लिए ट्रैविस CI की स्थापना करेंगे।

परिचय

ट्रैविस CI सॉफ्टवेयर बनाने और परीक्षण के लिए एक वेब सेवा है। यह आमतौर पर निरंतर एकीकरण के अभ्यास के साथ संयोजन में उपयोग किया जाता है।

PPSSPP PSP गेम कंसोल का एक एमुलेटर है। कार्यक्रम सोनी PSP के लिए डिज़ाइन की गई डिस्क की छवियों के साथ किसी भी गेम के लॉन्च का अनुकरण करने में सक्षम है। यह कार्यक्रम 1 नवंबर 2012 को जारी किया गया था। PPSSPP को GPL v2 लाइसेंस के तहत वितरित किया गया है। कोई भी परियोजना के स्रोत कोड में सुधार कर सकता है।

पीवीएस-स्टूडियो - प्रोग्राम कोड में त्रुटियों और संभावित कमजोरियों की खोज के लिए स्थिर कोड विश्लेषक। इस लेख में, हम विभिन्न उद्देश्यों के लिए डेवलपर के कंप्यूटर पर स्थानीय रूप से बजाय क्लाउड में पीवीएस-स्टूडियो लॉन्च करेंगे और पीपीएसएसपीपी में त्रुटियों की खोज करेंगे।

ट्रैविस सी सेट अप

हमें GitHub पर एक रिपॉजिटरी की आवश्यकता होगी जहां हमें जिस प्रोजेक्ट की आवश्यकता है वह स्थित है, साथ ही पीवीएस-स्टूडियो के लिए एक कुंजी (आप ओपन सोर्स प्रोजेक्ट्स के लिए एक ट्रायल कुंजी या निशुल्क प्राप्त कर सकते हैं)।

चलो ट्रैविस सीआई साइट पर जाएं। GitHub खाते की सहायता से प्राधिकरण के बाद हमारे पास रिपॉजिटरी की एक सूची होगी:

परीक्षण के लिए, मैंने एक PPSSPP कांटा बनाया।

हम उस भंडार को सक्रिय करते हैं जिसे हम बनाना चाहते हैं:

फिलहाल, ट्रैविस सीआई हमारी परियोजना का निर्माण नहीं कर सकता क्योंकि इसके निर्माण के लिए कोई निर्देश नहीं हैं। इसलिए यह कॉन्फ़िगरेशन का समय है।

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

हमें आवश्यकता होगी:

PVS_USERNAME - उपयोगकर्ता नाम
PVS_KEY - कुंजी
MAIL_USER - वह ईमेल जिसका उपयोग रिपोर्ट भेजने के लिए किया जाएगा
MAIL_PASSWORD - ईमेल पासवर्ड

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

इसलिए, हमने उन पर्यावरण चर को जोड़ा है जिनकी हमें आवश्यकता है:

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

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

language: cpp dist: xenial addons: apt: update: true packages: - ant - aria2 - build-essential - cmake - libgl1-mesa-dev - libglu1-mesa-dev - libsdl2-dev - pv - sendemail - software-properties-common sources: - sourceline: 'ppa:ubuntu-toolchain-r/test' - sourceline: 'ppa:ubuntu-sdk-team/ppa'

सभी जोड़े गए पैकेज केवल PPSSPP के लिए आवश्यक हैं।

अब बिल्डिंग मैट्रिक्स को निर्दिष्ट करें:

 matrix: include: - os: linux compiler: "gcc" env: PPSSPP_BUILD_TYPE=Linux PVS_ANALYZE=Yes - os: linux compiler: "clang" env: PPSSPP_BUILD_TYPE=Linux

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

प्रोजेक्ट-विशिष्ट बिल्ड निर्देशों को निर्दिष्ट करने के लिए केवल एक चीज शेष है:

 before_install: - travis_retry bash .travis.sh travis_before_install install: - travis_retry bash .travis.sh travis_install script: - bash .travis.sh travis_script after_success: - bash .travis.sh travis_after_success

ट्रैविस CI आपको वर्चुअल मशीन जीवन के विभिन्न चरणों के लिए अपनी खुद की कमांड जोड़ने की अनुमति देता है। पैकेज स्थापित करने से पहले पहले से स्थापित अनुभाग चलता है। फिर स्थापित करें , जो addons.apt सूची से संकुल की स्थापना का अनुसरण करता है जिसे हमने ऊपर निर्दिष्ट किया है। स्क्रिप्ट में ही निर्माण होता है। यदि सब कुछ सफल रहा है, तो हम after_success में आते हैं (यह वह जगह है जहां हम स्थैतिक विश्लेषण शुरू करेंगे)। ये वे सभी चरण नहीं हैं जिन्हें आप संशोधित कर सकते हैं, यदि आपको और अधिक की आवश्यकता है, तो आपको ट्रैविस सीआई पर प्रलेखन में देखना चाहिए।

कमांड पढ़ने की सुविधा के लिए एक अलग स्क्रिप्ट .travis.sh में डाल दी गई , जिसे प्रोजेक्ट के रूट में रखा गया है।

तो, हमारे पास निम्न फ़ाइल है .travis.yml :

 language: cpp dist: xenial addons: apt: update: true packages: - ant - aria2 - build-essential - cmake - libgl1-mesa-dev - libglu1-mesa-dev - libsdl2-dev - pv - sendemail - software-properties-common sources: - sourceline: 'ppa:ubuntu-toolchain-r/test' - sourceline: 'ppa:ubuntu-sdk-team/ppa' matrix: include: - os: linux compiler: "gcc" env: PVS_ANALYZE=Yes - os: linux compiler: "clang" before_install: - travis_retry bash .travis.sh travis_before_install install: - travis_retry bash .travis.sh travis_install script: - bash .travis.sh travis_script after_success: - bash .travis.sh travis_after_success

पैकेजों को स्थापित करने से पहले, चलो सबमॉड्यूल को अपडेट करें। PPSSPPs बनाने के लिए यह आवश्यक है। पहला फ़ंक्शन .travis.sh में जोड़ें (एक्सटेंशन पर ध्यान दें):

 travis_before_install() { git submodule update --init --recursive }

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

 travis_install() { if [ "$CXX" = "g++" ]; then sudo apt-get install -qq g++-4.8 fi if [ "$PVS_ANALYZE" = "Yes" ]; then 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 pvs-studio \ libio-socket-ssl-perl \ libnet-ssleay-perl fi download_extract \ "https://cmake.org/files/v3.6/cmake-3.6.2-Linux-x86_64.tar.gz" \ cmake-3.6.2-Linux-x86_64.tar.gz }

Travis_install फ़ंक्शन की शुरुआत में हम कंपाइलरों को स्थापित करते हैं जिन्हें हमें पर्यावरण चर का उपयोग करने की आवश्यकता होती है। फिर, यदि $ PVS_ANALYZE वैरिएबल, यस का मान संग्रहीत करता है (बिल्ड मैट्रिक्स को कॉन्फ़िगर करते समय हमने इसे env सेक्शन में निर्दिष्ट किया है), हम pvs-studio पैकेज स्थापित करते हैं। इसके अलावा, लिबियो-सॉकेट-एसएसएल-पर्ल और लिबनेट-एसएलवाई-पर्ल पैकेज भी हैं, लेकिन उन्हें मेल द्वारा परिणाम भेजने की आवश्यकता होती है, इसलिए यदि आपने रिपोर्ट वितरण का दूसरा तरीका चुना है तो वे आवश्यक नहीं हैं।

Download_extract फ़ंक्शन डाउनलोड और निर्दिष्ट संग्रह को अनपैक करता है:

 download_extract() { aria2c -x 16 $1 -o $2 tar -xf $2 }

प्रोजेक्ट बनाने का समय आ गया है। यह स्क्रिप्ट अनुभाग में होता है:

 travis_script() { if [ -d cmake-3.6.2-Linux-x86_64 ]; then export PATH=$(pwd)/cmake-3.6.2-Linux-x86_64/bin:$PATH fi CMAKE_ARGS="-DHEADLESS=ON ${CMAKE_ARGS}" if [ "$PVS_ANALYZE" = "Yes" ]; then CMAKE_ARGS="-DCMAKE_EXPORT_COMPILE_COMMANDS=On ${CMAKE_ARGS}" fi cmake $CMAKE_ARGS CMakeLists.txt make }

वास्तव में, यह इन लाइनों को छोड़कर एक सरलीकृत मूल विन्यास है:

 if [ "$PVS_ANALYZE" = "Yes" ]; then CMAKE_ARGS="-DCMAKE_EXPORT_COMPILE_COMMANDS=On ${CMAKE_ARGS}" fi

कोड के इस भाग में, हम cmake के लिए संकलन कमांड निर्यात ध्वज सेट करते हैं। यह एक स्थिर कोड विश्लेषक के लिए आवश्यक है। आप इसे " लिनक्स और मैकओएस में पीवीएस-स्टूडियो कैसे लॉन्च करें " लेख में इसके बारे में अधिक पढ़ सकते हैं।

यदि निर्माण सफल रहा, तो हमें after_success मिलेगा जहां हम स्थैतिक विश्लेषण चलाएंगे:

 travis_after_success() { if [ "$PVS_ANALYZE" = "Yes" ]; then pvs-studio-analyzer credentials $PVS_USERNAME $PVS_KEY -o PVS-Studio.lic 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 fi }

आइए विस्तार से निम्नलिखित पंक्तियों पर विचार करें:

 pvs-studio-analyzer credentials $PVS_USERNAME $PVS_KEY -o PVS-Studio.lic 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

पहली पंक्ति उपयोगकर्ता नाम से लाइसेंस फ़ाइल उत्पन्न करती है और कुंजी जिसे हमने ट्रैविस CI पर्यावरण चर के कॉन्फ़िगरेशन की शुरुआत में निर्दिष्ट किया था।

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

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

इस उदाहरण में मैंने प्रेषित कमांड का उपयोग करके मेल द्वारा रिपोर्ट भेजने का फैसला किया।

परिणाम निम्न .travis.sh फ़ाइल थी :

 #/bin/bash travis_before_install() { git submodule update --init --recursive } download_extract() { aria2c -x 16 $1 -o $2 tar -xf $2 } travis_install() { if [ "$CXX" = "g++" ]; then sudo apt-get install -qq g++-4.8 fi if [ "$PVS_ANALYZE" = "Yes" ]; then 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 pvs-studio \ libio-socket-ssl-perl \ libnet-ssleay-perl fi download_extract \ "https://cmake.org/files/v3.6/cmake-3.6.2-Linux-x86_64.tar.gz" \ cmake-3.6.2-Linux-x86_64.tar.gz } travis_script() { if [ -d cmake-3.6.2-Linux-x86_64 ]; then export PATH=$(pwd)/cmake-3.6.2-Linux-x86_64/bin:$PATH fi CMAKE_ARGS="-DHEADLESS=ON ${CMAKE_ARGS}" if [ "$PVS_ANALYZE" = "Yes" ]; then CMAKE_ARGS="-DCMAKE_EXPORT_COMPILE_COMMANDS=On ${CMAKE_ARGS}" fi cmake $CMAKE_ARGS CMakeLists.txt make } travis_after_success() { if [ "$PVS_ANALYZE" = "Yes" ]; then pvs-studio-analyzer credentials $PVS_USERNAME $PVS_KEY -o PVS-Studio.lic 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 fi } set -e set -x $1;

यह परिवर्तन रिपॉजिटरी में बदलाव को जोड़ने का समय है, और फिर ट्रैविस सीआई स्वचालित रूप से निर्माण शुरू कर देगा। रिपोर्ट बनाने के लिए "ppsspp" पर क्लिक करें:

हम वर्तमान बिल्ड का अवलोकन देखेंगे:

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

त्रुटियों का संक्षिप्त अवलोकन

हमने सबसे कठिन भाग को सफलतापूर्वक पूरा कर लिया है। आइए अब हम यह सुनिश्चित करें कि हमारे सभी प्रयासों को उचित ठहराया गया है। आइए स्थैतिक विश्लेषण रिपोर्ट से कुछ दिलचस्प बिंदुओं पर विचार करें जो मुझे मेल द्वारा आया था (यह कुछ भी नहीं है जो मैंने इसे निर्दिष्ट किया है)।

खतरनाक अनुकूलन

 void sha1( unsigned char *input, int ilen, unsigned char output[20] ) { sha1_context ctx; sha1_starts( &ctx ); sha1_update( &ctx, input, ilen ); sha1_finish( &ctx, output ); memset( &ctx, 0, sizeof( sha1_context ) ); }

PVS- स्टूडियो चेतावनी: V597 कंपाइलर 'मेमसेट' फंक्शन कॉल को डिलीट कर सकता है, जिसका उपयोग 'बफर' को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए RtlSecureZeroMemory () फ़ंक्शन का उपयोग किया जाना चाहिए। sha1.cpp 325

यह कोड टुकड़ा सुरक्षित हैशिंग मॉड्यूल में स्थित है, लेकिन इसमें एक गंभीर सुरक्षा दोष ( CWE-14 ) है। आइए असेंबलर लिस्टिंग पर विचार करें जो डीबग-संस्करण के संकलन के समय उत्पन्न होती है:

 ; Line 355 mov r8d, 20 xor edx, edx lea rcx, QWORD PTR sum$[rsp] call memset ; Line 356

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

 ; 354 : ; 355 : memset( sum, 0, sizeof( sum ) ); ; 356 :}

जैसा कि आप लिस्टिंग से देख सकते हैं, कंपाइलर ने मेमसेट की कॉल को नजरअंदाज कर दिया। यह इस तथ्य से संबंधित है कि sha1 फ़ंक्शन अब कॉलसेट संरचना को मेमसेट के बाद कॉल नहीं करता है । यही कारण है कि संकलक को भविष्य में उपयोग नहीं होने वाली ओवरराइटिंग मेमोरी पर प्रोसेसर समय बर्बाद करने में कोई मतलब नहीं दिखता है। आप इसे RtlSecureZeroMemory फ़ंक्शन या समान फ़ंक्शन का उपयोग करके ठीक कर सकते हैं।

अधिकार:

 void sha1( unsigned char *input, int ilen, unsigned char output[20] ) { sha1_context ctx; sha1_starts( &ctx ); sha1_update( &ctx, input, ilen ); sha1_finish( &ctx, output ); RtlSecureZeroMemory(&ctx, sizeof( sha1_context ) ); }

अनावश्यक तुलना

 static u32 sceAudioOutputPannedBlocking (u32 chan, int leftvol, int rightvol, u32 samplePtr) { int result = 0; // For some reason, this is the only one that checks for negative. if (leftvol > 0xFFFF || rightvol > 0xFFFF || leftvol < 0 || rightvol < 0) { .... } else { if (leftvol >= 0) { chans[chan].leftVolume = leftvol; } if (rightvol >= 0) { chans[chan].rightVolume = rightvol; } chans[chan].sampleAddress = samplePtr; result = __AudioEnqueue(chans[chan], chan, true); } }

PVS-Studio चेतावनी: V547 एक्सप्रेशन 'leftvol> = 0' हमेशा सत्य होता है। sceAudio.cpp 120

पहले के लिए दूसरी शाखा पर ध्यान दें । कोड को केवल तभी निष्पादित किया जाएगा जब सभी स्थितियां वामावर्त> 0xFFFFF || rightvol> 0xFFFF || वामवोल <० || rightvol <0 झूठे हैं। इसलिए, हमें निम्नलिखित कथन मिलते हैं जो अन्य शाखा के लिए सही होंगे: leftvol <= 0xFFFFF, rightvol <= 0xFFFFF, leftvol> = 0 और rightvol> = 0 । अंतिम दो कथनों पर ध्यान दें। क्या यह जांचना उचित है कि इस कोड के टुकड़े के निष्पादन की आवश्यक शर्त क्या है?

इसलिए हम शांति से इन सशर्त ऑपरेटरों को हटा सकते हैं:

 static u32 sceAudioOutputPannedBlocking (u32 chan, int leftvol, int rightvol, u32 samplePtr) { int result = 0; // For some reason, this is the only one that checks for negative. if (leftvol > 0xFFFF || rightvol > 0xFFFF || leftvol < 0 || rightvol < 0) { .... } else { chans[chan].leftVolume = leftvol; chans[chan].rightVolume = rightvol; chans[chan].sampleAddress = samplePtr; result = __AudioEnqueue(chans[chan], chan, true); } }

एक और परिदृश्य। इन अनावश्यक स्थितियों के पीछे कुछ त्रुटि है। शायद हमने जाँच की है कि क्या नहीं है जो हमें चाहिए ...

Ctrl + C Ctrl + V वापस आ जाता है

 static u32 scePsmfSetPsmf(u32 psmfStruct, u32 psmfData) { if (!Memory::IsValidAddress(psmfData) || !Memory::IsValidAddress(psmfData)) { return hleReportError(ME, SCE_KERNEL_ERROR_ILLEGAL_ADDRESS, "bad address"); } .... }

V501 समान उप-अभिव्यक्तियाँ हैं! मेमोरी :: IsValidAddress (psmfData) 'बाईं ओर और दाईं ओर' || ऑपरेटर। scePsmf.cpp 703

अगर अंदर जाँच हो तो नोट करें। क्या यह आपको अजीब नहीं लगता कि हम जाँच रहे हैं कि क्या psmfData पता दो बार के रूप में मान्य है? तो मुझे यह अजीब लगता है ... वास्तव में, हमारे सामने एक गलत धारणा है, ज़ाहिर है, और विचार दोनों इनपुट मापदंडों की जांच करना था।

सही प्रकार है:

 static u32 scePsmfSetPsmf(u32 psmfStruct, u32 psmfData) { if (!Memory::IsValidAddress(psmfStruct) || !Memory::IsValidAddress(psmfData)) { return hleReportError(ME, SCE_KERNEL_ERROR_ILLEGAL_ADDRESS, "bad address"); } .... }

भूल गया चर

 extern void ud_translate_att( int size = 0; .... if (size == 8) { ud_asmprintf(u, "b"); } else if (size == 16) { ud_asmprintf(u, "w"); } else if (size == 64) { ud_asmprintf(u, "q"); } .... }

PVS-Studio चेतावनी: V547 अभिव्यक्ति 'आकार == 8' हमेशा गलत है। syn-att.c 195

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

आकार चर को एक निरंतर के साथ आरंभीकृत किया जाता है, लेकिन इसका उपयोग कोड में बिल्कुल भी नहीं किया जाता है यदि ऑपरेटर जो निश्चित रूप से, स्थिति की जांच करते समय गलत जानकारी उत्पन्न करता है क्योंकि, जैसा कि हम याद करते हैं, आकार शून्य के बराबर है। बाद के चेक का कोई मतलब नहीं है।

जाहिर है, कोड टुकड़ा के लेखक उससे पहले आकार चर को लिखना भूल गया।

बंद करो

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

निष्कर्ष

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

PSP गेम कंसोल एमुलेटर के उदाहरण का उपयोग करके ट्रैविस CI में पीवीएस-स्टूडियो कैसे स्थापित करें