ວິທີການຕັ້ງຄ່າ PVS-Studio ໃນ Travis CI ໂດຍໃຊ້ຕົວຢ່າງຂອງເຄື່ອງຫຼີ້ນເກມ PSP emulator

Travis CI ເປັນບໍລິການເວັບໄຊຕ໌ທີ່ແຈກຢາຍສໍາລັບການກໍ່ສ້າງແລະການທົດສອບຊອບແວທີ່ໃຊ້ GitHub ເປັນເຈົ້າພາບລະຫັດແຫຼ່ງ. ນອກເຫນືອໄປຈາກສະຖານະການປະຕິບັດງານຂ້າງເທິງ, ທ່ານສາມາດເພີ່ມຄວາມຂອບໃຈຂອງທ່ານເອງກັບຕົວເລືອກການຕັ້ງຄ່າທີ່ກວ້າງຂວາງ. ໃນບົດຄວາມນີ້ພວກເຮົາຈະ configure Travis CI ເຮັດວຽກກັບ PVS-Studio ໂດຍໃຊ້ຕົວຢ່າງລະຫັດ PPSSPP.

ການນໍາສະເຫນີ

Travis C.I. ເປັນບໍລິການເວັບໄຊຕ໌ສໍາລັບການກໍ່ສ້າງແລະການທົດສອບຊອບແວ. ປົກກະຕິແລ້ວມັນຖືກນໍາໃຊ້ຮ່ວມກັນກັບການປະຕິບັດການເຊື່ອມໂຍງຢ່າງຕໍ່ເນື່ອງ.

PPSSPP - emulator ເກມ PSP. ໂຄງ​ການ​ດັ່ງ​ກ່າວ​ແມ່ນ​ສາ​ມາດ​ເຮັດ​ຕາມ​ການ​ເປີດ​ຕົວ​ຂອງ​ເກມ​ໃດ​ຫນຶ່ງ​ຈາກ​ຮູບ​ພາບ​ແຜ່ນ​ສໍາ​ລັບ Sony PSP​. ໂຄງ​ການ​ດັ່ງ​ກ່າວ​ໄດ້​ຖືກ​ປ່ອຍ​ອອກ​ມາ​ເມື່ອ​ເດືອນ​ພະ​ຈິກ 1​, 2012​. PPSSPP ໄດ້ຮັບອະນຸຍາດພາຍໃຕ້ GPL v2. ທຸກຄົນສາມາດປັບປຸງ ລະຫັດແຫຼ່ງໂຄງການ.

PVS Studio — ເຄື່ອງວິເຄາະລະຫັດຄົງທີ່ເພື່ອຄົ້ນຫາຄວາມຜິດພາດ ແລະ ຊ່ອງໂຫວ່ທີ່ອາດຈະເກີດຂຶ້ນໃນລະຫັດໂປຣແກຣມ. ໃນບົດຄວາມນີ້, ສໍາລັບການປ່ຽນແປງ, ພວກເຮົາຈະເປີດຕົວ PVS-Studio ບໍ່ໄດ້ຢູ່ໃນເຄື່ອງຂອງນັກພັດທະນາ, ແຕ່ຢູ່ໃນເມຄ, ແລະຊອກຫາຂໍ້ຜິດພາດໃນ PPSSPP.

ການຕັ້ງຄ່າ Travis CI

ພວກເຮົາຈະຕ້ອງການບ່ອນເກັບມ້ຽນໃນ GitHub, ບ່ອນທີ່ໂຄງການທີ່ພວກເຮົາຕ້ອງການຕັ້ງຢູ່, ເຊັ່ນດຽວກັນກັບກະແຈສໍາລັບ PVS-Studio (ທ່ານສາມາດໄດ້ຮັບ. ກະແຈທົດລອງ ຫຼື ຟຣີສໍາລັບໂຄງການ Open Source).

ໃຫ້ຂອງໄປຫາເວັບໄຊ Travis C.I.. ຫຼັງຈາກການອະນຸຍາດໃຫ້ໃຊ້ບັນຊີ GitHub ຂອງທ່ານ, ພວກເຮົາຈະເຫັນບັນຊີລາຍຊື່ຂອງ repositories:

