🥇How to configure PVS-Studio in Travis CI ដោយប្រើឧទាហរណ៍នៃកម្មវិធីត្រាប់តាមកុងសូលហ្គេម PSP

Travis CI គឺជាសេវាកម្មបណ្តាញចែកចាយសម្រាប់បង្កើត និងសាកល្បងកម្មវិធីដែលប្រើ GitHub ជាប្រភពកូដបង្ហោះ។ បន្ថែមពីលើសេណារីយ៉ូប្រតិបត្តិការខាងលើ អ្នកអាចបន្ថែមការអរគុណផ្ទាល់ខ្លួនរបស់អ្នកចំពោះជម្រើសនៃការកំណត់រចនាសម្ព័ន្ធយ៉ាងទូលំទូលាយ។ នៅក្នុងអត្ថបទនេះ យើងនឹងកំណត់រចនាសម្ព័ន្ធ Travis CI ដើម្បីធ្វើការជាមួយ PVS-Studio ដោយប្រើឧទាហរណ៍កូដ PPSSPP ។

សេចក្តីណែនាំ

Travis CI គឺជាសេវាកម្មគេហទំព័រសម្រាប់បង្កើត និងសាកល្បងកម្មវិធី។ ជាធម្មតាវាត្រូវបានប្រើដោយភ្ជាប់ជាមួយការអនុវត្តការរួមបញ្ចូលជាបន្តបន្ទាប់។

PPSSPP - កម្មវិធីត្រាប់តាមកុងសូលហ្គេម PSP ។ កម្មវិធីនេះអាចត្រាប់តាមការចាប់ផ្តើមនៃហ្គេមណាមួយពីរូបភាពថាសដែលមានបំណងសម្រាប់ Sony PSP ។ កម្មវិធីនេះត្រូវបានចេញផ្សាយនៅថ្ងៃទី 1 ខែវិច្ឆិកាឆ្នាំ 2012 ។ PPSSPP ត្រូវបានផ្តល់អាជ្ញាប័ណ្ណក្រោម GPL v2. នរណាម្នាក់អាចធ្វើការកែលម្អ កូដប្រភពគម្រោង.

ភី។ អេស។ អេស។ ស្ទូឌីយោ - ឧបករណ៍វិភាគកូដឋិតិវន្តសម្រាប់ស្វែងរកកំហុស និងភាពងាយរងគ្រោះដែលអាចកើតមាននៅក្នុងកូដកម្មវិធី។ នៅក្នុងអត្ថបទនេះ សម្រាប់ការផ្លាស់ប្តូរ យើងនឹងបើកដំណើរការ PVS-Studio មិនមែននៅលើម៉ាស៊ីនរបស់អ្នកអភិវឌ្ឍន៍ទេ ប៉ុន្តែនៅក្នុងពពក ហើយរកមើលកំហុសនៅក្នុង PPSSPP។

ការដំឡើង Travis CI

យើងនឹងត្រូវការឃ្លាំងមួយនៅលើ GitHub ដែលគម្រោងដែលយើងត្រូវការមានទីតាំងនៅ ក៏ដូចជាគន្លឹះសម្រាប់ PVS-Studio (អ្នកអាចទទួលបាន គន្លឹះសាកល្បង ឬ ឥតគិតថ្លៃសម្រាប់គម្រោងប្រភពបើកចំហ).

តោះទៅគេហទំព័រ Travis CI. បន្ទាប់ពីការអនុញ្ញាតដោយប្រើគណនី GitHub របស់អ្នក យើងនឹងឃើញបញ្ជីនៃឃ្លាំង៖

សម្រាប់ការធ្វើតេស្ដនេះ ខ្ញុំបានបំបែកក្រុម PPSSPP ។

យើងដំណើរការឃ្លាំងដែលយើងចង់ប្រមូល៖

នៅពេលនេះ Travis CI មិនអាចសាងសង់គម្រោងរបស់យើងបានទេ ដោយសារមិនមានការណែនាំសម្រាប់ការសាងសង់។ ដូច្នេះដល់ពេលកំណត់ហើយ។

ក្នុងអំឡុងពេលនៃការវិភាគ អថេរមួយចំនួននឹងមានប្រយោជន៍សម្រាប់យើង ឧទាហរណ៍ គន្លឹះសម្រាប់ PVS-Studio ដែលមិនចង់បានក្នុងការបញ្ជាក់នៅក្នុងឯកសារកំណត់រចនាសម្ព័ន្ធ។ ដូច្នេះសូមបន្ថែមអថេរបរិស្ថានដោយប្រើការកំណត់ស្ថាបនាក្នុង Travis CI៖

យើងនឹងត្រូវការ:

