memory-safety

Name: memory-safety
Author: Z3Prover

Run AddressSanitizer and UndefinedBehaviorSanitizer on the Z3 test suite to detect memory errors, undefined behavior, and leaks. Logs each finding to z3agent.db.

عرض المصدر debugging

maintainer

Z3Prover

آخر تحديث 3/11/2026

النجوم

12133

التفرعات

1635

quick start

Installation and usage

Run AddressSanitizer and UndefinedBehaviorSanitizer on the Z3 test suite to detect memory errors, undefined behavior, and leaks. Logs each finding to z3agent.db.

التثبيت

$ install --globalskills.sh

الاستخدام

بعد التثبيت، يمكنك استخدام هذه المهارة بتشغيل الأمر التالي في الطرفية:

skills use memory-safety