PVS-Studio ഉപയോഗിച്ച് ട്രാവിസ് CI, Buddy, AppVeyor എന്നിവയിലെ കമ്മിറ്റുകളുടെയും പുൾ അഭ്യർത്ഥനകളുടെയും വിശകലനം

Linux, macOS എന്നിവയിലെ C, C++ ഭാഷകൾക്കായുള്ള PVS-Studio അനലൈസറിൽ, പതിപ്പ് 7.04 മുതൽ, നിർദ്ദിഷ്ട ഫയലുകളുടെ ലിസ്റ്റ് പരിശോധിക്കാൻ ഒരു ടെസ്റ്റ് ഓപ്ഷൻ പ്രത്യക്ഷപ്പെട്ടു. പുതിയ മോഡ് ഉപയോഗിച്ച്, കമ്മിറ്റുകൾ പരിശോധിക്കാനും അഭ്യർത്ഥനകൾ പിൻവലിക്കാനും നിങ്ങൾക്ക് അനലൈസർ കോൺഫിഗർ ചെയ്യാം. Travis CI, Buddy, AppVeyor പോലുള്ള ജനപ്രിയ സിഐ (തുടർച്ചയുള്ള സംയോജനം) സിസ്റ്റങ്ങളിൽ GitHub പ്രോജക്റ്റിന്റെ മാറിയ ഫയലുകളുടെ ലിസ്റ്റ് എങ്ങനെ പരിശോധിക്കാമെന്ന് ഈ ലേഖനം നിങ്ങളോട് പറയും.

ഫയൽ ലിസ്റ്റ് ചെക്കിംഗ് മോഡ്

പിവിഎസ്-സ്റ്റുഡിയോ C, C++, C#, Java എന്നിവയിൽ എഴുതിയ പ്രോഗ്രാമുകളുടെ സോഴ്സ് കോഡിലെ പിശകുകളും സാധ്യതയുള്ള കേടുപാടുകളും തിരിച്ചറിയുന്നതിനുള്ള ഒരു ഉപകരണമാണ്. Windows, Linux, macOS എന്നിവയിലെ 64-ബിറ്റ് സിസ്റ്റങ്ങളിൽ പ്രവർത്തിക്കുന്നു.

Linux, macOS എന്നിവയ്‌ക്കായുള്ള PVS-Studio 7.04 പതിപ്പിൽ, ഉറവിട ഫയലുകളുടെ ലിസ്റ്റ് പരിശോധിക്കുന്നതിനുള്ള ഒരു മോഡ് പ്രത്യക്ഷപ്പെട്ടു. ഒരു ഫയൽ സൃഷ്ടിക്കാൻ നിങ്ങളെ ബിൽഡ് സിസ്റ്റം അനുവദിക്കുന്ന പ്രോജക്റ്റുകൾക്ക് ഇത് പ്രവർത്തിക്കുന്നു compile_commands.json. നിർദ്ദിഷ്ട ഫയലുകളുടെ സമാഹാരത്തെക്കുറിച്ചുള്ള വിവരങ്ങൾ എക്‌സ്‌ട്രാക്‌റ്റുചെയ്യുന്നതിന് അനലൈസറിന് ഇത് ആവശ്യമാണ്. നിങ്ങളുടെ ബിൽഡ് സിസ്റ്റം compile_commands.json ഫയൽ സൃഷ്ടിക്കുന്നതിനെ പിന്തുണയ്ക്കുന്നില്ലെങ്കിൽ, യൂട്ടിലിറ്റി ഉപയോഗിച്ച് നിങ്ങൾക്ക് അത്തരമൊരു ഫയൽ സൃഷ്ടിക്കാൻ ശ്രമിക്കാവുന്നതാണ്. കരടി.

കൂടാതെ, കംപൈലർ ലോഞ്ചുകളുടെ (pvs-studio-analyzer trace) സ്‌ട്രേസ് ട്രേസ് ലോഗിനൊപ്പം ഫയൽ ലിസ്റ്റ് ചെക്കിംഗ് മോഡ് ഉപയോഗിക്കാവുന്നതാണ്. ഇത് ചെയ്യുന്നതിന്, നിങ്ങൾ ആദ്യം പ്രോജക്റ്റിന്റെ പൂർണ്ണമായ നിർമ്മാണം നടത്തുകയും അത് ട്രാക്ക് ചെയ്യുകയും ചെയ്യേണ്ടതുണ്ട്, അതുവഴി പരിശോധിക്കുന്ന എല്ലാ ഫയലുകളുടെയും കംപൈലേഷൻ പാരാമീറ്ററുകളെക്കുറിച്ചുള്ള പൂർണ്ണമായ വിവരങ്ങൾ അനലൈസർ ശേഖരിക്കുന്നു.

