একটি পিএসপি গেম কনসোল এমুলেটরের উদাহরণ ব্যবহার করে ট্র্যাভিস সিআই-তে কীভাবে পিভিএস-স্টুডিও কনফিগার করবেন

ট্র্যাভিস সিআই হল সফ্টওয়্যার তৈরি এবং পরীক্ষার জন্য একটি বিতরণ করা ওয়েব পরিষেবা যা গিটহাবকে সোর্স কোড হোস্টিং হিসাবে ব্যবহার করে। উপরের অপারেটিং পরিস্থিতিগুলি ছাড়াও, আপনি বিস্তৃত কনফিগারেশন বিকল্পগুলির জন্য আপনার নিজস্ব ধন্যবাদ যোগ করতে পারেন। এই নিবন্ধে আমরা PPSSPP কোড উদাহরণ ব্যবহার করে PVS-Studio এর সাথে কাজ করার জন্য Travis CI কনফিগার করব।

ভূমিকা

ট্র্যাভিস সিআই সফ্টওয়্যার তৈরি এবং পরীক্ষা করার জন্য একটি ওয়েব পরিষেবা। এটি সাধারণত ক্রমাগত একীকরণ অনুশীলনের সাথে একত্রে ব্যবহৃত হয়।

PPSSPP - পিএসপি গেম কনসোল এমুলেটর। প্রোগ্রামটি Sony PSP-এর জন্য ডিস্ক ইমেজ থেকে যেকোনো গেমের লঞ্চ অনুকরণ করতে সক্ষম। প্রোগ্রামটি 1 নভেম্বর, 2012 এ প্রকাশিত হয়েছিল। PPSSPP GPL v2 এর অধীনে লাইসেন্সপ্রাপ্ত। যে কেউ উন্নতি করতে পারেন প্রকল্প উত্স কোড.

পিভিএস-স্টুডিও — প্রোগ্রাম কোডে ত্রুটি এবং সম্ভাব্য দুর্বলতা অনুসন্ধানের জন্য একটি স্ট্যাটিক কোড বিশ্লেষক। এই নিবন্ধে, পরিবর্তনের জন্য, আমরা PVS-Studio স্থানীয়ভাবে বিকাশকারীর মেশিনে নয়, ক্লাউডে চালু করব এবং PPSSPP-এ ত্রুটিগুলি সন্ধান করব।

ট্র্যাভিস সিআই সেট আপ করা হচ্ছে

আমাদের GitHub-এ একটি সংগ্রহস্থলের প্রয়োজন হবে, যেখানে আমাদের প্রয়োজনীয় প্রকল্পটি অবস্থিত, সেইসাথে পিভিএস-স্টুডিওর জন্য একটি কী (আপনি পেতে পারেন) ট্রায়াল কী বা ওপেন সোর্স প্রকল্পের জন্য বিনামূল্যে).

এর সাইটে যান ট্র্যাভিস সিআই. আপনার GitHub অ্যাকাউন্ট ব্যবহার করে অনুমোদনের পরে, আমরা সংগ্রহস্থলগুলির একটি তালিকা দেখতে পাব:

পরীক্ষার জন্য, আমি PPSSPP কাঁটা দিয়েছি।

আমরা যে সংগ্রহস্থলটি সংগ্রহ করতে চাই তা সক্রিয় করি:

এই মুহুর্তে, ট্রাভিস সিআই আমাদের প্রকল্প তৈরি করতে পারে না কারণ বিল্ডিংয়ের জন্য কোনও নির্দেশ নেই। তাই কনফিগারেশনের সময়।

বিশ্লেষণের সময়, কিছু ভেরিয়েবল আমাদের জন্য উপযোগী হবে, উদাহরণস্বরূপ, পিভিএস-স্টুডিওর কী, যা কনফিগারেশন ফাইলে উল্লেখ করা অবাঞ্ছিত হবে। তাই আসুন ট্র্যাভিস সিআই-তে বিল্ড সেটিংস ব্যবহার করে পরিবেশের ভেরিয়েবল যোগ করি:

আমরা প্রয়োজন হবে:

