ਇੰਟੈਲ ਨੇ ਕੋਡ ਵਿੱਚ ਬੱਗ ਦੀ ਪਛਾਣ ਕਰਨ ਲਈ ਕੰਟਰੋਲ ਫਲੈਗ ਮਸ਼ੀਨ ਲਰਨਿੰਗ ਸਿਸਟਮ ਕੋਡ ਖੋਲ੍ਹਿਆ ਹੈ

Intel ਨੇ ControlFlag ਖੋਜ ਪ੍ਰੋਜੈਕਟ ਨਾਲ ਸਬੰਧਤ ਵਿਕਾਸ ਦੀ ਖੋਜ ਕੀਤੀ ਹੈ, ਜਿਸਦਾ ਉਦੇਸ਼ ਕੋਡ ਗੁਣਵੱਤਾ ਵਿੱਚ ਸੁਧਾਰ ਕਰਨ ਲਈ ਇੱਕ ਮਸ਼ੀਨ ਸਿਖਲਾਈ ਪ੍ਰਣਾਲੀ ਬਣਾਉਣਾ ਹੈ। ਪ੍ਰੋਜੈਕਟ ਦੁਆਰਾ ਤਿਆਰ ਕੀਤੀ ਟੂਲਕਿੱਟ, ਮੌਜੂਦਾ ਕੋਡ ਦੀ ਇੱਕ ਵੱਡੀ ਮਾਤਰਾ 'ਤੇ ਸਿਖਲਾਈ ਪ੍ਰਾਪਤ ਮਾਡਲ ਦੇ ਅਧਾਰ 'ਤੇ, ਉੱਚ-ਪੱਧਰੀ ਭਾਸ਼ਾਵਾਂ ਜਿਵੇਂ ਕਿ C/C++ ਵਿੱਚ ਲਿਖੇ ਸਰੋਤ ਟੈਕਸਟ ਵਿੱਚ ਵੱਖ-ਵੱਖ ਤਰੁਟੀਆਂ ਅਤੇ ਵਿਗਾੜਾਂ ਦਾ ਪਤਾ ਲਗਾਉਣ ਦੀ ਆਗਿਆ ਦਿੰਦੀ ਹੈ। ਸਿਸਟਮ ਕੋਡ ਵਿੱਚ ਕਈ ਤਰ੍ਹਾਂ ਦੀਆਂ ਸਮੱਸਿਆਵਾਂ ਦੀ ਪਛਾਣ ਕਰਨ ਲਈ ਢੁਕਵਾਂ ਹੈ, ਟਾਈਪੋਜ਼ ਅਤੇ ਗਲਤ ਕਿਸਮ ਦੇ ਸੰਜੋਗਾਂ ਦਾ ਪਤਾ ਲਗਾਉਣ ਤੋਂ ਲੈ ਕੇ, ਪੁਆਇੰਟਰਾਂ ਅਤੇ ਮੈਮੋਰੀ ਸਮੱਸਿਆਵਾਂ ਵਿੱਚ ਖੁੰਝੀਆਂ NULL ਜਾਂਚਾਂ ਦਾ ਪਤਾ ਲਗਾਉਣ ਲਈ। ControlFlag ਕੋਡ C++ ਵਿੱਚ ਲਿਖਿਆ ਗਿਆ ਹੈ ਅਤੇ MIT ਲਾਇਸੰਸ ਦੇ ਤਹਿਤ ਓਪਨ ਸੋਰਸ ਹੈ।