എന്നിരുന്നാലും, ഈ ഓപ്ഷന് കാര്യമായ പോരായ്മയുണ്ട് - ഒന്നുകിൽ നിങ്ങൾ അത് പ്രവർത്തിപ്പിക്കുമ്പോഴെല്ലാം മുഴുവൻ പ്രോജക്റ്റിന്റെയും പൂർണ്ണമായ ബിൽഡ് ട്രെയ്സ് നടത്തേണ്ടതുണ്ട്, ഇത് ഒരു പ്രതിബദ്ധത വേഗത്തിൽ പരിശോധിക്കുന്നതിനുള്ള ആശയത്തിന് വിരുദ്ധമാണ്. അല്ലെങ്കിൽ, നിങ്ങൾ ട്രെയ്‌സ് ഫലം തന്നെ കാഷെ ചെയ്യുകയാണെങ്കിൽ, ട്രെയ്‌സിന് ശേഷം സോഴ്‌സ് ഫയലുകളുടെ ഡിപൻഡൻസി ഘടന മാറുകയാണെങ്കിൽ അനലൈസറിന്റെ തുടർന്നുള്ള റണ്ണുകൾ അപൂർണ്ണമായേക്കാം (ഉദാഹരണത്തിന്, സോഴ്‌സ് ഫയലുകളിലൊന്നിലേക്ക് ഒരു പുതിയ #include ചേർത്തിരിക്കുന്നു).

അതിനാൽ, കമ്മിറ്റുകൾ പരിശോധിക്കുന്നതിനോ അഭ്യർത്ഥനകൾ പിൻവലിക്കുന്നതിനോ ട്രെയ്സ് ലോഗ് ഉപയോഗിച്ച് ഫയൽ ലിസ്റ്റ് ചെക്ക് മോഡ് ഉപയോഗിക്കാൻ ഞങ്ങൾ ശുപാർശ ചെയ്യുന്നില്ല. ഒരു കമ്മിറ്റ് പരിശോധിക്കുമ്പോൾ നിങ്ങൾക്ക് ഒരു ഇൻക്രിമെന്റൽ ബിൽഡ് ചെയ്യാൻ കഴിയുമെങ്കിൽ, മോഡ് ഉപയോഗിക്കുന്നത് പരിഗണിക്കുക വർദ്ധിച്ചുവരുന്ന വിശകലനം.

വിശകലനത്തിനുള്ള സോഴ്സ് ഫയലുകളുടെ ലിസ്റ്റ് ഒരു ടെക്സ്റ്റ് ഫയലിൽ സേവ് ചെയ്യുകയും പാരാമീറ്റർ ഉപയോഗിച്ച് അനലൈസറിന് കൈമാറുകയും ചെയ്യുന്നു -S:

pvs-studio-analyzer analyze ... -f build/compile_commands.json -S check-list.txt

ഈ ഫയൽ ഫയലുകളിലേക്കുള്ള ആപേക്ഷികമോ കേവലമോ ആയ പാതകൾ വ്യക്തമാക്കുന്നു, ഓരോ പുതിയ ഫയലും ഒരു പുതിയ ലൈനിൽ ആയിരിക്കണം. വിശകലനത്തിനായി ഫയൽ നാമങ്ങൾ മാത്രമല്ല, വിവിധ വാചകങ്ങളും വ്യക്തമാക്കുന്നത് സ്വീകാര്യമാണ്. ഇത് ഒരു ഫയലല്ലെന്നും ലൈൻ അവഗണിക്കുമെന്നും അനലൈസർ കാണും. ഫയലുകൾ സ്വമേധയാ വ്യക്തമാക്കിയിട്ടുണ്ടെങ്കിൽ അഭിപ്രായമിടുന്നതിന് ഇത് ഉപയോഗപ്രദമാകും. എന്നിരുന്നാലും, സിഐയിൽ വിശകലനം ചെയ്യുമ്പോൾ പലപ്പോഴും ഫയലുകളുടെ ഒരു ലിസ്റ്റ് സൃഷ്ടിക്കപ്പെടും, ഉദാഹരണത്തിന്, ഇവ ഒരു കമ്മിറ്റ് അല്ലെങ്കിൽ പുൾ അഭ്യർത്ഥനയിൽ നിന്നുള്ള ഫയലുകളായിരിക്കാം.

ഇപ്പോൾ, ഈ മോഡ് ഉപയോഗിച്ച്, പ്രധാന വികസന ശാഖയിൽ പ്രവേശിക്കുന്നതിന് മുമ്പ് നിങ്ങൾക്ക് പുതിയ കോഡ് വേഗത്തിൽ പരിശോധിക്കാം. സ്കാനിംഗ് സിസ്റ്റം അനലൈസർ മുന്നറിയിപ്പുകളോട് പ്രതികരിക്കുന്നുവെന്ന് ഉറപ്പാക്കാൻ, യൂട്ടിലിറ്റി പ്ലഗ്-കൺവെർട്ടർ പതാക ചേർത്തു --സൂചിക-മുന്നറിയിപ്പുകൾ:

plog-converter ... --indicate-warnings ... -o /path/to/report.tasks ...

ഈ ഫ്ലാഗ് ഉപയോഗിച്ച്, അനലൈസർ റിപ്പോർട്ടിൽ മുന്നറിയിപ്പുകൾ ഉണ്ടെങ്കിൽ കൺവെർട്ടർ പൂജ്യമല്ലാത്ത ഒരു കോഡ് നൽകും. റിട്ടേൺ കോഡ് ഉപയോഗിച്ച്, നിങ്ങൾക്ക് ഒരു പ്രീകമ്മിറ്റ് ഹുക്ക് തടയാനോ കമ്മിറ്റ് ചെയ്യാനോ അഭ്യർത്ഥന പിൻവലിക്കാനോ കഴിയും, കൂടാതെ ജനറേറ്റഡ് അനലൈസർ റിപ്പോർട്ട് പ്രദർശിപ്പിക്കാനോ പങ്കിടാനോ ഇമെയിൽ വഴി അയയ്ക്കാനോ കഴിയും.

കുറിപ്പ്. നിങ്ങൾ ആദ്യം ഫയലുകളുടെ ഒരു ലിസ്റ്റ് വിശകലനം ചെയ്യാൻ തുടങ്ങുമ്പോൾ, മുഴുവൻ പ്രോജക്റ്റും വിശകലനം ചെയ്യും, കാരണം ഹെഡർ ഫയലുകളിൽ പ്രൊജക്റ്റ് സോഴ്സ് ഫയലുകളുടെ ഡിപൻഡൻസികളുടെ ഒരു ഫയൽ അനലൈസർ സൃഷ്ടിക്കേണ്ടതുണ്ട്. സി, സി++ ഫയലുകൾ വിശകലനം ചെയ്യുന്നതിന്റെ സവിശേഷതയാണിത്. ഭാവിയിൽ, ഡിപൻഡൻസി ഫയൽ കാഷെ ചെയ്യാനും അനലൈസർ സ്വയമേവ അപ്ഡേറ്റ് ചെയ്യാനും കഴിയും. ഇൻക്രിമെന്റൽ അനാലിസിസ് മോഡ് ഉപയോഗിക്കുന്നതിനേക്കാൾ ഫയൽ ലിസ്റ്റ് ചെക്കിംഗ് മോഡ് ഉപയോഗിക്കുമ്പോൾ കമ്മിറ്റുകൾ പരിശോധിക്കുന്നതിന്റെ പ്രയോജനം, നിങ്ങൾ ആ ഫയൽ കാഷെ ചെയ്യേണ്ടതുണ്ട്, ഒബ്ജക്റ്റ് ഫയലുകളല്ല.

പുൾ അഭ്യർത്ഥന വിശകലനത്തിന്റെ പൊതു തത്വങ്ങൾ

മുഴുവൻ പ്രോജക്റ്റും വിശകലനം ചെയ്യുന്നതിന് ധാരാളം സമയമെടുക്കും, അതിനാൽ അതിന്റെ ഒരു പ്രത്യേക ഭാഗം മാത്രം പരിശോധിക്കുന്നത് അർത്ഥമാക്കുന്നു. ബാക്കിയുള്ള പ്രോജക്ട് ഫയലുകളിൽ നിന്ന് പുതിയ ഫയലുകൾ വേർതിരിക്കേണ്ടതുണ്ട് എന്നതാണ് പ്രശ്നം.

രണ്ട് ശാഖകളുള്ള ഒരു കമ്മിറ്റ് ട്രീയുടെ ഒരു ഉദാഹരണം നോക്കാം:

ആ പ്രതിബദ്ധത നമുക്ക് സങ്കൽപ്പിക്കാം A1 ഇതിനകം പരീക്ഷിച്ചിട്ടുള്ള ഒരു വലിയ അളവിലുള്ള കോഡ് അടങ്ങിയിരിക്കുന്നു. കുറച്ച് മുമ്പ് ഞങ്ങൾ കമ്മിറ്റിൽ നിന്ന് ഒരു ശാഖ ഉണ്ടാക്കി A1 ചില ഫയലുകൾ മാറ്റി.

തീർച്ചയായും, നിങ്ങൾ അത് പിന്നീട് ശ്രദ്ധിച്ചു A1 രണ്ട് പ്രതിബദ്ധതകൾ കൂടി സംഭവിച്ചു, എന്നാൽ ഇവയും മറ്റ് ശാഖകളുടെ ലയനങ്ങളായിരുന്നു, കാരണം ഞങ്ങൾ പ്രതിജ്ഞാബദ്ധരായിട്ടില്ല യജമാനന്. ഇപ്പോൾ ആ സമയം വന്നിരിക്കുന്നു ഹോട്ട്ഫൈക്സ് തയ്യാറാണ്. അതുകൊണ്ടാണ് ലയനത്തിനായി ഒരു പുൾ അഭ്യർത്ഥന പ്രത്യക്ഷപ്പെട്ടത് B3 и A3.

തീർച്ചയായും, അവരുടെ ലയനത്തിന്റെ മുഴുവൻ ഫലവും പരിശോധിക്കാൻ കഴിയും, എന്നാൽ ഇത് വളരെ സമയമെടുക്കുന്നതും ന്യായീകരിക്കാത്തതുമാണ്, കാരണം കുറച്ച് ഫയലുകൾ മാത്രമേ മാറ്റിയിട്ടുള്ളൂ. അതിനാൽ, മാറിയവ മാത്രം വിശകലനം ചെയ്യുന്നത് കൂടുതൽ കാര്യക്ഷമമാണ്.

ഇത് ചെയ്യുന്നതിന്, ശാഖകൾ തമ്മിലുള്ള വ്യത്യാസം നമുക്ക് ലഭിക്കുന്നു, ഞങ്ങൾ മാസ്റ്ററിലേക്ക് ലയിപ്പിക്കാൻ ആഗ്രഹിക്കുന്ന ശാഖയുടെ തലയിൽ ആയിരിക്കുന്നു:

git diff --name-only HEAD origin/$MERGE_BASE > .pvs-pr.list

$MERGE_BASE ഞങ്ങൾ അത് പിന്നീട് വിശദമായി നോക്കാം. എല്ലാ CI സേവനങ്ങളും ലയിപ്പിക്കുന്നതിനുള്ള ഡാറ്റാബേസിനെക്കുറിച്ചുള്ള ആവശ്യമായ വിവരങ്ങൾ നൽകുന്നില്ല എന്നതാണ് വസ്തുത, അതിനാൽ ഓരോ തവണയും ഈ ഡാറ്റ നേടുന്നതിന് നിങ്ങൾ പുതിയ വഴികൾ കണ്ടെത്തേണ്ടതുണ്ട്. വിവരിച്ച ഓരോ വെബ് സേവനങ്ങളിലും ഇത് വിശദമായി ചുവടെ വിവരിക്കും.

അതിനാൽ, ഞങ്ങൾക്ക് ശാഖകൾ തമ്മിലുള്ള വ്യത്യാസം ലഭിച്ചു, അല്ലെങ്കിൽ, മാറ്റിയ ഫയൽ പേരുകളുടെ ഒരു ലിസ്റ്റ്. ഇനി ഫയൽ കൊടുക്കണം .pvs-pr.list (മുകളിലുള്ള ഔട്ട്‌പുട്ട് ഞങ്ങൾ അതിലേക്ക് റീഡയറക്‌ട് ചെയ്‌തു) അനലൈസറിലേക്ക്:

pvs-studio-analyzer analyze -j8 
                            -o PVS-Studio.log 
                            -S .pvs-pr.list

വിശകലനത്തിന് ശേഷം, നമുക്ക് ലോഗ് ഫയൽ (PVS-Studio.log) എളുപ്പത്തിൽ വായിക്കാൻ കഴിയുന്ന ഫോർമാറ്റിലേക്ക് പരിവർത്തനം ചെയ്യേണ്ടതുണ്ട്:

plog-converter -t errorfile PVS-Studio.log --cerr -w

ഈ കമാൻഡ് പിശകുകൾ പട്ടികപ്പെടുത്തും stderr (സാധാരണ പിശക് സന്ദേശം ഔട്ട്പുട്ട്).

ഇപ്പോൾ മാത്രം നമുക്ക് പിശകുകൾ പ്രദർശിപ്പിക്കുക മാത്രമല്ല, പ്രശ്നങ്ങളുടെ സാന്നിധ്യത്തെക്കുറിച്ച് അസംബ്ലിക്കും പരിശോധനയ്ക്കുമായി ഞങ്ങളുടെ സേവനത്തെ അറിയിക്കുകയും വേണം. ഈ ആവശ്യത്തിനായി, കൺവെർട്ടറിൽ ഒരു ഫ്ലാഗ് ചേർത്തു -W (--സൂചിക-മുന്നറിയിപ്പുകൾ). കുറഞ്ഞത് ഒരു അനലൈസർ മുന്നറിയിപ്പ് ഉണ്ടെങ്കിൽ, യൂട്ടിലിറ്റി റിട്ടേൺ കോഡ് പ്ലഗ്-കൺവെർട്ടർ 2 ലേക്ക് മാറും, ഇത് പുൾ അഭ്യർത്ഥന ഫയലുകളിൽ സാധ്യമായ പിശകുകളുടെ സാന്നിധ്യത്തെക്കുറിച്ച് CI സേവനത്തെ അറിയിക്കും.

ട്രാവിസ് സിഐ

കോൺഫിഗറേഷൻ ഒരു ഫയലായിട്ടാണ് നിർമ്മിച്ചിരിക്കുന്നത് .travis.yml. സൗകര്യാർത്ഥം, ഫയലിൽ നിന്ന് വിളിക്കപ്പെടുന്ന ഫംഗ്ഷനുകളുള്ള ഒരു പ്രത്യേക ബാഷ് സ്ക്രിപ്റ്റിലേക്ക് എല്ലാം ഉൾപ്പെടുത്താൻ ഞാൻ നിങ്ങളെ ഉപദേശിക്കുന്നു. .travis.yml (ബാഷ് script_name.sh function_name).

സ്ക്രിപ്റ്റിലേക്ക് ആവശ്യമായ കോഡ് ഞങ്ങൾ ചേർക്കും ബാഷ്, ഇതുവഴി നമുക്ക് കൂടുതൽ പ്രവർത്തനക്ഷമത ലഭിക്കും. വിഭാഗത്തിൽ ഇൻസ്റ്റാൾ ചെയ്യുക നമുക്ക് ഇനിപ്പറയുന്നവ എഴുതാം:

install:
  - bash .travis.sh travis_install

നിങ്ങൾക്ക് എന്തെങ്കിലും നിർദ്ദേശങ്ങൾ ഉണ്ടെങ്കിൽ, ഹൈഫനുകൾ നീക്കംചെയ്തുകൊണ്ട് നിങ്ങൾക്ക് അവ സ്ക്രിപ്റ്റിലേക്ക് മാറ്റാവുന്നതാണ്.

നമുക്ക് ഫയൽ തുറക്കാം .travis.sh ഫംഗ്‌ഷനിലേക്ക് അനലൈസർ ക്രമീകരണം ചേർക്കുക travis_install():

travis_install() {
  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 
}

ഇനി നമുക്ക് വിഭാഗത്തിലേക്ക് ചേർക്കാം സ്ക്രിപ്റ്റ് റൺ വിശകലനം:

script:
  - bash .travis.sh travis_script

ബാഷ് സ്ക്രിപ്റ്റിൽ:

travis_script() {
  pvs-studio-analyzer credentials $PVS_USERNAME $PVS_KEY
  
  if [ "$TRAVIS_PULL_REQUEST" != "false" ]; then
    git diff --name-only origin/HEAD > .pvs-pr.list
    pvs-studio-analyzer analyze -j8 
                                -o PVS-Studio.log 
                                -S .pvs-pr.list 
                                --disableLicenseExpirationCheck
  else
    pvs-studio-analyzer analyze -j8 
                                -o PVS-Studio.log 
                                --disableLicenseExpirationCheck
  fi
  
  plog-converter -t errorfile PVS-Studio.log --cerr -w
}

പ്രോജക്റ്റ് നിർമ്മിച്ചതിന് ശേഷം ഈ കോഡ് പ്രവർത്തിപ്പിക്കേണ്ടതുണ്ട്, ഉദാഹരണത്തിന്, നിങ്ങൾക്ക് CMake-ൽ ഒരു ബിൽഡ് ഉണ്ടെങ്കിൽ:

travis_script() {
  CMAKE_ARGS="-DCMAKE_EXPORT_COMPILE_COMMANDS=On ${CMAKE_ARGS}"
  cmake $CMAKE_ARGS CMakeLists.txt
  make -j8
}

ഇത് ഇതുപോലെ മാറും:

travis_script() {
  CMAKE_ARGS="-DCMAKE_EXPORT_COMPILE_COMMANDS=On ${CMAKE_ARGS}"
  cmake $CMAKE_ARGS CMakeLists.txt
  make -j8
  
  pvs-studio-analyzer credentials $PVS_USERNAME $PVS_KEY
  
  if [ "$TRAVIS_PULL_REQUEST" != "false" ]; then
    git diff --name-only origin/HEAD > .pvs-pr.list
    pvs-studio-analyzer analyze -j8 
                                -o PVS-Studio.log 
                                -S .pvs-pr.list 
                                --disableLicenseExpirationCheck
  else
    pvs-studio-analyzer analyze -j8 
                                -o PVS-Studio.log 
                                --disableLicenseExpirationCheck
  fi
  
  plog-converter -t errorfile PVS-Studio.log --cerr -w
}

ഈ പരിസ്ഥിതി വേരിയബിളുകൾ നിങ്ങൾ ഇതിനകം ശ്രദ്ധിച്ചിരിക്കാം $TRAVIS_PULL_REQUEST и $TRAVIS_BRANCH. ട്രാവിസ് സിഐ അവരെ സ്വതന്ത്രമായി പ്രഖ്യാപിക്കുന്നു:

• $TRAVIS_PULL_REQUEST പുൾ അഭ്യർത്ഥന നമ്പർ സംഭരിക്കുന്നു അല്ലെങ്കിൽ തെറ്റായ, ഇതൊരു സാധാരണ ശാഖയാണെങ്കിൽ;
• $TRAVIS_REPO_SLUG പ്രോജക്റ്റ് റിപ്പോസിറ്ററിയുടെ പേര് സംഭരിക്കുന്നു.

ഈ പ്രവർത്തനത്തിനുള്ള അൽഗോരിതം:

ട്രാവിസ് സിഐ റിട്ടേൺ കോഡുകളോട് പ്രതികരിക്കുന്നു, അതിനാൽ മുന്നറിയിപ്പുകളുടെ സാന്നിധ്യം, കമ്മിറ്റ് പിശകുകൾ അടങ്ങിയതായി അടയാളപ്പെടുത്താൻ സേവനത്തോട് പറയും.

ഇനി നമുക്ക് ഈ കോഡിന്റെ വരി സൂക്ഷ്മമായി പരിശോധിക്കാം:

git diff --name-only origin/HEAD > .pvs-pr.list

ഒരു പുൾ അഭ്യർത്ഥന വിശകലനം ചെയ്യുമ്പോൾ ട്രാവിസ് സിഐ യാന്ത്രികമായി ശാഖകളെ ലയിപ്പിക്കുന്നു എന്നതാണ് വസ്തുത:

അതിനാൽ ഞങ്ങൾ വിശകലനം ചെയ്യുന്നു A4പക്ഷേ ഇല്ല B3->A3. ഈ സവിശേഷത കാരണം, നമ്മൾ വ്യത്യാസം കണക്കാക്കേണ്ടതുണ്ട് A3, അതിൽ നിന്ന് കൃത്യമായി ശാഖയുടെ മുകൾ ഭാഗമാണ് ഉത്ഭവം.

ഒരു പ്രധാന വിശദാംശം അവശേഷിക്കുന്നു - കംപൈൽ ചെയ്ത വിവർത്തന യൂണിറ്റുകളിൽ (*.c, *.cc, *.cpp, മുതലായവ) ഹെഡർ ഫയലുകളുടെ ഡിപൻഡൻസികൾ കാഷെ ചെയ്യുന്നു. ഫയലുകളുടെ ഒരു ലിസ്റ്റ് പരിശോധിക്കുന്ന മോഡിൽ ആദ്യം ലോഞ്ച് ചെയ്യുമ്പോൾ അനലൈസർ ഈ ഡിപൻഡൻസികൾ കണക്കാക്കുന്നു, തുടർന്ന് അവ .PVS-Studio ഡയറക്‌ടറിയിൽ സംരക്ഷിക്കുന്നു. ഫോൾഡറുകൾ കാഷെ ചെയ്യാൻ ട്രാവിസ് സിഐ നിങ്ങളെ അനുവദിക്കുന്നു, അതിനാൽ ഞങ്ങൾ ഡയറക്ടറി ഡാറ്റ സംരക്ഷിക്കും .PVS-സ്റ്റുഡിയോ/:

cache:
  directories:
    - .PVS-Studio/

ഈ കോഡ് ഫയലിൽ ചേർക്കേണ്ടതുണ്ട് .travis.yml. ഈ ഡയറക്‌ടറി വിശകലനത്തിന് ശേഷം ശേഖരിച്ച വിവിധ ഡാറ്റ സംഭരിക്കുന്നു, ഇത് ഫയൽ ലിസ്റ്റ് വിശകലനത്തിന്റെയോ ഇൻക്രിമെന്റൽ വിശകലനത്തിന്റെയോ തുടർന്നുള്ള റണ്ണുകളെ ഗണ്യമായി വേഗത്തിലാക്കും. ഇത് ചെയ്തില്ലെങ്കിൽ, അനലൈസർ എല്ലാ ഫയലുകളും യഥാർത്ഥത്തിൽ വിശകലനം ചെയ്യും.

ബഡ്ഡി

ട്രാവിസ് സിഐ പോലെ, ബഡ്ഡി GitHub-ൽ സംഭരിച്ചിരിക്കുന്ന പ്രോജക്റ്റുകൾ സ്വയമേവ നിർമ്മിക്കാനും പരിശോധിക്കാനുമുള്ള കഴിവ് നൽകുന്നു. ട്രാവിസ് സിഐയിൽ നിന്ന് വ്യത്യസ്തമായി, ഇത് വെബ് ഇന്റർഫേസിൽ ക്രമീകരിച്ചിരിക്കുന്നു (ബാഷ് പിന്തുണ ലഭ്യമാണ്), അതിനാൽ പ്രോജക്റ്റിൽ കോൺഫിഗറേഷൻ ഫയലുകൾ സംഭരിക്കേണ്ട ആവശ്യമില്ല.

ഒന്നാമതായി, അസംബ്ലി ലൈനിലേക്ക് ഞങ്ങൾ ഒരു പുതിയ പ്രവർത്തനം ചേർക്കേണ്ടതുണ്ട്:

പ്രോജക്റ്റ് നിർമ്മിക്കാൻ ഉപയോഗിച്ച കംപൈലർ സൂചിപ്പിക്കാം. ഈ പ്രവർത്തനത്തിൽ ഇൻസ്റ്റാൾ ചെയ്തിട്ടുള്ള ഡോക്കർ കണ്ടെയ്നർ ശ്രദ്ധിക്കുക. ഉദാഹരണത്തിന്, ജിസിസിക്ക് ഒരു പ്രത്യേക കണ്ടെയ്നർ ഉണ്ട്:

ഇനി നമുക്ക് പിവിഎസ്-സ്റ്റുഡിയോയും ആവശ്യമായ യൂട്ടിലിറ്റികളും ഇൻസ്റ്റാൾ ചെയ്യാം:

എഡിറ്ററിലേക്ക് ഇനിപ്പറയുന്ന വരികൾ ചേർക്കാം:

apt-get update && apt-get -y install wget gnupg jq

wget -q -O - https://files.viva64.com/etc/pubkey.txt | apt-key add -
wget -O /etc/apt/sources.list.d/viva64.list 
  https://files.viva64.com/etc/viva64.list

apt-get update && apt-get -y install pvs-studio

ഇപ്പോൾ നമുക്ക് റൺ ടാബിലേക്ക് പോകാം (ആദ്യ ഐക്കൺ) അനുബന്ധ എഡിറ്റർ ഫീൽഡിലേക്ക് ഇനിപ്പറയുന്ന കോഡ് ചേർക്കുക:

pvs-studio-analyzer credentials $PVS_USERNAME $PVS_KEY

if [ "$BUDDY_EXECUTION_PULL_REQUEST_NO" != '' ]; then
  PULL_REQUEST_ID="pulls/$BUDDY_EXECUTION_PULL_REQUEST_NO"
  MERGE_BASE=`wget -qO - 
    https://api.github.com/repos/${BUDDY_REPO_SLUG}/${PULL_REQUEST_ID} 
    | jq -r ".base.ref"`

  git diff --name-only HEAD origin/$MERGE_BASE > .pvs-pr.list
  pvs-studio-analyzer analyze -j8 
                              -o PVS-Studio.log 
                              --disableLicenseExpirationCheck 
                              -S .pvs-pr.list
else
  pvs-studio-analyzer analyze -j8 
                              -o PVS-Studio.log 
                              --disableLicenseExpirationCheck
fi

plog-converter -t errorfile PVS-Studio.log --cerr -w

നിങ്ങൾ Travs-CI-യിലെ വിഭാഗം വായിക്കുകയാണെങ്കിൽ, ഈ കോഡ് നിങ്ങൾക്ക് ഇതിനകം പരിചിതമാണ്, എന്നിരുന്നാലും, ഇപ്പോൾ ഒരു പുതിയ ഘട്ടം ഉണ്ട്:

ഇപ്പോൾ ഞങ്ങൾ വിശകലനം ചെയ്യുന്നത് ലയനത്തിന്റെ ഫലമല്ല, പുൾ അഭ്യർത്ഥന നടത്തിയ ബ്രാഞ്ചിന്റെ തലയാണ്:

അതിനാൽ ഞങ്ങൾ ഒരു സോപാധിക പ്രതിബദ്ധതയിലാണ് B3 കൂടാതെ നമുക്ക് വ്യത്യാസം നേടേണ്ടതുണ്ട് A3:

PULL_REQUEST_ID="pulls/$BUDDY_EXECUTION_PULL_REQUEST_NO"
  MERGE_BASE=`wget -qO - 
    https://api.github.com/repos/${BUDDY_REPO_SLUG}/${PULL_REQUEST_ID} 
    | jq -r ".base.ref"`
git diff --name-only HEAD origin/$MERGE_BASE > .pvs-pr.list

നിർണ്ണയിക്കാൻ A3 നമുക്ക് GitHub API ഉപയോഗിക്കാം:

https://api.github.com/repos/${USERNAME}/${REPO}/pulls/${PULL_REQUEST_ID}

ബഡ്ഡി നൽകുന്ന ഇനിപ്പറയുന്ന വേരിയബിളുകൾ ഞങ്ങൾ ഉപയോഗിച്ചു:

• $BUDDY_EXECUTION_PULL_REQEUST_NO - അഭ്യർത്ഥന നമ്പർ വലിക്കുക;
• $BUDDY_REPO_SLUG — ഉപയോക്തൃനാമത്തിന്റെയും ശേഖരണത്തിന്റെയും സംയോജനം (ഉദാഹരണത്തിന് max/test).

ഇപ്പോൾ ചുവടെയുള്ള ബട്ടൺ ഉപയോഗിച്ച് മാറ്റങ്ങൾ സംരക്ഷിക്കുകയും പുൾ അഭ്യർത്ഥനയുടെ വിശകലനം പ്രവർത്തനക്ഷമമാക്കുകയും ചെയ്യാം:

ട്രാവിസ് സിഐയിൽ നിന്ന് വ്യത്യസ്തമായി, ഞങ്ങൾ വ്യക്തമാക്കേണ്ടതില്ല .pvs-studio കാഷെ ചെയ്യുന്നതിനായി, ബഡ്ഡി തുടർന്നുള്ള ലോഞ്ചുകൾക്കായി എല്ലാ ഫയലുകളും സ്വയമേവ കാഷെ ചെയ്യുന്നു. അതിനാൽ, അവസാനമായി അവശേഷിക്കുന്നത് ബഡ്ഡിയിൽ പിവിഎസ്-സ്റ്റുഡിയോയ്ക്കുള്ള ലോഗിൻ, പാസ്‌വേഡ് സംരക്ഷിക്കുക എന്നതാണ്. മാറ്റങ്ങൾ സംരക്ഷിച്ച ശേഷം, ഞങ്ങളെ പൈപ്പ്ലൈനിലേക്ക് തിരികെ കൊണ്ടുപോകും. വേരിയബിളുകൾ സജ്ജീകരിക്കുന്നതിനും PVS-Studio-യ്‌ക്കായി ഒരു ലോഗിനും കീയും ചേർക്കുന്നതിനും ഞങ്ങൾ മുന്നോട്ട് പോകേണ്ടതുണ്ട്:

ഇതിനുശേഷം, ഒരു പുതിയ പുൾ അഭ്യർത്ഥന അല്ലെങ്കിൽ കമ്മിറ്റ് പ്രത്യക്ഷപ്പെടുന്നത് അവലോകനം ട്രിഗർ ചെയ്യും. ഒരു കമ്മിറ്റിൽ പിശകുകൾ ഉണ്ടെങ്കിൽ, പുൾ അഭ്യർത്ഥന പേജിൽ ബഡ്ഡി ഇത് സൂചിപ്പിക്കും.

AppVeyor

AppVeyor സജ്ജീകരിക്കുന്നത് ബഡ്ഡിക്ക് സമാനമാണ്, കാരണം എല്ലാം വെബ് ഇന്റർഫേസിൽ സംഭവിക്കുന്നു, കൂടാതെ പ്രോജക്റ്റ് റിപ്പോസിറ്ററിയിലേക്ക് *.yml ഫയൽ ചേർക്കേണ്ട ആവശ്യമില്ല.

പ്രോജക്റ്റ് അവലോകനത്തിലെ ക്രമീകരണ ടാബിലേക്ക് പോകാം:

പുൾ അഭ്യർത്ഥനകൾ ശേഖരിക്കുന്നതിനായി നമുക്ക് ഈ പേജ് താഴേക്ക് സ്ക്രോൾ ചെയ്ത് കാഷെ സേവിംഗ് പ്രവർത്തനക്ഷമമാക്കാം:

ഇപ്പോൾ നമുക്ക് പരിസ്ഥിതി ടാബിലേക്ക് പോകാം, അവിടെ അസംബ്ലിക്കായുള്ള ഇമേജും ആവശ്യമായ പരിസ്ഥിതി വേരിയബിളുകളും ഞങ്ങൾ വ്യക്തമാക്കുന്നു:

നിങ്ങൾ മുമ്പത്തെ ഭാഗങ്ങൾ വായിച്ചിട്ടുണ്ടെങ്കിൽ, ഈ രണ്ട് വേരിയബിളുകൾ നിങ്ങൾക്ക് വളരെ പരിചിതമാണ് - PVS_KEY и PVS_USERNAME. ഇല്ലെങ്കിൽ, PVS-Studio അനലൈസറിന്റെ ലൈസൻസ് പരിശോധിക്കേണ്ടത് അത്യാവശ്യമാണെന്ന് ഞാൻ നിങ്ങളെ ഓർമ്മിപ്പിക്കട്ടെ. ഭാവിയിൽ ബാഷ് സ്ക്രിപ്റ്റുകളിൽ നമുക്ക് അവരെ വീണ്ടും കാണാം.

ചുവടെയുള്ള അതേ പേജിൽ ഞങ്ങൾ കാഷെ ചെയ്യുന്നതിനുള്ള ഫോൾഡർ സൂചിപ്പിക്കുന്നു:

ഞങ്ങൾ ഇത് ചെയ്യുന്നില്ലെങ്കിൽ, രണ്ട് ഫയലുകൾക്ക് പകരം മുഴുവൻ പ്രോജക്റ്റും ഞങ്ങൾ വിശകലനം ചെയ്യും, എന്നാൽ നിർദ്ദിഷ്ട ഫയലുകളിൽ നിന്ന് ഞങ്ങൾക്ക് ഔട്ട്പുട്ട് ലഭിക്കും. അതിനാൽ, ശരിയായ ഡയറക്ടറി നാമം നൽകേണ്ടത് പ്രധാനമാണ്.

ഇനി സ്ക്രിപ്റ്റ് ടെസ്റ്റ് ചെയ്യേണ്ട സമയമാണ്. ടെസ്റ്റ് ടാബ് തുറന്ന് സ്ക്രിപ്റ്റ് തിരഞ്ഞെടുക്കുക:

ഈ ഫോമിലേക്ക് നിങ്ങൾ ഇനിപ്പറയുന്ന കോഡ് ഒട്ടിക്കേണ്ടതുണ്ട്:

sudo apt-get update && sudo apt-get -y install jq

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 && sudo apt-get -y install pvs-studio

pvs-studio-analyzer credentials $PVS_USERNAME $PVS_KEY

PWD=$(pwd -L)
if [ "$APPVEYOR_PULL_REQUEST_NUMBER" != '' ]; then
  PULL_REQUEST_ID="pulls/$APPVEYOR_PULL_REQUEST_NUMBER"
  MERGE_BASE=`wget -qO - 
    https://api.github.com/repos/${APPVEYOR_REPO_NAME}/${PULL_REQUEST_ID} 
    | jq -r ".base.ref"`

  git diff --name-only HEAD origin/$MERGE_BASE > .pvs-pr.list
  pvs-studio-analyzer analyze -j8 
                              -o PVS-Studio.log 
                              --disableLicenseExpirationCheck 
                              --dump-files --dump-log pvs-dump.log 
                              -S .pvs-pr.list
else
  pvs-studio-analyzer analyze -j8 
                              -o PVS-Studio.log 
                              --disableLicenseExpirationCheck
fi

plog-converter -t errorfile PVS-Studio.log --cerr -w

കോഡിന്റെ ഇനിപ്പറയുന്ന ഭാഗം ശ്രദ്ധിക്കാം:

PWD=$(pwd -L)
if [ "$APPVEYOR_PULL_REQUEST_NUMBER" != '' ]; then
  PULL_REQUEST_ID="pulls/$APPVEYOR_PULL_REQUEST_NUMBER"
  MERGE_BASE=`wget -qO - 
   https://api.github.com/repos/${APPVEYOR_REPO_NAME}/${PULL_REQUEST_ID} 
   | jq -r ".base.ref"`

  git diff --name-only HEAD origin/$MERGE_BASE > .pvs-pr.list
  pvs-studio-analyzer analyze -j8 
                              -o PVS-Studio.log 
                              --disableLicenseExpirationCheck 
                              --dump-files --dump-log pvs-dump.log 
                              -S .pvs-pr.list
else
  pvs-studio-analyzer analyze -j8 
                              -o PVS-Studio.log 
                              --disableLicenseExpirationCheck
fi

ഈ ഡിഫോൾട്ട് മൂല്യം സംഭരിക്കുന്ന ഒരു വേരിയബിളിലേക്ക് pwd കമാൻഡിന്റെ മൂല്യത്തിന്റെ നിർദ്ദിഷ്ട അസൈൻമെന്റ് ഒറ്റനോട്ടത്തിൽ വിചിത്രമായി തോന്നുന്നു, എന്നിരുന്നാലും, ഞാൻ ഇപ്പോൾ എല്ലാം വിശദീകരിക്കും.

AppVeyor-ൽ അനലൈസർ സജ്ജീകരിക്കുമ്പോൾ, അനലൈസറിന്റെ വളരെ വിചിത്രമായ പെരുമാറ്റം ഞാൻ നേരിട്ടു. ഒരു വശത്ത്, എല്ലാം ശരിയായി പ്രവർത്തിച്ചു, പക്ഷേ വിശകലനം ആരംഭിച്ചില്ല. ഞങ്ങൾ /home/appveyor/projects/testcalc/ ഡയറക്‌ടറിയിലാണെന്ന് ശ്രദ്ധിച്ചുകൊണ്ട് ഞാൻ ഒരുപാട് സമയം ചിലവഴിച്ചു, കൂടാതെ നമ്മൾ /opt/appveyor/build-agent/-ൽ ആണെന്ന് അനലൈസർ ഉറപ്പാണ്. അപ്പോൾ $PWD വേരിയബിൾ അൽപ്പം കിടക്കുന്നു എന്ന് മനസ്സിലായി. ഇക്കാരണത്താൽ, വിശകലനം ആരംഭിക്കുന്നതിന് മുമ്പ് ഞാൻ അതിന്റെ മൂല്യം സ്വമേധയാ അപ്ഡേറ്റ് ചെയ്തു.

പിന്നെ എല്ലാം പഴയതുപോലെ തന്നെ:

ഇപ്പോൾ ഇനിപ്പറയുന്ന ശകലം പരിഗണിക്കുക:

PULL_REQUEST_ID="pulls/$APPVEYOR_PULL_REQUEST_NUMBER"
MERGE_BASE=`wget -qO - 
  https://api.github.com/repos/${APPVEYOR_REPO_NAME}/${PULL_REQUEST_ID} 
  | jq -r ".base.ref"`

പുൾ അഭ്യർത്ഥന പ്രഖ്യാപിച്ച ശാഖകൾ തമ്മിലുള്ള വ്യത്യാസം അതിൽ നമുക്ക് ലഭിക്കും. ഇത് ചെയ്യുന്നതിന്, നമുക്ക് ഇനിപ്പറയുന്ന പരിസ്ഥിതി വേരിയബിളുകൾ ആവശ്യമാണ്:

• $APPVEYOR_PULL_REQUEST_NUMBER — അഭ്യർത്ഥന നമ്പർ പിൻവലിക്കുക;
• $APPVEYOR_REPO_NAME - ഉപയോക്തൃനാമവും പ്രോജക്റ്റ് ശേഖരണവും.

തീരുമാനം

തീർച്ചയായും, സാധ്യമായ എല്ലാ തുടർച്ചയായ സംയോജന സേവനങ്ങളും ഞങ്ങൾ പരിഗണിച്ചിട്ടില്ല, എന്നിരുന്നാലും, അവയ്‌ക്കെല്ലാം പരസ്പരം സമാനമായ പ്രവർത്തന സവിശേഷതകൾ ഉണ്ട്. കാഷിംഗ് ഒഴികെ, ഓരോ സേവനവും സ്വന്തം "സൈക്കിൾ" ഉണ്ടാക്കുന്നു, അതിനാൽ എല്ലാം എല്ലായ്പ്പോഴും വ്യത്യസ്തമാണ്.

എവിടെയോ, ട്രാവിസ്-സിഐ പോലെ, കോഡിന്റെയും കാഷിംഗിന്റെയും രണ്ട് വരികൾ കുറ്റമറ്റ രീതിയിൽ പ്രവർത്തിക്കുന്നു; എവിടെയോ, AppVeyor പോലെ, നിങ്ങൾ ക്രമീകരണങ്ങളിൽ ഫോൾഡർ വ്യക്തമാക്കേണ്ടതുണ്ട്; എന്നാൽ എവിടെയെങ്കിലും നിങ്ങൾ അദ്വിതീയ കീകൾ സൃഷ്ടിക്കുകയും കാഷെ ചെയ്ത ശകലം തിരുത്തിയെഴുതാനുള്ള അവസരം നൽകുന്നതിന് സിസ്റ്റത്തെ ബോധ്യപ്പെടുത്താൻ ശ്രമിക്കുകയും വേണം. അതിനാൽ, മുകളിൽ ചർച്ച ചെയ്തിട്ടില്ലാത്ത ഒരു തുടർച്ചയായ സംയോജന സേവനത്തിൽ പുൾ അഭ്യർത്ഥനകളുടെ വിശകലനം സജ്ജീകരിക്കാൻ നിങ്ങൾ ആഗ്രഹിക്കുന്നുവെങ്കിൽ, ആദ്യം നിങ്ങൾക്ക് കാഷെ ചെയ്യുന്നതിൽ പ്രശ്‌നങ്ങളില്ലെന്ന് ഉറപ്പാക്കുക.

നിങ്ങളുടെ ശ്രദ്ധയ്ക്ക് നന്ദി. എന്തെങ്കിലും പ്രവർത്തിക്കുന്നില്ലെങ്കിൽ, ഞങ്ങൾക്ക് എഴുതാൻ മടിക്കേണ്ടതില്ല പിന്തുണ. ഞങ്ങൾ ഉപദേശിക്കുകയും സഹായിക്കുകയും ചെയ്യും.

ഇംഗ്ലീഷ് സംസാരിക്കുന്ന പ്രേക്ഷകരുമായി ഈ ലേഖനം പങ്കിടാൻ നിങ്ങൾ ആഗ്രഹിക്കുന്നുവെങ്കിൽ, വിവർത്തന ലിങ്ക് ഉപയോഗിക്കുക: Maxim Zvyagintsev. PVS-Studio ഉപയോഗിച്ച് ട്രാവിസ് CI, Buddy, AppVeyor എന്നിവയിലെ കമ്മിറ്റുകളുടെയും പുൾ അഭ്യർത്ഥനകളുടെയും വിശകലനം.

അവലംബം: www.habr.com