পিভিএস-স্টুডিওর স্বাধীন পর্যালোচনা (লিনাক্স, সি++)

আমি একটি প্রকাশনা দেখেছি যে পিভিএস লিনাক্সের অধীনে বিশ্লেষণ করতে শিখেছে, এবং আমার নিজের প্রকল্পগুলিতে এটি চেষ্টা করার সিদ্ধান্ত নিয়েছে। আর এটাই বেরিয়ে এসেছে।

সন্তুষ্ট

1. Плюсы
2. Минусы
3. ফলাফল
4. উত্তরভাষ

Плюсы

প্রতিক্রিয়াশীল সমর্থন

আমি একটি ট্রায়াল কী অনুরোধ করেছি এবং তারা একই দিনে এটি আমাকে পাঠিয়েছে।

মোটামুটি পরিষ্কার ডকুমেন্টেশন

আমরা কোনো সমস্যা ছাড়াই বিশ্লেষক চালু করতে পরিচালিত. কনসোল কমান্ডের জন্য সাহায্যও পাওয়া যায় (যদিও এখানে কিছু অভিযোগ আছে, বিভাগটি দেখুন Минусы).

মাল্টি-থ্রেডেড বিশ্লেষণের সম্ভাবনা

বিশ্লেষকের একটি "মানক" বিকল্প রয়েছে -j, বিশ্লেষণ বিভিন্ন কর্ম সমান্তরালভাবে বাহিত হতে অনুমতি দেয়. এতে অনেক সময় বাঁচে।

ভালো ভিজ্যুয়ালাইজেশন

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

সমাবেশে সহজ ইন্টিগ্রেশন

সমস্ত ডকুমেন্টেশন তাদের ওয়েবসাইটে রয়েছে, আমি কেবল বলতে পারি যে আপনার প্রকল্পটি যদি CMake ব্যবহার করে নির্মিত হয় তবে সবকিছু খুব সহজ।

ভাল ডায়গনিস্টিক বিবরণ

আপনি যদি মোডে আউটপুট তৈরি করেন fullhtml, তারপর প্রতিটি বার্তায় ব্যাখ্যা, কোড উদাহরণ এবং অতিরিক্ত লিঙ্ক সহ একটি ডায়গনিস্টিক বিবরণের একটি লিঙ্ক রয়েছে।

Минусы

বিশ্লেষক দ্বারা C++ ভাষার অজ্ঞতা

দুর্ভাগ্যবশত, PVS কখনও কখনও সিনট্যাক্স ত্রুটি করে এবং কোডটি সম্পূর্ণ সঠিক হলে মিথ্যা ইতিবাচক বার্তা তৈরি করে।

উদাহরণস্বরূপ, একটি ফাংশন আছে যা রিটার্ন করে 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));
}

হ্যাঁ, কীওয়ার্ড auto বোঝাতে পারে void, যে জন্য এটা কি গাড়ী. কিন্তু পিভিএস নিম্নলিখিত বার্তাগুলি তৈরি করেছে:

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.

খুব ধীর সাইট

হ্যাঁ, প্রতিটি বার্তার পাশের ওয়েব ইন্টারফেসে উদাহরণ সহ সংশ্লিষ্ট ডায়গনিস্টিক বিবরণের একটি লিঙ্ক রয়েছে৷ কিন্তু আপনি যখন কোনো লিঙ্কে ক্লিক করেন, আপনাকে বেশ দীর্ঘ সময় অপেক্ষা করতে হয়, এবং কখনও কখনও এটি ঘটে 504 গেটওয়ে টাইম-আউট.

ভাষা

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

কনসোলের মাধ্যমে ডায়াগনস্টিক স্তরের সাথে কাজ করা অসুবিধাজনক

চলুন শুরু করা যাক যে দুটি কমান্ড ব্যবহৃত হয়েছে (এটি pvs-studio-analyzer и plog-converter) ডায়গনিস্টিক নির্দিষ্ট করার জন্য বিভিন্ন বিন্যাস।

জন্য সাহায্য pvs-studio-analyzer পড়ে:

-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: 4

কোথায় যেতে হবে তা বের করার চেষ্টায় অনেকক্ষণ কাটিয়ে দিলাম যোগ করুন ("মান যোগ করা") কী। আমি তাদের কমা দ্বারা পৃথক তালিকা করার চেষ্টা করেছি:

pvs-studio-analyzer analyze ... -a 1,4,16

আমি বেশ কয়েকবার কী নিবন্ধন করার চেষ্টা করেছি:

pvs-studio-analyzer analyze ... -a 1 -a 4 -a 16

আর তখনই বুঝলাম এগুলো বিট মাস্ক! এবং আপনি প্রয়োজন যোগ করা, এবং না যোগ করুন অর্থ উদাহরণস্বরূপ, সাধারণ ডায়াগনস্টিকস, মাইক্রো-অপ্টিমাইজেশান এবং MISRA-এর জন্য ডায়াগনস্টিকস পেতে, আপনাকে সেগুলি যোগ করতে হবে (4 + 8 + 32 = 44):

pvs-studio-analyzer analyze ... -a 44

ইউজার ইন্টারফেসে বিটমাস্ক ব্যবহার করা সাধারণত খারাপ ফর্ম। এই সমস্ত অভ্যন্তরীণভাবে সংক্ষিপ্ত করা যেতে পারে, এবং পতাকার একটি সেট ব্যবহারকারীর জন্য সেট করা যেতে পারে।

উপরন্তু, একটি উপযোগিতা আছে plog-converter, যা মানব-পাঠযোগ্য স্ট্যাটিক বিশ্লেষণ তথ্য তৈরি করে। তার অন্যান্য সমস্যা আছে।

প্রোগ্রামের জন্য সাহায্য plog-converter রিপোর্ট:

-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,2

কিছু "স্তর" এখানে উপস্থিত হয়েছে যা আগে সেখানে ছিল না, এবং আমি ডকুমেন্টেশনেও তাদের সম্পর্কে কিছুই খুঁজে পাইনি।

সাধারণভাবে, এটি পরিষ্কার নয়। সেজন্য আমি সবকিছুকে সর্বোচ্চ সেট করেছি।

ক্যাচের উপর একগুচ্ছ বোকা শপথ

আমি বিশ্লেষণ করেছি তিনটি প্রকল্পের মধ্যে দুটি একটি ইউনিট টেস্টিং লাইব্রেরি ব্যবহার করে ক্যাচ 2. এবং বার্তার সিংহভাগ (!!! একটিতে 90টির মধ্যে 138টি এবং অন্যটিতে 297টির মধ্যে 344টি!!!) নিম্নলিখিত ফর্ম রয়েছে:

মাল্টিথ্রেডিং বিবেচনায় নেয় না

অনুমিতভাবে অপরিবর্তিত ভেরিয়েবল বা অন্তহীন লুপ সম্পর্কে অনেক মিথ্যা ইতিবাচক রয়েছে, যখন এই ভেরিয়েবলগুলির সাথে কাজ বিভিন্ন থ্রেড থেকে ঘটে এবং যদি এটি না হয়, তাহলে ইউনিট পরীক্ষা কাজ করবে না।

যাইহোক, একটি স্ট্যাটিক বিশ্লেষক এমনকি অ্যাকাউন্টে নিতে পারে? জানি না।

ফলাফল

PVS আমার ওপেন সোর্স প্রোজেক্টে কোনো বাস্তব বাগ খুঁজে পায়নি Burst и প্রক্সিমা, পাশাপাশি একটি কার্যকরী খসড়াতে, যা, সুস্পষ্ট কারণে, আমি উপস্থাপন করতে পারি না। সত্য, এটি মনে রাখা মূল্যবান যে কিছু ত্রুটিগুলি ইতিমধ্যে ধরা পড়েছে এবং আগে ব্যবহার করে সংশোধন করা হয়েছে সিপিপিচেক и scan-build.

সাধারণভাবে, এই সমস্ত বিশ্লেষক থেকে ছাপ প্রায় একই: হ্যাঁ, তারা কিছু ধরতে পারে, কখনও কখনও এমনকি গুরুত্বপূর্ণ কিছু, কিন্তু সামগ্রিকভাবে কম্পাইলার যথেষ্ট।

