როგორ დააკონფიგურიროთ PVS-Studio Travis CI-ში PSP სათამაშო კონსოლის ემულატორის მაგალითის გამოყენებით

Travis CI არის განაწილებული ვებ სერვისი პროგრამული უზრუნველყოფის შესაქმნელად და ტესტირებისთვის, რომელიც იყენებს GitHub-ს, როგორც წყაროს კოდის ჰოსტინგს. ზემოაღნიშნული ოპერაციული სცენარების გარდა, შეგიძლიათ დაამატოთ თქვენი საკუთარი კონფიგურაციის ფართო პარამეტრების წყალობით. ამ სტატიაში ჩვენ დავაკონფიგურირებთ Travis CI-ს PVS-Studio-სთან მუშაობისთვის PPSSPP კოდის მაგალითის გამოყენებით.

შესავალი

ტრევის CI არის ვებ სერვისი პროგრამული უზრუნველყოფის შესაქმნელად და ტესტირებისთვის. ის ჩვეულებრივ გამოიყენება უწყვეტი ინტეგრაციის პრაქტიკასთან ერთად.

PPSSPP - PSP სათამაშო კონსოლის ემულატორი. პროგრამას შეუძლია მიბაძოს ნებისმიერი თამაშის გაშვებას Sony PSP-სთვის განკუთვნილი დისკის სურათებიდან. პროგრამა გამოვიდა 1 წლის 2012 ნოემბერს. PPSSPP ლიცენზირებულია GPL v2-ით. ნებისმიერს შეუძლია გააუმჯობესოს პროექტის წყარო კოდი.

PVS- სტუდია — სტატიკური კოდის ანალიზატორი პროგრამულ კოდში შეცდომებისა და პოტენციური დაუცველობის მოსაძებნად. ამ სტატიაში, ცვლილებისთვის, ჩვენ გავუშვით PVS-Studio არა ლოკალურად დეველოპერის აპარატზე, არამედ ღრუბელში და ვეძებთ შეცდომებს PPSSPP-ში.

Travis CI-ის დაყენება

ჩვენ დაგვჭირდება საცავი GitHub-ზე, სადაც განთავსებულია ჩვენთვის საჭირო პროექტი, ასევე გასაღები PVS-Studio-სთვის (შეგიძლიათ მიიღოთ საცდელი გასაღები ან უფასო ღია კოდის პროექტებისთვის).

მოდით გადავიდეთ საიტზე ტრევის CI. თქვენი GitHub ანგარიშის გამოყენებით ავტორიზაციის შემდეგ, ჩვენ დავინახავთ საცავების სიას:

ტესტისთვის, მე ჩანგალი PPSSPP.

ჩვენ ვააქტიურებთ საცავს, რომლის შეგროვება გვინდა:

ამ დროისთვის Travis CI ვერ ააშენებს ჩვენს პროექტს, რადგან არ არსებობს მშენებლობის ინსტრუქცია. ასე რომ, დროა კონფიგურაციისთვის.

ანალიზის დროს ჩვენთვის სასარგებლო იქნება ზოგიერთი ცვლადი, მაგალითად, გასაღები PVS-Studio-სთვის, რომლის მითითებაც არასასურველი იქნება კონფიგურაციის ფაილში. მოდით დავამატოთ გარემოს ცვლადები Travis CI-ში build პარამეტრების გამოყენებით:

ჩვენ გვჭირდება:

• 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

ცოტა მეტი განყოფილების შესახებ matrix. Travis CI-ში არის build-ის ოფციონის შექმნის ორი გზა: პირველი არის კომპილატორების სიის, ოპერაციული სისტემის ტიპების, გარემოს ცვლადების და ა.შ. მითითება, რის შემდეგაც წარმოიქმნება ყველა შესაძლო კომბინაციის მატრიცა; მეორე არის მატრიცის აშკარა მითითება. რა თქმა უნდა, შეგიძლიათ დააკავშიროთ ეს ორი მიდგომა და დაამატოთ უნიკალური შემთხვევა, ან, პირიქით, გამორიცხოთ იგი განყოფილების გამოყენებით გამორიცხავს. ამის შესახებ მეტი შეგიძლიათ წაიკითხოთ აქ 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რაც ზემოთ აღვნიშნეთ. თავად შეკრება ხდება script. თუ ყველაფერი კარგად წავიდა, მაშინ ჩვენ აღმოვჩნდებით შემდეგ_წარმატება (სწორედ ამ განყოფილებაში ჩავატარებთ სტატიკურ ანალიზს). ეს არ არის ყველა ის ნაბიჯი, რომელიც შეიძლება შეიცვალოს, თუ მეტი გჭირდებათ, მაშინ უნდა გადახედოთ Travis CI დოკუმენტაცია.

კითხვის სიმარტივისთვის ბრძანებები მოთავსდა ცალკეულ სკრიპტში .ტრევის.შ, რომელიც მოთავსებულია პროექტის ძირში.

ასე რომ, ჩვენ გვაქვს შემდეგი ფაილი .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_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 build matrix-ის კონფიგურაციის დროს), ჩვენ ვაინსტალირებთ პაკეტს pvs-სტუდია. გარდა ამისა, მითითებულია პაკეტებიც libio-socket-ssl-perl и libnet-ssleay-perlთუმცა, ისინი საჭიროა ფოსტის შედეგებისთვის, ამიტომ ისინი არ არის საჭირო, თუ თქვენ აირჩევთ თქვენი ანგარიშის მიწოდების სხვა მეთოდს.

ფუნქცია ჩამოტვირთვა_ამონაწერი ჩამოტვირთავს და ხსნის მითითებულ არქივს:

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-ზე".

