نویسندگان:
(1) ZHIYUAN WEI، موسسه فناوری پکن، چین؛
(2) JING SUN، دانشگاه اوکلند، نیوزیلند).
(3) ZIJIAN ZHANG، XIANHAO ZHANG، XIAOXUAN YANG، و LIEHUANG ZHU، موسسه فناوری پکن، چین؛
(4) XIANHAO ZHANG، موسسه فناوری پکن، چین؛
(5) XIAOXUAN YANG، موسسه فناوری پکن، چین؛
(6) LIEHUANG ZHU، موسسه فناوری پکن، چین.
جدول پیوندها
چکیده و مقدمه
مروری بر قراردادهای هوشمند و روش بررسی
آسیب پذیری در قراردادهای هوشمند
حملات به قراردادهای هوشمند
روش های دفاعی
ارزیابی
نتیجه گیری، قدردانی و مراجع
6 ارزیابی
هدف ما ارائه یک نمای کلی از پیشرفته ترین ابزارهای تجزیه و تحلیل خودکار موجود برای قراردادهای هوشمند است. با توجه به اینکه حوزه تحلیل قراردادهای هوشمند نسبتاً جدید است و به سرعت در حال تکامل است، به روز ماندن با آخرین پیشرفت‌ها و درک نقاط قوت و محدودیت‌های ابزارهای موجود می‌تواند چالش برانگیز باشد. بنابراین، ما بررسی گسترده‌ای از ادبیات و وب‌سایت‌ها انجام داده‌ایم تا فهرستی از امیدوارکننده‌ترین ابزارهای تحلیل قراردادهای هوشمند را گردآوری کنیم. علاوه بر این، برای پرداختن به RQ4 و RQ5، که بر ارزیابی عملکرد ابزارهای موجود تمرکز دارند، یک رویکرد ارزیابی سیستماتیک را پیشنهاد می‌کنیم که…