c++ ২০১৯ যখন ও কেন এমএলএক্স 0xCD, 0xDD ইত্যাদি মেমোরি/ফ্রি/নতুন/মুছে ফেলা মেমরি চালু করবে?




ইত্যাদি ২০১৯ (8)

ফয়েল মান 0xCCCCCCCC সম্পর্কে একটি চমৎকার সম্পত্তি x86 সমাবেশে, opcode 0xCC হল int3 opcode, যা সফ্টওয়্যার ব্রেকপয়েন্ট বিঘ্ন। তাই, যদি আপনি যে ভরাট মেমরির সাথে ভরাট হয়েছেন তা অনিয়মিত মেমরিতে কোডটি চালানোর চেষ্টা করেন তবে আপনি অবিলম্বে একটি ব্রেকপয়েন্ট আঘাত করবেন এবং অপারেটিং সিস্টেম আপনাকে একটি ডিবাগার সংযুক্ত করবে (অথবা প্রক্রিয়াটিকে হত্যা করবে)।

আমি জানি যে ওএস কখনও কখনও 0xCD এবং 0xDD হিসাবে নির্দিষ্ট নকশার সাথে মেমরি আরম্ভ করবে। আমি কি জানতে চাই যখন এবং কেন এই ঘটবে।

কখন

কম্পাইলার এই নির্দিষ্ট ব্যবহার করা হয়?

ম্যালোক / নতুন এবং বিনামূল্যে / এই কাজ সম্পর্কে একইভাবে কাজ মুছে ফেলুন?

এটা প্ল্যাটফর্ম নির্দিষ্ট?

এটি লিনাক্স বা VxWorks যেমন অন্যান্য অপারেটিং সিস্টেমের উপর ঘটবে?

কেন

আমার বোঝার এই শুধুমাত্র Win32 ডিবাগ কনফিগারেশন ঘটে, এবং এটি মেমরি overruns সনাক্ত এবং কম্পাইলার ধরা ব্যতিক্রম সাহায্য করার জন্য ব্যবহৃত হয়।

এই প্রাথমিকীকরণটি কীভাবে উপকারী হয় তা আপনি কোনও বাস্তব উদাহরণ দিতে পারেন?

আমি কিছু মনে রাখতে পারি (হয়তো কোড সম্পূর্ণ 2 এ) যে এটি বরাদ্দ করার সময় একটি পরিচিত প্যাটার্নের মেমরি সূচনা করা ভাল এবং কিছু নির্দিষ্ট প্যাটার্ন Win32 এ বাধাগুলি ট্রিগার করবে যার ফলে ডিবাগারে ব্যতিক্রমগুলি প্রদর্শিত হবে।

কিভাবে এই পোর্টেবল হয়?


ডিবাগ মোডের জন্য কম্পাইল করার সময় মাইক্রোসফ্টের কম্পাইলারগুলি অখ্যাত / অনাক্রম্য মেমরির বিভিন্ন বিটগুলির জন্য কী ব্যবহার করে তা একটি দ্রুত সারসংক্ষেপ (সমর্থন কম্পাইলার সংস্করণের দ্বারা পরিবর্তিত হতে পারে):

Value     Name           Description 
------   --------        -------------------------
0xCD     Clean Memory    Allocated memory via malloc or new but never 
                         written by the application. 

0xDD     Dead Memory     Memory that has been released with delete or free. 
                         Used to detect writing through dangling pointers. 

0xED or  Aligned Fence   'No man's land' for aligned allocations. Using a 
0xBD                     different value here than 0xFD allows the runtime
                         to detect not only writing outside the allocation,
                         but to also detect mixing alignment-specific
                         allocation/deallocation routines with the regular
                         ones.

0xFD     Fence Memory    Also known as "no mans land." This is used to wrap 
                         the allocated memory (surrounding it with a fence) 
                         and is used to detect indexing arrays out of 
                         bounds or other accesses (especially writes) past
                         the end (or start) of an allocated block.

0xFD or  Buffer slack    Used to fill slack space in some memory buffers 
0xFE                     (unused parts of `std::string` or the user buffer 
                         passed to `fread()`). 0xFD is used in VS 2005 (maybe 
                         some prior versions, too), 0xFE is used in VS 2008 
                         and later.

0xCC                     When the code is compiled with the /GZ option,
                         uninitialized variables are automatically assigned 
                         to this value (at byte level). 


// the following magic values are done by the OS, not the C runtime:

0xAB  (Allocated Block?) Memory allocated by LocalAlloc(). 

0xBAADF00D Bad Food      Memory allocated by LocalAlloc() with LMEM_FIXED,but 
                         not yet written to. 

0xFEEEFEEE               OS fill heap memory, which was marked for usage, 
                         but wasn't allocated by HeapAlloc() or LocalAlloc(). 
                         Or that memory just has been freed by HeapFree(). 

অস্বীকৃতি: টেবিলের কিছু নোট থেকে আমি মিথ্যা বলেছি - তারা 100% সঠিক (বা সুসঙ্গত) হতে পারে না।

এই মানগুলির মধ্যে অনেকগুলি vc / crt / src / dbgheap.c এ সংজ্ঞায়িত করা হয়েছে:

/*
 * The following values are non-zero, constant, odd, large, and atypical
 *      Non-zero values help find bugs assuming zero filled data.
 *      Constant values are good so that memory filling is deterministic
 *          (to help make bugs reproducable).  Of course it is bad if
 *          the constant filling of weird values masks a bug.
 *      Mathematically odd numbers are good for finding bugs assuming a cleared
 *          lower bit.
 *      Large numbers (byte values at least) are less typical, and are good
 *          at finding bad addresses.
 *      Atypical values (i.e. not too often) are good since they typically
 *          cause early detection in code.
 *      For the case of no-man's land and free blocks, if you store to any
 *          of these locations, the memory integrity checker will detect it.
 *
 *      _bAlignLandFill has been changed from 0xBD to 0xED, to ensure that
 *      4 bytes of that (0xEDEDEDED) would give an inaccessible address under 3gb.
 */

static unsigned char _bNoMansLandFill = 0xFD;   /* fill no-man's land with this */
static unsigned char _bAlignLandFill  = 0xED;   /* fill no-man's land for aligned routines */
static unsigned char _bDeadLandFill   = 0xDD;   /* fill free objects with this */
static unsigned char _bCleanLandFill  = 0xCD;   /* fill new objects with this */

ডিবাগ রানটাইম একটি পরিচিত মান সঙ্গে বাফার (বা বাফারের অংশগুলি) পূরণ করবে এমন কয়েকটি সময় রয়েছে, উদাহরণস্বরূপ std::string এর বরাদ্দকরণের 'স্ল্যাক' স্থান বা fread() প্রেরিত বাফারটি। ঐ ক্ষেত্রে একটি নাম ব্যবহার করে _SECURECRT_FILL_BUFFER_PATTERN দেওয়া হয়েছে ( _SECURECRT_FILL_BUFFER_PATTERN সংজ্ঞায়িত)। আমি ঠিক কখন এটি চালু হয়েছিল তা নিশ্চিত নই, তবে এটি কমপক্ষে VS 2005 (VC ++ 8) দ্বারা ডিবাগ রানটাইম ছিল।

প্রাথমিকভাবে এই বাফারগুলি পূরণ করতে ব্যবহৃত মান 0xFD - একই মানটি কোনও মানুষের জন্য ব্যবহৃত হয় না। যাইহোক, ভিএস 2008 (ভিসি ++ 9) এ মানটি 0xFE তে পরিবর্তিত হয়েছিল। আমি এটা অনুমান করি কারণ সেখানে এমন পরিস্থিতি হতে পারে যেখানে ফিল অপারেশনটি বাফারের শেষের দিকে চলে যাবে, উদাহরণস্বরূপ, যদি কলকারী একটি বাফার আকারে পাস করে যা খুব বেশি বড় হয়ে যায় fread() । এই ক্ষেত্রে, 0xFD মানটি এই 0xFD সনাক্ত করতে ট্রিগার হতে পারে না কারণ বাফারের আকারটি কেবলমাত্র একের বেশি বড় হলে, ভরাট মান একই ক্যানারিটি আরম্ভ করতে ব্যবহৃত কোনও ব্যক্তির মান হিসাবে একই হবে না। কোন মানুষের জমি কোন পরিবর্তন অর্থাত্ overrun লক্ষ্য করা হবে না।

সুতরাং ভিসের ২008 সালে ভরাট মান পরিবর্তিত হয়েছিল যাতে এই ধরনের কোনও মামলা কোনও ব্যক্তির জমি ক্যানারি পরিবর্তন করতে পারে, যার ফলে রানটাইম দ্বারা সমস্যা সনাক্ত করা হয়।