თუ ასამბლეა წარმატებული იყო, მაშინ მივიღებთ შემდეგ_წარმატება, სადაც ვასრულებთ სტატიკურ ანალიზს:

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 გარემოს ცვლადების დაყენებისას.

მეორე ხაზი პირდაპირ იწყებს ანალიზს. დროშა -ჯ ადგენს ძაფების რაოდენობას ანალიზისთვის, დროშა -ლ მიუთითებს ლიცენზია, დროშა -ო განსაზღვრავს ფაილს ჟურნალების გამოსატანად და დროშას -გამორთეთ ლიცენზიის გასვლის შემოწმება საჭიროა საცდელი ვერსიებისთვის, რადგან ნაგულისხმევად pvs-სტუდია-ანალიზატორი გააფრთხილებს მომხმარებელს, რომ ლიცენზიას ვადა ეწურება. ამის თავიდან ასაცილებლად, შეგიძლიათ მიუთითოთ ეს დროშა.

ჟურნალის ფაილი შეიცავს დაუმუშავებელ გამომავალს, რომლის წაკითხვა შეუძლებელია კონვერტაციის გარეშე, ასე რომ თქვენ ჯერ უნდა გახადოთ ფაილი იკითხებადი. მოდით გადავიტანოთ ჟურნალები ბლოგ-კონვერტორიდა გამომავალი არის html ფაილი.

ამ მაგალითში მე გადავწყვიტე ანგარიშების გაგზავნა ფოსტით ბრძანების გამოყენებით ფოსტის გაგზავნა.

შედეგად მივიღეთ შემდეგი ფაილი .ტრევის.შ:

#/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 ავტომატურად გაუშვებს build-ს. დააწკაპუნეთ „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" ფუნქციის გამოძახება, რომელიც გამოიყენება "sum" ბუფერის გასასუფთავებლად. 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  :}

როგორც ჩამონათვალიდან ჩანს, შემდგენელმა უგულებელყო ზარი მემსეტი. ეს იმის გამო ხდება, რომ ფუნქციაში შა 1 ზარის შემდეგ მემსეტი აღარ არის მითითება სტრუქტურაზე 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 120

პირველ რიგში ყურადღება მიაქციეთ სხვა ფილიალს if. კოდი შესრულდება მხოლოდ ყველა პირობის შემთხვევაში leftvol > 0xFFFF || rightvol > 0xFFFF || მარცხენა vol < 0 || უფლება vol < 0 ყალბი აღმოჩნდება. ამრიგად, ჩვენ ვიღებთ შემდეგ განცხადებებს, რომლებიც მართალი იქნება სხვა ფილიალისთვის: მარცხენა vol <= 0xFFFF, rightvol <= 0xFFFF, მარცხენა მოცულობა >= 0 и უფლებამოსილება >= 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 გამოთქმა "ზომა == 8" ყოველთვის მცდარია. syn-att.c 195

ეს შეცდომა მდებარეობს საქაღალდეში ext, ასე რომ, ნამდვილად არ ეხება პროექტს, მაგრამ შეცდომა იპოვეს მანამ, სანამ ამას შევამჩნევდი, ამიტომ გადავწყვიტე მისი დატოვება. ყოველივე ამის შემდეგ, ეს სტატია არ ეხება შეცდომების განხილვას, არამედ Travis CI-სთან ინტეგრაციას და ანალიზატორის კონფიგურაცია არ განხორციელებულა.

ცვალებადი ზომა ინიციალიზებულია მუდმივით, თუმცა, ის საერთოდ არ გამოიყენება კოდში, ოპერატორამდე if, რაც, რა თქმა უნდა, იძლევა ყალბი პირობების შემოწმებისას, რადგან, როგორც გვახსოვს, ზომა ნულის ტოლი. შემდგომ შემოწმებასაც აზრი არ აქვს.

როგორც ჩანს, კოდის ფრაგმენტის ავტორს დაავიწყდა ცვლადის გადაწერა ზომა მანამდე.

გაჩერება

სწორედ აქ დავასრულებთ ალბათ შეცდომებით. ამ სტატიის მიზანია PVS-Studio-ს მუშაობის დემონსტრირება Travis CI-სთან ერთად და არა პროექტის რაც შეიძლება საფუძვლიანად გაანალიზება. თუ გსურთ უფრო დიდი და ლამაზი შეცდომები, ყოველთვის შეგიძლიათ აღფრთოვანდეთ მათით აქ :).

დასკვნა

ვებ სერვისების გამოყენება პროექტების ასაშენებლად, დამატებითი ანალიზის პრაქტიკასთან ერთად, საშუალებას გაძლევთ იპოვოთ მრავალი პრობლემა კოდის შერწყმისთანავე. თუმცა, ერთი კონსტრუქცია შეიძლება არ იყოს საკმარისი, ამიტომ ტესტირების დაყენება სტატიკური ანალიზთან ერთად მნიშვნელოვნად გააუმჯობესებს კოდის ხარისხს.

სასარგებლო ბმულები

• PVS-Studio-ის გაშვება Linux-ზე და macOS-ზე
• PVS-Studio-ს გაშვება Docker-ში
• Travis CI დოკუმენტაცია

თუ გსურთ გაუზიაროთ ეს სტატია ინგლისურენოვან აუდიტორიას, გთხოვთ, გამოიყენოთ თარგმანის ბმული: მაქსიმ ზვიაგინცევი. როგორ დავაყენოთ PVS-Studio Travis CI-ში PSP სათამაშო კონსოლის ემულატორის მაგალითის გამოყენებით.

წყარო: www.habr.com