ສໍາລັບການທົດສອບ, ຂ້າພະເຈົ້າໄດ້ forked PPSSPP.

ພວກເຮົາເປີດໃຊ້ repository ທີ່ພວກເຮົາຕ້ອງການເກັບກໍາ:

ໃນປັດຈຸບັນ, Travis CI ບໍ່ສາມາດສ້າງໂຄງການຂອງພວກເຮົາໄດ້ເພາະວ່າບໍ່ມີຄໍາແນະນໍາສໍາລັບການກໍ່ສ້າງ. ສະນັ້ນມັນເຖິງເວລາສໍາລັບການຕັ້ງຄ່າ.

ໃນລະຫວ່າງການວິເຄາະ, ບາງຕົວແປຈະເປັນປະໂຫຍດຕໍ່ພວກເຮົາ, ຕົວຢ່າງ, ກຸນແຈສໍາລັບ PVS-Studio, ເຊິ່ງອາດຈະບໍ່ຕ້ອງການທີ່ຈະລະບຸໄວ້ໃນໄຟລ໌ການຕັ້ງຄ່າ. ສະນັ້ນໃຫ້ເພີ່ມຕົວແປສະພາບແວດລ້ອມໂດຍໃຊ້ການຕັ້ງຄ່າການກໍ່ສ້າງໃນ Travis CI:

ພວກເຮົາຈະຕ້ອງການ:

• PVS_USERNAME - ຊື່ຜູ້ໃຊ້
• PVS_KEY - ກະແຈ
• MAIL_USER - ອີເມວທີ່ຈະໃຊ້ເພື່ອສົ່ງລາຍງານ
• MAIL_PASSWORD - ລະຫັດຜ່ານອີເມວ

ສອງອັນສຸດທ້າຍແມ່ນທາງເລືອກ. ສິ່ງເຫຼົ່ານີ້ຈະຖືກໃຊ້ເພື່ອສົ່ງຜົນໄດ້ຮັບທາງໄປສະນີ. ຖ້າທ່ານຕ້ອງການແຈກຢາຍບົດລາຍງານໃນທາງອື່ນ, ທ່ານບໍ່ຈໍາເປັນຕ້ອງຊີ້ບອກພວກເຂົາ.

ດັ່ງນັ້ນ, ພວກເຮົາໄດ້ເພີ່ມຕົວແປສະພາບແວດລ້ອມທີ່ພວກເຮົາຕ້ອງການ:

ໃນປັດຈຸບັນໃຫ້ພວກເຮົາສ້າງໄຟລ໌ .travis.yml ແລະວາງໄວ້ໃນຮາກຂອງໂຄງການ. PPSSPP ມີໄຟລ໌ການຕັ້ງຄ່າສໍາລັບ Travis CI ແລ້ວ, ຢ່າງໃດກໍຕາມ, ມັນມີຂະຫນາດໃຫຍ່ເກີນໄປແລະບໍ່ເຫມາະສົມສໍາລັບຕົວຢ່າງ, ດັ່ງນັ້ນພວກເຮົາຕ້ອງເຮັດໃຫ້ມັນງ່າຍດາຍຫຼາຍແລະປ່ອຍໃຫ້ພຽງແຕ່ອົງປະກອບພື້ນຖານ.

ກ່ອນອື່ນ, ໃຫ້ຊີ້ບອກພາສາ, ເວີຊັນຂອງ Ubuntu Linux ທີ່ພວກເຮົາຕ້ອງການໃຊ້ໃນເຄື່ອງ virtual, ແລະຊຸດທີ່ຈໍາເປັນສໍາລັບການກໍ່ສ້າງ:

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

