🥇 PSP गेम कन्सोल एमुलेटरचे उदाहरण वापरून ट्रॅव्हिस CI मध्ये PVS-Studio कसे कॉन्फिगर करावे

ट्रॅव्हिस सीआय ही सॉफ्टवेअर तयार करण्यासाठी आणि चाचणी करण्यासाठी एक वितरित वेब सेवा आहे जी GitHub ला स्त्रोत कोड होस्टिंग म्हणून वापरते. वरील ऑपरेटिंग परिस्थितींव्यतिरिक्त, आपण विस्तृत कॉन्फिगरेशन पर्यायांसाठी आपले स्वतःचे धन्यवाद जोडू शकता. या लेखात आम्ही PPSSPP कोड उदाहरण वापरून PVS-Studio सह काम करण्यासाठी Travis CI कॉन्फिगर करू.

परिचय

ट्रेविस सीआय सॉफ्टवेअर तयार करण्यासाठी आणि चाचणी करण्यासाठी एक वेब सेवा आहे. हे सहसा सतत एकत्रीकरण पद्धतींच्या संयोगाने वापरले जाते.

पीपीएसएसपीपी - PSP गेम कन्सोल एमुलेटर. प्रोग्राम सोनी पीएसपीसाठी असलेल्या डिस्क प्रतिमांमधून कोणत्याही गेमच्या लॉन्चचे अनुकरण करण्यास सक्षम आहे. हा कार्यक्रम 1 नोव्हेंबर 2012 रोजी प्रसिद्ध झाला. PPSSPP हा GPL v2 अंतर्गत परवानाकृत आहे. यामध्ये कोणीही सुधारणा करू शकतो प्रकल्प स्त्रोत कोड.

पीव्हीएस-स्टुडिओ - प्रोग्राम कोडमधील त्रुटी आणि संभाव्य भेद्यता शोधण्यासाठी एक स्थिर कोड विश्लेषक. या लेखात, बदलासाठी, आम्ही PVS-Studio ला डेव्हलपरच्या मशीनवर नाही तर क्लाउडमध्ये लॉन्च करू आणि PPSSPP मधील त्रुटी शोधू.

ट्रॅव्हिस सीआय सेट करत आहे

आम्हाला GitHub वर एक भांडार लागेल, जिथे आम्हाला आवश्यक असलेला प्रकल्प आहे, तसेच PVS-Studio साठी एक की (तुम्ही मिळवू शकता) चाचणी की किंवा मुक्त स्रोत प्रकल्पांसाठी विनामूल्य).

चला साइटवर जाऊया ट्रेविस सीआय. तुमचे GitHub खाते वापरून अधिकृत केल्यानंतर, आम्ही भांडारांची सूची पाहू:

चाचणीसाठी, मी PPSSPP फोर्क केला.

आम्ही संग्रहित करू इच्छित रेपॉजिटरी सक्रिय करतो:

या क्षणी, ट्रॅव्हिस सीआय आमचा प्रकल्प बांधू शकत नाही कारण इमारतीच्या कोणत्याही सूचना नाहीत. त्यामुळे कॉन्फिगरेशनची वेळ आली आहे.

विश्लेषणादरम्यान, काही व्हेरिएबल्स आमच्यासाठी उपयुक्त असतील, उदाहरणार्थ, PVS-Studio ची की, जी कॉन्फिगरेशन फाइलमध्ये निर्दिष्ट करणे अवांछित असेल. तर ट्रॅव्हिस सीआय मधील बिल्ड सेटिंग्ज वापरून पर्यावरण व्हेरिएबल्स जोडूया:

आम्हाला आवश्यक असेलः

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

