smack

SMACK هو سلسلة أدوات تحقق برمجي معيارية و مدقق برمجي مستقل. يمكن استخدامه للتحقق من التأكيدات في برامج الإدخال. في الوضع الافتراضي، يتم التحقق من التأكيدات حتى حد معين لتكرار الحلقات وعمق التكرار؛ كما يحتوي على دعم تجريبي للتحقق غير المحدود أيضًا. يتعامل SMACK مع الميزات المعقدة للغة C، بما في ذل...