ເພີ່ມເຕີມເລັກນ້ອຍກ່ຽວກັບພາກສ່ວນ matrix. ໃນ Travis CI, ມີສອງວິທີທີ່ຈະສ້າງທາງເລືອກໃນການກໍ່ສ້າງ: ທໍາອິດແມ່ນກໍານົດບັນຊີລາຍຊື່ຂອງ compilers, ປະເພດຂອງລະບົບປະຕິບັດການ, ຕົວແປສະພາບແວດລ້ອມ, ແລະອື່ນໆ, ຫຼັງຈາກນັ້ນ matrix ຂອງການປະສົມປະສານທີ່ເປັນໄປໄດ້ທັງຫມົດແມ່ນຖືກສ້າງຂຶ້ນ; ອັນທີສອງແມ່ນຕົວຊີ້ບອກຢ່າງຈະແຈ້ງຂອງມາຕຣິກເບື້ອງ. ແນ່ນອນ, ທ່ານສາມາດສົມທົບສອງວິທີການເຫຼົ່ານີ້ແລະເພີ່ມກໍລະນີທີ່ເປັນເອກະລັກ, ຫຼື, ໃນທາງກົງກັນຂ້າມ, ຍົກເວັ້ນມັນໂດຍໃຊ້ພາກ. ຍົກເວັ້ນ. ທ່ານສາມາດອ່ານເພີ່ມເຕີມກ່ຽວກັບເລື່ອງນີ້ໃນ ເອກະສານ Travis 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

Travis CI ຊ່ວຍໃຫ້ທ່ານສາມາດເພີ່ມຄໍາສັ່ງຂອງທ່ານເອງສໍາລັບຂັ້ນຕອນຕ່າງໆຂອງຊີວິດຂອງເຄື່ອງ virtual. ພາກ before_install ປະຕິບັດກ່ອນທີ່ຈະຕິດຕັ້ງແພັກເກດ. ຈາກນັ້ນ ການຕິດຕັ້ງ, ເຊິ່ງປະຕິບັດຕາມການຕິດຕັ້ງຊຸດຈາກບັນຊີລາຍຊື່ addons.aptທີ່ພວກເຮົາຊີ້ໃຫ້ເຫັນຂ້າງເທິງ. ການຊຸມນຸມຕົວມັນເອງໃຊ້ເວລາສະຖານທີ່ໃນ script. ຖ້າ​ຫາກ​ວ່າ​ທຸກ​ສິ່ງ​ທຸກ​ຢ່າງ​ເປັນ​ໄປ​ໄດ້​ດີ, ຫຼັງ​ຈາກ​ນັ້ນ​ພວກ​ເຮົາ​ຊອກ​ຫາ​ຕົວ​ເຮົາ​ເອງ​ໃນ after_success (ມັນຢູ່ໃນພາກນີ້ທີ່ພວກເຮົາຈະດໍາເນີນການວິເຄາະ static). ເຫຼົ່ານີ້ແມ່ນບໍ່ແມ່ນຂັ້ນຕອນທັງຫມົດທີ່ສາມາດແກ້ໄຂໄດ້, ຖ້າທ່ານຕ້ອງການເພີ່ມເຕີມ, ຫຼັງຈາກນັ້ນທ່ານຄວນເບິ່ງໃນ ເອກະສານ Travis CI.

ເພື່ອຄວາມງ່າຍຂອງການອ່ານ, ຄໍາສັ່ງໄດ້ຖືກຈັດໃສ່ໃນ script ແຍກຕ່າງຫາກ .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

ກ່ອນທີ່ຈະຕິດຕັ້ງແພັກເກັດ, ພວກເຮົາຈະປັບປຸງ submodules. ອັນ​ນີ້​ແມ່ນ​ຈຳ​ເປັນ​ເພື່ອ​ສ້າງ PPSSPP. ໃຫ້ເພີ່ມຫນ້າທີ່ທໍາອິດໃສ່ .travis.sh (ຫມາຍ​ເຫດ​ການ​ຂະ​ຫຍາຍ​)​:

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