• PVS_USERNAME - ব্যবহারকারীর নাম
• PVS_KEY - কী
• MAIL_USER - ইমেল যা রিপোর্ট পাঠাতে ব্যবহার করা হবে
• MAIL_PASSWORD - ইমেল পাসওয়ার্ড

শেষ দুটি ঐচ্ছিক। এগুলো মেইলে ফলাফল পাঠাতে ব্যবহার করা হবে। আপনি যদি অন্যভাবে প্রতিবেদনটি বিতরণ করতে চান তবে আপনাকে সেগুলি নির্দেশ করার দরকার নেই।

সুতরাং, আমরা আমাদের প্রয়োজনীয় পরিবেশ ভেরিয়েবল যোগ করেছি:

এখন একটি ফাইল তৈরি করা যাক .travis.yml এবং প্রকল্পের মূলে এটি স্থাপন করুন। PPSSPP এর ইতিমধ্যেই Travis 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

বিভাগ সম্পর্কে একটু বেশি জরায়ু. ট্র্যাভিস সিআই-তে, বিল্ড বিকল্পগুলি তৈরি করার দুটি উপায় রয়েছে: প্রথমটি হল কম্পাইলার, অপারেটিং সিস্টেমের ধরন, পরিবেশের ভেরিয়েবল ইত্যাদির একটি তালিকা নির্দিষ্ট করা, তারপরে সমস্ত সম্ভাব্য সংমিশ্রণের একটি ম্যাট্রিক্স তৈরি করা হয়; দ্বিতীয়টি ম্যাট্রিক্সের একটি সুস্পষ্ট ইঙ্গিত। অবশ্যই, আপনি এই দুটি পন্থা একত্রিত করতে পারেন এবং একটি অনন্য কেস যুক্ত করতে পারেন, বা বিপরীতভাবে, বিভাগটি ব্যবহার করে এটি বাদ দিতে পারেন বর্জন করা. আপনি এই সম্পর্কে আরও পড়তে পারেন ট্র্যাভিস সিআই ডকুমেন্টেশন.

যা অবশিষ্ট থাকে তা হল প্রকল্প-নির্দিষ্ট সমাবেশ নির্দেশাবলী প্রদান করা:

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 সঞ্চয় মান হাঁ (আমরা বিভাগে এটি নির্দেশিত প্রায় বিল্ড ম্যাট্রিক্স কনফিগারেশনের সময়), আমরা প্যাকেজটি ইনস্টল করি pvs-studio. এটি ছাড়াও, প্যাকেজগুলিও নির্দেশিত হয় libio-সকেট-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

কোড এই বিভাগে আমরা জন্য সেট cmake কম্পাইলেশন কমান্ড রপ্তানির জন্য পতাকা। এটি একটি স্ট্যাটিক কোড বিশ্লেষকের জন্য প্রয়োজনীয়। আপনি নিবন্ধে এই সম্পর্কে আরও পড়তে পারেন "লিনাক্স এবং ম্যাকোসে কীভাবে পিভিএস-স্টুডিও চালাবেন"।

সমাবেশ সফল হলে, তারপর আমরা পেতে সফলতার পরে, যেখানে আমরা স্ট্যাটিক বিশ্লেষণ করি:

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

প্রথম লাইনটি ব্যবহারকারীর নাম এবং কী থেকে একটি লাইসেন্স ফাইল তৈরি করে যা আমরা ট্র্যাভিস সিআই এনভায়রনমেন্ট ভেরিয়েবল সেট আপ করার সময় একেবারে শুরুতে নির্দিষ্ট করেছি।

দ্বিতীয় লাইনটি সরাসরি বিশ্লেষণ শুরু করে। পতাকা -জে বিশ্লেষণের জন্য থ্রেডের সংখ্যা নির্ধারণ করে, পতাকা -l লাইসেন্স, পতাকা নির্দেশ করে -o আউটপুট লগ এবং পতাকা জন্য ফাইল সংজ্ঞায়িত করে -লাইসেন্সের মেয়াদ শেষ হওয়ার চেক অক্ষম করুন ট্রায়াল সংস্করণের জন্য প্রয়োজনীয়, যেহেতু ডিফল্টরূপে পিভিএস-স্টুডিও-বিশ্লেষক ব্যবহারকারীকে সতর্ক করবে যে লাইসেন্সের মেয়াদ শেষ হতে চলেছে। এটি যাতে না ঘটে তার জন্য, আপনি এই পতাকা নির্দিষ্ট করতে পারেন।

