تكشف الواجهة دور ملكية واحدا. فهم جميع الصلاحيات يتطلب فحص النظام الفعلي والعلاقات بين عقوده المختلفة.

01 · وقائع موثقة

ما يثبته المصدر الأولي

أنشئ ERC-173 في 7 يونيو 2018 ونشر بحالة Final. وهو يوحد owner() وtransferOwnership(address) وحدث OwnershipTransferred. Ethereum — ERC-173, Final; created 7 June 2018 ↗

يسمح بالتنازل عن هذه الملكية بتحويلها إلى العنوان الصفري. كما تجيز المواصفة صراحة وجود نماذج ملكية أخرى في العقد نفسه. Ethereum — ERC-173, Final; created 7 June 2018 ↗

02 · تحليل WFN

ما يتغير في التحليل

تفسير WFN: قيمة owner الصفرية تصف الدور المعروض بهذه الواجهة. أما الاستنتاج بشأن كل مسارات الإدارة فيحتاج إلى أدلة تخص بقية النظام.

قد يجمع التطبيق عقودا متعددة بمسؤوليات مختلفة. قراءة حقل واحد لا توضح تفاعلاتها أو الصلاحيات الأخرى التي تؤثر في عمليات المستخدم.

03 · نقاط للمراجعة

ما يجب التحقق منه قبل الاستنتاج

أنشئ خريطة لكل إجراء حساس وعنوان التحكم فيه وشروط تغييره. تتبع البيئة المنشورة فعليا بدلا من الاكتفاء بصورة لحدث نقل ملكية قديم.

افصل الحالة الحالية عن التاريخ: الحدث يسجل انتقالا سابقا، والقراءة عند كتلة مختارة تتحقق من قيمة ذلك الوقت. تساعد الواجهة على المراجعة دون أن تصادق على الأمان.