ट्रॅव्हिस सीआय तुम्हाला व्हर्च्युअल मशीनच्या आयुष्यातील विविध टप्प्यांसाठी तुमच्या स्वतःच्या कमांड्स जोडण्याची परवानगी देते. विभाग आधी_स्थापित करा पॅकेजेस स्थापित करण्यापूर्वी अंमलात आणले. मग स्थापित करा, जे सूचीमधून पॅकेजेसच्या स्थापनेचे अनुसरण करते addons.aptजे आम्ही वर सूचित केले आहे. विधानसभा स्वतः मध्ये स्थान घेते स्क्रिप्ट. जर सर्व काही ठीक झाले तर आपण स्वतःला त्यात सापडतो यशानंतर (या विभागात आम्ही स्थिर विश्लेषण चालवू). हे सर्व टप्पे नाहीत ज्यात बदल करता येतील, जर तुम्हाला आणखी गरज असेल तर तुम्ही आत पहा ट्रॅव्हिस सीआय दस्तऐवजीकरण.

वाचन सुलभतेसाठी, आज्ञा वेगळ्या स्क्रिप्टमध्ये ठेवल्या गेल्या .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

पॅकेजेस स्थापित करण्यापूर्वी, आम्ही सबमॉड्यूल अद्यतनित करू. PPSSPP तयार करण्यासाठी हे आवश्यक आहे. मध्ये पहिले फंक्शन जोडू .travis.sh (विस्तार लक्षात ठेवा):

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

आता आम्ही Travis CI मध्ये PVS-Studio चे स्वयंचलित लाँच सेट करण्यासाठी थेट आलो आहोत. प्रथम आम्हाला सिस्टमवर पीव्हीएस-स्टुडिओ पॅकेज स्थापित करणे आवश्यक आहे:

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-स्टुडिओ. या व्यतिरिक्त, पॅकेजेस देखील सूचित केले आहेत libio-सॉकेट-ssl-perl и libnet-ssleay-perl, तथापि, ते मेलिंग परिणामांसाठी आवश्यक आहेत, म्हणून जर तुम्ही तुमचा अहवाल वितरित करण्यासाठी दुसरी पद्धत निवडली असेल तर ते आवश्यक नाहीत.

कार्य 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 संकलन आदेश निर्यात करण्यासाठी ध्वज. स्थिर कोड विश्लेषकासाठी हे आवश्यक आहे. आपण लेखात याबद्दल अधिक वाचू शकता "Linux आणि macOS वर PVS-Studio कसे चालवायचे".

जर विधानसभा यशस्वी झाली, तर आम्हाला मिळेल यशानंतर, जेथे आम्ही स्थिर विश्लेषण करतो:

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 [email protected] 
              -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

प्रथम ओळ वापरकर्तानाव आणि की पासून एक परवाना फाइल व्युत्पन्न करते जी आम्ही Travis CI पर्यावरण व्हेरिएबल्स सेट करताना अगदी सुरुवातीला निर्दिष्ट केली होती.

दुसरी ओळ थेट विश्लेषण सुरू करते. झेंडा -जे विश्लेषण, ध्वजासाठी थ्रेड्सची संख्या सेट करते -l परवाना, ध्वज सूचित करते -ओ लॉग आउटपुट करण्यासाठी फाइल आणि ध्वज परिभाषित करते -अक्षम परवाना समाप्ती तपासणी डीफॉल्टनुसार, चाचणी आवृत्त्यांसाठी आवश्यक pvs-स्टुडिओ-विश्लेषक वापरकर्त्याला चेतावणी देईल की परवाना कालबाह्य होणार आहे. हे होण्यापासून रोखण्यासाठी, तुम्ही हा ध्वज निर्दिष्ट करू शकता.

लॉग फाइलमध्ये कच्चे आउटपुट आहे जे रूपांतरणाशिवाय वाचले जाऊ शकत नाही, म्हणून तुम्ही प्रथम फाइल वाचनीय बनवणे आवश्यक आहे. चला लॉग पास करूया 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 [email protected] 
              -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

सर्व काही क्रमाने आणि कार्य आहे मेमसेट कार्यान्वित केले जाते, त्याद्वारे RAM मधील महत्वाचा डेटा अधिलिखित केला जातो, तथापि, अद्याप आनंदित होऊ नका. ऑप्टिमायझेशनसह रिलीझ आवृत्तीची असेंबली सूची पाहू:

; 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-स्टुडिओ चेतावणी: V547 अभिव्यक्ती 'leftvol >= 0' नेहमी सत्य असते. sceAudio.cpp 120