ໃນປັດຈຸບັນພວກເຮົາມາໂດຍກົງກັບການຕັ້ງຄ່າການເປີດຕົວອັດຕະໂນມັດຂອງ PVS-Studio ໃນ 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 ພວກເຮົາຕິດຕັ້ງ compilers ທີ່ພວກເຮົາຕ້ອງການໂດຍໃຊ້ຕົວແປສະພາບແວດລ້ອມ. ຫຼັງຈາກນັ້ນ, ຖ້າຕົວແປ $PVS_ANALYZE ເກັບຮັກສາມູນຄ່າ ແມ່ນ​ແລ້ວ (ພວກເຮົາຊີ້ໃຫ້ເຫັນມັນຢູ່ໃນພາກ ປະມານ ໃນ​ລະ​ຫວ່າງ​ການ​ສ້າງ​ການ​ຕັ້ງ​ຄ່າ matrix​)​, ພວກ​ເຮົາ​ຕິດ​ຕັ້ງ​ຊຸດ​ pvs-studio. ນອກ​ຈາກ​ນີ້​, ການ​ຫຸ້ມ​ຫໍ່​ຍັງ​ໄດ້​ລະ​ບຸ​ໄວ້​ libio-socket-ssl-perl и libnet-ssleay-perlຢ່າງໃດກໍຕາມ, ພວກເຂົາເຈົ້າແມ່ນຕ້ອງການສໍາລັບຜົນໄດ້ຮັບທາງໄປສະນີ, ດັ່ງນັ້ນເຂົາເຈົ້າບໍ່ຈໍາເປັນຖ້າຫາກວ່າທ່ານໄດ້ເລືອກວິທີການອື່ນສໍາລັບການສົ່ງບົດລາຍງານຂອງທ່ານ.

ການທໍາງານຂອງ download_extract ດາວ​ໂຫຼດ​ແລະ unpacks ການ​ເກັບ​ກໍາ​ນົດ​ໄວ້​:

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

ມັນເຖິງເວລາທີ່ຈະວາງໂຄງການຮ່ວມກັນ. ນີ້ເກີດຂຶ້ນໃນພາກ script:

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

ໃນສ່ວນຂອງລະຫັດນີ້ພວກເຮົາກໍານົດສໍາລັບ ຊັງຕີແມັດ ທຸງສໍາລັບການສົ່ງອອກຄໍາສັ່ງການລວບລວມ. ນີ້ແມ່ນມີຄວາມຈໍາເປັນສໍາລັບການວິເຄາະລະຫັດຄົງທີ່. ທ່ານສາມາດອ່ານເພີ່ມເຕີມກ່ຽວກັບເລື່ອງນີ້ໃນບົດຄວາມ "ວິທີການດໍາເນີນການ PVS-Studio ໃນ Linux ແລະ macOS"

ຖ້າການຊຸມນຸມສົບຜົນສໍາເລັດ, ຫຼັງຈາກນັ້ນພວກເຮົາໄປ after_success, ບ່ອນທີ່ພວກເຮົາປະຕິບັດການວິເຄາະ static:

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.

ເສັ້ນທີສອງເລີ່ມຕົ້ນການວິເຄາະໂດຍກົງ. ທຸງ -j ກໍານົດຈໍານວນຂອງກະທູ້ສໍາລັບການວິເຄາະ, ທຸງ -l ຊີ້ບອກໃບອະນຸຍາດ, ທຸງ -o ກໍານົດໄຟລ໌ສໍາລັບການສົ່ງອອກບັນທຶກ, ແລະທຸງ -ປິດ​ການ​ກວດ​ສອບ​ການ​ຫມົດ​ອາ​ຍຸ​ໃບ​ອະ​ນຸ​ຍາດ​ ຕ້ອງການສໍາລັບການສະບັບທົດລອງ, ນັບຕັ້ງແຕ່ໂດຍຄ່າເລີ່ມຕົ້ນ pvs-studio-analyzer ຈະເຕືອນຜູ້ໃຊ້ວ່າໃບອະນຸຍາດກໍາລັງຈະຫມົດອາຍຸ. ເພື່ອປ້ອງກັນບໍ່ໃຫ້ເຫດການນີ້ເກີດຂຶ້ນ, ທ່ານສາມາດກໍານົດທຸງນີ້.

