بررسی مقاله پژوهشی Slither ابزاری برای بررسی ایستای قراردادهای هوشمند
دوشنبه 9 اسفند 1400
عنوان مقاله: Slither ابزاری برای بررسی ایستای قراردادهای هوشمند
در این مقاله که در سال 2019 در کنفرانس علمی و تخصصی مهندسی نرم‌افزار در بلاکچین (WETSEB) چاپ‌شده است. به معرفی نرم‌افزار Slither به‌عنوان ابزاری برای بررسی قراردادهای هوشمند پرداخته‌شده است. در این کار با توجه به رشد فراگیر فناوری بلاکچین، افزایش کاربرد‌های قراردادهای هوشمند، توسعه قراردادهای هوشمند اتریوم ماشین مجازی و زبان برنامه‌نویسی سطح بالای Solidity (زبانی برای ایجاد قراردادهای هوشمند) موردبحث قرارگرفته است.
آمار بازدید : بروزرسانی :