বিঃদ্রঃ
এটি আমার "স্ট্রাক্ট আলিয়াজিং বিধি কী এবং আমরা কেন যত্ন নিই?" থেকে উদ্ধৃত লেখা.
কড়া আলিয়াজিং কি?
সি এবং সি ++ এ্যালিয়াসিংয়ের সাথে আমাদের কী স্ট্রাকচারের ধরণের মাধ্যমে সঞ্চিত মানগুলি অ্যাক্সেসের অনুমতি দেওয়া হচ্ছে তা করতে হবে। সি এবং সি ++ উভয় ক্ষেত্রে স্ট্যান্ডার্ড নির্দিষ্ট করে যে কোন প্রকারের এক্সট্রাক্টের জন্য উপন্যাসের জন্য কোন ধরনের প্রকারের মঞ্জুরি রয়েছে। সংকলক এবং অপ্টিমাইজারকে ধরে নেওয়া যায় যে আমরা আলিয়াসিং বিধিগুলি কঠোরভাবে অনুসরণ করি, সুতরাং এই শব্দটি কঠোর আলিয়াজিং নিয়ম । যদি আমরা কোনও প্রকারের অনুমোদিত না হয়ে এমন কোনও ব্যবহার করে কোনও মান অ্যাক্সেস করার চেষ্টা করি তবে এটি এটিকে সংজ্ঞায়িত আচরণ ( ইউবি ) হিসাবে শ্রেণীবদ্ধ করা হয় । একবার আমরা অনির্ধারিত আচরণ করলে সমস্ত বেট বন্ধ হয়ে যায়, আমাদের প্রোগ্রামের ফলাফল আর নির্ভরযোগ্য হয় না।
দুর্ভাগ্যক্রমে কড়া আলিয়াস লঙ্ঘনের কারণে আমরা প্রায়শই আমাদের প্রত্যাশার ফলাফলগুলি পেয়ে যাব, সম্ভাবনাটি নতুন অপ্টিমাইজেশান সহ সংকলকটির ভবিষ্যতের সংস্করণটি কোডটিকে ভঙ্গ করবে যা আমরা ভেবেছিলাম। এটি অনাকাঙ্ক্ষিত এবং কঠোর এলিয়াসিং বিধি এবং সেগুলি কীভাবে লঙ্ঘন করা এড়ানো যায় তা বোঝা একটি উপযুক্ত লক্ষ্য।
আমরা কেন যত্ন নিই সে সম্পর্কে আরও জানার জন্য, আমরা কঠোর আলিয়াজিং বিধি লঙ্ঘন করার সময় যে বিষয়গুলি সামনে আসে সেগুলি নিয়ে আলোচনা করব, টাইপ পেনিংয়ে ব্যবহৃত সাধারণ কৌশলগুলি প্রায়শই কঠোর আলিয়াজিং বিধি লঙ্ঘন করে এবং কীভাবে সঠিকভাবে শাস্তি টাইপ করতে হয় সেগুলি নিয়ে আলোচনা করব।
প্রাথমিক উদাহরণ
আসুন কয়েকটি উদাহরণগুলি দেখুন, তারপরে আমরা মানক (গুলি) ঠিক কী বলেছে সে সম্পর্কে কথা বলতে পারি, আরও কয়েকটি উদাহরণ পরীক্ষা করে দেখুন এবং তারপরে কীভাবে কঠোরভাবে এলিয়াসিং এড়ানো যায় এবং কীভাবে আমরা মিস করেছি তা লঙ্ঘন করতে পারি। এখানে এমন একটি উদাহরণ রয়েছে যা অবাক হওয়ার মতো নয় ( সরাসরি উদাহরণ ):
int x = 10;
int *ip = &x;
std::cout << *ip << "\n";
*ip = 12;
std::cout << x << "\n";
আমাদের কাছে একটি অন্তর্নিহিত * কোনও ইন্টি দ্বারা দখলকৃত মেমরিটির দিকে ইঙ্গিত করছে এবং এটি একটি বৈধ আলিয়াসিং। অপ্টিমাইজারটি ধরে নিতে হবে যে আইপি এর মাধ্যমে অ্যাসাইনমেন্টগুলি এক্স দ্বারা দখল করা মান আপডেট করতে পারে ।
পরবর্তী উদাহরণটি অ্যালিজিং দেখায় যা অপরিজ্ঞাত আচরণের দিকে পরিচালিত করে ( সরাসরি উদাহরণ ):
int foo( float *f, int *i ) {
*i = 1;
*f = 0.f;
return *i;
}
int main() {
int x = 0;
std::cout << x << "\n"; // Expect 0
x = foo(reinterpret_cast<float*>(&x), &x);
std::cout << x << "\n"; // Expect 0?
}
ফাংশন ফুতে আমরা একটি ইনট * এবং একটি ফ্লোট * নিই, এই উদাহরণে আমরা foo কল করি এবং উভয় পরামিতি একই মেমরি অবস্থানের দিকে নির্দেশ করি যা এই উদাহরণে কোনও int থাকে । মনে রাখবেন, reinterpret_cast অভিব্যক্তি চিকিত্সা হিসাবে যদি এটি টাইপ তার টেমপ্লেট প্যারামিটার দ্বারা specificed ছিল কম্পাইলার কহন হয়। এক্ষেত্রে আমরা এটিকে এক্সপ্রেশন এবং এক্স এর সাথে আচরণ করতে বলছি যেন এটিতে টাইপ * রয়েছে । আমরা naively দ্বিতীয় ফল আশা করতে পারে cout হতে 0 কিন্তু অপ্টিমাইজেশান এর মাধ্যমে ব্যবহার সক্রিয় -O2 উভয় জিসিসি এবং ঝনঝন নিম্নলিখিত ফল:
0
1
যা প্রত্যাশিত নাও হতে পারে তবে পুরোপুরি বৈধ কারণ আমরা অনির্ধারিত আচরণটি শুরু করেছি inv একটি ভাসাটি বৈধভাবে কোনও ইনট অবজেক্ট ওরফে করতে পারে না । অতএব অপ্টিমাইজারটি ধ্রুব 1 টি সঞ্চিত করতে পারে যখন নির্ধারণের সময় আমি ফিরতি মান হব যেহেতু চ এর মাধ্যমে কোনও স্টোর বৈধভাবে কোনও ইনট অবজেক্টকে প্রভাবিত করতে পারে না । কম্পাইলার এক্সপ্লোরার কোডটি প্লাগ করে দেখায় এটি ঠিক ঘটছে ( সরাসরি উদাহরণ ):
foo(float*, int*): # @foo(float*, int*)
mov dword ptr [rsi], 1
mov dword ptr [rdi], 0
mov eax, 1
ret
ব্যবহার অপটিমাইজার প্রকার ভিত্তিক ওরফে বিশ্লেষণ (TBAA) অনুমান 1 ফেরত পাঠানো হবে এবং সরাসরি রেজিস্টার মধ্যে ধ্রুবক রয়েছে যার মান চলে আসে EAX ফেরত মান বহন করে যা। টিবিএএ লোড এবং স্টোরগুলি অনুকূলকরণের জন্য কী ধরণের উপন্যাসের অনুমতি দেয় সে সম্পর্কে ভাষা সংক্রান্ত নিয়ম ব্যবহার করে। এই ক্ষেত্রে TBAA জানে যে একটি ভাসা করতে পারেন ওরফে এবং int- এ এবং লোড দূরে সেরা অনুকূল রূপ আমি ।
এখন, বিধি-পুস্তকে
মানকটি ঠিক কী বলে যে আমাদের অনুমতি দেওয়া হয় এবং তা করার অনুমতি দেওয়া হয় না? স্ট্যান্ডার্ড ভাষা সোজা নয়, সুতরাং প্রতিটি আইটেমের জন্য আমি কোডের উদাহরণ দেওয়ার চেষ্টা করব যা অর্থটি প্রকাশ করে।
সি 11 স্ট্যান্ডার্ড কী বলে?
C11 মান বিভাগে নিম্নলিখিত বলছেন 6.5 প্রকাশ 7 অনুচ্ছেদ :
একটি অবজেক্টের তার সঞ্চিত মানটি কেবলমাত্র একটি মূল্যবান এক্সপ্রেশন দ্বারা অ্যাক্সেস করতে হবে যার নিম্নলিখিত ধরণের একটি রয়েছে: ৮৮)
- কোনও প্রকারের কার্যকর ধরণের সাথে সামঞ্জস্যপূর্ণ,
int x = 1;
int *p = &x;
printf("%d\n", *p); // *p gives us an lvalue expression of type int which is compatible with int
- বস্তুর কার্যকর ধরণের সাথে সামঞ্জস্যপূর্ণ কোনও ধরণের একটি যোগ্য সংস্করণ,
int x = 1;
const int *p = &x;
printf("%d\n", *p); // *p gives us an lvalue expression of type const int which is compatible with int
- এমন এক ধরণের যা বস্তুর কার্যকর ধরণের সাথে সম্পর্কিত স্বাক্ষরযুক্ত বা স্বাক্ষরযুক্ত প্রকার,
int x = 1;
unsigned int *p = (unsigned int*)&x;
printf("%u\n", *p ); // *p gives us an lvalue expression of type unsigned int which corresponds to
// the effective type of the object
জিসিসি / ঝনঝন একটি এক্সটেনশন রয়েছে এবং এছাড়াও যে বরাদ্দ দেয় স্বাক্ষরবিহীন int- * থেকে int- * যদিও তারা সামঞ্জস্যপূর্ণ ধরনের নয়।
- এমন এক ধরণের যা বস্তুর কার্যকর ধরণের কার্যকর সংস্করণের সাথে সম্পর্কিত স্বাক্ষরযুক্ত বা স্বাক্ষরযুক্ত প্রকার,
int x = 1;
const unsigned int *p = (const unsigned int*)&x;
printf("%u\n", *p ); // *p gives us an lvalue expression of type const unsigned int which is a unsigned type
// that corresponds with to a qualified verison of the effective type of the object
- একটি সামগ্রিক বা ইউনিয়ন প্রকার যা এর সদস্যদের মধ্যে পূর্বোক্ত ধরণের একটিকে অন্তর্ভুক্ত করে (অন্তর্ভুক্ত, পুনরাবৃত্তভাবে, একটি উপশ্রেণী বা অন্তর্ভুক্ত ইউনিয়নের সদস্য সহ), বা
struct foo {
int x;
};
void foobar( struct foo *fp, int *ip ); // struct foo is an aggregate that includes int among its members so it can
// can alias with *ip
foo f;
foobar( &f, &f.x );
- একটি চরিত্রের ধরণ।
int x = 65;
char *p = (char *)&x;
printf("%c\n", *p ); // *p gives us an lvalue expression of type char which is a character type.
// The results are not portable due to endianness issues.
সি ++ 17 খসড়া স্ট্যান্ডার্ড কী বলে
[বেসিক.লভাল] অনুচ্ছেদে 11 অনুচ্ছেদে সি ++ 17 খসড়া মান বলেছেন:
একটি প্রোগ্রাম প্রচেষ্টা নিম্নলিখিত প্রকারের আচরণ অনির্দিষ্ট হয় এক ছাড়া অন্য একটি glvalue মাধ্যমে একটি বস্তুর সংরক্ষিত মান অ্যাক্সেস করতে পারেন: 63
(11.1) - বস্তুর গতিশীল ধরন,
void *p = malloc( sizeof(int) ); // We have allocated storage but not started the lifetime of an object
int *ip = new (p) int{0}; // Placement new changes the dynamic type of the object to int
std::cout << *ip << "\n"; // *ip gives us a glvalue expression of type int which matches the dynamic type
// of the allocated object
(১১.২) - বস্তুর গতিশীল ধরণের একটি সিভি-যোগ্য সংস্করণ,
int x = 1;
const int *cip = &x;
std::cout << *cip << "\n"; // *cip gives us a glvalue expression of type const int which is a cv-qualified
// version of the dynamic type of x
(১১.৩) - বস্তুর গতিশীল ধরণের সাথে একই ধরণের (.5.৫ সংজ্ঞায়িত),
(১১.৪) - এমন এক ধরণের যা বস্তুর গতিশীল ধরণের সাথে সম্পর্কিত স্বাক্ষরযুক্ত বা স্বাক্ষরযুক্ত প্রকার,
// Both si and ui are signed or unsigned types corresponding to each others dynamic types
// We can see from this godbolt(https://godbolt.org/g/KowGXB) the optimizer assumes aliasing.
signed int foo( signed int &si, unsigned int &ui ) {
si = 1;
ui = 2;
return si;
}
(১১.৫) - এমন এক ধরণের যা বস্তুর গতিশীল প্রকারের সিভি-যোগ্য সংস্করণের সাথে সম্পর্কিত স্বাক্ষরিত বা স্বাক্ষরযুক্ত প্রকার,
signed int foo( const signed int &si1, int &si2); // Hard to show this one assumes aliasing
(১১..6) - একটি সামগ্রিক বা ইউনিয়ন প্রকার যা এর উপাদান বা ননস্ট্যাটিক ডেটা সদস্যদের মধ্যে পূর্ব বর্ণিত ধরণের একটি অন্তর্ভুক্ত করে (অন্তর্ভুক্ত বা সংযুক্ত ইউনিয়নের উপাদান বা অ-স্থিতিশীল ডেটা সদস্য সহ, পুনরাবৃত্তভাবে),
struct foo {
int x;
};
// Compiler Explorer example(https://godbolt.org/g/z2wJTC) shows aliasing assumption
int foobar( foo &fp, int &ip ) {
fp.x = 1;
ip = 2;
return fp.x;
}
foo f;
foobar( f, f.x );
(১১.7) - এমন এক ধরণের যা (সম্ভবত সিভি-কোয়ালিটিভড) অবজেক্টের ডায়নামিক টাইপের বেস ক্লাস টাইপ,
struct foo { int x ; };
struct bar : public foo {};
int foobar( foo &f, bar &b ) {
f.x = 1;
b.x = 2;
return f.x;
}
(১১.৮) - একটি চর, স্বাক্ষরবিহীন চর, বা স্টাড :: বাইট প্রকার।
int foo( std::byte &b, uint32_t &ui ) {
b = static_cast<std::byte>('a');
ui = 0xFFFFFFFF;
return std::to_integer<int>( b ); // b gives us a glvalue expression of type std::byte which can alias
// an object of type uint32_t
}
লক্ষণীয় স্বাক্ষরিত চরটি উপরের তালিকায় অন্তর্ভুক্ত নয়, এটি সি থেকে একটি উল্লেখযোগ্য পার্থক্য যা একটি চরিত্রের ধরণ বলে ।
টাইপ পেনিং কী
আমরা এই মুহুর্তে পৌঁছেছি এবং আমরা ভাবতে পারি, আমরা কেন তার উপাধি চাইব? উত্তরটি সাধারণত পাং টাইপ করা হয় , প্রায়শই ব্যবহৃত পদ্ধতিগুলি কঠোরভাবে আলিয়াজিং বিধি লঙ্ঘন করে।
কখনও কখনও আমরা টাইপ সিস্টেমটি অবরুদ্ধ করতে চাই এবং একটি অবজেক্টকে আলাদা ধরণের হিসাবে ব্যাখ্যা করতে চাই। এটিকে মেমরির একটি বিভাগকে অন্য ধরণের হিসাবে পুনরায় ব্যাখ্যা করতে টাইপ পেনিং বলে । টাইপ পেনিং সেই কাজগুলির জন্য দরকারী যা কোনও অবজেক্টের অন্তর্নিহিত উপস্থাপনাটি দেখতে, পরিবহন বা পরিচালনা করতে অ্যাক্সেস চায়। যে ধরণের অঞ্চলগুলিতে আমরা টাইপ পেনিং ব্যবহার করা হচ্ছে তা হ'ল সংকলক, সিরিয়ালাইজেশন, নেটওয়ার্কিং কোড ইত্যাদি…
Ditionতিহ্যগতভাবে এটি সামগ্রীর ঠিকানা গ্রহণ করে, আমরা যে ধরণের পুনরায় ব্যাখ্যা করতে চাই এবং তারপরে মানটি অ্যাক্সেস করতে চাই বা অন্য শব্দে আলিয়াজ করে এটি ব্যবহার করি তার বিন্দুতে কাস্টিংয়ের মাধ্যমে এটি সম্পন্ন হয়েছে। উদাহরণ স্বরূপ:
int x = 1 ;
// In C
float *fp = (float*)&x ; // Not a valid aliasing
// In C++
float *fp = reinterpret_cast<float*>(&x) ; // Not a valid aliasing
printf( "%f\n", *fp ) ;
যেমনটি আমরা আগে দেখেছি এটি কোনও বৈধ আলিয়াজিং নয়, তাই আমরা অনির্ধারিত আচরণের জন্য প্রার্থনা করছি। তবে traditionতিহ্যগতভাবে সংকলকগণ কঠোর আলিয়াজিং বিধিগুলির সুবিধা নেন নি এবং সাধারণত এই ধরণের কোডটি কেবলমাত্র কাজ করেছিল, দুর্ভাগ্যক্রমে বিকাশকারীরা জিনিসগুলি এভাবে করায় অভ্যস্ত হয়ে পড়েছে। টাইপ পেনিংয়ের জন্য একটি সাধারণ বিকল্প পদ্ধতিটি ইউনিয়নগুলির মাধ্যমে হয়, যা সিতে বৈধ তবে সি ++ এ অপরিবর্তিত আচরণ ( সরাসরি উদাহরণ দেখুন ):
union u1
{
int n;
float f;
} ;
union u1 u;
u.f = 1.0f;
printf( "%d\n”, u.n ); // UB in C++ n is not the active member
এটি সি ++ তে বৈধ নয় এবং কেউ কেউ ইউনিয়নগুলির উদ্দেশ্যটি কেবলমাত্র বৈকল্পিক ধরণের প্রয়োগের জন্য বিবেচনা করে এবং ইউনিয়নগুলি টাইপ পেনিংয়ের জন্য ব্যবহার করা একটি অপব্যবহার বলে মনে করে।
আমরা কীভাবে পুণ টাইপ করব?
সি এবং সি ++ উভয় প্রকারের পাণিংয়ের স্ট্যান্ডার্ড পদ্ধতি হ'ল ম্যাকপি । এটি সামান্য ভারী হাতের মতো মনে হতে পারে তবে অপ্টিমাইজারের উচিত টাইপ পেনিংয়ের জন্য মেমকি ব্যবহার করা উচিত এবং এটি অপ্টিমাইজ করা উচিত এবং সরানো রেজিস্ট্রেশন করার জন্য একটি রেজিস্টার তৈরি করা উচিত। উদাহরণস্বরূপ যদি আমরা জানতে পারি যে int64_t ডাবল হিসাবে একই আকারের হয় :
static_assert( sizeof( double ) == sizeof( int64_t ) ); // C++17 does not require a message
আমরা মেমকি ব্যবহার করতে পারি :
void func1( double d ) {
std::int64_t n;
std::memcpy(&n, &d, sizeof d);
//...
অবশ্যই যথেষ্ট অপ্টিমাইজেশান স্তরে কোন ভদ্র আধুনিক কম্পাইলার পূর্বে উল্লিখিত অভিন্ন কোড জেনারেট করে reinterpret_cast পদ্ধতি বা ইউনিয়ন জন্য পদ্ধতি টাইপ punning । উত্পন্ন কোড পরীক্ষা করে আমরা দেখতে পাই এটি কেবল রেজিস্টার রেজিস্ট্রেশন ব্যবহার করে ( লাইভ সংকলক এক্সপ্লোরার উদাহরণ )।
সি ++ 20 এবং বিট_কাস্ট
সি ++ ২০-এ আমরা বিট_কাস্ট ( প্রস্তাবের লিঙ্কে উপলব্ধ বাস্তবায়ন ) পেতে পারি যা টাইপ-পুণের একটি সহজ এবং নিরাপদ উপায় দেয় এবং পাশাপাশি কনস্টেক্সপ্রপেক্টে ব্যবহারের যোগ্য হয়।
নিম্নলিখিত কিভাবে ব্যবহার করতে একটি উদাহরণ bit_cast একটি শ্লেষ টাইপ করতে স্বাক্ষরবিহীন int- এ থেকে ভাসা , ( এটা লাইভ দেখতে পাবেন ):
std::cout << bit_cast<float>(0x447a0000) << "\n" ; //assuming sizeof(float) == sizeof(unsigned int)
কেস যেখানে ইন করার এবং থেকে ধরনের একই আকার থাকে না, এটা কোন মধ্যবর্তী struct15 ব্যবহার করতে আমাদের প্রয়োজন। আমরা একটি struct একটি ধারণকারী ব্যবহার করবে যাও sizeof (স্বাক্ষরবিহীন int- এ) চরিত্র অ্যারে ( অনুমান 4 বাইট স্বাক্ষরবিহীন int- এ ) হতে থেকে ধরন ও স্বাক্ষরবিহীন int- এ যেমন করতে টাইপ .:
struct uint_chars {
unsigned char arr[sizeof( unsigned int )] = {} ; // Assume sizeof( unsigned int ) == 4
};
// Assume len is a multiple of 4
int bar( unsigned char *p, size_t len ) {
int result = 0;
for( size_t index = 0; index < len; index += sizeof(unsigned int) ) {
uint_chars f;
std::memcpy( f.arr, &p[index], sizeof(unsigned int));
unsigned int result = bit_cast<unsigned int>(f);
result += foo( result );
}
return result ;
}
দুর্ভাগ্যজনক যে আমাদের এই মাঝারি ধরনের প্রয়োজন তবে এটি বিটকাস্টের বর্তমান সীমাবদ্ধতা ।
কঠোর Aliasing লঙ্ঘন ক্যাচিং
সি ++ তে কড়া আলিয়াজিং ধরার জন্য আমাদের কাছে প্রচুর ভাল সরঞ্জাম নেই, আমাদের কাছে যে সরঞ্জামগুলি রয়েছে তা কঠোরভাবে আলিয়াসিং লঙ্ঘনের কয়েকটি মামলা এবং মিসিলাইনযুক্ত লোড এবং স্টোরগুলির কিছু কেস ধরবে।
জি.সি.সি. ফ্ল্যাগ -স্ট্রিট-এলিয়াসিং এবং -স্ট্রিট- এলিয়জিং ব্যবহার করে কিছু মামলা ধরা যেতে পারে যদিও মিথ্যা পজিটিভ / নেগেটিভ ছাড়াই নয়। উদাহরণস্বরূপ, নিম্নলিখিত কেসগুলি জিসিসিতে একটি সতর্কতা উত্পন্ন করবে ( এটি সরাসরি দেখুন ):
int a = 1;
short j;
float f = 1.f; // Originally not initialized but tis-kernel caught
// it was being accessed w/ an indeterminate value below
printf("%i\n", j = *(reinterpret_cast<short*>(&a)));
printf("%i\n", j = *(reinterpret_cast<int*>(&f)));
যদিও এটি এই অতিরিক্ত কেসটি ধরবে না ( এটি সরাসরি দেখুন ):
int *p;
p=&a;
printf("%i\n", j = *(reinterpret_cast<short*>(p)));
যদিও ঝাঁকুনি এই পতাকাগুলির অনুমতি দেয় এটি স্পষ্টতই সতর্কতাগুলি প্রয়োগ করে না।
আমাদের কাছে আর একটি সরঞ্জাম উপলব্ধ রয়েছে যেটি হ'ল আসান যা ভুল পথে চালিত লোড এবং স্টোরগুলি ধরতে পারে। যদিও এগুলি সরাসরি কড়া আলিয়াসিং লঙ্ঘন নয় তবে এগুলি কঠোরভাবে এলিয়াসিং লঙ্ঘনের একটি সাধারণ ফলাফল। উদাহরণস্বরূপ যখন -fsanitize = ঠিকানা ব্যবহার করে ঝাঁকুনির সাথে নির্মিত তখন নিম্নলিখিত কেসগুলি রানটাইম ত্রুটি তৈরি করে
int *x = new int[2]; // 8 bytes: [0,7].
int *u = (int*)((char*)x + 6); // regardless of alignment of x this will not be an aligned address
*u = 1; // Access to range [6-9]
printf( "%d\n", *u ); // Access to range [6-9]
আমি সর্বশেষ সরঞ্জামটি সুপারিশ করব সি ++ নির্দিষ্ট এবং কঠোরভাবে কোনও সরঞ্জাম নয় বরং কোডিং অনুশীলন, সি-স্টাইলের কাস্টের অনুমতি দেবেন না। জিসিসি এবং ক্লাং উভয়ই সি-স্টাইলের কাস্টগুলির জন্য -ভোল্ড-স্টাইল- কাস্ট ব্যবহার করে ডায়াগনস্টিক তৈরি করবে । এটি পুনরায় সংজ্ঞা_কাস্ট ব্যবহার করতে কোনও অপরিজ্ঞাত ধরণের পাগুলিকে বাধ্য করবে, সাধারণভাবে পুনরায় সংজ্ঞা_কাস্ট কাছাকাছি কোড পর্যালোচনার জন্য একটি পতাকা হওয়া উচিত। নিরীক্ষা সম্পাদনের জন্য পুনরায় ব্যাখ্যা_কাস্টের জন্য আপনার কোড বেসটি অনুসন্ধান করা আরও সহজ।
সি এর জন্য আমাদের কাছে সমস্ত সরঞ্জাম ইতিমধ্যে আচ্ছাদিত রয়েছে এবং আমাদের টিস-ইন্টারপ্রেটারও রয়েছে, একটি স্ট্যাটিক বিশ্লেষক যা সি ভাষার বৃহত উপসেটের জন্য একটি প্রোগ্রামকে নিখরচায় বিশ্লেষণ করে। পূর্ববর্তী উদাহরণের সি ভার্শন দেওয়া যেখানে -স্ট্রিক্ট-এলিয়াসিং ব্যবহার করে একটি কেস মিস হয় ( এটি সরাসরি দেখুন )
int a = 1;
short j;
float f = 1.0 ;
printf("%i\n", j = *((short*)&a));
printf("%i\n", j = *((int*)&f));
int *p;
p=&a;
printf("%i\n", j = *((short*)p));
টিস-ইন্টারপেটর তিনটিই ধরতে সক্ষম, নিম্নলিখিত উদাহরণটি টিস-কার্নালকে টিআইস-ইন্টারপ্রেটার হিসাবে আহ্বান করে (আউটপুটটি ব্রিভিটির জন্য সম্পাদিত হয়):
./bin/tis-kernel -sa example1.c
...
example1.c:9:[sa] warning: The pointer (short *)(& a) has type short *. It violates strict aliasing
rules by accessing a cell with effective type int.
...
example1.c:10:[sa] warning: The pointer (int *)(& f) has type int *. It violates strict aliasing rules by
accessing a cell with effective type float.
Callstack: main
...
example1.c:15:[sa] warning: The pointer (short *)p has type short *. It violates strict aliasing rules by
accessing a cell with effective type int.
অবশেষে টাইসান রয়েছে যা বর্তমানে বিকাশে রয়েছে। এই স্যানিটাইজার একটি ছায়া মেমরি বিভাগে টাইপ চেকিংয়ের তথ্য যুক্ত করে এবং অ্যালাইজিং বিধি লঙ্ঘন করে কিনা তা দেখার জন্য অ্যাক্সেসগুলি পরীক্ষা করে। সরঞ্জামটি সম্ভাব্যভাবে সমস্ত এলিয়াসিং লঙ্ঘন ধরতে সক্ষম হওয়া উচিত তবে এতে একটি বড় রান-টাইম ওভারহেড থাকতে পারে।
cএবং এর সাথেc++faq।