PVS-ਸਟੂਡੀਓ (ਲੀਨਕਸ, C++) ਦੀ ਸੁਤੰਤਰ ਸਮੀਖਿਆ

ਮੈਂ ਇੱਕ ਪ੍ਰਕਾਸ਼ਨ ਦੇਖਿਆ ਜੋ PVS ਨੇ ਲੀਨਕਸ ਦੇ ਅਧੀਨ ਵਿਸ਼ਲੇਸ਼ਣ ਕਰਨਾ ਸਿੱਖਿਆ ਸੀ, ਅਤੇ ਇਸਨੂੰ ਆਪਣੇ ਖੁਦ ਦੇ ਪ੍ਰੋਜੈਕਟਾਂ 'ਤੇ ਅਜ਼ਮਾਉਣ ਦਾ ਫੈਸਲਾ ਕੀਤਾ ਸੀ। ਅਤੇ ਇਹ ਉਹ ਹੈ ਜੋ ਇਸ ਤੋਂ ਬਾਹਰ ਆਇਆ ਹੈ.

ਸਮੱਗਰੀ

1. Плюсы
2. Минусы
3. ਨਤੀਜੇ
4. ਬਾਅਦ

Плюсы

ਜਵਾਬਦੇਹ ਸਮਰਥਨ

ਮੈਂ ਇੱਕ ਅਜ਼ਮਾਇਸ਼ ਕੁੰਜੀ ਦੀ ਬੇਨਤੀ ਕੀਤੀ ਅਤੇ ਉਹਨਾਂ ਨੇ ਉਸੇ ਦਿਨ ਮੈਨੂੰ ਭੇਜ ਦਿੱਤਾ।

ਕਾਫ਼ੀ ਸਪੱਸ਼ਟ ਦਸਤਾਵੇਜ਼

ਅਸੀਂ ਬਿਨਾਂ ਕਿਸੇ ਸਮੱਸਿਆ ਦੇ ਵਿਸ਼ਲੇਸ਼ਕ ਨੂੰ ਲਾਂਚ ਕਰਨ ਵਿੱਚ ਕਾਮਯਾਬ ਰਹੇ। ਕੰਸੋਲ ਕਮਾਂਡਾਂ ਲਈ ਮਦਦ ਵੀ ਉਪਲਬਧ ਹੈ (ਹਾਲਾਂਕਿ ਇੱਥੇ ਕੁਝ ਸ਼ਿਕਾਇਤਾਂ ਹਨ, ਭਾਗ ਵੇਖੋ Минусы).

ਬਹੁ-ਥਰਿੱਡਡ ਵਿਸ਼ਲੇਸ਼ਣ ਦੀ ਸੰਭਾਵਨਾ

ਵਿਸ਼ਲੇਸ਼ਕ ਕੋਲ ਇੱਕ "ਸਟੈਂਡਰਡ" ਵਿਕਲਪ ਹੈ -j, ਕਈ ਕਾਰਜਾਂ ਵਿੱਚ ਸਮਾਨਾਂਤਰ ਵਿਸ਼ਲੇਸ਼ਣ ਕਰਨ ਦੀ ਇਜਾਜ਼ਤ ਦਿੰਦਾ ਹੈ। ਇਸ ਨਾਲ ਬਹੁਤ ਸਮਾਂ ਬਚਦਾ ਹੈ।

ਵਧੀਆ ਵਿਜ਼ੂਅਲਾਈਜ਼ੇਸ਼ਨ

