مبهم سازي كد به منظور جلوگيري از اجراي نمادين

امروزه حفاظت از نرم افزار در مقابل تحليل گران به يكي از مسائل مهم عرصه رايانه تبديل شده است. در اين ميان، روش اجراي نمادين به عنوان رويكردي براي كشف مسيرهاي اجرايي و شروط وقوع برنامه، اخيراً مورد توجه قرار گرفته است. لذا، برنامه نويسان جهت محافظت از برنامه خود، مقابله با روش‏هاي تحليل كد را نيز در نظر مي گيرند. يك اجراي نمادين موفق، كليه مسيرهاي اجرايي برنامه به همراه شروط وقوع آن ها را در قالب يك درخت نمادين استخراج مي كند. بنابراين، با جلوگيري از اجراي نمادين كد، مي‏توان از يك برنامه حفاظت نمود و مسيرهاي اجرايي آن را از ديد تحليل گران پنهان نگه داشت. در اين ميان، برخي روش ها با تكيه بر چالش هاي مختلف موجود در اجراي نمادين سعي بر پنهان سازي رفتار كد در مقابل اجراي نمادين دارند. در اين مقاله، روشي جهت مبهم سازي شرط وقوع رفتارها در كد برنامه ارائه داده شده است تا درصورت تحليل نمادين كد، كاربران از شروط واقعي يك رخداد مطلع نگردند. براي اين منظور، يك راه كار نوين با اعمال معادلات خطي ارائه داده شده است. در اين روش با جايگذاري برخي شروط غيرواقعي و جديد در مسير برنامه و مرتبط نمودن متغيرهاي آن با متغيرهاي اصلي برنامه، حل كننده را دچار اشتباه مي‏نمايد. اين امر موجب ايجاد شاخههاي متعدد و غيرواقعي در درخت نمادين برنامه مي‏گردد. لذا، تحليل كد را دچار پيچيدگي مي‏كند. ارزيابي ها نشان مي دهد كه اين مبهم سازي، ابزار اجراي نمادين كد را در توليد همه مسيرهاي اجرايي برنامه با شكست مواجه مي‏كند.