PVS_USERNAME - ឈ្មោះអ្នកប្រើប្រាស់
PVS_KEY - គ្រាប់ចុច
MAIL_USER - អ៊ីមែលដែលនឹងត្រូវបានប្រើដើម្បីផ្ញើរបាយការណ៍
MAIL_PASSWORD - ពាក្យសម្ងាត់អ៊ីមែល

ពីរចុងក្រោយគឺស្រេចចិត្ត។ ទាំងនេះនឹងត្រូវបានប្រើដើម្បីផ្ញើលទ្ធផលតាមសំបុត្រ។ ប្រសិនបើអ្នកចង់ចែកចាយរបាយការណ៍តាមវិធីផ្សេង អ្នកមិនចាំបាច់ចង្អុលបង្ហាញពួកគេទេ។

ដូច្នេះ យើងបានបន្ថែមអថេរបរិស្ថានដែលយើងត្រូវការ៖

ឥឡូវយើងបង្កើតឯកសារ .travis.yml ហើយដាក់វានៅក្នុងឫសនៃគម្រោង។ PPSSPP មានឯកសារកំណត់រចនាសម្ព័ន្ធសម្រាប់ Travis CI រួចហើយ ទោះជាយ៉ាងណាក៏ដោយ វាធំពេក និងមិនស័ក្តិសមទាំងស្រុងសម្រាប់ឧទាហរណ៍ ដូច្នេះយើងត្រូវសម្រួលវាឱ្យបានច្រើន ហើយទុកតែធាតុមូលដ្ឋានប៉ុណ្ណោះ។

ជាដំបូង សូមបង្ហាញភាសា កំណែរបស់ Ubuntu Linux ដែលយើងចង់ប្រើក្នុងម៉ាស៊ីននិម្មិត និងកញ្ចប់ចាំបាច់សម្រាប់បង្កើត៖

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

បន្តិចទៀតអំពីផ្នែក ម៉ាទ្រីស. នៅក្នុង Travis CI មានវិធីពីរយ៉ាងដើម្បីបង្កើតជម្រើសសាងសង់៖ ទីមួយគឺត្រូវបញ្ជាក់បញ្ជីអ្នកចងក្រង ប្រភេទប្រព័ន្ធប្រតិបត្តិការ អថេរបរិស្ថាន។ល។ បន្ទាប់ពីនោះម៉ាទ្រីសនៃបន្សំដែលអាចធ្វើបានទាំងអស់ត្រូវបានបង្កើត។ ទីពីរគឺជាការចង្អុលបង្ហាញយ៉ាងច្បាស់លាស់នៃម៉ាទ្រីស។ ជាការពិតណាស់ អ្នកអាចបញ្ចូលគ្នានូវវិធីសាស្រ្តទាំងពីរនេះ ហើយបន្ថែមករណីពិសេសមួយ ឬផ្ទុយទៅវិញ មិនរាប់បញ្ចូលវាដោយប្រើផ្នែក ដកចេញ. អ្នកអាចអានបន្ថែមអំពីរឿងនេះនៅក្នុង ឯកសារ 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 អនុញ្ញាតឱ្យអ្នកបន្ថែមពាក្យបញ្ជាផ្ទាល់ខ្លួនរបស់អ្នកសម្រាប់ដំណាក់កាលផ្សេងៗនៃជីវិតរបស់ម៉ាស៊ីននិម្មិត។ ផ្នែក មុន_ដំឡើង ប្រតិបត្តិមុនពេលដំឡើងកញ្ចប់។ បន្ទាប់មក ដំឡើងដែលធ្វើតាមការដំឡើងកញ្ចប់ពីបញ្ជី addons.aptដែលយើងបានបង្ហាញខាងលើ។ ការជួបប្រជុំគ្នាកើតឡើងនៅក្នុង ស្គ្រីប. ប្រសិនបើអ្វីៗដំណើរការល្អ នោះយើងរកឃើញខ្លួនឯង after_success (វាគឺនៅក្នុងផ្នែកនេះដែលយើងនឹងដំណើរការការវិភាគឋិតិវន្ត)។ ទាំងនេះមិនមែនជាជំហានទាំងអស់ដែលអាចកែប្រែបានទេ ប្រសិនបើអ្នកត្រូវការបន្ថែម អ្នកគួរតែពិនិត្យមើល ឯកសារ Travis CI.

ដើម្បីងាយស្រួលក្នុងការអាន ពាក្យបញ្ជាត្រូវបានដាក់ក្នុងស្គ្រីបដាច់ដោយឡែក .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
}