ໄຟລ໌ບັນທຶກມີຜົນຜະລິດດິບທີ່ບໍ່ສາມາດອ່ານໄດ້ໂດຍບໍ່ມີການປ່ຽນໃຈເຫລື້ອມໃສ, ດັ່ງນັ້ນກ່ອນອື່ນ ໝົດ ທ່ານຕ້ອງເຮັດໃຫ້ໄຟລ໌ສາມາດອ່ານໄດ້. ຂໍໃຫ້ຜ່ານບັນທຶກຜ່ານ ຕົວແປງສັນຍານ, ແລະຜົນຜະລິດແມ່ນໄຟລ໌ html.

ໃນຕົວຢ່າງນີ້, ຂ້າພະເຈົ້າໄດ້ຕັດສິນໃຈສົ່ງບົດລາຍງານທາງໄປສະນີໂດຍໃຊ້ຄໍາສັ່ງ mailemail.

ດັ່ງນັ້ນ, ພວກເຮົາໄດ້ຮັບໄຟລ໌ດັ່ງຕໍ່ໄປນີ້ .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;

ໃນປັດຈຸບັນມັນເຖິງເວລາທີ່ຈະຍູ້ການປ່ຽນແປງກັບ git repository, ຫຼັງຈາກນັ້ນ Travis CI ຈະດໍາເນີນການກໍ່ສ້າງໂດຍອັດຕະໂນມັດ. ໃຫ້ຄລິກໃສ່ "ppsspp" ເພື່ອໄປຫາບົດລາຍງານການກໍ່ສ້າງ:

ພວກເຮົາຈະເຫັນພາບລວມຂອງການກໍ່ສ້າງໃນປະຈຸບັນ:

ຖ້າການກໍ່ສ້າງໄດ້ຖືກສໍາເລັດຢ່າງສໍາເລັດຜົນ, ພວກເຮົາຈະໄດ້ຮັບອີເມວທີ່ມີຜົນຂອງການວິເຄາະສະຖິດ. ແນ່ນອນ, ທາງໄປສະນີບໍ່ແມ່ນວິທີດຽວທີ່ຈະໄດ້ຮັບບົດລາຍງານ. ທ່ານສາມາດເລືອກວິທີການປະຕິບັດໃດໆ. ແຕ່ມັນເປັນສິ່ງສໍາຄັນທີ່ຈະຈື່ຈໍາວ່າຫຼັງຈາກການກໍ່ສ້າງສໍາເລັດ, ມັນຈະບໍ່ສາມາດເຂົ້າເຖິງໄຟລ໌ virtual machine ໄດ້.

ສະຫຼຸບຄວາມຜິດພາດ

ພວກເຮົາໄດ້ປະສົບຜົນສໍາເລັດໃນສ່ວນທີ່ຍາກທີ່ສຸດ. ບັດ​ນີ້​ໃຫ້​ແນ່​ໃຈ​ວ່າ​ຄວາມ​ພະ​ຍາ​ຍາມ​ທັງ​ໝົດ​ຂອງ​ພວກ​ເຮົາ​ຄຸ້ມ​ຄ່າ. ໃຫ້ເບິ່ງບາງຈຸດທີ່ຫນ້າສົນໃຈຈາກບົດລາຍງານການວິເຄາະ static ທີ່ເຂົ້າມາຫາຂ້ອຍທາງໄປສະນີ (ມັນບໍ່ແມ່ນສໍາລັບສິ່ງທີ່ຂ້ອຍຊີ້ບອກມັນ).

ການເພີ່ມປະສິດທິພາບອັນຕະລາຍ

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-Studio: V597 compiler ສາມາດລຶບການເອີ້ນຟັງຊັນ 'memset', ເຊິ່ງໃຊ້ເພື່ອ flush buffer 'sum'. ຟັງຊັນ RtlSecureZeroMemory() ຄວນຖືກໃຊ້ເພື່ອລຶບຂໍ້ມູນສ່ວນຕົວ. sha1.cpp 325

ຊິ້ນສ່ວນຂອງລະຫັດນີ້ແມ່ນຢູ່ໃນໂມດູນ hashing ທີ່ປອດໄພ, ຢ່າງໃດກໍຕາມ, ມັນມີຂໍ້ບົກພ່ອງດ້ານຄວາມປອດໄພທີ່ຮ້າຍແຮງ (CWE-14). ລອງເບິ່ງລາຍການປະກອບທີ່ສ້າງຂຶ້ນເມື່ອລວບລວມສະບັບ Debug:

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