ਬਹੁਤ ਸਾਰੇ ਵੱਖ-ਵੱਖ ਆਉਟਪੁੱਟ ਫਾਰਮੈਟ, ਟੈਕਸਟ ਤੋਂ ਲੈ ਕੇ ਇੱਕ ਛੋਟੇ ਵੈੱਬ ਮਜ਼ਲ ਤੱਕ। ਵੈੱਬ ਇੰਟਰਫੇਸ ਸੁਵਿਧਾਜਨਕ, ਸੰਖੇਪ ਹੈ, ਕੋਡ ਵਿੱਚ ਲਾਈਨਾਂ ਦੇ ਅੱਗੇ ਸੰਕੇਤਾਂ ਅਤੇ ਡਾਇਗਨੌਸਟਿਕ ਵਰਣਨ ਦੇ ਲਿੰਕਾਂ ਦੇ ਨਾਲ.

ਅਸੈਂਬਲੀ ਵਿੱਚ ਆਸਾਨ ਏਕੀਕਰਣ

ਸਾਰੇ ਦਸਤਾਵੇਜ਼ ਉਹਨਾਂ ਦੀ ਵੈਬਸਾਈਟ 'ਤੇ ਹਨ, ਮੈਂ ਸਿਰਫ ਇਹ ਕਹਿ ਸਕਦਾ ਹਾਂ ਕਿ ਜੇ ਤੁਹਾਡਾ ਪ੍ਰੋਜੈਕਟ ਸੀਮੇਕ ਦੀ ਵਰਤੋਂ ਕਰਕੇ ਬਣਾਇਆ ਗਿਆ ਹੈ, ਤਾਂ ਸਭ ਕੁਝ ਬਹੁਤ ਸਧਾਰਨ ਹੈ.

ਵਧੀਆ ਡਾਇਗਨੌਸਟਿਕ ਵਰਣਨ

ਜੇਕਰ ਤੁਸੀਂ ਮੋਡ ਵਿੱਚ ਆਉਟਪੁੱਟ ਤਿਆਰ ਕਰਦੇ ਹੋ 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, ਇਹ ਇਸ ਲਈ ਹੈ ਕਾਰ. ਪਰ PVS ਨੇ ਹੇਠਾਂ ਦਿੱਤੇ ਸੁਨੇਹੇ ਤਿਆਰ ਕੀਤੇ:

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