ឥឡូវនេះយើងមកដោយផ្ទាល់ដើម្បីរៀបចំការបើកដំណើរការដោយស្វ័យប្រវត្តិនៃ 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 យើងដំឡើងកម្មវិធីចងក្រងដែលយើងត្រូវការដោយប្រើអថេរបរិស្ថាន។ បន្ទាប់មកប្រសិនបើអថេរ $PVS_ANALYZE រក្សាទុកតម្លៃ បាទ (យើងបានចង្អុលបង្ហាញវានៅក្នុងផ្នែក env កំឡុងពេលកំណត់រចនាសម្ព័ន្ធម៉ាទ្រីស) យើងដំឡើងកញ្ចប់ pvs-studio. បន្ថែមពីលើនេះ កញ្ចប់ក៏ត្រូវបានចង្អុលបង្ហាញផងដែរ។ libio-socket-ssl-perl и libnet-ssleay-perlទោះយ៉ាងណាក៏ដោយ ពួកគេត្រូវបានទាមទារសម្រាប់លទ្ធផលផ្ញើតាមប្រៃសណីយ៍ ដូច្នេះពួកគេមិនចាំបាច់ទេ ប្រសិនបើអ្នកបានជ្រើសរើសវិធីសាស្ត្រផ្សេងទៀតសម្រាប់ការបញ្ជូនរបាយការណ៍របស់អ្នក។

មុខងារ ទាញយក_ដកស្រង់ скачивает и распаковывает указанный архив:

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

នៅក្នុងផ្នែកនៃកូដនេះយើងកំណត់សម្រាប់ ស៊ីខេ ទង់សម្រាប់នាំចេញពាក្យបញ្ជាចងក្រង។ នេះគឺចាំបាច់សម្រាប់អ្នកវិភាគកូដឋិតិវន្ត។ អ្នកអាចអានបន្ថែមអំពីរឿងនេះនៅក្នុងអត្ថបទ "របៀបដំណើរការ PVS-Studio នៅលើ Linux និង macOS"។

