دانلود پایان نامه برنامه بازبینی کد – ساده سازی بازبینی کد با ترسیم جریان داده

1. مقدمه 2. نظریه 3. روش 4. پیاده سازی 5. راه اندازی آزمایشی، نتایج و تجزیه و تحلیل 6. بحث و بررسی 7. نتیجه گیری

چکیده – از دیدگاه امنیت، بازبینی دستی کد اغلب یک شیوه قابل اعتماد، بخصوص در سیستم هایی که نیازهای امنیتی شدیدتری دارند، محسوب می شود. با این حال، کاری است وقت گیر و خسته کننده که نیاز به بررسی دقیق دارد. برای حل این مسئله، هدف این پروژه بررسی امکان پذیری ساخت یک برنامه کاربردی است که نمایش گرافیکی از جریان داده را نشان دهد و فرآیند بازبینی دستی را ساده کند. داده های ورودی، نقطه آغازین عالی برای جستجوی رخنه های امنیتی در یک برنامه هستند. به این دلیل، پیمایش داده های ورودی از اهمیت بسزایی هنگام انجام بازبینی کد با توجه به امنیت دارد. این برنامه کاربردی، جریان داده های ورودی را از طریق فراخوانی تابع در برنامه ردیابی می کند تا کار شناسایی اینکه کدام توابع نیاز به بررسی دقیقتری دارند را تسهیل کنند. توسعه چنین برنامه کاربردی، یک کار قابل توجه است و بنابراین، تصمیم گرفته شد که حیطه این پروژه به یک «اثبات مفهوم» محدود شود که برروی برنامه های کوچکتر کار خواهد کرد. یافته ها نشان می دهند که این برنامه کاربردی توسعه یافته، حائز قابلیت انجام رهگیری معکوس داده های ورودی برروی فراخوانی های تابع است. با این حال، شایان ذکر است که یک الگوریتم رهگیری مستقیم تابعی در حال حاضر در این برنامه کاربردی اضافه نشده است. علیرغم این محدودیت، مشخص شده است که امکان پذیری محقق سازی کامل این پروژه، پتانسیل امیدوار کننده ای در بازار بازبینی کد دارد.

From a security standpoint, manual code review is widely regarded as a dependable practice, particularly in systems with heightened security needs. However, it is also a time-consuming and laborious task that requires careful consideration. To address this issue, this project aims to explore the feasibility of an application that would present graphical presentations of data flow, which would simplify the manual review process. Input data is an excellent starting point when searching for security vulnerabilities in a program. For that reason, input data traversal is of significant interest when conducting code review with respect to security. The application will track the input data flow through function calls in the program to facilitate the task of identifying which functions require closer examination. The development of such an application is a significant undertaking, and therefore, the decision is made to limit the scope of the project to a proof of concept that will function on smaller programs. The findings indicate that the developed application possesses the capability to perform input data backtracking across function calls. However, it is important to note that a functional forward tracking algorithm has not been integrated into the application at present. Despite this limitation, the feasibility of fully realizing the project is perceived to hold promising potential within the code review market.