ਅਤੇ ਉਦੋਂ ਹੀ ਮੈਨੂੰ ਅਹਿਸਾਸ ਹੋਇਆ ਕਿ ਇਹ ਬਿੱਟ ਮਾਸਕ ਸਨ! ਅਤੇ ਤੁਹਾਨੂੰ ਲੋੜ ਹੈ ਸੰਖੇਪਅਤੇ ਨਹੀਂ ਸ਼ਾਮਲ ਕਰੋ ਅਰਥ. ਉਦਾਹਰਨ ਲਈ, ਜਨਰਲ ਡਾਇਗਨੌਸਟਿਕਸ, ਮਾਈਕ੍ਰੋ-ਓਪਟੀਮਾਈਜੇਸ਼ਨ ਅਤੇ ਮਿਸਰਾ ਲਈ ਡਾਇਗਨੌਸਟਿਕਸ ਪ੍ਰਾਪਤ ਕਰਨ ਲਈ, ਤੁਹਾਨੂੰ ਉਹਨਾਂ ਨੂੰ ਜੋੜਨ ਦੀ ਲੋੜ ਹੈ (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

ਕੁਝ "ਪੱਧਰ" ਇੱਥੇ ਪ੍ਰਗਟ ਹੋਏ ਜੋ ਪਹਿਲਾਂ ਨਹੀਂ ਸਨ, ਅਤੇ ਮੈਨੂੰ ਦਸਤਾਵੇਜ਼ਾਂ ਵਿੱਚ ਉਹਨਾਂ ਬਾਰੇ ਕੁਝ ਵੀ ਨਹੀਂ ਮਿਲਿਆ।

ਆਮ ਤੌਰ 'ਤੇ, ਇਹ ਸਪੱਸ਼ਟ ਨਹੀਂ ਹੈ. ਇਸ ਲਈ ਮੈਂ ਹਰ ਚੀਜ਼ ਨੂੰ ਵੱਧ ਤੋਂ ਵੱਧ ਸੈੱਟ ਕਰਦਾ ਹਾਂ।

ਕੈਚ 'ਤੇ ਮੂਰਖ ਗਾਲਾਂ ਦਾ ਝੁੰਡ

ਮੇਰੇ ਦੁਆਰਾ ਵਿਸ਼ਲੇਸ਼ਣ ਕੀਤੇ ਗਏ ਤਿੰਨ ਪ੍ਰੋਜੈਕਟਾਂ ਵਿੱਚੋਂ ਦੋ ਇੱਕ ਯੂਨਿਟ ਟੈਸਟਿੰਗ ਲਾਇਬ੍ਰੇਰੀ ਦੀ ਵਰਤੋਂ ਕਰਦੇ ਹਨ ਕੈਚ ੨. ਅਤੇ ਸੁਨੇਹਿਆਂ ਦਾ ਵੱਡਾ ਹਿੱਸਾ (!!! ਇੱਕ ਵਿੱਚ 90 ਵਿੱਚੋਂ 138 ਅਤੇ ਦੂਜੇ ਵਿੱਚ 297 ਵਿੱਚੋਂ 344!!!) ਹੇਠ ਲਿਖੇ ਰੂਪ ਹਨ:

ਮਲਟੀਥ੍ਰੈਡਿੰਗ ਨੂੰ ਧਿਆਨ ਵਿੱਚ ਨਹੀਂ ਰੱਖਦਾ

ਕਥਿਤ ਤੌਰ 'ਤੇ ਨਾ ਬਦਲਣ ਵਾਲੇ ਵੇਰੀਏਬਲਾਂ ਜਾਂ ਬੇਅੰਤ ਲੂਪਾਂ ਬਾਰੇ ਬਹੁਤ ਸਾਰੇ ਝੂਠੇ ਸਕਾਰਾਤਮਕ ਹਨ, ਜਦੋਂ ਕਿ ਇਹਨਾਂ ਵੇਰੀਏਬਲਾਂ ਨਾਲ ਕੰਮ ਵੱਖ-ਵੱਖ ਥ੍ਰੈਡਾਂ ਤੋਂ ਹੁੰਦਾ ਹੈ, ਅਤੇ ਜੇਕਰ ਅਜਿਹਾ ਨਹੀਂ ਹੁੰਦਾ, ਤਾਂ ਯੂਨਿਟ ਟੈਸਟ ਕੰਮ ਨਹੀਂ ਕਰਨਗੇ।

ਹਾਲਾਂਕਿ, ਕੀ ਇੱਕ ਸਥਿਰ ਵਿਸ਼ਲੇਸ਼ਕ ਵੀ ਇਸ ਨੂੰ ਧਿਆਨ ਵਿੱਚ ਰੱਖ ਸਕਦਾ ਹੈ? ਪਤਾ ਨਹੀਂ।

ਨਤੀਜੇ

PVS ਨੂੰ ਮੇਰੇ ਓਪਨ ਸੋਰਸ ਪ੍ਰੋਜੈਕਟਾਂ ਵਿੱਚ ਕੋਈ ਅਸਲ ਬੱਗ ਨਹੀਂ ਮਿਲੇ ਪਾਟ и ਪਰਾਕਸੀਮਾ, ਅਤੇ ਨਾਲ ਹੀ ਇੱਕ ਕਾਰਜਕਾਰੀ ਡਰਾਫਟ ਵਿੱਚ, ਜੋ ਸਪੱਸ਼ਟ ਕਾਰਨਾਂ ਕਰਕੇ, ਮੈਂ ਪੇਸ਼ ਨਹੀਂ ਕਰ ਸਕਦਾ/ਸਕਦੀ ਹਾਂ। ਇਹ ਸੱਚ ਹੈ ਕਿ ਇਹ ਧਿਆਨ ਵਿੱਚ ਰੱਖਣ ਯੋਗ ਹੈ ਕਿ ਕੁਝ ਕਮੀਆਂ ਪਹਿਲਾਂ ਹੀ ਫੜੀਆਂ ਗਈਆਂ ਹਨ ਅਤੇ ਪਹਿਲਾਂ ਵਰਤ ਕੇ ਠੀਕ ਕੀਤੀਆਂ ਗਈਆਂ ਹਨ ਸੀਪੀਪੀਚੈਕ и scan-build.

ਆਮ ਤੌਰ 'ਤੇ, ਇਹਨਾਂ ਸਾਰੇ ਵਿਸ਼ਲੇਸ਼ਕਾਂ ਤੋਂ ਪ੍ਰਭਾਵ ਲਗਭਗ ਇੱਕੋ ਜਿਹਾ ਹੁੰਦਾ ਹੈ: ਹਾਂ, ਉਹ ਕੁਝ ਫੜਦੇ ਹਨ, ਕਈ ਵਾਰ ਕੁਝ ਮਹੱਤਵਪੂਰਨ ਵੀ, ਪਰ ਕੁੱਲ ਮਿਲਾ ਕੇ ਕੰਪਾਈਲਰ ਕਾਫ਼ੀ ਹੈ।

ਇਹ ਸੰਭਵ ਹੈ (ਅਤੇ ਮੈਂ ਨਿੱਜੀ ਤੌਰ 'ਤੇ ਅਜਿਹਾ ਸੋਚਣਾ ਪਸੰਦ ਕਰਦਾ ਹਾਂ) ਕਿ ਸਾਡੀ ਟੀਮ ਸਾਫਟਵੇਅਰ ਡਿਵੈਲਪਮੈਂਟ ਅਭਿਆਸਾਂ ਦੀ ਵਰਤੋਂ ਕਰਦੀ ਹੈ ਜੋ ਸਾਨੂੰ ਘੱਟੋ-ਘੱਟ ਸ਼ੀਟੀ ਕੋਡ ਬਣਾਉਣ ਦੀ ਇਜਾਜ਼ਤ ਦਿੰਦੇ ਹਨ। ਉਨ੍ਹਾਂ ਨੂੰ ਬਹਾਦਰੀ ਨਾਲ ਦੂਰ ਕਰਨ ਨਾਲੋਂ ਸਮੱਸਿਆਵਾਂ ਪੈਦਾ ਨਾ ਕਰਨਾ ਬਿਹਤਰ ਹੈ।

ਇਸ ਲਈ, ਮੈਂ C++ ਵਿੱਚ ਲਿਖਣ ਦੇ ਤਰੀਕੇ ਬਾਰੇ ਕੁਝ ਸਲਾਹ ਦੇਣ ਦੀ ਆਜ਼ਾਦੀ ਲੈਂਦਾ ਹਾਂ ਜਿਵੇਂ ਕਿ ਕਿਸੇ ਦੀਆਂ ਲੱਤਾਂ ਨੂੰ ਗੋਲੀ ਨਾ ਮਾਰੋ ਜਾਂ ਕਿਸੇ ਦੇ ਮੱਥੇ ਵਿੱਚ ਰੇਕ ਨਾਲ ਨਾ ਮਾਰੋ।

ਕੰਪਾਈਲਰ ਡਾਇਗਨੌਸਟਿਕਸ ਦਾ ਵੱਧ ਤੋਂ ਵੱਧ ਲਾਭ ਉਠਾਓ

ਸਾਡੀ ਟੀਮ ਹੇਠਾਂ ਦਿੱਤੇ ਸੰਕਲਨ ਵਿਕਲਪਾਂ ਦੀ ਵਰਤੋਂ ਕਰਦੀ ਹੈ (ਅਤੇ ਤੁਹਾਨੂੰ ਸਲਾਹ ਦਿੰਦੀ ਹੈ):

-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