الحلقة

تحليل التعليمات البرمجية باستخدام الاستدلال #

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

تعرف على المزيد حول Infer# هنا