লগ ফাইলে কাঁচা আউটপুট রয়েছে যা রূপান্তর ছাড়া পড়া যায় না, তাই আপনাকে প্রথমে ফাইলটি পাঠযোগ্য করতে হবে। এর মাধ্যমে লগ পাস করা যাক প্লাগ-কনভার্টার, এবং আউটপুট একটি 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, লেফটভোল >= 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 এক্সপ্রেশন 'size == 8' সবসময় মিথ্যা হয়। syn-att.c 195

এই ত্রুটি ফোল্ডারে অবস্থিত EXT, তাই প্রজেক্টের সাথে ঠিক প্রাসঙ্গিক নয়, কিন্তু আমি এটি লক্ষ্য করার আগেই বাগটি পাওয়া গেছে, তাই আমি এটি ছেড়ে দেওয়ার সিদ্ধান্ত নিয়েছি। সর্বোপরি, এই নিবন্ধটি ত্রুটিগুলি পর্যালোচনা করার বিষয়ে নয়, তবে ট্র্যাভিস সিআইয়ের সাথে একীকরণ সম্পর্কে এবং বিশ্লেষকের কোনও কনফিগারেশন করা হয়নি।

পরিবর্তনশীল আয়তন একটি ধ্রুবক দ্বারা আরম্ভ করা হয়, তবে, এটি অপারেটর থেকে, কোডে মোটেও ব্যবহৃত হয় না if, যা, অবশ্যই, দেয় মিথ্যা শর্তগুলি পরীক্ষা করার সময়, কারণ, আমাদের মনে আছে, আয়তন শূন্যের সমান। পরবর্তী চেক এছাড়াও কোন মানে হয়.

দৃশ্যত, কোড খণ্ডের লেখক পরিবর্তনশীল ওভাররাইট করতে ভুলে গেছেন আয়তন এর আগে.

থামুন

এখানে আমরা সম্ভবত ভুল দিয়ে শেষ করব। এই নিবন্ধটির উদ্দেশ্য হল PVS-Studio-এর কাজ Travis CI-এর সাথে একত্রে প্রদর্শন করা, এবং যতটা সম্ভব পুঙ্খানুপুঙ্খভাবে প্রকল্পের বিশ্লেষণ না করা। আপনি যদি বড় এবং আরও সুন্দর ভুল চান তবে আপনি সর্বদা তাদের প্রশংসা করতে পারেন এখানে :)।

উপসংহার

ক্রমবর্ধমান বিশ্লেষণের অনুশীলনের সাথে একসাথে প্রকল্পগুলি তৈরি করতে ওয়েব পরিষেবাগুলি ব্যবহার করে কোড মার্জ করার সাথে সাথেই আপনি অনেক সমস্যা খুঁজে পেতে পারেন। যাইহোক, একটি বিল্ড যথেষ্ট নাও হতে পারে, তাই স্ট্যাটিক অ্যানালাইসিস সহ টেস্টিং সেট আপ করা কোডের গুণমানকে উল্লেখযোগ্যভাবে উন্নত করবে।

দরকারী লিঙ্ক

• Linux এবং macOS-এ PVS-Studio চালু করা হচ্ছে
• ডকারে পিভিএস-স্টুডিও চালু করা হচ্ছে
• ট্র্যাভিস সিআই ডকুমেন্টেশন

আপনি যদি এই নিবন্ধটি ইংরেজী-ভাষী শ্রোতাদের সাথে ভাগ করতে চান তবে অনুগ্রহ করে অনুবাদ লিঙ্কটি ব্যবহার করুন: ম্যাক্সিম জাভ্যাগিন্টসেভ। পিএসপি গেম কনসোল এমুলেটরের উদাহরণ ব্যবহার করে ট্র্যাভিস সিআই-তে কীভাবে পিভিএস-স্টুডিও সেট আপ করবেন.

উত্স: www.habr.com