🥇Ag cur aithne ar an anailíseoir statach PVS-Studio agus cláir C++ á bhforbairt sa timpeallacht Linux

Tacaíonn PVS-Studio le hanailís ar thionscadail scríofa i C, C++, C#, agus Java. Is féidir an anailíseoir a úsáid ar chórais Windows, Linux и macOSPléifidh an t-alt seo anailís a dhéanamh ar chód scríofa i C agus C++ sa timpeallacht Linux.

Suiteáil

Suiteáil PVS-Studio faoi Linux Tá roinnt bealaí ann chun seo a dhéanamh, ag brath ar an gcineál dáilte. Is é an modh is áisiúla agus is fearr ná stórlann a úsáid, toisc go gceadaíonn sé seo nuashonruithe uathoibríocha an anailíseora nuair a scaoiltear leaganacha nua. Is é an dara rogha ná pacáiste suiteála a úsáid, ar féidir é a íoslódáil. anseo.

Braitheann na horduithe a chaithfidh tú a rith le haghaidh suiteála ar an dáileadh. Linux, a úsáideann tú. Mar shampla, i gcás córas atá bunaithe ar Debian, seo mar a bheidh suiteáil ón stórlann:

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 update
sudo apt install pvs-studio

Chun PVS-Studio a shuiteáil ó phacáiste suiteála, is féidir leat an fóntais gdebi a úsáid:

sudo gdebi pvs-studio-VERSION.deb

Déantar cur síos níos mine ar an bpróiseas suiteála sa rannán "Suiteáil agus nuashonrú PVS-Studio i Linux» doiciméadacht. Is féidir leat eolas a fháil ansin freisin faoi chórais nach bhfuil bunaithe ar Debian.

Tar éis a shuiteáil, ní mór duit faisnéis ceadúnais a chur isteach. Chun seo a dhéanamh, bain úsáid as an ordú

pvs-studio-analyzer credentials NAME KEY [-o LIC-FILE]

Cá háit NAME и EOCHAIR – an t-ainm ina bhfuil an ceadúnas cláraithe agus eochair an cheadúnais. Paraiméadar roghnach -or is féidir leat an cosán a shonrú ina nginfear an comhad ceadúnais. De réir réamhshocraithe tá sé stóráilte san eolaire ~/.config/PVS-Stiúideo/.

Is féidir leat an eochair thrialach a fháil ar an leathanach "Íoslódáil agus bain triail as PVS-Studio".

Fíorú tionscadail

Tar éis duit an anailísí a shuiteáil, is féidir leat tosú ar thionscadail a sheiceáil. Tá dhá phríomhbhealach ann chun é seo a dhéanamh:

Monatóireacht ar thiomsú;
Rith le linn an phróisis tógála go díreach ón gcóras tógála.

Féachfaimid ar an gcéad mhodh ar dtús. Chun tús a chur le monatóireacht faoi Linux, beidh fóntais ag teastáil uait stríoc. Úsáideann an anailísí é chun faisnéis a bhailiú faoi na próisis a seoladh le linn tógáil an tionscadail.

Déantar an seoladh leis an ordú seo a leanas:

pvs-studio-analyzer trace -- make

Úsáideann an sampla seo déantús chun tógáil, ach is féidir aon ordú eile a úsáideann tú chun tús a chur leis an tógáil a chur in ionad an ghlao déanta. Is féidir paraiméadair na líne ordaithe a chur ar aghaidh chuige ar an ngnáthbhealach.

Nuair a bheidh sé tógtha, cruthóidh strace comhad a úsáidfidh an anailísí chun an cód foinse a sheiceáil. Is féidir leat an anailís a thosú leis an ordú

pvs-studio-analyzer analyze -o /path/to/project.log

Beidh an t-aschur comhad ionchódaithe leis na torthaí, ar féidir leat a thiontú go ceann de na formáidí tacaíocht. Féachfaimid le bheith ag obair le tuarascálacha sa chéad chuid eile.

Chomh maith le strace a úsáid, is féidir anailís a dhéanamh bunaithe ar chomhad freisin tiomsaigh_orduithe.json (Bunachar Sonraí Tiomsú JSON). Ligeann go leor córas tógála duit orduithe glaonna tiomsaitheora a onnmhairiú, nó is féidir leat an fóntais a úsáid BEAR. Sa chás seo, is féidir leat an anailís a thosú leis an ordú

pvs-studio-analyzer analyze –f /path/to/compile_commands.json

Ba chóir a thabhairt faoi deara go n-aithníonn an anailísí an tiomsaitheoir a úsáideann ainm a chomhaid inrite. Má fhaigheann tú an earráid "Níor aimsíodh aon aonad tiomsaithe" agus tú ag seiceáil, bain triail as ainm do tiomsaitheora a shonrú tríd an bparaiméadar – tiomsaitheoir nó –c:

pvs-studio-analyzer analyze -c MyCompiler