অন্যরা যেমন উল্লেখ করেছে, এই মানগুলির মূল বৈশিষ্ট্যগুলির মধ্যে একটি হল যে পয়েন্টারের পরিবর্তনশীল এই মানগুলির মধ্যে একটির সাথে ডেফ্রেন্ড করা হয়েছে, এটি একটি অ্যাক্সেস লঙ্ঘন হতে পারে, যেহেতু একটি আদর্শ 32-বিট উইন্ডোজ কনফিগারেশনে, ব্যবহারকারীর মোড ঠিকানাগুলি হবে না 0x7fffffff চেয়ে বেশি যান।


"কেন" এর জন্য সুস্পষ্ট কারণ অনুমান করা হয়েছে যে আপনার মতো একটি শ্রেণী আছে:

class Foo
{
public:
    void SomeFunction()
    {
        cout << _obj->value << endl;
    }

private:
    SomeObject *_obj;
}

এবং তারপর আপনি একটি Foo তাত্ক্ষণিক এবং কিছু SomeFunction কল SomeFunction , এটি 0xCDCDCDCD পড়ার চেষ্টা করে অ্যাক্সেস লঙ্ঘন 0xCDCDCDCD । এর মানে আপনি কিছু শুরু করতে ভুলে গেছেন। যে "কেন অংশ"। যদি না হয়, তবে পয়েন্টারটি অন্য কোন মেমরির সাথে লাইন আপ করতে পারে, এবং এটি ডিবাগ করা আরও কঠিন হবে। এটি আপনাকে একটি অ্যাক্সেস লঙ্ঘন পাওয়ার কারণ জানাচ্ছে। মনে রাখবেন যে এই কেসটি বেশ সহজ ছিল, কিন্তু একটি বড় শ্রেণিতে এটি ভুল করা সহজ।

AFAIK, এটি শুধুমাত্র যখন ডিবাগ মোডে (প্রকাশের বিরোধিতা করে) ভিজ্যুয়াল স্টুডিও কম্পাইলারে কাজ করে


কম্পাইলার এই নির্দিষ্ট ব্যবহার করা হয়?

প্রকৃতপক্ষে, এটি প্রায় সবসময় রানটাইম লাইব্রেরির একটি বৈশিষ্ট্য (সি রানটাইম লাইব্রেরির মতো)। রানটাইম সাধারণত কম্পাইলারের সাথে জোরালোভাবে সম্পর্কযুক্ত, তবে কিছু সমন্বয় আপনি স্যাপ করতে পারেন।

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

ম্যালোক / নতুন এবং বিনামূল্যে / এই কাজ সম্পর্কে একইভাবে কাজ মুছে ফেলুন?

নতুন এবং মুছে ফেলার মেমরি পরিচালনার অংশটি সাধারণত ম্যালোক এবং বিনামূল্যের সাথে প্রয়োগ করা হয়, তাই নতুন করে বরাদ্দ করা মেমরি এবং সাধারণত মুছে ফেলা একই বৈশিষ্ট্যগুলি থাকে।

এটা প্ল্যাটফর্ম নির্দিষ্ট?

বিস্তারিত রানটাইম নির্দিষ্ট। ব্যবহৃত প্রকৃত মানগুলি প্রায়ই হ্যাক্স ডাম্পটি দেখলে অস্বাভাবিক এবং সুস্পষ্ট বলে মনে করা হয় না তবে প্রসেসরের বৈশিষ্ট্যগুলির সুবিধা নিতে পারে এমন কিছু বৈশিষ্ট্য থাকতে ডিজাইন করা হয়। উদাহরণস্বরূপ, অদ্ভুত মানগুলি প্রায়শই ব্যবহৃত হয়, কারণ এটি একটি অ্যালাইনমেন্ট ফল্টের কারণ হতে পারে। বড় মানগুলি ব্যবহার করা হয় (0 এর বিপরীতে), কারণ যদি আপনি একটি অননুমোদিত কাউন্টারে লুপ করেন তবে তারা বিস্ময়কর বিলম্বের কারণ করে। X86, 0xCC একটি int 3 নির্দেশনা, তাই যদি আপনি একটি অনিয়মিত মেমরি চালান, এটি ফাঁদে ফেলবে।

এটি লিনাক্স বা VxWorks যেমন অন্যান্য অপারেটিং সিস্টেমের উপর ঘটবে?

এটি বেশিরভাগ রানটাইম লাইব্রেরিতে আপনি ব্যবহার করেন।