ທຸກສິ່ງທຸກຢ່າງແມ່ນຢູ່ໃນຄໍາສັ່ງແລະຫນ້າທີ່ ບັນທຶກໄວ້ ໄດ້ຖືກປະຕິບັດ, ດັ່ງນັ້ນການຂຽນທັບຂໍ້ມູນທີ່ສໍາຄັນໃນ RAM, ແນວໃດກໍ່ຕາມ, ບໍ່ປິຕິຍິນດີເທື່ອ. ລອງເບິ່ງລາຍການປະກອບຂອງລຸ້ນ Release ດ້ວຍການເພີ່ມປະສິດທິພາບ:

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

ດັ່ງທີ່ເຫັນໄດ້ຈາກລາຍຊື່, ຜູ້ລວບລວມຂໍ້ມູນບໍ່ສົນໃຈການໂທ ບັນທຶກໄວ້. ນີ້ແມ່ນເນື່ອງມາຈາກຄວາມຈິງທີ່ວ່າໃນຫນ້າທີ່ sha1 ຫຼັງ​ຈາກ​ການ​ໂທ​ ບັນທຶກໄວ້ ບໍ່ມີການອ້າງອີງໂຄງສ້າງອີກຕໍ່ໄປ ctx. ດັ່ງນັ້ນ, compiler ບໍ່ເຫັນຈຸດທີ່ຈະເສຍເວລາຂອງໂປເຊດເຊີທີ່ຈະຂຽນທັບຫນ່ວຍຄວາມຈໍາທີ່ບໍ່ໄດ້ໃຊ້ໃນອະນາຄົດ. ທ່ານສາມາດແກ້ໄຂນີ້ໄດ້ໂດຍການໃຊ້ຟັງຊັນ 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

ເອົາໃຈໃສ່ກັບສາຂາອື່ນສໍາລັບຄັ້ງທໍາອິດ if. ລະຫັດຈະຖືກປະຕິບັດພຽງແຕ່ຖ້າເງື່ອນໄຂທັງຫມົດ ຊ້າຍvol > 0xFFFF || ສິດvol > 0xFFFF || ຊ້າຍvol < 0 || ສິດvol < 0 ຈະກາຍເປັນທີ່ບໍ່ຖືກຕ້ອງ. ດັ່ງນັ້ນ, ພວກເຮົາໄດ້ຮັບຄໍາຖະແຫຼງຕໍ່ໄປນີ້, ເຊິ່ງຈະເປັນຄວາມຈິງສໍາລັບສາຂາອື່ນ: leftvol <= 0xFFFF, ສິດvol <= 0xFFFF, ຊ້າຍvol >= 0 и ສິດvol >= 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. ທ່ານຄິດວ່າມັນເປັນເລື່ອງແປກບໍທີ່ພວກເຮົາຈະກວດເບິ່ງວ່າທີ່ຢູ່ນັ້ນຖືກຕ້ອງບໍ? 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 ການສະແດງອອກ 'size == 8' ແມ່ນຜິດສະເໝີ. syn-att.c 195

ຂໍ້ຜິດພາດນີ້ແມ່ນຢູ່ໃນໂຟນເດີ ext, ດັ່ງນັ້ນບໍ່ກ່ຽວຂ້ອງກັບໂຄງການຢ່າງແທ້ຈິງ, ແຕ່ແມງໄມ້ໄດ້ຖືກພົບເຫັນກ່ອນທີ່ຂ້ອຍຈະສັງເກດເຫັນມັນ, ດັ່ງນັ້ນຂ້ອຍຈຶ່ງຕັດສິນໃຈອອກຈາກມັນ. ຫຼັງຈາກທີ່ທັງຫມົດ, ບົດຄວາມນີ້ບໍ່ແມ່ນກ່ຽວກັບການທົບທວນຄວາມຜິດພາດ, ແຕ່ກ່ຽວກັບການເຊື່ອມໂຍງກັບ Travis CI, ແລະບໍ່ມີການຕັ້ງຄ່າຂອງຕົວວິເຄາະໄດ້ຖືກປະຕິບັດ.