D'fhéadfadh sé seo a bheith riachtanach agus tiomsaitheoirí a bhfuil ainmneacha comhaid inrite neamhchaighdeánacha acu á gcros-thiomsú agus á n-úsáid.

Chomh maith le bheith ag rith i mód monatóireachta, is féidir leat an anailíseoir a chomhtháthú isteach i do chóras tógála nó IDE. Is féidir samplaí de thionscadail a bhfuil comhtháthú cumraithe acu cheana féin a fháil ag GitHub sa stór PVS_Studio:

Tá treoracha níos mionsonraithe maidir le conas an anailís a reáchtáil ar fáil thíos. Linux Feach isteach doiciméadú.

Ag obair le tuarascálacha

Tar éis an dearadh a sheiceáil, gineann an anailíseoir tuarascáil códaithe. D'fhonn é a thiontú go ceann de na formáidí tacaithe, ba cheart duit an fóntais a úsáid ploc-tiontaire, atá suiteáilte le PVS-Studio.

Tacaíonn an fóntais leis na formáidí seo a leanas:

xml – formáid áisiúil chun próiseáil bhreise a dhéanamh ar thorthaí anailíse, arna thacú ag breiseán do SonarQube;
csv – formáid an téacs atá beartaithe chun sonraí táblaí a chur i láthair;
errorfile – bhformáid aschuir gcc agus clang;
tascliosta - formáid earráide is féidir a oscailt i QtCreator;
html – tuairisc html le cur síos gairid ar thorthaí na hanailíse;
fullhtml – tuairisc html le torthaí anailíse sórtála de réir paraiméadair éagsúla agus nascleanúint tríd an gcód foinseach.

Tá an fhormáid fullhtml níos áisiúla chun an tuairisc a fheiceáil, toisc go ligeann sé duit dul go dtí an líne cód foinse inar tharla an rabhadh. Ligeann an t-ordú seo a leanas duit tuairisc an anailíseora a thiontú go formáid seo:

plog-converter -a GA:1,2 -t fullhtml /path/project.log -o /path/report_dir

Tar éis an t-ordú a fhorghníomhú, cruthófar eolaire /cosán/tuairisc_dir, ina mbeidh na comhaid tuairisce.

Tabhair aird ar an eochair -a. Ligeann sé duit a shonrú cé na rabhaidh ba cheart a áireamh sa tuarascáil. Tá sé seo áisiúil má tá gá le haschur an anailíseora a scagadh. Cruthóidh an t-ordú thuas tuairisc nach mbeidh ann ach rabhaidh ón ngrúpa anailíse ginearálta ar an gcéad agus an dara leibhéal muiníne (Ard- и Meánach).

Tuarascáil shamplach:

Trí chliceáil i gcill An Cheantar teachtaireachtaí, is féidir leat léim go dtí an líne chóid chomhfhreagrach:

Cliceáil ar an uimhir dhiagnóiseach sa cholún Cód osclóidh sé doiciméid a chuireann síos ar an diagnóis seo.

Truicear anailíseora a shochtadh

Nuair a bhíonn cód á sheiceáil le hanailíseoir statach, is féidir dearfacha bréagacha nó teachtaireachtaí nach dteastaíonn uait (torann). Soláthraíonn PVS-Studio meicníochtaí chun rabhaidh den sórt sin a shochtadh. Chun truicearáin a chosc ina n-aonar, is féidir leat ceann de na modhanna a bhfuil cur síos orthu sa rannán doiciméadúcháin a úsáid "Foláirimh Bréagach a Shochtadh".

Chomh maith leis sin, agus anailís á déanamh ar sheanchód, d’fhéadfadh go mbeadh sé riachtanach gach teachtaireacht a shochtadh go mór. Go hiondúil, tá sé seo riachtanach chun a sheiceáil ach an cód a chuirtear leis an codebase atá ann cheana féin. Chun seo a dhéanamh, bain úsáid as an paraiméadar bhaint fóntais pvs stiúideo-anailíseoir.

Is féidir leat teachtaireachtaí i dtuairisc a chur faoi chois go mór leis an ordú seo a leanas:

pvs-studio-analyzer suppress /path/to/report.log

Stóráiltear faisnéis faoi theachtaireachtaí faoi chois i gcomhad suppress_base.json, atá suite in aice leis an tionscadal. Eisiatar teachtaireachtaí den sórt sin ón tuarascáil le linn seiceálacha ina dhiaidh sin.

Déantar cur síos níos mine ar an meicníocht seo sna doiciméid anseo.

Conclúid

Ba réamhrá gairid é seo ar úsáid an anailíseora PVS-Studio faoi LinuxTá súil agam gur chabhraigh sé seo leat agus gur fhreagair sé cuid de na ceisteanna is minice a chuirtear ort. Is féidir leat tuilleadh a léamh faoin ábhar seo sa doiciméadacht. anseo.