এই প্রাথমিকীকরণটি কীভাবে উপকারী হয় তা আপনি কোনও বাস্তব উদাহরণ দিতে পারেন?

আমি উপরে কিছু তালিকাভুক্ত। মানগুলি অবৈধভাবে আপনি যদি মেমরির অবৈধ অংশগুলির সাথে কিছু করেন তবে কিছু অস্বাভাবিক হওয়ার সম্ভাবনাগুলি বাছাই করা হয়: দীর্ঘ বিলম্ব, ফাঁদ, সারিবদ্ধ ত্রুটি, ইত্যাদি। হিপ ম্যানেজারগুলি মাঝে মাঝে বরাদ্দের মধ্যে ফাঁকগুলির জন্য বিশেষ ভরাট মান ব্যবহার করে। যে নিদর্শন পরিবর্তন কখনও, এটা কোথাও একটি খারাপ লেখা ছিল (একটি বাফার overrun মত) কোথাও।

আমি কিছু মনে রাখতে পারি (হয়তো কোড সম্পূর্ণ 2 এ) যে এটি বরাদ্দ করার সময় একটি পরিচিত প্যাটার্নের মেমরি সূচনা করা ভাল এবং কিছু নির্দিষ্ট প্যাটার্ন Win32 এ বাধাগুলি ট্রিগার করবে যার ফলে ডিবাগারে ব্যতিক্রমগুলি প্রদর্শিত হবে।

কিভাবে এই পোর্টেবল হয়?

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


এটি ওএস নয় - এটি কম্পাইলার। আপনি খুব আচরণ পরিবর্তন করতে পারেন - এই পোস্টের নীচে দেখুন।

মাইক্রোসফ্ট ভিজ্যুয়াল স্টুডিও জেনারেট করে (ডিবাগ মোডে) একটি বাইনারি যা স্ট্যাক মেমরি 0xCC দিয়ে পূরণ করে। এটি বাফার ওভারফ্লোগুলি সনাক্ত করতে প্রতিটি স্ট্যাক ফ্রেমের মধ্যে একটি স্থান সন্নিবেশ করান। এখানে দরকারী যেখানে এটি একটি খুব সহজ উদাহরণ (অনুশীলন ভিজ্যুয়াল স্টুডিও এই সমস্যা স্পট এবং একটি সতর্কতা ইস্যু করবে):

...
   bool error; // uninitialised value
   if(something)
   {
      error = true;
   }
   return error;

যদি ভিসুয়াল স্টুডিও একটি পরিচিত মানের ভেরিয়েবলগুলিকে প্রিন্সিউলাইজ না করে তবে এই বাগটি সম্ভবত খুঁজে পাওয়া কঠিন হতে পারে। Preinitialised ভেরিয়েবল (বা বরং, preinitialised স্ট্যাক মেমরি) সঙ্গে, সমস্যা প্রতি রান প্রতি reproducible হয়।

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

এটি আমাকে বিরক্ত করেছিল, তাই আমি বাইনারিটি সরাসরি সম্পাদনা করে প্রাক-ভেলের মান সংশোধন করতে একটি স্ক্রিপ্ট লিখেছিলাম , যা আমাকে স্ট্র্যাকের শূন্য ধারণ করে কেবলমাত্র দেখানো অনিয়মিত পরিবর্তনশীল সমস্যাগুলির সন্ধান করার অনুমতি দেয়। এই স্ক্রিপ্ট শুধুমাত্র স্ট্যাক প্রাক পূরণ পরিবর্তন করে; আমি কখনও হিপ pre-fill সঙ্গে পরীক্ষা করা, যদিও এটা সম্ভব হওয়া উচিত। রান টাইম DLL সম্পাদন জড়িত হতে পারে, হতে পারে না।



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

msdn.microsoft.com/en-us/library/974tc9t1.aspx


আইবিএম এক্সএলসি কম্পাইলারের একটি "initauto" বিকল্প রয়েছে যা স্বয়ংক্রিয় ভেরিয়েবলগুলিকে একটি মান নির্দিষ্ট করে দেবে। আমি আমার ডিবাগ বিল্ডগুলির জন্য নিম্নলিখিতটি ব্যবহার করেছি:

-Wc,'initauto(deadbeef,word)'

যদি আমি একটি অনিয়মিত ভেরিয়েবলের স্টোরেজটি দেখি, এটি 0xdeadbeef এ সেট হবে







memory-management