ਸਿਸਟਮ GitHub ਅਤੇ ਸਮਾਨ ਜਨਤਕ ਰਿਪੋਜ਼ਟਰੀਆਂ ਵਿੱਚ ਪ੍ਰਕਾਸ਼ਿਤ ਓਪਨ ਪ੍ਰੋਜੈਕਟਾਂ ਦੇ ਮੌਜੂਦਾ ਕੋਡ ਐਰੇ ਦਾ ਇੱਕ ਅੰਕੜਾ ਮਾਡਲ ਬਣਾ ਕੇ ਸਵੈ-ਸਿੱਖਿਆ ਹੈ। ਸਿੱਖਣ ਦੇ ਪੜਾਅ 'ਤੇ, ਸਿਸਟਮ ਕੋਡ ਵਿੱਚ ਢਾਂਚਿਆਂ ਨੂੰ ਬਣਾਉਣ ਲਈ ਖਾਸ ਪੈਟਰਨ ਨਿਰਧਾਰਤ ਕਰਦਾ ਹੈ ਅਤੇ ਇਹਨਾਂ ਪੈਟਰਨਾਂ ਦੇ ਵਿਚਕਾਰ ਲਿੰਕਾਂ ਦਾ ਇੱਕ ਸਿੰਟੈਕਟਿਕ ਟ੍ਰੀ ਬਣਾਉਂਦਾ ਹੈ, ਜੋ ਪ੍ਰੋਗਰਾਮ ਵਿੱਚ ਕੋਡ ਐਗਜ਼ੀਕਿਊਸ਼ਨ ਪ੍ਰਵਾਹ ਨੂੰ ਦਰਸਾਉਂਦਾ ਹੈ। ਨਤੀਜੇ ਵਜੋਂ, ਇੱਕ ਹਵਾਲਾ ਫੈਸਲੇ ਦਾ ਰੁੱਖ ਬਣਦਾ ਹੈ ਜੋ ਸਾਰੇ ਵਿਸ਼ਲੇਸ਼ਣ ਕੀਤੇ ਸਰੋਤ ਪਾਠਾਂ ਦੇ ਵਿਕਾਸ ਦੇ ਅਨੁਭਵ ਨੂੰ ਜੋੜਦਾ ਹੈ।

ਟੈਸਟ ਕੀਤਾ ਜਾ ਰਿਹਾ ਕੋਡ ਪੈਟਰਨਾਂ ਦੀ ਪਛਾਣ ਕਰਨ ਦੀ ਇੱਕ ਸਮਾਨ ਪ੍ਰਕਿਰਿਆ ਵਿੱਚੋਂ ਲੰਘਦਾ ਹੈ ਜੋ ਇੱਕ ਹਵਾਲਾ ਫੈਸਲੇ ਦੇ ਰੁੱਖ ਦੇ ਵਿਰੁੱਧ ਜਾਂਚੇ ਜਾਂਦੇ ਹਨ। ਗੁਆਂਢੀ ਸ਼ਾਖਾਵਾਂ ਦੇ ਨਾਲ ਵੱਡੀਆਂ ਅੰਤਰ ਜਾਂਚ ਕੀਤੇ ਜਾ ਰਹੇ ਟੈਂਪਲੇਟ ਵਿੱਚ ਇੱਕ ਵਿਗਾੜ ਦੀ ਮੌਜੂਦਗੀ ਨੂੰ ਦਰਸਾਉਂਦੇ ਹਨ। ਸਿਸਟਮ ਨਾ ਸਿਰਫ਼ ਟੈਂਪਲੇਟ ਵਿੱਚ ਇੱਕ ਗਲਤੀ ਦੀ ਪਛਾਣ ਕਰਨ ਦੀ ਇਜਾਜ਼ਤ ਦਿੰਦਾ ਹੈ, ਸਗੋਂ ਇੱਕ ਸੁਧਾਰ ਦਾ ਸੁਝਾਅ ਵੀ ਦਿੰਦਾ ਹੈ। ਉਦਾਹਰਨ ਲਈ, OpenSSL ਕੋਡ ਵਿੱਚ, ਨਿਰਮਾਣ “(s1 == NULL) ∧ (s2 == NULL)” ਪਾਇਆ ਗਿਆ ਸੀ, ਜੋ ਕਿ ਸਿੰਟੈਕਸ ਟ੍ਰੀ ਵਿੱਚ ਸਿਰਫ 8 ਵਾਰ ਆਇਆ ਸੀ, ਜਦੋਂ ਕਿ ਮੁੱਲ ਦੇ ਨਾਲ ਸਭ ਤੋਂ ਨਜ਼ਦੀਕੀ ਸ਼ਾਖਾ “(s1 == NULL) || (s2 == NULL)" ਲਗਭਗ 7 ਹਜ਼ਾਰ ਵਾਰ ਆਇਆ। ਸਿਸਟਮ ਨੇ ਇੱਕ ਵਿਗਾੜ ਦਾ ਵੀ ਪਤਾ ਲਗਾਇਆ “(s1 == NULL) | (s2 == NULL)" ਜੋ ਦਰਖਤ ਵਿੱਚ 32 ਵਾਰ ਆਈ ਹੈ।