এটা সম্ভব (এবং আমি ব্যক্তিগতভাবে তাই মনে করতে চাই) যে আমাদের দল সফ্টওয়্যার বিকাশের অনুশীলনগুলি ব্যবহার করে যা আমাদের ন্যূনতম পরিমাণে শিটি কোড তৈরি করতে দেয়। বীরত্বের সাথে কাটিয়ে ওঠার চেয়ে সমস্যা তৈরি না করাই ভালো।

অতএব, আমি সি++ এ কীভাবে লিখতে হয় সে সম্পর্কে কিছু পরামর্শ দেওয়ার স্বাধীনতা গ্রহণ করি যাতে কারও পা গুলি না হয় বা কারও কপালে রেক দিয়ে আঘাত না হয়।

কম্পাইলার ডায়াগনস্টিকসের সবচেয়ে বেশি ব্যবহার করুন

আমাদের দল নিম্নলিখিত সংকলন বিকল্পগুলি ব্যবহার করে (এবং আপনাকে পরামর্শ দেয়)

-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-promo

আপনার প্রকল্পে তাদের সক্ষম করুন এবং আপনার কোড সম্পর্কে অনেক কিছু শিখুন।

স্ট্যান্ডার্ডে লেগে থাকুন

স্ট্যান্ডার্ড অ্যানালগ থাকলে প্ল্যাটফর্ম-নির্ভর জিনিসগুলি ব্যবহার না করার চেষ্টা করুন এবং আপনি যদি সেগুলি ছাড়া একেবারেই না করতে পারেন তবে সেগুলিকে ম্যাক্রো (বা অন্য কিছু) জন্য বিশেষ ব্লকগুলিতে মুড়ে দিন এবং কেবল অসমর্থিত পরিস্থিতিতে আপনার কোড সংকলিত হতে দেবেন না।

স্ট্যান্ডার্ড অপারেশন শব্দার্থে লেগে থাকুন

যোগ অবশ্যই যোগ হতে হবে, গুণকে গুণিত হতে হবে, ফাংশন কল অবশ্যই ফাংশন কল হতে হবে, অনুলিপি অবশ্যই অনুলিপি হতে হবে, বহন করতে হবে বহন করতে হবে, ধারক অবশ্যই পুনরাবৃত্তিযোগ্য হতে হবে, পুনরাবৃত্তিকারীকে অবশ্যই প্রচার করতে হবে ++ এবং রেফারেন্সিং *. এবং তাই এবং তাই ঘোষণা.

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

সামঞ্জস্যপূর্ণ কোড লিখুন

প্রথমত, মানে স্ট্যান্ডার্ড লাইব্রেরি। এটা অত্যন্ত আকাঙ্খিত যে আপনার ক্লাস এবং ফাংশনগুলির ইন্টারফেসগুলি স্ট্যান্ডার্ড এবং অন্যান্য লাইব্রেরির সাথে ব্যবহার করা যেতে পারে (উদাহরণস্বরূপ, বুস্ট)।

STL এবং বুস্ট ইন্টারফেসগুলি দেখতে নির্দ্বিধায় দেখুন। বিরল ব্যতিক্রমগুলির সাথে, আপনি সেখানে একটি যোগ্য রোল মডেল দেখতে পাবেন।

ওপেন সোর্স টুলের সবচেয়ে বেশি ব্যবহার করুন

একই স্ট্যাটিক বিশ্লেষণের জন্য, কমপক্ষে দুটি খোলা বিনামূল্যের সরঞ্জাম রয়েছে যা CMake বিল্ড সিস্টেমের সাথে যেকোনো প্রকল্পের সাথে একবার সংযুক্ত করা যেতে পারে।

আপনি আমার সাম্প্রতিক প্রকাশনায় এই সম্পর্কে আরও পড়তে পারেন.

উত্তরভাষ

পরিশেষে, আমি জোর দিয়ে বলতে চাই যে আমি PVS বা অন্য কোন স্ট্যাটিক বিশ্লেষক ব্যবহার না করার পরামর্শ দিচ্ছি না। তবে আমি আপনাকে ভাবতে উত্সাহিত করি যে এটি কীভাবে ঘটেছিল যে স্ট্যাটিক বিশ্লেষক ক্রমাগত আপনার কোডে উল্লেখযোগ্য ত্রুটি খুঁজে পায়।

এটি একটি পরিণতি মাত্র। আমরা কারণ অনুসন্ধান এবং নির্মূল করতে হবে.

উত্স: www.habr.com