PSP ગેમ કન્સોલ ઇમ્યુલેટરના ઉદાહરણનો ઉપયોગ કરીને ટ્રેવિસ CI માં PVS-Studio ને કેવી રીતે ગોઠવવું

ટ્રેવિસ CI એ સોફ્ટવેરના નિર્માણ અને પરીક્ષણ માટે વિતરિત વેબ સેવા છે જે સોર્સ કોડ હોસ્ટિંગ તરીકે GitHub નો ઉપયોગ કરે છે. ઉપરોક્ત ઓપરેટિંગ દૃશ્યો ઉપરાંત, તમે વિસ્તૃત રૂપરેખાંકન વિકલ્પો માટે તમારો પોતાનો આભાર ઉમેરી શકો છો. આ લેખમાં આપણે PPSSPP કોડ ઉદાહરણનો ઉપયોગ કરીને PVS-Studio સાથે કામ કરવા Travis CI ને ગોઠવીશું.

પરિચય

ટ્રેવિસ સીઆઈ સોફ્ટવેર બનાવવા અને પરીક્ષણ કરવા માટેની વેબ સેવા છે. તે સામાન્ય રીતે સતત એકીકરણ પ્રથાઓ સાથે જોડાણમાં વપરાય છે.

પી.પી.એસ.પી.પી. - PSP ગેમ કન્સોલ ઇમ્યુલેટર. પ્રોગ્રામ સોની PSP માટે બનાવાયેલ ડિસ્ક ઈમેજીસમાંથી કોઈપણ ગેમ્સના લોન્ચનું અનુકરણ કરવામાં સક્ષમ છે. આ કાર્યક્રમ નવેમ્બર 1, 2012 ના રોજ બહાર પાડવામાં આવ્યો હતો. PPSSPP GPL v2 હેઠળ લાઇસન્સ પ્રાપ્ત છે. કોઈપણ તેમાં સુધારો કરી શકે છે પ્રોજેક્ટ સ્ત્રોત કોડ.

પીવીએસ-સ્ટુડિયો — પ્રોગ્રામ કોડમાં ભૂલો અને સંભવિત નબળાઈઓ શોધવા માટે સ્થિર કોડ વિશ્લેષક. આ લેખમાં, ફેરફાર માટે, અમે PVS-સ્ટુડિયોને ડેવલપરના મશીન પર સ્થાનિક રીતે નહીં, પણ ક્લાઉડમાં લૉન્ચ કરીશું અને PPSSPPમાં ભૂલો શોધીશું.

ટ્રેવિસ CI સુયોજિત કરી રહ્યા છીએ

અમને GitHub પર એક રિપોઝીટરીની જરૂર પડશે, જ્યાં અમને જોઈતો પ્રોજેક્ટ સ્થિત છે, તેમજ PVS-Studio માટે કી (તમે મેળવી શકો છો) ટ્રાયલ કી અથવા ઓપન સોર્સ પ્રોજેક્ટ્સ માટે મફત).

ચાલો સાઇટ પર જઈએ ટ્રેવિસ સીઆઈ. તમારા GitHub એકાઉન્ટનો ઉપયોગ કરીને અધિકૃતતા પછી, અમે રીપોઝીટરીઝની સૂચિ જોશું:

પરીક્ષણ માટે, મેં PPSSPP ફોર્ક કર્યું.

અમે રીપોઝીટરીને સક્રિય કરીએ છીએ જે અમે એકત્રિત કરવા માંગીએ છીએ:

આ ક્ષણે, Travis CI અમારા પ્રોજેક્ટનું નિર્માણ કરી શકતું નથી કારણ કે બિલ્ડિંગ માટે કોઈ સૂચનાઓ નથી. તેથી તે રૂપરેખાંકન માટે સમય છે.

વિશ્લેષણ દરમિયાન, કેટલાક ચલો અમારા માટે ઉપયોગી થશે, ઉદાહરણ તરીકે, PVS-Studio માટેની કી, જે રૂપરેખાંકન ફાઇલમાં સ્પષ્ટ કરવા માટે અનિચ્છનીય હશે. તો ચાલો ટ્રેવિસ CI માં બિલ્ડ સેટિંગ્સનો ઉપયોગ કરીને પર્યાવરણ ચલ ઉમેરીએ:

અમને જરૂર પડશે:

• 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 માં, બિલ્ડ વિકલ્પો બનાવવાની બે રીતો છે: પ્રથમ કમ્પાઇલર્સ, ઓપરેટિંગ સિસ્ટમના પ્રકારો, પર્યાવરણ ચલ વગેરેની સૂચિનો ઉલ્લેખ કરવો, જે પછી તમામ સંભવિત સંયોજનોનું મેટ્રિક્સ જનરેટ થાય છે; બીજો મેટ્રિક્સનો સ્પષ્ટ સંકેત છે. અલબત્ત, તમે આ બે અભિગમોને જોડી શકો છો અને એક અનન્ય કેસ ઉમેરી શકો છો, અથવા, તેનાથી વિપરીત, વિભાગનો ઉપયોગ કરીને તેને બાકાત કરી શકો છો. બાકાત. તમે આ વિશે વધુ વાંચી શકો છો ટ્રેવિસ 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જે આપણે ઉપર સૂચવ્યું છે. એસેમ્બલી પોતે માં થાય છે સ્ક્રિપ્ટ. જો બધું બરાબર થયું, તો આપણે આપણી જાતને શોધીશું સફળતા પછી (તે આ વિભાગમાં છે કે અમે સ્થિર વિશ્લેષણ ચલાવીશું). આ બધા પગલાં નથી કે જે સુધારી શકાય, જો તમને વધુ જરૂર હોય, તો તમારે અંદર જોવું જોઈએ ટ્રેવિસ 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
}

હવે અમે ટ્રેવિસ CI માં PVS-સ્ટુડિયોના સ્વચાલિત લોંચને સેટ કરવા સીધા આવીએ છીએ. પ્રથમ આપણે સિસ્ટમ પર 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-સ્ટુડિયો. આ ઉપરાંત, પેકેજો પણ સૂચવવામાં આવે છે 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 સંકલન આદેશોની નિકાસ માટે ધ્વજ. સ્ટેટિક કોડ વિશ્લેષક માટે આ જરૂરી છે. તમે લેખમાં આ વિશે વધુ વાંચી શકો છો “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

પ્રથમ લીટી યુઝરનામ અને કીમાંથી લાયસન્સ ફાઈલ જનરેટ કરે છે જે અમે ટ્રેવિસ CI એન્વાયરમેન્ટ વેરીએબલ સેટ કરતી વખતે શરૂઆતમાં જ ઉલ્લેખિત કરી છે.

બીજી લાઇન સીધું વિશ્લેષણ શરૂ કરે છે. ધ્વજ -જે વિશ્લેષણ, ધ્વજ માટે થ્રેડોની સંખ્યા સુયોજિત કરે છે -l લાઇસન્સ, ધ્વજ સૂચવે છે -ઓ આઉટપુટ લોગ અને ધ્વજ માટે ફાઇલને વ્યાખ્યાયિત કરે છે -લાઈસન્સ સમાપ્તિ તપાસને અક્ષમ કરો ટ્રાયલ વર્ઝન માટે જરૂરી છે, કારણ કે ડિફૉલ્ટ રૂપે pvs-સ્ટુડિયો-વિશ્લેષક વપરાશકર્તાને ચેતવણી આપશે કે લાઇસન્સ સમાપ્ત થવામાં છે. આને થતું અટકાવવા માટે, તમે આ ધ્વજનો ઉલ્લેખ કરી શકો છો.

લોગ ફાઇલમાં કાચું આઉટપુટ છે જે રૂપાંતર વિના વાંચી શકાતું નથી, તેથી તમારે પહેલા ફાઇલને વાંચી શકાય તેવી બનાવવી પડશે. ચાલો લોગ પસાર કરીએ પ્લૉગ-કન્વર્ટર, અને આઉટપુટ એ 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  :}