ਕੋਡ ਦੇ ਸਨਿੱਪਟ ਨੂੰ ਪਾਰਸ ਕਰਨ ਵੇਲੇ "if (x = 7) y = x;" ਸਿਸਟਮ ਨੇ ਇਹ ਨਿਰਧਾਰਿਤ ਕੀਤਾ ਹੈ ਕਿ "ਵੇਰੀਏਬਲ == ਨੰਬਰ" ਨਿਰਮਾਣ ਆਮ ਤੌਰ 'ਤੇ ਸੰਖਿਆਤਮਕ ਮੁੱਲਾਂ ਦੀ ਤੁਲਨਾ ਕਰਨ ਲਈ "if" ਕਥਨ ਵਿੱਚ ਵਰਤਿਆ ਜਾਂਦਾ ਹੈ, ਇਸਲਈ, ਇੱਕ ਉੱਚ ਸੰਭਾਵਨਾ ਦੇ ਨਾਲ, "if" ਸਮੀਕਰਨ ਵਿੱਚ ਸੰਕੇਤ "ਵੇਰੀਏਬਲ = ਨੰਬਰ" ਕਾਰਨ ਹੁੰਦਾ ਹੈ ਇੱਕ ਟਾਈਪੋ ਪਰੰਪਰਾਗਤ ਸਥਿਰ ਵਿਸ਼ਲੇਸ਼ਕ ਵੀ ਅਜਿਹੀ ਗਲਤੀ ਨੂੰ ਫੜ ਲੈਂਦੇ ਹਨ, ਪਰ ਉਹਨਾਂ ਦੇ ਉਲਟ, ਕੰਟਰੋਲ ਫਲੈਗ ਤਿਆਰ ਨਿਯਮਾਂ ਦੀ ਵਰਤੋਂ ਨਹੀਂ ਕਰਦਾ ਹੈ ਜਿਸ ਵਿੱਚ ਸਾਰੇ ਸੰਭਾਵੀ ਵਿਕਲਪਾਂ ਦਾ ਅੰਦਾਜ਼ਾ ਲਗਾਉਣਾ ਮੁਸ਼ਕਲ ਹੁੰਦਾ ਹੈ, ਪਰ ਇਹ ਵੱਡੀ ਗਿਣਤੀ ਵਿੱਚ ਹਰ ਕਿਸਮ ਦੇ ਨਿਰਮਾਣ ਦੀ ਵਰਤੋਂ ਕਰਨ ਦੇ ਅੰਕੜਿਆਂ 'ਤੇ ਅਧਾਰਤ ਹੈ। ਪ੍ਰੋਜੈਕਟ.

ਇੱਕ ਪ੍ਰਯੋਗ ਦੇ ਤੌਰ 'ਤੇ, cURL ਉਪਯੋਗਤਾ ਦੇ ਸਰੋਤ ਕੋਡ ਵਿੱਚ ControlFlag ਦੀ ਵਰਤੋਂ ਕਰਦੇ ਹੋਏ, ਜਿਸ ਨੂੰ ਅਕਸਰ ਉੱਚ-ਗੁਣਵੱਤਾ ਅਤੇ ਪ੍ਰਮਾਣਿਤ ਕੋਡ ਦੀ ਉਦਾਹਰਣ ਵਜੋਂ ਦਰਸਾਇਆ ਜਾਂਦਾ ਹੈ, "s->keepon" ਬਣਤਰ ਤੱਤ ਦੀ ਵਰਤੋਂ ਕਰਦੇ ਸਮੇਂ ਸਥਿਰ ਵਿਸ਼ਲੇਸ਼ਕ ਦੁਆਰਾ ਅਣਦੇਖੀ ਇੱਕ ਗਲਤੀ ਦਾ ਪਤਾ ਲਗਾਇਆ ਗਿਆ ਸੀ, ਜਿਸਦੀ ਇੱਕ ਸੰਖਿਆਤਮਕ ਕਿਸਮ ਸੀ, ਪਰ ਬੁਲੀਅਨ ਮੁੱਲ TRUE ਨਾਲ ਤੁਲਨਾ ਕੀਤੀ ਗਈ ਸੀ। OpenSSL ਕੋਡ ਵਿੱਚ, "(s1 == NULL) ∧ (s2 == NULL)" ਦੇ ਨਾਲ ਉਪਰੋਕਤ ਸਮੱਸਿਆ ਤੋਂ ਇਲਾਵਾ, "(-2 == rv)" ਸਮੀਕਰਨਾਂ ਵਿੱਚ ਵੀ ਵਿਗਾੜ ਸਨ (ਘਟਾਓ ਇੱਕ ਟਾਈਪੋ ਸੀ। ) ਅਤੇ "BIO_puts(bp, ":")

ਸਰੋਤ: opennet.ru