प्रथम दुसऱ्या शाखेकडे लक्ष द्या if. सर्व अटी पूर्ण केल्या तरच कोड कार्यान्वित केला जाईल leftvol > 0xFFFF || rightvol > 0xFFFF || लेफ्टव्होल < 0 || राइटवॉल < 0 खोटे ठरेल. म्हणून, आम्हाला खालील विधाने मिळतात, जी इतर शाखेसाठी सत्य असतील: leftvol <= 0xFFFF, rightvol <= 0xFFFF, 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 '||' च्या डावीकडे आणि उजवीकडे '!Memory::IsValidAddress(psmfData)' समान उप-अभिव्यक्ती आहेत. ऑपरेटर scePsmf.cpp 703

आत चेककडे लक्ष द्या if. पत्ता वैध आहे की नाही हे आम्ही तपासणे हे विचित्र आहे असे तुम्हाला वाटत नाही का? psmf डेटा, दुप्पट? त्यामुळे हे मला विचित्र वाटते... खरं तर, हे अर्थातच एक टायपो आहे, आणि दोन्ही इनपुट पॅरामीटर्स तपासण्याची कल्पना होती.

योग्य पर्याय:

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-स्टुडिओ चेतावणी: V547 अभिव्यक्ती 'आकार == 8' नेहमी असत्य असते. syn-att.c 195

ही त्रुटी फोल्डरमध्ये आहे ext, त्यामुळे प्रकल्पाशी खरोखर संबंधित नाही, परंतु बग माझ्या लक्षात येण्यापूर्वीच सापडला होता, म्हणून मी तो सोडण्याचा निर्णय घेतला. शेवटी, हा लेख त्रुटींचे पुनरावलोकन करण्याबद्दल नाही, परंतु ट्रॅव्हिस सीआय सह एकत्रीकरणाबद्दल आहे आणि विश्लेषकाचे कोणतेही कॉन्फिगरेशन केले गेले नाही.

चल आकार एका स्थिरांकाने आरंभ केला जातो, तथापि, तो कोडमध्ये अजिबात वापरला जात नाही, थेट ऑपरेटरपर्यंत if, जे, अर्थातच, देते खोटे परिस्थिती तपासताना, कारण, जसे आपल्याला आठवते, आकार शून्याच्या बरोबरीचे. त्यानंतरच्या तपासण्यांनाही काही अर्थ नाही.

वरवर पाहता, कोड फ्रॅगमेंटचा लेखक व्हेरिएबल ओव्हरराईट करण्यास विसरला आकार त्यापूर्वी.

थांबा

इथेच आपण कदाचित चुका संपवू. या लेखाचा उद्देश PVS-Studio चे Travis CI सह एकत्रितपणे काम दाखवणे आणि प्रकल्पाचे शक्य तितके पूर्ण विश्लेषण न करणे हा आहे. जर तुम्हाला मोठ्या आणि अधिक सुंदर चुका हव्या असतील तर तुम्ही त्यांची नेहमी प्रशंसा करू शकता येथे :).

निष्कर्ष

वाढीव विश्लेषणाच्या सरावासह प्रकल्प तयार करण्यासाठी वेब सेवा वापरणे कोड विलीन केल्यानंतर लगेचच अनेक समस्या शोधू देते. तथापि, एक बिल्ड पुरेसे असू शकत नाही, म्हणून स्थिर विश्लेषणासह चाचणी सेट करणे कोडच्या गुणवत्तेत लक्षणीय सुधारणा करेल.

उपयुक्त दुवे

जर तुम्हाला हा लेख इंग्रजी भाषिक प्रेक्षकांसह सामायिक करायचा असेल तर कृपया भाषांतर दुवा वापरा: Maxim Zvyagintsev. पीएसपी गेम कन्सोल एमुलेटरचे उदाहरण वापरून ट्रॅव्हिस सीआयमध्ये पीव्हीएस-स्टुडिओ कसा सेट करायचा.

स्त्रोत: www.habr.com

पीएसपी गेम कन्सोल एमुलेटरचे उदाहरण वापरून ट्रॅव्हिस सीआयमध्ये पीव्हीएस-स्टुडिओ कसे कॉन्फिगर करावे