સૂચિમાંથી જોઈ શકાય છે તેમ, કમ્પાઈલરે કૉલને અવગણ્યો મેમસેટ. આ એ હકીકતને કારણે છે કે કાર્યમાં શૅક્સમૅક્સ કોલ પછી મેમસેટ બંધારણ માટે વધુ સંદર્ભ નથી સીટીએક્સ. તેથી, કમ્પાઈલર ભવિષ્યમાં ઉપયોગમાં ન લેવાતી મેમરીને ઓવરરાઈટ કરવામાં પ્રોસેસરનો સમય બગાડવાનો કોઈ અર્થ જોતો નથી. તમે ફંક્શનનો ઉપયોગ કરીને આને ઠીક કરી શકો છો 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. જો બધી શરતો હોય તો જ કોડનો અમલ કરવામાં આવશે લેફ્ટવોલ > 0xFFFF || rightvol > 0xFFFF || લેફ્ટવોલ < 0 || અધિકાર વોલ < 0 ખોટા સાબિત થશે. તેથી, અમને નીચેના નિવેદનો મળે છે, જે અન્ય શાખા માટે સાચા હશે: લેફ્ટવોલ <= 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

આ ભૂલ ફોલ્ડરમાં સ્થિત છે એક્સ, તેથી પ્રોજેક્ટ સાથે ખરેખર સંબંધિત નથી, પરંતુ બગ મારા ધ્યાનમાં આવે તે પહેલાં જ મળી આવ્યો હતો, તેથી મેં તેને છોડવાનું નક્કી કર્યું. છેવટે, આ લેખ ભૂલોની સમીક્ષા કરવા વિશે નથી, પરંતુ ટ્રેવિસ સીઆઈ સાથે એકીકરણ વિશે છે, અને વિશ્લેષકનું કોઈ ગોઠવણી હાથ ધરવામાં આવી નથી.

ચલ કદ એક સ્થિરાંક દ્વારા પ્રારંભ કરવામાં આવે છે, જો કે, તેનો ઉપયોગ કોડમાં જ થતો નથી, સીધા ઓપરેટર સુધી if, જે, અલબત્ત, આપે છે ખોટું શરતો તપાસતી વખતે, કારણ કે, જેમ આપણે યાદ રાખીએ છીએ, કદ શૂન્ય બરાબર. અનુગામી તપાસનો પણ કોઈ અર્થ નથી.

દેખીતી રીતે, કોડ ફ્રેગમેન્ટના લેખક વેરીએબલ પર ફરીથી લખવાનું ભૂલી ગયા કદ તે પહેલાં.

બંધ

આ તે છે જ્યાં આપણે કદાચ ભૂલો સાથે સમાપ્ત થઈશું. આ લેખનો હેતુ ટ્રેવિસ સીઆઈ સાથે મળીને PVS-સ્ટુડિયોના કાર્યને દર્શાવવાનો છે, અને શક્ય તેટલું સંપૂર્ણ રીતે પ્રોજેક્ટનું વિશ્લેષણ કરવાનો નથી. જો તમને મોટી અને વધુ સુંદર ભૂલો જોઈએ છે, તો તમે હંમેશા તેમની પ્રશંસા કરી શકો છો અહીં :).

નિષ્કર્ષ

ઇન્ક્રીમેન્ટલ એનાલિસિસની પ્રેક્ટિસ સાથે પ્રોજેક્ટ્સ બનાવવા માટે વેબ સેવાઓનો ઉપયોગ કરવાથી કોડ મર્જ કર્યા પછી તરત જ ઘણી સમસ્યાઓ શોધી શકાય છે. જો કે, એક બિલ્ડ પૂરતું ન હોઈ શકે, તેથી સ્ટેટિક એનાલિસિસ સાથે ટેસ્ટિંગ સેટઅપ કરવાથી કોડની ગુણવત્તામાં નોંધપાત્ર સુધારો થશે.

ઉપયોગી લિંક્સ

• Linux અને macOS પર PVS-Studio લૉન્ચ કરી રહ્યાં છીએ
• ડોકરમાં PVS-સ્ટુડિયો શરૂ કરી રહ્યાં છીએ
• ટ્રેવિસ CI દસ્તાવેજીકરણ

જો તમે આ લેખને અંગ્રેજી બોલતા પ્રેક્ષકો સાથે શેર કરવા માંગતા હો, તો કૃપા કરીને અનુવાદ લિંકનો ઉપયોગ કરો: મેક્સિમ ઝ્વ્યાગિંટસેવ. PSP ગેમ કન્સોલ ઇમ્યુલેટરના ઉદાહરણનો ઉપયોગ કરીને ટ્રેવિસ CI માં PVS-Studio કેવી રીતે સેટ કરવું.

સોર્સ: www.habr.com