ប្រសិនបើការជួបជុំនេះបានជោគជ័យ យើងនឹងទៅដល់ 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 [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-អ្នកវិភាគ នឹងព្រមានអ្នកប្រើប្រាស់ថាអាជ្ញាប័ណ្ណជិតផុតកំណត់ហើយ។ ដើម្បីការពារកុំឱ្យវាកើតឡើង អ្នកអាចបញ្ជាក់ទង់ជាតិនេះ។

ឯកសារកំណត់ហេតុមានលទ្ធផលឆៅដែលមិនអាចអានបានដោយគ្មានការបំប្លែង ដូច្នេះដំបូងអ្នកត្រូវតែធ្វើឱ្យឯកសារអាចអានបាន។ តោះឆ្លងកាត់កំណត់ហេតុ កម្មវិធីបម្លែង 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;

ឥឡូវនេះវាដល់ពេលហើយដើម្បីជំរុញការផ្លាស់ប្តូរទៅឃ្លាំង git បន្ទាប់ពីនោះ Travis CI នឹងដំណើរការការស្ថាបនាដោយស្វ័យប្រវត្តិ។ ចុចលើ "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-Studio៖ V597 កម្មវិធីចងក្រងអាចលុបការហៅមុខងារ 'memset' ដែលត្រូវបានប្រើដើម្បីលុបសតិបណ្ដោះអាសន្ន 'ផលបូក' ។ អនុគមន៍ RtlSecureZeroMemory() គួរតែត្រូវបានប្រើដើម្បីលុបទិន្នន័យឯកជន។ sha1.cpp ៣២៥

បំណែកនៃកូដនេះមានទីតាំងនៅក្នុងម៉ូឌុល hashing សុវត្ថិភាព ទោះបីជាយ៉ាងណាក៏ដោយ វាមានកំហុសសុវត្ថិភាពធ្ងន់ធ្ងរ (CWE-14). Рассмотрим ассемблерный листинг, который генерируется при компиляции Debug-версии:

; 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 បន្ទាប់ពីការហៅ កំណត់ត្រា មិនមានការយោងទៅលើរចនាសម្ព័ន្ធទៀតទេ ctx. ដូច្នេះ អ្នកចងក្រងមើលមិនឃើញចំណុចណាមួយក្នុងការខ្ជះខ្ជាយពេលវេលារបស់ខួរក្បាលក្នុងការសរសេរជាន់លើអង្គចងចាំដែលមិនត្រូវបានប្រើនាពេលអនាគត។ អ្នកអាចជួសជុលវាបានដោយប្រើមុខងារ 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 ១២០

យកចិត្តទុកដាក់ទៅសាខាផ្សេងទៀតសម្រាប់ដំបូង if. លេខកូដនឹងត្រូវបានប្រតិបត្តិលុះត្រាតែមានលក្ខខណ្ឌទាំងអស់។ leftvol > 0xFFFF || rightvol > 0xFFFF || leftvol < 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. តើអ្នកមិនគិតថាវាជាការចម្លែកទេដែលយើងពិនិត្យមើលថាតើអាសយដ្ឋានត្រឹមត្រូវឬទេ? ទិន្នន័យ psmfXNUMX ដង? ដូច្នេះ វាហាក់ដូចជាចម្លែកសម្រាប់ខ្ញុំ... តាមពិត នេះគឺជាការវាយខុស ហើយគំនិតនេះគឺដើម្បីពិនិត្យមើលប៉ារ៉ាម៉ែត្របញ្ចូលទាំងពីរ។

ជម្រើសត្រឹមត្រូវ៖

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 ១៩៥

កំហុសនេះមានទីតាំងនៅក្នុងថតឯកសារ លដូច្នេះពិតជាមិនពាក់ព័ន្ធទៅនឹងគម្រោងនេះទេ ប៉ុន្តែកំហុសត្រូវបានរកឃើញ មុនពេលដែលខ្ញុំកត់សម្គាល់វា ដូច្នេះខ្ញុំបានសម្រេចចិត្តទុកវាចោល។ យ៉ាងណាមិញ អត្ថបទនេះមិនមែននិយាយអំពីការពិនិត្យឡើងវិញនូវកំហុសនោះទេ ប៉ុន្តែនិយាយអំពីការរួមបញ្ចូលជាមួយ Travis CI ហើយមិនមានការកំណត់រចនាសម្ព័ន្ធរបស់ឧបករណ៍វិភាគត្រូវបានអនុវត្តទេ។

អថេរ ទំហំ ត្រូវបានចាប់ផ្តើមដោយថេរមួយ ទោះជាយ៉ាងណាក៏ដោយ វាមិនត្រូវបានប្រើទាល់តែសោះនៅក្នុងកូដ សិទ្ធិចុះទៅប្រតិបត្តិករ ifដែលជាការពិតណាស់ផ្តល់ឱ្យ មិនពិត ពេលកំពុងពិនិត្យលក្ខខណ្ឌ ព្រោះដូចដែលយើងចងចាំ ទំហំ ស្មើនឹងសូន្យ។ ការត្រួតពិនិត្យជាបន្តបន្ទាប់ក៏គ្មានន័យដែរ។

ជាក់ស្តែង អ្នកនិពន្ធនៃបំណែកកូដភ្លេចសរសេរជាន់លើអថេរ ទំហំ មុនពេលនោះ។

បញ្ឈប់

នេះគឺជាកន្លែងដែលយើងប្រហែលជានឹងបញ្ចប់ដោយកំហុស។ គោលបំណងនៃអត្ថបទនេះគឺដើម្បីបង្ហាញពីការងាររបស់ PVS-Studio រួមគ្នាជាមួយ Travis CI និងមិនវិភាគគម្រោងឱ្យបានហ្មត់ចត់តាមដែលអាចធ្វើទៅបាន។ ប្រសិនបើអ្នកចង់បានកំហុសធំ និងស្រស់ស្អាតជាងនេះ អ្នកតែងតែអាចសរសើរពួកគេ។ នៅទីនេះ :) ។

សេចក្តីសន្និដ្ឋាន

ការប្រើប្រាស់សេវាកម្មគេហទំព័រដើម្បីបង្កើតគម្រោងរួមជាមួយនឹងការអនុវត្តនៃការវិភាគបន្ថែមអនុញ្ញាតឱ្យអ្នកស្វែងរកបញ្ហាជាច្រើនភ្លាមៗបន្ទាប់ពីបញ្ចូលកូដ។ ទោះជាយ៉ាងណាក៏ដោយ ការបង្កើតមួយអាចមិនគ្រប់គ្រាន់ទេ ដូច្នេះការបង្កើតការធ្វើតេស្តរួមគ្នាជាមួយនឹងការវិភាគឋិតិវន្តនឹងធ្វើអោយគុណភាពនៃកូដមានភាពប្រសើរឡើង។

តំណមានប្រយោជន៍

ប្រសិនបើអ្នកចង់ចែករំលែកអត្ថបទនេះជាមួយទស្សនិកជនដែលនិយាយភាសាអង់គ្លេស សូមប្រើតំណបកប្រែ៖ Maxim Zvyagintsev ។ របៀបដំឡើង PVS-Studio នៅក្នុង Travis CI ដោយប្រើឧទាហរណ៍នៃកម្មវិធីត្រាប់តាមកុងសូលហ្គេម PSP.

ប្រភព: www.habr.com

របៀបកំណត់រចនាសម្ព័ន្ធ PVS-Studio នៅក្នុង Travis CI ដោយប្រើឧទាហរណ៍នៃកម្មវិធីត្រាប់តាមកុងសូលហ្គេម PSP