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