Vidi editionem quam PVS sub Linux analyse didicerat, eamque meis inceptis experiri decrevi. Et hoc est quod exiit.
contentus
Responsivum firmamentum
Rogavi clavem iudicii et eodem die ad me miserunt.
Satis liquet documenta
Nos sine ullis quaestionibus analysrem deducendi curavimus. Auxilium ad mandatum consolandum etiam in promptu est (quamvis hic aliquae sint querelae, vide sectionem ).
Possibilitas multi-filam analysis
Analyser optionis "vexillum" habet -jpermittens analysim in pluribus operibus parallelis peragi. Hoc tempus multum salvet.
Bonum visualisation
Multae formatae variae, a textu ad parvam rostrum interretialem. .
Facilis integratio in ecclesiam
Omnia documenta in loco suo posita sunt, hoc tantum dicere possum, si consilium tuum CMake utens aedificatum est, omnia simplicissima sunt.
Diagnostic descriptiones bonum
Si generate output in mode fullhtmlunaquaeque nuntius nexum habet cum descriptione diagnostica, cum explicationibus, codice exemplis et nexus adiectis.
Ignorantia linguae C++ ab analysi
Infeliciter, PVS interdum errores syntaxis facit et nuntios falsas affirmativas gignit cum in codice perfecte corriguntur.
Exempli gratia, munus est quod redit void:
template <typename T>
auto copy (const void * source, void * destination)
->
std::enable_if_t
<
std::is_copy_constructible<T>::value
>
{
new (destination) T(*static_cast<const T *>(source));
}Ita est key verbum auto Potest medium void, Id quod est Car. Sed PVS epistulae sequentes protulerunt:
dynamic_tuple_management.hpp:29:1: error: V591 Non-void function should return a value.
dynamic_tuple_management.hpp:29:1: error: V2542 Function with a non-void return type should return a value from all exit paths.Tardissimum situs
Ita, in interfaciente interretiali iuxta unumquemque nuntium nexus est cum descriptione diagnostica cum exemplis. Sed cum nexum premes, satis diu exspectes, et interdum fit .
sermone
Omnes descriptiones Russicae sunt, quod magnum est. Sed nexus relationis semper in versionem Anglicam ducunt. Pulchrum esset linguam commutare ut diagnostica statim in Russia inspicere possis. Optionem talem interfaciendi non inveni.
Inconveniens est operari cum gradibus diagnosticis per consolatorium
Quod duo imperia utendum sit scriptor satus (hoc pvs-studio-analyzer ΠΈ plog-converter) Formae variae ad diagnostica definiendas.
Auxilium for pvs-studio-analyzer legit;
-a [MODE], --analysis-mode [MODE]
MODE defines the type of warnings:
1 - 64-bit errors;
2 - reserved;
4 - General Analysis;
8 - Micro-optimizations;
16 - Customers Specific Requests;
32 - MISRA.
Modes can be combined by adding the values
Default: 4Exegi diu trying ut instar sicco ubi ire adde ("valores addere") claves. Conatus enumerare eas per commata separatas;
pvs-studio-analyzer analyze ... -a 1,4,16Scribere clavem pluries conabar:
pvs-studio-analyzer analyze ... -a 1 -a 4 -a 16Et tunc demum intellexi has personas esse frenum! Et opus perorareet non adde significationes. Exempli gratia, ut diagnostica, diagnostica pro micro-optimizationibus et MISRA generalibus acquirant, necesse est eas conficere (4 + 8 + 32 = 44);
pvs-studio-analyzer analyze ... -a 44Usura bitmasks in usuario interfaces plerumque mala forma est. Haec omnia interius compendiari potuerunt, et vexilla copia usori ornatum esse.
Praeterea est etiam utilitas plog-converterquae notitias analysin stabilis hominum faciliores generat. Alias ββquaestiones habet.
Auxilium programma plog-converter tradit;
-a, --analyzer Specifies analyzer(s) and level(s) to be
used for filtering, i.e.
'GA:1,2;64:1;OP:1,2,3;CS:1;MISRA:1,2'
Default: GA:1,2Aliquot "gradus" hic apparuerunt qui antea non fuerunt, nec aliquid de illis in documentis inveni.
Fere non liquet. Quam ob rem omnia maxima.
Fasciculum stultus jurandi in Capite
Duo ex tribus inceptis unitas probationis bibliothecae uti enucleavi . Leonis nuntios (!!! 90 e 138 in uno et 297 e 344 in altero!!!) hanc formam habent;
Non rationem multithreading
Multae sunt positivae falsae circa variabilium quasi immutabilium vel infinitarum ansarum, dum opus cum his variabilibus accidit ex filis diversis, et si hoc non esset, unitas probationes non operaretur.
Sed potestne stabilis analyser etiam hanc rationem habere? Nescis.
PVS non invenit verum bugs in aperto fonte incepta ΠΈ necnon in typorum operatione, quam ob evidentibus de causis exhibere non possum. Verum, operae pretium est prae oculis habere nonnulla vitia iam antea deprehensa et emendata utentem ΠΈ .
In genere, impressio omnium horum analysriorum fere eadem est: capiunt aliquid, interdum etiam aliquid momenti, sed altiore compilator satis est.
Fieri potest (et ego ipse ita censeo) ut turma nostra evolutionis programmatis utitur, quae minimum amount of shitty code generare nos sinunt. Melius est difficultates non creare quam heroice vincere.
Quare libertatem monendi capio de modo scribendi in C++ ita, ut ne quis crura demittat, neve aliquem in fronte rastro feriat.
Fac maxime compilator diagnostica
Our team uses (and advises you to) the following compilation options:
-Werror
-Wall
-Wextra
-Wpedantic
-Wcast-align
-Wcast-qual
-Wconversion
-Wctor-dtor-privacy
-Wenum-compare
-Wfloat-equal
-Wnon-virtual-dtor
-Wold-style-cast
-Woverloaded-virtual
-Wredundant-decls
-Wsign-conversion
-Wsign-promoFac eas in tuo consilio et multum discas de codice tuo.
Ad inhaero vexillum
Conare non uti rebus suggestis dependentibus si normae sint analogae, et si omnino carere non potes, eas in specialibus caudices pro macros (vel aliquid aliud) involve et simpliciter ne codicem tuum sub condicionibus destitutis componi sinas.
Habeto eas solus ut vexillum operatio semantics
Additio debet esse addita, multiplicatio debet esse multiplicatio, munus vocationis debet esse munus vocatum, exemplum debet esse exemplum, deportare debet portare, continens oportet esse iterabile, iterator debet habere promotionem. ++ et dereferencing *. Et sic et cetera.
Ideam esse manifestam puto. Conventiones sunt institutae quae non obligant, sed omnes utentes et lectores codicis tui exspectant. Noli alios fallere, aliter te falles.
Scribere compatible codice
Imprimis bibliothecam maxume maxume. Valde optandum est ut interfaces classium et functionum tuorum cum vexillis et aliis bibliothecis uti possint (exempli gratia Boost).
Sentire liberum est videre interfaces StL et Boost. Rarissimis exceptionibus, exemplum dignum ibi videbis.
Fac fontem instrumenta maxime aperta
Ad eandem analysim static, duo saltem instrumenta gratuita aperta sunt quae semel ad aliquod consilium cum CMake fabricandi systemate coniungi possunt.
.
Denique confirmare velim me non suadere me non uti PVS vel aliis analysibus staticis. Sed hortor ut cogites quomodo factum sit ut analystor stabilis significantes errores in codice tuo constanter reperiat.
Hoc est consequens. Causam quaerere et tollere debemus.
Source: www.habr.com