ຕົວປ່ຽນແປງ ຂະຫນາດ ແມ່ນເລີ່ມຕົ້ນໂດຍຄ່າຄົງທີ່, ແນວໃດກໍ່ຕາມ, ມັນບໍ່ໄດ້ຖືກນໍາໃຊ້ຢູ່ໃນລະຫັດທັງຫມົດ, ລົງໄປຫາຕົວປະຕິບັດການ if, ທີ່, ແນ່ນອນ, ໃຫ້ ທີ່ບໍ່ຖືກຕ້ອງ ໃນຂະນະທີ່ກວດເບິ່ງເງື່ອນໄຂ, ເພາະວ່າ, ດັ່ງທີ່ພວກເຮົາຈື່, ຂະຫນາດ ເທົ່າກັບສູນ. ການກວດສອບຕໍ່ມາກໍ່ບໍ່ມີຄວາມຫມາຍ.

ປາກົດຂື້ນ, ຜູ້ຂຽນຂອງຊິ້ນສ່ວນລະຫັດລືມຂຽນທັບຕົວແປ ຂະຫນາດ ກ່ອນນັ້ນ.

ຢຸດ

ນີ້ແມ່ນບ່ອນທີ່ພວກເຮົາອາດຈະສິ້ນສຸດດ້ວຍຄວາມຜິດພາດ. ຈຸດປະສົງຂອງບົດຄວາມນີ້ແມ່ນເພື່ອສະແດງໃຫ້ເຫັນເຖິງການເຮັດວຽກຂອງ PVS-Studio ຮ່ວມກັນກັບ Travis CI, ແລະບໍ່ແມ່ນການວິເຄາະໂຄງການຢ່າງລະອຽດເທົ່າທີ່ເປັນໄປໄດ້. ຖ້າທ່ານຕ້ອງການຄວາມຜິດພາດທີ່ໃຫຍ່ກວ່າແລະສວຍງາມ, ທ່ານສາມາດຊົມເຊີຍພວກເຂົາສະເຫມີ ທີ່ນີ້ :).

ສະຫລຸບ

ການນໍາໃຊ້ການບໍລິການເວັບໄຊຕ໌ເພື່ອສ້າງໂຄງການຮ່ວມກັນກັບການປະຕິບັດການວິເຄາະທີ່ເພີ່ມຂຶ້ນຊ່ວຍໃຫ້ທ່ານສາມາດພົບບັນຫາຫຼາຍຢ່າງທັນທີຫຼັງຈາກການລວມລະຫັດ. ຢ່າງໃດກໍ່ຕາມ, ການກໍ່ສ້າງຫນຶ່ງອາດຈະບໍ່ພຽງພໍ, ດັ່ງນັ້ນການຕິດຕັ້ງການທົດສອບພ້ອມກັບການວິເຄາະແບບຄົງທີ່ຈະຊ່ວຍປັບປຸງຄຸນນະພາບຂອງລະຫັດຢ່າງຫຼວງຫຼາຍ.

ການເຊື່ອມຕໍ່ທີ່ເປັນປະໂຫຍດ

• ເປີດຕົວ PVS-Studio ໃນ Linux ແລະ macOS
• ເປີດຕົວ PVS-Studio ໃນ Docker
• ເອກະສານ Travis CI

ຖ້າທ່ານຕ້ອງການແບ່ງປັນບົດຄວາມນີ້ກັບຜູ້ຊົມທີ່ເວົ້າພາສາອັງກິດ, ກະລຸນາໃຊ້ການເຊື່ອມຕໍ່ການແປພາສາ: Maxim Zvyagintsev. ວິທີການຕັ້ງຄ່າ PVS-Studio ໃນ Travis CI ໂດຍໃຊ້ຕົວຢ່າງຂອງ PSP game console emulator.

ແຫຼ່ງຂໍ້ມູນ: www.habr.com